5th CSLI Workshop on Logic, Rationality & Intelligent Interaction 2016
May 28-29, 2016, Cordura Hall (Barwise Room), CSLI, Stanford University
The purpose of this ongoing initiative is to bring together researchers interested in contacts between logic, philosophy, mathematics, computer science, linguistics, cognitive science, and economics to discuss new dimensions emerging today, such as knowledge, information, computation, and interactive agency.
Workshop Program
| 8:30-9:00 a.m. | Breakfast |
| 9:00-9:15 a.m. | Opening Remarks by Stanley Peters (Stanford) |
Logic and Cognition
Chair: Thomas Icard (Stanford)
| 9:15-10:00 a.m. | Michael Frank (Stanford University) “The pervasive effects of pragmatics in children’s early logical language" (abstract) |
| 10:00-10:45 a.m. |
Michael Henry Tessler (Stanford University) "Generic language from pragmatic logic" (abstract) |
| 10:45-11:30 a.m. |
Falk Lieder (University of California, Berkeley) "Bounded Rationality Revisited" (abstract) |
| 11:30-11:45 a.m. | Coffee Break |
Student Session I
| 11:45 a.m.-12:05 p.m. | David Gottlieb (Stanford University) |
| 12:05-12:25 p.m. | Melissa Fusco (University of California, Berkeley, Columbia University) "Deontic Disjunction" (abstract) |
| 12:25-12:45 p.m. | Francesca Zaffora Blando (Stanford University) "Algorithmic randomness and computable learners" |
| 12:45-2:15 p.m. | Lunch |
Logic and Philosophy
Chair: Kevin Kelly (Carnegie Mellon)
| 2:15-3:00 p.m. | Hanti Lin (University of California, Davis) "Conditionals and Actions: A Case Study of Choosing between Logics" (abstract) |
| 3:00-3:45 p.m. | Rachael Briggs (Stanford University) "Conditionals in Relevance Logic" (abstract) |
| 3:45-4:00 p.m. | Coffee Break |
| 4:00-4:45 p.m. | Jennifer Wang (Stanford University) "A Primitivist Theory of Modality" (abstract) |
| 4:45-5:30 p.m. | John Perry (Stanford University, University of California, Riverside, and University of California, Berkeley) "The Great Detour" (abstract) |
| 5:30-8:00 p.m. | Dinner and Party |
| 9:00-9:30 a.m. | Breakfast |
Logic and Mathematics
Chair: Stéphane Graham-Lengrand (SRI International)
| 9:30-10:15 a.m. | Cameron Freer (Gamalon Labs) "Symmetric probabilistic constructions of countable structures" (abstract) |
| 10:15-11:00 a.m. |
Maryanthe Malliaris (University of Chicago) "Model theory and graph theory, via ultrapowers" (abstract) |
| 11:00-11:15 a.m. | Coffee Break |
| 11:15 a.m.-12:00 p.m. | Dominic Hughes (University of California, Berkeley) "First-order Proofs Without Syntax" (abstract) |
| 12:00-12:45 p.m. |
Joel David Hamkins (CUNY) "Same structure, different truth" (abstract) |
| 12:45-2:00 p.m. | Lunch |
Student Session II
| 2:00-2:20 p.m. | James Walsh (University of California, Berkeley) "Extension frames of axiomatic theories" (abstract) |
| 2:20-2:40 p.m. | J.T. Chipman (Stanford University) |
| 2:40-3:00 p.m. | Krzysztof Mierzewski (Stanford University) |
| 3:00-3:15 p.m. | Coffee Break |
Logic, Games and Computation
Chair: Johan van Benthem (University of Amsterdam, Stanford)
| 3:15-4:00 p.m. | Burkhard Schipper (University of California, Davis) “Self-confirming games: Unawareness, Discovery, and Equilibrium” (abstract) |
| 4:00-4:45 p.m. | Paolo Turrini (Imperial College London) "Backwards Induction with Limited Foresight" (abstract) |
| 4:45-5:30 p.m. | Rohit Parikh (CUNY) "An Epistemic Generalization of Rationalizability" (abstract) |
The workshop continues a tradition of discussion-oriented outreach meetings aimed at fostering community across disciplines and universities, including senior and junior participants.
Sponsors
Center for Formal Epistemology, Carnegie Mellon University
Center for the Study of Language and Information, Stanford University
Department of Philosophy, Stanford University
Department of Philosophy, University of California, Berkeley
Division of Logic, Methodology and Philosophy of Science of the Suppes Center for History and Philosophy of Science
Group in Logic and the Methodology of Science, University of California, Berkeley
Humanities Center, Stanford University
Office of the Provost, Stanford University
School of Humanities and Sciences, Stanford University
Symbolic Systems, Stanford University
Program Committee
Johan van Benthem, Thomas Icard, Wesley Holliday
Organizing Committee
Francesca Zaffora Blando, J.T. Chipman, Michael Cohen, David Gottlieb, Krzysztof Mierzewski
Location
The Workshop will take place in Cordura Hall 100 (Barwise Room) at the Center for the Study of Language and Information (CSLI), located at the intersection of Campus Drive West and Panama Drive on the Stanford Campus. See this map for directions.
Parking on weekends is free in the standard “A” and “C” zones. There is a parking lot L-21 directly across Panama Street from CSLI (see the parking map) and a larger parking structure S-2 south on Panama Street.
If you have questions about public transportation to CSLI, please contact one of the organizers, or see visitor info.
Our Poster
