4th CSLI Workshop on Logic, Rationality & Intelligent Interaction 2015
May 30-31, 2015, 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. | Introductory Remarks |
Logic and Mathematics
Chair: Johan van Benthem
| 9:15-10:00 a.m. | Guram Bezhanishvili (New Mexico State University) Title “How Far Can the McKinsey-Tarski Theorem be Extended?” (Video 1, Video 2) |
| 10:00-10:45 a.m. |
Guram Bezhanishvili (New Mexico State University) ”Axiomatization of modal logics via stable canonical rules“ (Video 1, Video 2) |
| 10:45-11:00 a.m. | Coffee Break |
| 11:00-11:45 a.m. | Katalin Bimbo (University of Alberta) ”Relevant contributions to modal logic” (Handout; Video 1, Video 2) |
| 11:45-12:30 p.m. |
Wesley Holliday (University of California, Berkeley) “Possibilities for Modal Logic” (Paper) |
| 12:30-1:30 p.m. | Lunch |
Student Session I
| 1:30-1:45 p.m. | Matthew Harrison-Trainor (University of California, Berkeley) |
| 1:45-2:00 p.m. | Justin Vlasits (University of California, Berkeley) |
Logic and Computation
Chair: Vaughan Pratt
| 2:00-2:45 p.m. | Balder ten Cate (University of California, Santa Cruz) “Guarded Negation Logics” (Slides; Video 1, Video 2) |
| 2:45-3:30 p.m. | Michael Genesereth (Stanford University) ”Herbrand Logic” (Website; Video 1, Video 2) |
| 3:30-3:45 p.m. | Coffee Break |
History of Logic
Chair: Rega Wood
| 3:45-4:30 p.m. | Alan Code (Stanford University) ”Essence Terms & Aristotle’s Logic” (Video 1, Video 2) |
| 4:30-5:15 p.m. | Fenrong Liu (Tsinghua University & University of Amsterdam) ”Small Models for Great Thinkers in Ancient China” (Video 1, Video 2) |
| 5:15-6:00 p.m. | Marko Malink (New York University) “Monotonicity in Aristotle's Modal Syllogistic” (Slides; Video 1, Video 2) |
| 6:00-8:00 p.m. | Dinner and Party |
| 8:45-9:15 a.m. | Breakfast |
Logic and Language
Chair: Seth Yalcin
| 9:15-10:00 a.m. | Valeria de Paiva (Nuance Communications) “Lean Logic for Lean times: Entailment and Contradiction (ECD) Revisited” (Slides; Video 1, Video 2) |
| 10:00-10:45 a.m. |
Dag Westerståhl (Stockholm University) “Saussurean Compositionality” (Slides; Video 1, Video 2) |
| 10:45-11:30 a.m. |
Annie Zaenen (Stanford University) “From Natural Logic to Grounded Language” (Slides) |
| 11:30-11:45 a.m. | Coffee Break |
Student Session II.1
| 11:45-12:00 p.m. | Grace Paterson (Stanford University) |
| 12:00-12:15 p.m. | Shane Steinert-Threlkeld (Stanford University) |
| 12:15-1:15 p.m. | Lunch |
Student Session II.2
| 1:15-1:30 p.m. | Ethan Nowak (University of California, Berkeley) |
| 1:30-1:45 p.m. | Peter Hawke (Stanford University) |
Logic and Philosophy
Chair: Anna-Sara Malmgren
| 1:45-2:30 p.m. | Tom Donaldson (Stanford University) “Explaining Supervenience: Some Strategies” (Slides; Video 1, Video 2) |
| 2:30-3:15 p.m. | Konstantin Genin (Carnegie Mellon University) “Theory Choice, Theory Change, and Inductive Truth-Conduciveness” (Video 1, Video 2) |
| 3:15-3:30 p.m. | Coffee Break |
| 3:30-4:15 p.m. | Patrick Girard (University of Auckland) ”Ceteris paribus logic in counterfactual reasoning” (Slides; Video 1, Video 2) |
| 4:15-5:00 p.m. | Kai Wehmeier (University of California, Irvine) “Modal Language and Truth” (Slides; Video 1, Video 2) |
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, Peter Hawke, Wesley Holliday, Thomas Icard, Shane Steinert-Threlkeld
Organizing Committee
John Taylor Chipman, Krzysztof Mierzewski, Grace Paterson, John Turman, Yafeng Wang
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.
