| 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[...]
|
The Immortal Spirit in Classical Chinese Aesthetics. Paul Goldin (UPenn)
5:30 pm
The Immortal Spirit in Classical Chinese Aesthetics. Paul Goldin (UPenn)
@ Columbia University Religion Dept. 101
Dec 6 @ 5:30 pm – 7:30 pm
This will be the third (and, time permitting, some material from the fourth) of a series of lectures that I aim to write up formally as a book. We will begin with a brief review of the most familiar theory of Chinese aesthetics: works of art are the products of sensitive human beings who cannot suppress their sincere responses to emotional stimuli. If art is understood as a sincere statement of this kind by a[...]
|
|||||
Subscribe to filtered calendar