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.
Please R.S.V.P.
The City University of New York, Graduate Center, is hosting its second Emotion Workshop. This semester, we are profiling the work of local scholars and visitors to New York. Topics relate to mind, social philosophy, epistemology, aesthetics, experimental philosophy, and psychology. The workshop will be 1 day long. Participants should not feel obligated to attend every session, but we do ask you to RSVP (this is to make sure everyone is allowed Saturday building access). If you think there is a chance you will join us for any part of the day, please send your name to Sarah Arnaud, postdoc in the Philosophy Program and co-organizer: sarnaud@gc.cuny.edu
PROGRAM
10:00-10:15 Introduction
10:15-11:00 Jesse Prinz (CUNY, Philosophy), “Are emotions socially constructed?”
11:00-11:15 Break
11:15-12:00 Rodrigo Díaz (Bern, Philosophy), “Folk emotion concepts”
12:00-12:45 Juliette Vazard (NYU / Institut Jean Nicod, Paris / University of Geneva), “Epistemic anxiety”
12:45-2:15 Break (lunch)
2:15-3:00 S. Arnaud & K. Pendoley (CUNY, Philosophy), “Intentionalism and the understanding of emotion experience”
3:00-3:15 Break
3:15-4:00 Jonathan Gilmore (CUNY, Philosophy), “Emotion, absorption, and experiential imagining”
4:00-4:45 Jordan Wylie (CUNY, Psychology), “Investigating the influences of emotion on object recognition”
4:45-6:00 Reception
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