| 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[...]
|
||||||
|
Roger T. Ames 安樂哲 on “Deweyan and Confucian Ethics: A Challenge to the Ideology of Individualism”
4:00 pm
Roger T. Ames 安樂哲 on “Deweyan and Confucian Ethics: A Challenge to the Ideology of Individualism”
@ Wolff Conference Room, NSSR, D1103
Mar 15 @ 4:00 pm – 6:00 pm
John Dewey, in his resistance to foundational individualism, declares that individual autonomy so conceived is a fiction; for Dewey, it is association that is a fact. In his own language: “There is no sense in asking how individuals come to be associated. They exist and operate in association.” In a way that resonates with Confucian role ethics, the revolutionary Dewey particularizes the fact of associated living and valorizes it by developing a vision of the[...]
|
||||||
|
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
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[...]
|
||||||
Subscribe to filtered calendar