| Sun | Mon | Tue | Wed | Thu | Fri | Sat |
|---|---|---|---|---|---|---|
|
Absolute Provability and Intuitionistic Tense. Vincent A. Peluce
2:00 pm
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[...]
|
Symposium on Brian Cantwell Smith’s The Promise of Artificial Intelligence: Reckoning and Judgment (MIT Press, 2019)
Symposium on Brian Cantwell Smith’s The Promise of Artificial Intelligence: Reckoning and Judgment (MIT Press, 2019)
@ Kellen Auditorium, Room N101
Dec 6 all-day
Selected speakers: Zed Adams The New School Brian Cantwell Smith University of Toronto, St. George Mazviita Chirimuuta University of Pittsburgh
|
Philosophy of Emotion Workshop
Philosophy of Emotion Workshop
@ CUNY Grad Center, rm 5307
Dec 7 all-day
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[...]
|
||||
Subscribe to filtered calendar