Well-known ties between arithmetical proof and intuitionistic logic make it natural to think of provability in terms of intuitionistic logic and hence absolute provability in terms of one of its extensions. For this reason, we propose Intuitionistic Tense Logic, or tINT, to study absolute provability. We delineate tINT models and a Hilbert-style system, and then prove soundness and completeness. We then use the tINT framework to discuss and compare ideas of absolute provability of authors in the literature.
The Saul Kripke Center is pleased to announce that Vincent A. Peluce (PhD student, Philosophy, CUNY Graduate Center) will deliver the fourth Saul Kripke Center Young Scholars Series talk on Thursday, December 5, 2019, from 2:00 to 4:00 in room 9206 of the CUNY Graduate Center.
Presented by Metro Area Philosophers of Science
Spring 2020 Schedule:
Anthony Aguirre (UCSC) – “Entropy in long-lived genuinely closed quantum systems”
6:30-8:30pm Tuesday Feb 4; NYU Philosophy Department (5 Washington Place), 3rd floor seminar room.
David Papineau (King’s College London & CUNY) – “The Nature of Representation”
4:30-6:30pm Tuesday March 3; CUNY Graduate Center (365 5th Ave, NYC), room 5307.
Jim Holt (Author of Why Does the World Exist?) – “Here, Now, Photon: Why Newton was closer to EM than Maudlin is”
4:30-6:30pm Tuesday April 7; CUNY Graduate Center (365 5th Ave, NYC), room 5307.
Deborah Mayo (Virginia Tech)
4:30-6:30pm Tuesday April 28; CUNY Graduate Center (365 5th Ave, NYC), room 5307.