Dec
5
Thu
Absolute Provability and Intuitionistic Tense. Vincent A. Peluce @ CUNY Grad Center, 9206
Dec 5 @ 2:00 pm – 4:00 pm

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.

Apr
6
Mon
Understanding Mathematical Explanation: Uniting Philosophical and Educational Perspectives @ Graduate School of Education, Rutgers
Apr 6 – Apr 7 all-day

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