Posts

Showing posts from July, 2013
Show All
Posted by

Formal epistemology summer school / conference in Bristol

1 comment
Image
Posted by

What Did the Philosophers Ever Do For Us?

16 comments
Posted by

Uniqueness in Structural Set Theories, II

5 comments
Posted by

"Structuralism, Invariance and Univalence" (Steve Awodey)

Post a Comment
Posted by

Re-proving theorems, and the trouble with incorrect proofs of true statements

27 comments
Posted by

Slight Reformulation of ASC

Post a Comment
Posted by

Abstract Structure and Types

Post a Comment
Posted by

Uniqueness in Structural Set Theories

7 comments
Posted by

Average Height of a Beatle

7 comments
Posted by

Applicability as an Adequacy Condition

Post a Comment
Posted by

New book series: PhD dissertations in logic

11 comments
Posted by

SGM: Sui Generis Mathematics

4 comments
Posted by

Rudolph

Post a Comment
Posted by

ASC: Atoms, Sets and Classes.

Post a Comment
Posted by

Theorem 1

Post a Comment