Showing posts from March, 2011

Syntax, arithmetic, etc.

Two conferences for M-PHIers

The Reasoner - April issue

Should probabilities be countably additive?

Carnapian explication idea of the century

Philosophy, mathematics, and war

On Adding a Validity Predicate to PA

Wason vs. Popper reloaded

The Completeness of PA with the $\omega$-rule

Breakthrough in number theory

Events at MCMP 2011

Set Theory and Higher-Order Logic at Birkbeck

The Reasoner

Kuhn vs. Kripke on the NYT