| 1 Sun | 2 Mon | 3 Tue | 4 Wed | 5 Thu | 6 Fri | 7 Sat |
|---|---|---|---|---|---|---|
|
All-day
|
||||||
|
12:00 am
1:00 am
2:00 am
3:00 am
4:00 am
5:00 am
6:00 am
7:00 am
8:00 am
9:00 am
10:00 am
11:00 am
12:00 pm
1:00 pm
2:00 pm
3:00 pm
4:00 pm
5:00 pm
6:00 pm
7:00 pm
8:00 pm
9:00 pm
10:00 pm
11:00 pm
|
|
|
|
2:00 pm
Absolute Provability and Intuitionistic Tense. Vincent A. Peluce
@ CUNY Grad Center, 9206
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[...]
|
1:00 pm
Cognitive Science Speaker Series
@ CUNY Grad Center, 6493
Cognitive Science Speaker Series
@ CUNY Grad Center, 6493
Dec 6 @ 1:00 pm – 3:00 pm
September 20: Matthias Michel Philosophy and Laboratoire Sciences, Université Paris-Sorbonne and NYU “Consciousness and the Prefrontal Cortex” October 4: Ryan McElhaney Cognitive Science and Philosophy, CUNY Graduate Center “Explanation and Consciousness” October 18: Sascha Benjamin Fink Philosophy-Neurosciences-Cognition, University of Magdeburg and NYU “Varieties of Phenomenal Structuralism” November 1: Jesse Atencio Cognitive Science and Philosophy, CUNY Graduate Center Title TBA November 15: Frank Pupa Philosophy, Nassau Community College “Getting Between: Predicativism, Domain Restriction, and Binding” December[...]
|
|
Subscribe to filtered calendar