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.
Facts about the increasing collective human influence on biological systems, from local ecosystems to planetary-level Earth systems, support the proposal that we now live in the Anthropocene. What do such facts imply, if anything, about norms and values guiding land management and conservation practices going forward? Do facts about anthropogenic drivers that can result in undesirable and irreversible changes to ecological and Earth systems license further intentional interventions and underwrite calls for “planetary management”? What would appropriate respect for wildness look like on a human-dominated planet? If human influence on environmental systems pushes them over thresholds into radically new states, are received Western or Indigenous ideologies sufficient to guide an appropriate response? How should we think about responding to such radical environmental change? How, if at all, should environmental ethics adapt to the Anthropocene?