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
Generative art made with algorithms has existed since the early days of computing in the 1960s. In recent years, a new strand of generative art has emerged: AI-generated art, which leverages the recent progress of artificial intelligence to create artworks. Unlike old-fashioned generative art, AI-generated art is not produced with an explicit set of programming instructions provided by human artists; instead, it involves training an algorithm on a dataset so that it can later produce artworks (images, music, or video clips) using its own internal parameters that have not been explicitly defined by a human. This process raises fascinating questions at the intersection of computer science, art history, and the philosophy of art. At a superficial level of analysis, AI-generated art seems to offload much of the creative impetus of art production to the machine, requiring minimal intervention from the artist. On closer inspection, however, it involves a novel process of curation at two key stages: upstream in the selection of the dataset on which the algorithm is trained, and downstream in the selection of the outputs that should qualify as artworks. Instead of replacing human artists with computers, AI-generated art can be understood as a new kind of collaboration between mind and machine, both of which contribute to the aesthetic value of the final artwork.
This seminar will bring together AI artists and philosophers to explore the significance of this new mode of art production. It will discuss the implications of AI-generated art for the definition of art, the nature of the relationship between artists and tools, the process of digital curation, and whether AI systems can be as creative as humans.
Event Speakers
- Sougwen Chung, artist and researcher
- Helena Sarin, visual artist
- Anne Spalter, digital mixed-media artist
- Katherine Thomson-Jones, Professor of Philosophy at Oberlin College
- Moderated by Raphaël Millière, Presidential Scholar in Society and Neuroscience at Columbia University
Event Information
Free and open to the public. Registration is required via Eventbrite. Registered attendees will receive an event link shortly before the seminar begins.
This event is hosted by the Presidential Scholars in Society and Neuroscience as part of the Seminars in Society and Neuroscience series.
The Center for Science and Society makes every reasonable effort to accommodate individuals with disabilities. If you require disability accommodations to attend a Center for Science and Society event, please contact us at scienceandsociety@columbia.edu or (212) 853-1612 at least 10 days in advance of the event. For more information, please visit the campus accessibility webpage.
When someone is in a conscious state, must they be aware of that state? The Buddhist philosopher Dignāga offers a brilliant route to answering this question by leveraging the role awareness might play as a constraint on memory. I begin by clarifying his strategy and what conclusions it might be used to establish. Here I examine different candidate directions of explanation between consciousness and inner awareness. I interpret the metaphor of consciousness as a lamp that lights itself, and use the metaphor to distinguish between his view and contemporary higher-order theories of consciousness. I then turn to explain why the memory argument fails. The first main problem is that, contrary to Dignāga’s contemporary defenders, there is no good way to use the argument to reach a conclusion about all conscious states. The second main problem is that the proposed awareness constraint on memory is highly problematic, in tension both with ancient objections as well as current psychology.
With responses from Lu Teng (NYU Shanghai)
A conference hosted by the Motherhood and Technology Working Group at the Center for the Study of Social Difference on the theme of “Conception and Its Discontents.”
Medical technologies have radically transformed the biological and social experience of motherhood. Advances in genomic and reproductive care, the circulation of novel kinship structures, the entrenchment of existing global networks of power and privilege, and the politics of contested bodily sites mark this emerging constellation.
Technological advancements have in particular impacted not just the understanding of conception, but the very process by which a human embryo is created, implanted, and matured. Egg freezing, embryo storage, IVF, and surrogacy afford women new freedoms in choosing when and how to become mothers, while also raising troubling questions about the pressures of capitalism and the extension of worklife, as well as the global inequalities present in the experience of motherhood. In addition, technologies have arisen allowing for unprecedented control over not just who becomes a mother, but what kind of embryo is allowed to be implanted and to grow. Technologies such as CRISPR and NIPT have re-introduced the question of eugenics, radically shifting the very epistemology of motherhood and what it means to be “expecting.” And contemporary abortion debates draw on technology in order to make arguments both for and against access, with imaging technologies being instrumentalized in the building of a sympathetic case for the unborn, and the very notion of a “heartbeat bill” reliant on the misreading of technologies for measuring fetal activity.
While these problems are urgent today, questions of conception and technology are by no means recent developments. The 18th century saw a flourishing of philosophical and scientific theories regarding the start of human life and its formation within the womb. Such theories relied on modern technologies, such as autopsy, to atomize and visualize the body. In the 19th and 20th centuries, eugenic medical science produced theories of reproductive difference between differing racial and social groups, leading to forced sterilization laws in both the US and in Germany. This long history of racializing the rhetoric of fertility and motherhood continues to influence political debates on immigration and demographic changes in the present.
Full conference details and schedule to come.
Please email disability@columbia.edu to request disability accommodations. Advance notice is necessary to arrange for some accessibility needs
David Bates, in conversation with Stefanos Geroulano and Joanna Stalnaker
We imagine that we are both in control of and controlled by our bodies—autonomous and yet automatic. This entanglement, according to David W. Bates, emerged in the seventeenth century when humans first built and compared themselves with machines. Reading varied thinkers from Descartes to Kant to Turing, Bates reveals how time and time again technological developments offered new ways to imagine how the body’s automaticity worked alongside the mind’s autonomy. Tracing these evolving lines of thought, David Bates discusses his new book, An Artificial History of Natural Intelligence, which offers a new theorization of the human as a being that is dependent on technology and produces itself as an artificial automaton without a natural, outside origin.
David Bates is Professor of Rhetoric at the University of California Berkeley. His research focuses on the history of legal and political ideas, and the relationship between technology, science, and the history of human cognition.
Stefanos Geroulanos is the Director of the Remarque Institute and Professor of European Intellectual History at NYU. He usually writes about concepts that weave together modern understandings of time, the human, and the body. His new book is a history of the concepts, images, and sciences of human origins since 1770, forthcoming from Liveright Press as The Invention of Prehistory: Empire, Violence, and Our Obsession with Human Origins in 2024.
Joanna Stalnaker is Professor of French at Columbia. She works on Enlightenment philosophy and literature, with a recent interest in how women shaped the Enlightenment. Her new book, The Rest Is Silence: Enlightenment Philosophers Facing Death, will be published by Yale University Press in the Walpole series.