2nd CSLI Workshop on
Logic, Rationality & Intelligent Interaction 2013
May 31-June 2, 2013 Cordura Hall, 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
Friday, May 31
Norms, Inference and Argumentation
Chair: TBA
3:00 - 3:55 John Woods (British Columbia)
Title: "Advice on the Logic of Argument"
4:00 - 4:55 Leon van der Torre (Luxembourg)
Title:
"System O: A New Logic for Normative
Reasoning and Defeasible
Argumentation"
4:55 - 5:05 coffee break
5:05 - 6:00 Justin Bledin
(UC Berkeley)
Title: "Two Kinds of Supposition"
6:05 - 7:00
Anna-Sara Malmgren (Stanford)
Title: "A Puzzle About Inference"
7:00 - 8:00 dinner
Saturday, June 1
Logic and Mathematics
Chair: Grigori Mints
8:30 - 9:00 coffee and light breakfast
9:00 - 9:55 Peter Koellner
(Harvard)
Title: "On Gödel's Disjunction"
10:00 - 10:55 John Steel
(UC Berkeley)
Title: "Gödel's Program"
11:00 - 11:55 Solomon Feferman
(Stanford)
Title:
"Why Isn't the Continuum Problem on the
Millenium ($1,000,000) Prize
list?"
12:00 - 1:00 lunch
Student Session
1:00 - 1:15 Arezoo Islami (Stanford)
Title:
"Deconstructing a Mystery: Analyticity and
Dispersion Relations"
1:15 - 1:30 Sharon Berry (Harvard)
Title:
"Cole's Institutional Account of Mathematical
Objects and
the Problem of (Apparently)
Incompatible Stipulations"
1:30 - 1:45 coffee break
Games and Decisions
Chair: Sherrilyn Roush
1:45 - 2:40 Brian Skyrms (UC Irvine and Stanford)
Title: "Some Dynamics of Signaling Games"
2:45 - 3:40 Eric Pacuit (Maryland)
Title: "Modeling Rational Deliberation in Games"
3:40 -
4:00 coffee break
4:00 - 4:55 Lara Buchak (UC
Berkeley)
Title: "Risk and Rationality"
5:00 - 5:55 Bas van Fraassen (San Francisco State University)
Title: "Voluntarism in Probabilist Epistemology"
6:00 - 7:30 dinner and party
Sunday, June 2
Language and Information
Chair: Cleo Condoravdi
9:30 - 10:00 coffee and snacks
10:00 - 10:55 Wesley Holliday (UC Berkeley) and
John Perry (UC Riverside and Stanford)
Title:
"Roles, Rigidity and Quantification in Epistemic
Logic"
11:00 - 11:55 Pranav Anand (UC Santa Cruz)
Title: "Embedding Epistemics"
Student Session
Title: "Axiomatizing Actions Arising From Union and Intersection"
12:15 - 12:30 Tania Rojas-Esponda (Stanford)
Title: "Are Questions (Under Discussion) the Answer?"
12:30 - 1:30 lunch
Logic and Computation
Chair: Dana Scott
1:30 - 2:25 Percy Liang (Stanford)
Title:
"From Natural Language to Formal Language via
Machine
Learning"
2:30 - 3:25 Ryan Williams (Stanford)
Title:
"Duality Between Circuit Analysis (Algorithm) and
Circuit Complexity (Lower Bounds)"
3:25 - 3:35 coffee break
3:35 - 4:30 André Hernich
(UC Santa Cruz)
Title: "Logics for "Small" Complexity Classes"
4:30 - 5:30 Phokion Kolaitis
(UC Santa Cruz and IBM Research -
Almaden)
Title:
"The Query Containment Problem: Set Semantics
vs. Bag
Semantics"
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 the Study of Language and Information, Stanford University
Stanford Humanities Center
Department of Philosophy, Stanford University
School of Humanities and Sciences, Stanford University
Center for Formal Epistemology, Carnegie Mellon University
Organizers
Johan van Benthem, John Taylor Chipman, Peter Hawke,
Wes Holliday,Thomas Icard, Shane
Steinert-Threlkeld
Location
The Friday session will take place in
Building 50, Main Quad, at Stanford University, in room 50-52H. The
building can be located on the following map (search for "Building 50, Main Quad"). Various visitor parking areas can be found nearby, around the Oval. See the parking map.
The weekend 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, or see visitor info.
