Posts

Showing posts from April, 2011
Show All
Posted by

Validity and Truth-Preservation

2 comments
Image
Posted by

The Reasoner

Post a Comment
Image
Posted by

Synthese affair update

27 comments
Posted by

Applicability, mixed & pure, and modality

3 comments
Image
Posted by

These go to 11

3 comments
Posted by

More on the Validity Predicate

11 comments
Image
Posted by
1 comment
Image
Posted by

2 Become 1

7 comments
Image
Posted by

If Six Was Nine

Post a Comment
Image
Posted by

Synthese: the editors' response

Post a Comment
Image
Posted by

Bye pi?

1 comment
Image
Posted by

The Synthese boycott affair

5 comments
Image
Posted by

Naive set theory

Post a Comment
Posted by

Cut Elimination and Contraction

1 comment
Posted by

"There is a set of Fs" implies only logical truths

Post a Comment
Posted by

"How to write proofs: a quick guide"

3 comments
Image
Posted by

Arithmetic and Epistemology

Post a Comment
Posted by

Yablo's Paradox

9 comments
Image
Posted by

Pinker's talk turned into artwork

1 comment
Image
Posted by

Lobachevsky - Tom Lehrer

Post a Comment
Posted by

Good points (and important speakers)

Post a Comment