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 (in)ability to adequately measure the dynamics of the program execution. More precisely, using topology to capture the observational powers of an agent, we define the nondeterministic outcomes of a given program execution to be those outcomes that the agent is unable to rule out in advance. In this framework, determinism coincides exactly with continuity: that is, determinism is continuity in the observation topology. This allows us to embed PDL into (dynamic) topological (subset space) logic, laying the groundwork for a deeper investigation into the epistemology (and topology) of nondeterminism.
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/29/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
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
8 February @Columbia
Patricia Kitcher: The Fact of Reason in Kant’s Moral Psychology
Response: Jessica Tizzard
22 February @NSSR
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
8 February @Columbia
Patricia Kitcher: The Fact of Reason in Kant’s Moral Psychology
Response: Jessica Tizzard
22 February @NSSR
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
Conference Schedule
10AM Teddy Seidenfeld – Conditional Probability, Conditionalization, and Total Evidence
11AM Eleonora Cresto – Beyond Indeterminate Utilities. The Case of Neurotic Cake-Cutting
11:20AM Ignacio Ojea Quintana – Unawareness and Levi’s Consensus as Common Ground
11:40AM Rush Stewart – Uncertainty, Equality, Fraternity
1PM Nils-Eric Sahlin – Levi’s Decision Theory: Lessons Learned
1:45PM Wilfried Sieg – Scientific Theories as Set-Theoretic Predicates?
2:45PM Panel Discussion – Learning from Levi
Abstracts available in attached documents under “Supporting material.”
Memorial
A memorial service will be held at 5PM at St. Paul’s Chapel on the Columbia campus. Reception to follow on the 7th floor of Philosophy Hall.
Scholars working under the broad umbrella of New Materialism have offered compelling reappraisals of the ways in which we know, interact with, and exist in the world. This scholarship also intersects with recent work on music and sound, which raises rich sets of questions regarding human agency, material, ethics, aesthetics, embodiment, and the subject/object dichotomy, among other issues.
We invite scholars working in the humanities, arts and sciences to submit proposals for papers and performances that engage with the themes of sound and new materialism, broadly construed. We welcome work that adopts historical, technological, analytical, philosophical, materialist, and creative vantage points, among others. Overall, this conference will direct these diverse disciplinary and methodological perspectives towards convergent and critical issues, creating new, interdisciplinary lines of enquiry and generating original research.
The one-day conference will consist of panels that comprise of papers with short reflections by a moderator, as well as an evening concert that includes opportunities for discussion. The concluding concert of work that engages with these themes from creative perspectives will afford attendees with an opportunity to consider and discuss issues concerning sound, material, and agency in a forum that contrasts with, but also complements, our events during the day. Conference participants are strongly encouraged to attend both the daytime and evening portions of the conference.
Proposals are called for:
Paper presentations of 20 minutes with 10 minutes of Q&A.
Artistic presentation of 20 minutes with 10 minutes of discussion
Submission: Proposals of no more than 500 words (300 words for artistic presentation) should be submitted as a PDF by August 14th 2019 to jc5036@columbia.edu
and include “NMAS Submission” in the subject line. If you’re applying for an artistic presentation please include three representative 2 minute audio/video examples. Please also include the title of your proposed paper and anonymize your submission. Include your name, affiliation, and contact information in the body of the email, and also nominate any audio/visual requirements for your paper or performance.
Luca Corti (University of Padua) – March 6
Amy Allen (Penn State) – March 27
Andreja Novakovic (UC Berkeley) – April 3
Alberto Siani (University of Pisa) – May 8
Luca Corti (University of Padua) – March 6
Amy Allen (Penn State) – March 27
Andreja Novakovic (UC Berkeley) – April 3
Alberto Siani (University of Pisa) – May 8
Presented by NY German Idealism Workshop
With response from Karen Ng (Vanderbilt)
Presented by NY German Idealism Workshop