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
One of the central questions facing human beings is how we should respond to the humanity of others. Since the enlightenment, secular Western ethics has gravitated towards two kinds of answer: we should care for others’ well-being, or we should respect them as autonomous agents. Largely neglected is an answer we can find the religious traditions of Judaism, Christianity and Buddhism: we should love all. Analytic philosophers have started to pay more attention to love. But unlike those working within religious traditions, for whom an ideal of love for all serves as the central, organizing ideal in ethics, most of these philosophers see love as confined to the domain of intimate relationships between friends, family, romantic partners and the like. This paper argues that an ideal of love for all, of agape, can be understood apart from its more typical religious contexts and moreover provides a unified and illuminating account of the the nature and grounds of morality. Against challenges to the idea that love for all is possible, I offer a novel account of what it would be to love all. I go on to argue that while it is possible to love all, most of us should not, as doing so would rule out the possibility of loving particular friends and families. Instead, we should approximate love for all. I argue that the minimal approximation of love for all is, surprisingly, respect, deriving the basic, structural features of deontological ethics (including anti-welfarism and anti-aggregation) from my account of love for all.
Reception to follow.
Thursday, September 29th, 2022
Christina Van Dyke (Barnard College)
Title “I feel it in my fingers, I feel it in my toes: Imaginative Meditation and Experience of Love in Medieval Contemplative Philosophy”
4:10-6:00 PM
716 Philosophy Hall
Thinking Across the Humanities on Valentines’s Day
Tuesday, Feb. 14 of course! 4pm, McShane Center 311
A fun student-faculty roundtable discussion on topics related to love in all of its fabulous variety: erotic love, unrequited love, love and justice, love of friends, love of the Divine, sanctioned and unsanctioned love, personal and political love, and so much more! What insights can we, along with some of our favorite artists and thinkers, offer on love? Come for a roundtable where a small group of faculty and students will jump off with brief prepared remarks, followed by a discussion, food, and fun!
RSVP here
The Avoidance of Intimacy: A Reorientation in the Moral Philosophy of Love
Presented by Columbia University Dept. of Philosophy
riday, November 10
9:30–9:55 Check–in and Coffee
9:55 Welcome
10:00–12:00 Adam Smith
Speaker: Ryan Patrick Hanley (Boston College)
Commentator: Samuel Fleischacker (University of Illinois Chicago)
12:00–2:00 Lunch Break
2:00–4:00 Immanuel Kant
Speaker: Marcia Baron (Indiana University Bloomington)
Commentator: Kyla Ebels–Duggan (Northwestern University)
4:00–4:30 Coffee Break
4:30–6:30 German Romanticism
Speaker: Frederick Beiser (Syracuse University)
Commentator: Owen Ware (University of Toronto)
6:30–7:30 Reception
Saturday, November 11
9:30–10:00 Check–in and Coffee
10:00–12:00 Friedrich Nietzsche
Speaker: Andrew Huddleston (University of Warwick)
Commentator: Claire Kirwin (Northwestern University)
12:00–2:00 Lunch Break
2:00–4:00 Simone De Beauvoir
Speaker: Michelle Kosch (Cornell University)
Commentator: Susan J. Brison (Dartmouth University)
4:00–4:30 Coffee Break
4:30–6:30 Contemporary
Speaker: Simon May (King’s College London)
Commentator: Alecxander Nehamas (Princeton University)
6:30–7:30 Reception