| 3 Sun | 4 Mon | 5 Tue | 6 Wed | 7 Thu | 8 Fri | 9 Sat |
|---|---|---|---|---|---|---|
|
All-day
NYC Workshop in Early Modern Philosophy: Freedom and Evil
@ Fordham Lincoln Center
NYC Workshop in Early Modern Philosophy: Freedom and Evil
@ Fordham Lincoln Center
Mar 3 all-day
The workshop, which is now in its 9th year, aims to foster exchange and collaboration among scholars, students, and anyone with an interest in Early Modern Philosophy. This year’s workshop will focus on the topic of “Freedom and Evil” in Early Modern Philosophy (roughly the period from 1600-1800). We welcome submissions on the conference topic, which may be broadly construed to include the problem of free will, theodicy, political and social liberty, and evil practices[...]
|
||||||
|
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
|
|
|
|
|
12:00 pm
Gabriele Pulcini (New University of Lisbon): From Complementary Logic to Proof-Theoretic Semantics
@ Columbia U Philosophy Dept. 716
Gabriele Pulcini (New University of Lisbon): From Complementary Logic to Proof-Theoretic Semantics
@ Columbia U Philosophy Dept. 716
Mar 8 @ 12:00 pm
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[...]
|
|
Subscribe to filtered calendar