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

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.