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.
The workshop is funded by the National Science Foundation (SES-1921688) and is aimed at bringing together academics who study the notion of mathematical explanation from philosophical and from educational/psychological perspectives. The idea is to bring together philosophers of mathematics, epistemologists, psychologists, and mathematics educators, to discuss how developments in their own fields could meaningfully contribute to the work on mathematical explanation where their fields intersect. In particular, we want to explore the ways in which mathematical explanation engenders understanding, by focusing on (1) the relationship between different types of philosophical accounts of mathematical explanation, (2) educational approaches to the characterization of effective explanations in the mathematics classroom, and (3) work at the intersection of these two perspectives.
All speakers:
Mark Colyvan
University of Sydney
Matthew Inglis
Loughborough University
Marc Lange
University of North Carolina, Chapel Hill
Tania Lombrozo
Princeton University
Alexander Renkl
University of Freiburg
Keith Weber
Rutgers University – New Brunswick
Orit Zaslavsky
New York University
Well-being, also known as prudential value, refers to whatever makes a life non-instrumentally good for the person living it. Well-being is the object of immense practical, philosophical, and scientific concern. Assessments of well-being help to guide our decisions in everyday life, from relationships, to health decisions, to education and career choices. Well-being is increasingly the object of governmental and institutional policy, and even policies that are not aimed directly at promoting it can be evaluated in terms of their impacts on well-being. Colleges and universities routinely offer programs designed to help students maintain their well-being in the face of academic and personal stress. However, debates over the nature of well-being have raged since the beginning of philosophical inquiry, leaving us in a bad position when it comes to making headway on addressing those practical and scientific concerns. The goal of this talk is to show how the application of naturalistic methodology can help us to resolve the philosophical stalemate and thus to make progress in our practical and scientific projects relating to well-being.
-
Talk link — Email cruzdavis <at> umass.edu or jrc2266 <at> columbia.edu for the passcode