Posts

Quine Transform of a Model

Nominalism vs. Syntax

Joyce's argument for Probabilism: the mathematics

Cognitive Reductionism about Proofs

Cognitive Reductionism About Language

Cognizing a Language

Joyce's argument for Probabilism

Der logische Aufbau der Welt

What's wrong with Mochizuki's 'proof' of the ABC conjecture?

Science Versus Nominalism

Leibniz Equivalence (slides)