Calendar

The seminar is concerned with applying formal methods to fundamental issues, with an emphasis on probabilistic reasoning, decision theory and games. In this context “logic” is broadly interpreted as covering applications that involve formal representations. The topics of interest have been researched within a very broad spectrum of different disciplines, including philosophy (logic and epistemology), statistics, economics, and computer science. The seminar is intended to bring together scholars from different fields of research so as to illuminate problems of common interest from different perspectives. Throughout each academic year, meetings are regularly presented by the members of the seminar and distinguished guest speakers.

details tba

02/08/2019 Faculty House, Columbia University
4:00 PM

03/22/2019 Faculty House, Columbia University
4:00 PM

04/19/2018 Faculty House, Columbia University
4:00 PM

8 February @Columbia

Patricia Kitcher: The Fact of Reason in Kant’s Moral Psychology

Response: Jessica Tizzard

22 February @NSSR

Matters of Love: A Conference

5 April @Columbia

Beatrice Longuenesse: Residues of First Nature

19 April @NSSR

Angelica Nuzzo: Approaching Hegel’s Logic Obliquely: Melville, Moliere, Beckett

Response: David Carlson

10 May @Columbia

Amy Allen: Turning Dead Ends into Through Streets: Psychoanalysis and the Idea of Progress

There are two approaches to life. The first one, which we are identifying with Sir Karl Popper, is to think before we act and to let our hypotheses die in our stead when the overall outcome is likely to be negative. We act now for a better future, and we think now which action will bring the best future. Both decision theory and backward induction are technical versions of this train of thought.  The second approach, which we will identify with the Buddha, is to live in the present and not allow the future to pull us away from living in the ever present  Now. The Buddha’s approach is echoed in many others who came after him, Jelaluddin Rumi, Kahlil Gibran, and even perhaps Jesus.  It occurs in many contemporary teachers like Eckhart Tolle and Thich Nhat Hanh.  We may call Popper’s approach “futurism” and the Buddha’s approach “presentism.”

In this talk, we will discuss various aspects of the discourse on presentism and futurism. The purpose is to contrast one with the other. We will not attempt to side with one against the other, and instead leave it as a future project to find a prescriptive action-guiding choice between the two. We merely conjecture that a better optimal choice between these two positions may be somewhere in between. (This is joint work with Jongjin Kim.)

8 February @Columbia

Patricia Kitcher: The Fact of Reason in Kant’s Moral Psychology

Response: Jessica Tizzard

22 February @NSSR

Matters of Love: A Conference

5 April @Columbia

Beatrice Longuenesse: Residues of First Nature

19 April @NSSR

Angelica Nuzzo: Approaching Hegel’s Logic Obliquely: Melville, Moliere, Beckett

Response: David Carlson

10 May @Columbia

Amy Allen: Turning Dead Ends into Through Streets: Psychoanalysis and the Idea of Progress

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, so do join the mailing list (by emailing poprocksworkshop@gmail.com or one of the organizers) or email to ask for a copy of the paper. We aim for a friendly, constructive discussion with the understanding that the drafts discussed are typically work in progress.

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 (unary) cut rules, which allow for a simple and efficient cut-elimination algorithm. In particular, two facts will be highlighted: 1) for any given provable sequent, complementary cut-elimination always returns one of its simplest proofs, and 2) provable LK* sequents turn out to be “deductively polarized” by the empty sequent. In the second part, I will observe how an alternative complementary sequent system can be obtained by slightly modifying the Gentzen-Schütte system G3. I will finally show how this move could pave the way for a novel approach to multi-valuedness and proof-theoretic semantics for classical logic.

It is commonly claimed that mind-body dualism is entirely foreign to China—or “the East” more generally. This talk will explore how engaging with the cognitive sciences and digital humanities undermines claims such as this, and more broadly can help us to do our work as scholars of comparative philosophy. Embracing an embodied view of human cognition gets us beyond strong social constructivism and its accompanying cultural essentialism. In addition, new tools from the science and digital humanities can, in combination with traditional archaeological and textual evidence, allow us to more accurately and rigorously assess claims about the philosophical and religious historical record. Specifically, I will focus on novel large-scale textual analysis techniques, online databases for sharing scholarly knowledge, and work in contemporary evolutionary anthropology and cognitive science relevant to the mind-body issue. I will conclude by considering how early Chinese views of mind-body relations do, in fact, differ from some modern Western conceptions, and how taking a more reasonable view of cultural differences can allow us to genuinely learn from other cultures.

With a response from:

Paul Goldin (University of Pennsylvania)

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, so do join the mailing list (by emailing poprocksworkshop@gmail.com or one of the organizers) or email to ask for a copy of the paper. We aim for a friendly, constructive discussion with the understanding that the drafts discussed are typically work in progress.

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, so do join the mailing list (by emailing poprocksworkshop@gmail.com or one of the organizers) or email to ask for a copy of the paper. We aim for a friendly, constructive discussion with the understanding that the drafts discussed are typically work in progress.