Calendar

Month
Month
2018 Nov December 2019 Jan 2020
Sun Mon Tue Wed Thu Fri Sat
1
2
3
4
Sebastian Purcell on Aztec Philosophy 7:00 pm
Sebastian Purcell on Aztec Philosophy @ Brooklyn Public Library Information Commons Lab
Dec 4 @ 7:00 pm – 9:00 pm
Tickets
The last Philosophy in the Library talk of 2019 is coming up on December 4th at 7:00 PM! Sebastian Purcell is talking about “Good Habits Aren’t Enough: The Aztec Conception of Shared Agency!” If you’re into indigenous philosophy, the history of philosophy, virtue ethics, or collective action, you should enjoy it. Brooklyn Public Philosophers is a forum for philosophers in the greater Brooklyn area to discuss their work with a general audience, hosted by the[...]
5
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
Tickets
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[...]
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
2018 Nov December 2019 Jan 2020