Sun | Mon | Tue | Wed | Thu | Fri | Sat |
---|---|---|---|---|---|---|
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
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[...]
|
||||||
Nietzsche and the Disadvantage of History: the Rise of Western Oikophobia. Benedict Beckeld
6:00 pm
Nietzsche and the Disadvantage of History: the Rise of Western Oikophobia. Benedict Beckeld
@ Meyer Hall, Room 102, NYU
Mar 28 @ 6:00 pm – 8:00 pm
New York University’s Liberal Studies, in Collaboration with Nietzsche Circle, Presents: Nietzsche and the Disadvantage of History: The rise of Western Oikophobia More Info & RSVP: If you like to attend, Please RSVP by sending email to Luke Trusso at luke.trusso@gmail.com
|
||||||
Subscribe to filtered calendar