First CSLI Workshop on Logic, Rationality, and Interaction 2012
June 1-3, 2012 Cordura Hall, CSLI, Stanford University
The purpose of this new 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 (continued)
Saturday, June 2
Logic and Computation
Chair: Vaughan Pratt
9:15 - 10:00 Ronald Fagin (IBM Almaden)
“Finite-Model Theory: A Personal Perspective”
10:05 - 10:50 Enrique Casanovas (Barcelona)
“Model Theory and Stability:
From Classification Theory to Neostability”
10:50 - 11:05 break (coffee and snacks)
11:05 - 11:50 Ron van der Meyden (New South Wales)
“Knowledge and Causality in a Multi-Agent System”
11:55 - 12:40 Balder ten Cate (UC Santa Cruz)
“Schema Mappings”
12:40 - 1:40 lunch
Five Slides Session
1:40 - 1:55 Shane Steinert-Threlkeld (Stanford)
“Towards Semantic Automata for Polyadic Quantifiers”
1:55 - 2:10 Bert Baumgaertner (UC Davis)
“Cognitive Science and Vagueness”
Language and Cognition
Chair: John Perry
2:15 - 3:00 Noah Goodman (Stanford)
“Probabilistic Pragmatics and Semantics”
3:05 - 3:50 Dan Lassiter (Stanford)
“Getting Dynamic in Church”
3:50 - 4:05 break (coffee and snacks)
4:05 - 4:50 Seth Yalcin (UC Berkeley)
“Bayesian Modalities?”
4:55 - 5:40 John MacFarlane (UC Berkeley)
“Objective and Subjective Oughts”
5:45 - 7:30 dinner and party
Sunday, June 3
Learning and Philosophy of Science
Chair: Michael Friedman
9:15 - 10:00 Simon Huttegger (UC Irvine)
“Probe and Adjust”
10:05 - 10:50 Kevin Kelly (Carnegie Mellon)
“A Logical Explanation of Ockham’s Razor
in Theory Choice”
10:50 - 11:05 break (coffee and snacks)
Reasons and Intentions
Chair: David Israel
11:05 - 11:50 John Horty (Maryland)
“Common Law Reasoning”
11:55 - 12:40 Yoav Shoham (Stanford)
“The Intentional Calendar”
12:40 - 1:25 lunch
Five Slides Session
1:25 - 1:40 Justin Vlasits (UC Berkeley)
“The Space of Epistemic Possibilities
without Logical Omniscience”
1:40 - 1:55 Julian Jonker (UC Berkeley)
“Imprecise Credences”
Knowledge and Method
Chair: Anna-Sara Malmgren
2:00 - 2:45 Tamar Lando (Columbia)
'Gunk' and the Probabilistic Semantics for Modal Logic
2:45 - 3:00 break (coffee and snacks)
3:00 - 3:45 Wes Holliday (Stanford)
“New Pictures of Knowledge and Deduction”
3:50 - 4:35 Sherrilyn Roush (UC Berkeley)
“Reasoning and the Growth of Error”
We hope to start a tradition of discussion-oriented outreach meetings that will help create a community across disciplines and universities, including senior and junior participants.
Organizers
Johan van Benthem, Peter Hawke, Wes Holliday,
Tomohiro Hoshi, Thomas Icard, Shane Steinert-Threlkeld
Location
All sessions of the Workshop will take place in Cordura Hall 100 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.
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.
Workshop Program
Friday, June 1
Agency and Games
Chair: Tom Wasow
10:00 - 10:45 Giacomo Bonanno (UC Davis)
“Do We Need Counterfactuals in Game Theory?”
10:50 - 11:35 Yossi Feinberg (Stanford)
“Strategically Speaking”
11:40 - 12:25 Johan van Benthem (Stanford & Amsterdam)
“Logic + Game Theory = Theory of Play”
12:25 - 1:25 lunch
Information Dynamics
Chair: Valeria de Paiva
1:25 - 2:10 Logical Dynamics Lab, CSLI (Stanford)
“Fine-Structure in Information Dynamics”
Five Slides Session
2:15 - 2:30 Peter Hawke (Stanford)
“Communication and Joint Ability”
2:30 - 2:45 Sonia Miruna Memetea (British Columbia)
“Extending Logical Dynamics to
Dempster-Shafer Theory”
Logic and Proof
Chair: Sol Feferman
2:50 - 3:35 Grigori Mints (Stanford)
“Failure of Interpolation for Intuitionistic Logic
of Constant Domains”
3:35 - 3:50 break (coffee and snacks)
3:50 - 4:35 John Mumma (Stanford)
“Intuition Of and Intuition That with Euclidean
Geometric Diagrams”
4:40 - 5:25 Paolo Mancosu (UC Berkeley)
“Axiomatics and Purity of Methods: On the
Relationship between Plane and Solid
Geometry”
5:30 - 7:00 dinner
