Showing posts from May, 2013

Accuracy-based argument for Conditionalization

"Arithmetic, Structures and the Rise of Modern Logic": A Colloquium in Honour of Dan Isaacson

Extended Deadline: LORI-4, October 9 - 12, 2013, Zhejiang University Hangzhou, P.R. China

Quine Transform of a Language

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)