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[...]
|
||||||
Philosophy of Psychology Workshop
7:00 pm
Philosophy of Psychology Workshop
@ 302 Philosophy Hall, Columbia U
Mar 14 @ 7:00 pm – 9:00 pm
PoPRocks (formerly known as ‘WoPoP’) is an ongoing series in the NYC area for early career researchers – typically grad students, postdocs, people who got their PhD within the last few years, advanced undergrads etc. – working on philosophy of psychology/mind/perception/cognitive science/neuroscience/… . We usually meet roughly once every 2-3 weeks to informally discuss a draft paper by one of our members. Typically presenters send a copy of their paper around 1 week in advance,[...]
Perceptual Objectivity and Rational Agency -Amogh Sahu. Philosophy of Psychology Workshop
8:00 pm
Perceptual Objectivity and Rational Agency -Amogh Sahu. Philosophy of Psychology Workshop
@ 302 Philosophy Hall, Columbia U
Mar 14 @ 8:00 pm
PoPRocks (formerly known as ‘WoPoP’) is an ongoing series in the NYC area for early career researchers – typically grad students, postdocs, people who got their PhD within the last few years, advanced undergrads etc. – working on philosophy of psychology/mind/perception/cognitive science/neuroscience/… . We usually meet roughly once every 2-3 weeks to informally discuss a draft paper by one of our members. Typically presenters send a copy of their paper around 1 week in advance,[...]
|
||||||
Subscribe to filtered calendar