Alexander Pruss's Blog

Let T 0 be ZFC. Let T n be T n  − 1 plus the claim Con( T n  − 1 ) that T n  − 1 is consistent. Let T ω be the union of all the T n fo...

There are two main accounts of ψ being a logical consequence of ϕ : Inferentialist: there is a proof from ϕ to ψ Model theoretic: every...

I think the following is a consequence of a hyperreal variant of the Horn-Tarski extension theorem for measures on boolean algebras: Clai...

Benacerraf famously pointed out that there are infinitely many isomorphic mathematical structures that could equally well be the referrent o...