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
A Night of Philosophy & Ideas, at the main branch of the Brooklyn Public Library, is an all-night marathon of philosophical debate, performances, screenings, readings, music, and virtual reality experiences takes over the entirety of the iconic Central Library.
This year’s participants will consider humanity’s relationship to the world, to nature, to other living beings and species, and to technology. They will ask: What is the meaning of life? How do we live our lives from beginning to end, be it striving or barely surviving? How do we define that experience and how do we situate ourselves in this world?
French-American economist Esther Duflo, winner of the 2019 Nobel Prize in Economics, will kick off the evening with a keynote address. The lineup also features a French anthropologist, sociologist, and physician Didier Fassin, professor at the Institute for Advanced Studies and Director of Studies at the École des Hautes Études en Sciences Sociales; Catherine Malabou, Professor of Philosophy at Kingston University (UK) and UCI; Maïa Mazaurette, a Brooklyn-based French author, columnist, and illustrator whose work deals with contemporary sexuality and the body’s place in society; and Barbara Stiegler, professor of philosophy at the University of Bordeaux Montaigne and a member of the Institut Universitaire de France.
Performances will include Unnamed, from Jérôme Thomas, a French juggler whose work integrates contemporary dance and theatre, and Armenian-Syrian artist Hratch Arbach’s MAWTINI: lost homelands, in a site-specific installation. The event will also feature a late-night screening of Jacques Rivette’s landmark 1971 film Out 1, and an exhibition of work by New York-based visual artist Mary Mattingly, whose “sculptural ecosystems” in urban spaces include Swale and Pull, and who founded the Waterpod Project (2009), a barge-based public space and self-sufficient habitat that hosted over 200,000 visitors in New York.
A recent spate of critical engagements with Giorgio Agamben’s construction of the zōē, /bios distinction calls for renewed evaluation of the political valence of zōē in Aristotle’s political theory. While there may be ways of responding to these criticisms from within Agamben’s work, I am more interested in proposing an alternative account of zōē, one that better accommodates the breadth of Aristotle’s thinking about living beings, the context of ancient Greek conceptions of life, and a genealogical task that could be of service to a variety of strands of contemporary critical theory. Taking Aristotle’s treatment of zōē as an object of desire as my point of origin, I locate this orientation toward life within a broader conception of power as generativity and an alienated approach to the material conditions of human birth. I then trace the model of politics, zōē-politics, that arises from this framework.
Bio:
Sara Brill is Professor and Chair of Philosophy at Fairfield University. She works on the psychology, politics, and zoology of Plato and Aristotle as well as contemporary feminist and political theory. She is the author of Plato on the Limits of Human Life (Indiana 2013), Aristotle on the Concept of Shared Life (forthcoming from Oxford University press in May 2020), co-editor of Antiquities beyond Humanism (Oxford 2019), and has published numerous articles on Plato, Aristotle, Greek tragedy, and the Hippocratic corpus.