| 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
|
6:30 pm
Philosophy of Language Workshop
@ NYU Philosophy Dept. rm 302
Philosophy of Language Workshop
@ NYU Philosophy Dept. rm 302
Dec 2 @ 6:30 pm – 8:30 pm
We’re a community of philosophers of language centered in New York City. We have a meeting each week at which a speaker presents a piece of their own work relating to the philosophy of language. Sept 9 Donka Farkas (Santa Cruz) Sept 16 John Maackay (U Wisconsin–Madison) Sept 23 Andrew Bacon (USC) Sept 30 Eleonore Neufeld (USC) Oct 7 Eli Alshanetsky (Temple) Oct 21 Gabe Dupre (UCLA) Oct 28 Dorit Bar-On (UConn) Nov 4 Sam[...]
|
|
|
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[...]
|
|
|
Subscribe to filtered calendar