Calendar

Month
Month
2018 Feb March 2019 Apr 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
Epistemology and Ethics Workshop 5:30 pm
Epistemology and Ethics Workshop @ Plaza View Room, 12th Floor
Mar 26 @ 5:30 pm – 6:45 pm
Tickets
AY 2018 – 19 Workshop Schedule September 25th – Avery Archer (GWU) October 16th – Daniel Singer (Penn) November 13th – Ariel Zylberman (SUNY Albany) February 26th – Vita Emery (Fordham) March 26th – Kathryn Tabb (Columbia) April 23rd – Carol Hay (UMass Lowell) The Epistemology and Ethics group is composed of faculty and graduate students at Fordham and other nearby universities. Papers are read in advance, so the majority of the time is devoted[...]
27
28
29
Bjorndahl: The Epistemology of Nondeterminism. Logic, Probability, and Games Seminar 4:00 pm
Bjorndahl: The Epistemology of Nondeterminism. Logic, Probability, and Games Seminar @ Faculty House, Columbia U
Mar 29 @ 4:00 pm
Tickets
Propositional dynamic logic (PDL) is a framework for reasoning about nondeterministic program executions (or, more generally, nondeterministic actions). In this setting, nondeterminism is taken as a primitive: a program is nondeterministic iff it has multiple possible outcomes. But what is the sense of “possibility” at play here? This talk explores an epistemic interpretation: working in an enriched logical setting, we represent nondeterminism as a relationship between a program and an agent deriving from the agent’s[...]
30
31
2018 Feb March 2019 Apr 2020