Calendar

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

Physicists and philosophers question the validity of one of the most observed and seemingly obvious appearance in our world: that time flows. Many in the physics and philosophy communities contend that the flow of time is not a fundamental feature of the world, nor even a fact of the world, but is an illusion. As a case in point, we will consider Brian Greene’s view of time in his PBS exposition “The Elegant Universe” holding that time may not flow, the past may not be gone, the future may already exist, and that now is not special. Most people, as observers of time’s passage, might agree with the Greek philosopher Heraclitus who expressed the idea that all is change and that change occurs with the flow of time. I will explore some of the motivation and reasons given for these positions and contrast the arguments made for each viewpoint.

The schedule: a short presentation on topic of 3-D Printing, and then Stuart’s presentation for about 1 hr. plus time for questions.  It is necessary to register beforehand to be admitted.

CV: Stuart Kurtz graduated from MIT with an SB in Chemical Engineering and from Princeton with an MS degree in Polymer Engineering and an MA and PhD. in Chemical Engineering.  He taught at RPI and in Brazil as Professor Titular in Materials Engineering.  This was followed by a research career in industry accumulating around 30 patents and publishing at least a few good papers.   He now focuses on Philosophy of Science and Physics and climbing mountains because they are there. He has spoken to the Lyceum Society many times; most recently in January, 2018  he spoke on the topic: Lessons from Science Lysenko, Velikovsky and the Demarcation Problem; In February, 2018 he spoke on Geoengineering for Climate Change Mitigation.  In December, 2018 he reviewed the Nobel Prize in Physics for that year.

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

This essay tries to develop a “black radical Kantianism” – that is, a Kantianism informed by the black experience in modernity. After looking briefly at socialist and feminist appropriations of Kant, I argue that an analogous black radical appropriation should draw on the distinctive social ontology and view of the state associated with the black radical tradition. In ethics, this would mean working with a (color-conscious rather than colorblind) social ontology of white persons and black sub-persons and then asking what respect for oneself and others would require under those circumstances. In political philosophy, it would mean framing the state as a Rassenstaat (a racial state) and then asking what measures of corrective justice would be necessary to bring about the ideal Rechtsstaat.

Response by César Cabezas Gamarra.

Presented by the German Idealism Workshop

The last Philosophy in the Library talk of 2019 is coming up on December 4th at 7:00 PM! Sebastian Purcell is talking about “Good Habits Aren’t Enough: The Aztec Conception of Shared Agency!” If you’re into indigenous philosophy, the history of philosophy, virtue ethics, or collective action, you should enjoy it.

Brooklyn Public Philosophers is a forum for philosophers in the greater Brooklyn area to discuss their work with a general audience, hosted by the Brooklyn Public Library. Its goal is to raise awareness of the best work on philosophical questions of interest to Brooklynites, and to provide a civil space where Brooklynites can reason together about the philosophical questions that matter to them.

10/23 – Philosophy in the Library: Jennifer Morton on Education @ the Brooklyn Public Library’s Information Commons Lab // 7:30-9:00 PM

11/6 – Philosophy in the Library: Asia Ferrin on Mindfulness @ the Brooklyn Public Library’s Information Commons Lab // 7:30-9:00 PM

12/4 – Philosophy in the Library: Sebastian Purcell on Aztec Philosophy @ the Brooklyn Public Library’s Information Commons Lab // 7:00-9:00 PM

The rich philosophical and mathematical disputes that took place between Isaac Newton and Gottfried Leibniz at the start of the eighteenth century have received more historical attention than any other exchange in the history of philosophy. Nevertheless, in this talk, Robert Iliffe discusses a prominent but neglected aspect of their disagreement, namely the mutual claim that their opponents’ conceptual foundations were fictional, and were the product both of diseased thinking and of illegitimately organized intellectual structures. Newton assailed Leibniz’s allegedly debased metaphysics in various prominent places, and mobilized allies such as Roger Cotes and John Keill to do the same. Nevertheless, by far the most sophisticated critique of illicit philosophical assumptions was launched against Newton by Leibniz in his correspondence with Samuel Clarke. In the Fifth letter to Clarke, Leibniz identified core Newtonian positions as infantile, vulgar, and profoundly irreligious, asserting that they were dangerous fictions that were less plausible and much less edifying than the rational romances of writers in the previous century. Although Leibniz saved his most potent intellectual weapons for his final letter to Clarke, Robert Iliffe suggests that his attack on the fictional status of Newton’s work was no mere codicil to his general critique of Newton’s philosophy, but instead lay at the heart of it. This famous debate, while of course somewhat sui generis, is indicative of more general and dynamic features of intellectual debate.

Event Speaker

Robert Iliffe, Professor of the History of Science at the University of Oxford

Event Information

This event is free and open to the public; Registration required. Please contact scienceandsociety@columbia.edu with any questions.

This event is part of the New York History of Science Lecture Series.