The Dennes Room

Event Detail

Fri Oct 16, 2020
4:10–5 PM
Logic Colloquium
Agustin Rayo (MIT)
Transcendence and Triviality

Registration with Zoom is required for access.

Password: kurt

I argue that the notion of a logical truth can be naturally extended to the notion of a transcendent truth. (Roughly, a sentence is transcendentally true if its truth at a world can be established by one’s metatheory without relying on information about that world.) Whether or not the transcendental truths go beyond the logical truths depends on subtle questions concerning the relationship between our language and the world it represents. I develop a picture on which arithmetical truths count as transcendentally true and use it to defuse a stubborn problem in the philosophy of mathematics.