Event Detail
Fri Oct 16, 2020 4:10–5 PM |
Logic Colloquium Agustin Rayo (MIT) Transcendence and Triviality |
https://berkeley.zoom.us/j/99271828753
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.