Showing posts from July, 2013

Formal epistemology summer school / conference in Bristol

What Did the Philosophers Ever Do For Us?

Uniqueness in Structural Set Theories, II

"Structuralism, Invariance and Univalence" (Steve Awodey)

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

Slight Reformulation of ASC

Abstract Structure and Types

Uniqueness in Structural Set Theories

Average Height of a Beatle

Applicability as an Adequacy Condition

New book series: PhD dissertations in logic

SGM: Sui Generis Mathematics


ASC: Atoms, Sets and Classes.

Theorem 1