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
Convergence to the truth is viewed with some ambivalence in philosophy of science. On the one hand, methods of inquiry that lead to the truth in the limit are prized as marks of scientific rationality. But an agent who, by using some method, expects to always converge to the truth seems to fail a minimum standard of epistemic modesty. This point was recently brought home by Gordon Belot in his critique of Bayesian epistemology. In this paper I will study convergence to the truth theorems within the framework of Edward Nelson’s radically elementary probability theory. This theory provides an enriched conceptual framework for investigating convergence and gives rise to an appropriately modest from of Bayesianism.
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
Columbia University’s Department of Philosophy, the Morningside Institute, and the Thomistic Institute invite graduate students in philosophy, theology/religious studies, literature, and related disciplines to submit papers for “The Moral Imagination of the Novel.” The conference will examine the ways in which individual novels and the novel as a literary genre can be understood both to depict the search for moral, philosophical, and religious truth and to engage in this very search themselves. Is the novel a realistic or idealistic genre? Can novels expand our sense of moral possibilities? Can they contract them?
The conference will begin with four twenty-minute graduate student papers on Friday, October 4, followed by talks that day and the next from faculty. Confirmed speakers include:
Paul Elie (Georgetown)
Ann Astell (Notre Dame)
Thomas Pavel (Chicago)
Lauren Kopajtic (Fordham)
Dhananjay Jagannathan (Columbia)
Limited financial assistance is available to defray the cost of travel for student presenters, but students are encouraged to seek funds from their own institutions as well.
One-page proposals should be emailed to Molly Gurdon at mcg2197@columbia.edu by Saturday, August 31 to be considered. Invitations to present papers will be sent by Friday, September 6. Submissions should not contain any identifying information except for a title, but the author’s institution and program, along with the title of their proposed submission, should be noted in the e-mail submission.
Contact Crina Gschwandtner for more information.
The workshop is funded by the National Science Foundation (SES-1921688) and is aimed at bringing together academics who study the notion of mathematical explanation from philosophical and from educational/psychological perspectives. The idea is to bring together philosophers of mathematics, epistemologists, psychologists, and mathematics educators, to discuss how developments in their own fields could meaningfully contribute to the work on mathematical explanation where their fields intersect. In particular, we want to explore the ways in which mathematical explanation engenders understanding, by focusing on (1) the relationship between different types of philosophical accounts of mathematical explanation, (2) educational approaches to the characterization of effective explanations in the mathematics classroom, and (3) work at the intersection of these two perspectives.
All speakers:
Mark Colyvan
University of Sydney
Matthew Inglis
Loughborough University
Marc Lange
University of North Carolina, Chapel Hill
Tania Lombrozo
Princeton University
Alexander Renkl
University of Freiburg
Keith Weber
Rutgers University – New Brunswick
Orit Zaslavsky
New York University
Please note: All events are virtual until otherwise stated.
“What is Sin?“
Brian Leftow
Willian Palstion Chair for the Philosophy of Religion
Rutgers University
Location TBA
Contact Toby Bollig
TBA
Location TBD
Susan Neiman develops in Evil in Modern Thought: An Alternative History of Philosophy (2002, Princeton: Princeton University Press) a watershed perspective on the longstanding problem of evil, the perniciously difficult to satisfy “need to find order within those appearances so unbearable that they threaten reason’s ability to go on.” The book thereby also presents a radically new perspective on traditional debates within metaphysics. On the occasion of its twentieth anniversary, we gather to celebrate her accomplishment and to advance the research program it reflects. Participants will include, in addition to Neiman herself: Annalise Acorn, Frederick Beiser, Jeremy Bendik-Keymer, Omri Boehm, Dan Brudney, Caroline Bynum, Lorraine Daston, Michael Della Rocca, Wendy Doniger, Wolfram Ellenberger, John Faithful Hamer, Carey Harrison, Patricia Kitcher, Philip Kitcher, Christia Mercer, Cornel West, Allen Wood, and James Wood.