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
Serving as a response to Aimé Césaire’s call for a universal filled with particularity from his infamous resignation from the French Communist Party in 1956, I focus on the role of culture for a project of universal emancipation. To do so, I follow Sylvia Wynter’s statement that the Négritude movement is an example of a universal and cultural project. Recalling Césaire’s words in “Return to My Native Land,” culture that serves universal emancipation must be “free of the desire to tame but familiar with the play of the world.” To this end, I develop a conception of culture that is both local and universal, that centers on the importance of what it means to be human, as life, as being, and as experience by reading culture as necessarily local, collective, disenchanted, and related to play.
Bio:
Elisabeth Paquette is Associate Professor of Comparative Literature at the University at Buffalo, SUNY. Her book, titled Universal Emancipation: Race beyond Badiou (University of Minnesota Press, 2020), engages French political theorist Alain Badiou’s discussion of Négritude and the Haitian Revolution to develop a nuanced critique of his theory of emancipation. Currently, she is working on a monograph on the writings of decolonial theorist Sylvia Wynter. She is also the Founder of the Feminist Decolonial Politics Workshop, which takes place annually during the summer.