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
Neuroprediction, the use of neuroscientific data to predict human behavior, can sound like science fiction. But with the advent of neuroimaging and the continuing rapid development of other non-invasive brain measurements, neuroprediction is increasingly a real-world phenomenon.
Deep philosophical, legal, and neuroscientific questions arise regarding the use of these methods to predict behavior. Like all scientific tools, whether or not these technologies are used responsibly depends on who uses them. For instance, recent research illustrates the potential use of neuroprediction to assess an individual’s risk of (re-)engaging in antisocial conduct in forensic contexts. While the use of brain-based data may add predictive value to existing risk assessment tools, at the same time, the use (or misuse) of neuroprediction in courtrooms may imply violations of individual rights and liberties under the pretext of enhancing public safety. In addition to these legal implications, neuroprediction presents several technological and neuroscientific challenges. The non-invasive measures currently available are only indirect measures of cognitive activity. Understanding the conceptual, ethical, and legal dimensions surrounding the use of neuroprediction technologies helps crystallize the issues at hand and potentially provides moral guidance for those who wish to capitalize on these new tools as their prevalence and specificity continue to advance.
In this seminar, four experts from neuroscience, law, and philosophy will discuss recent findings in neuroprediction research, the predictive power of brain-based evidence compared to behavioral evidence, as well as the ethical and legal concerns emerging from the entrance of neuroprediction in the courts of law.
Speakers:
Arielle Baskin-Sommers, Assistant Professor of Psychology and Psychiatry, Yale University
Martha Farah, Annenberg Professor of Natural Sciences, University of Pennsylvania
Kent Kiehl, Professor of Psychology and Neuroscience, University of New Mexico
Walter Sinnott-Armstrong, Chauncey Stillman Professor of Practical Ethics, Duke University
Discussant:
Jeffrey A. Fagan, Isidor and Seville Sulzbacher Professor of Law and Professor of Epidemiology, Columbia University
Moderator:
Federica Coppola, Presidential Scholar in Society and Neuroscience, Columbia University
Free and open to the public, but RSVP is required via Eventbrite. This event is part of the Seminars in Society and Neuroscience series.
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.
In 1804 Schelling diagnosed our impending “annihilation of nature” due to our conceptual detachment from and consequent economic exploitation of our natural world. His critique of Modernity’s Cartesian Idealisms, effected through his inversion of the Kantian categories, results in a philosophical project whose relevance to our ongoing climate crisis is difficult to overstate.
Bruce Matthews
Bard College/BHSEC, professor of philosophy, research in German Idealism and Romanticism, with a focus on life and thought of F.W.J. Schelling, whose recent work revolves around Schelling’s critique of modernity with its anticipation of, as he wrote in 1804, ‘the annihilation of nature,’ and its relevance to the Anthropocene.
“Schelling in the Anthropocene: A New Mythology of Nature,” (Symposium: Canadian Journal of Continental Philosophy, 2015), “Schelling: A Brief Biographical Sketch of the Odysseus of German Idealism,” in The Palgrave Handbook to German Idealism (2014), and “The New Mythology: Between Romanticism and Humanism,” in The Relevance of Romanticism (Cambridge University Press, 2014). Books include the forthcoming intellectual biography, Schelling: Heretic of Modernity (2018), Schelling’s Organic Form of Philosophy: Life as the Schema of Freedom (SUNY 2011).
Presented by the Philosophy Department at The New School for Social Research
Selected speakers:
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