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
27
28
29
Celebrating Yirmiyahu Yovel
Celebrating Yirmiyahu Yovel @ Wolff Conference Room, D1103
Mar 29 – Mar 30 all-day
Tickets
The Philosophy Department of The New School for Social Research invites you to a conference in honor of the life and work of Hans Jonas Professor of Philosophy Yirmiyahu Yovel. The conference will be on March 29th and 30th in the Wolff Conference Room, D1103, 6 E 16th Street. Celebrating Yirmiyahu Yovel Friday, March 29th Chair: Richard J. Bernstein 9 AM – 11 AM: Agnes Heller “The Other Within” 11 AM – 1 PM: Jay[...]
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