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[...]
|
||||||
Social and Political Philosophy Workshop
5:30 pm
Social and Political Philosophy Workshop
@ Law School rm 8-01
Mar 12 @ 5:30 pm – 6:45 pm
Meetings are held on Tuesdays at Fordham’s Lincoln Center campus in Manhattan in the Plaza View Room, 12th Floor, Lowenstein Building (113 W. 60th St). We meet from 5:30 to 6:45 and papers are read in advance. If interested in attending, contact sahaddad@fordham.edu or jeflynn@fordham.edu. September 18 – Cristina Beltrán (NYU) October 9 – Jennifer Scuro (New Rochelle) – “Mapping Ableist Biases: Diagnoses and Prostheses” November 6 – Lillian Cicerchia (Fordham) March 12 – Rahel Jaeggi (Humboldt) April 9 – Ann Murphy (New Mexico),[...]
|
||||||
Subscribe to filtered calendar