Showing posts from April, 2011

Validity and Truth-Preservation

The Reasoner

Synthese affair update

Applicability, mixed & pure, and modality

These go to 11

More on the Validity Predicate

2 Become 1

If Six Was Nine

Synthese: the editors' response

Bye pi?

The Synthese boycott affair

Naive set theory

Cut Elimination and Contraction

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

"How to write proofs: a quick guide"

Arithmetic and Epistemology

Yablo's Paradox

Pinker's talk turned into artwork

Lobachevsky - Tom Lehrer

Good points (and important speakers)