Calendar

Month
Month
2018 Feb March 2019 Mar 2020
Sun Mon Tue Wed Thu Fri Sat
1
2
3
4
5
6
7
8
Gabriele Pulcini (New University of Lisbon): From Complementary Logic to Proof-Theoretic Semantics 12:00 pm
Gabriele Pulcini (New University of Lisbon): From Complementary Logic to Proof-Theoretic Semantics @ Columbia U Philosophy Dept. 716
Mar 8 @ 12:00 pm
Tickets
Two proof-systems P and P* are said to be complementary when one proves exactly the non-theorems of the other. Complementary systems come as a particular kind of refutation calculi whose patterns of inference always work by inferring unprovable conclusions form unprovable premises. In the first part of my talk, I will focus on LK*, the sequent system complementing Gentzen’s system LK for classical logic. I will show, then, how to enrich LK* with two admissible[...]
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
Celebrating Yirmiyahu Yovel
Celebrating Yirmiyahu Yovel @ Wolff Conference Room, D1103
Mar 29 – Mar 30 all-day
Tickets
The Philosophy Department of The New School for Social Research invites you to a conference in honor of the life and work of Hans Jonas Professor of Philosophy Yirmiyahu Yovel. The conference will be on March 29th and 30th in the Wolff Conference Room, D1103, 6 E 16th Street. Celebrating Yirmiyahu Yovel Friday, March 29th Chair: Richard J. Bernstein 9 AM – 11 AM: Agnes Heller “The Other Within” 11 AM – 1 PM: Jay[...]
30
31
2018 Feb March 2019 Mar 2020