3rd CSLI Workshop on
Logic, Rationality & Intelligent Interaction 2014
May 31-June 1, 2014 Cordura Hall, CSLI, Stanford University
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.
Saturday, May 31
8:30 - 9:00 coffee and light breakfast
9:00 - 9:15 Opening Remarks: Chris Potts (Director of CSLI)
Logic and Mathematics: Proof Theory and Computation
Chair: Michael Beeson
9:15 - 10:10 Yiannis Moschovakis
Title: "What is an algorithm?"
10:15 - 11:10 William Tait
Title: "Gentzen's original consistency proof
and the Bar Theorem"
11:15 - 12:10 Solomon Feferman (Stanford)
Title: "An outline of Rathjen’s proof that CH is
indefinite, given my criteria for definiteness"
12:15 - 1:00 lunch
1:00 - 1:15 Sophie Dandelet (UC Berkeley)
Title: "A partial semantics for partial desire"
1:15 - 1:30 Lelia Glass (Stanford)
Title: "Corpus evidence for systematicity in
1:30 - 1:45 coffee break
Logic and Language: Natural Logic and Formal Semantics
Chair: Jakub Szymanik
1:45 - 2:40 Thomas Icard (CMU and Stanford)
Title: "Natural Logic and Surface Reasoning"
2:45 - 3:40 Seth Yalcin (UC Berkeley)
Title: "The modality of quantification"
4:00 coffee break
4:00 - 4:55 Sam Bowman (Stanford)
Title: "Can recursive neural networks learn to do
natural language inference?"
5:00 - 5:55 Adrian Brasoveanu (UC Santa Cruz)
Title: "Scales of Negativity"
6:00 - 7:30 dinner and party
Sunday, June 1
Logic and Philosophy: Logic, Probability and Epistemology
Chair: David Israel
8:30 - 9:00 coffee and snacks
9:00 - 9:55 Krista Lawlor (Stanford)
Title: "Reasons and Inference"
10:00 - 10:55 Kenny Easwaran (USC / Texas A&M)
Title: "Full Belief, Partial Belief, and Their Connections"
11:00 - 11:55 Nina Gierasimczuk (U Amsterdam)
Title: "A Basis for Logical Approach to Learnability:
Computational Learning Theory meets
12:00 - 1:00 lunch
1:00 - 1:15 John Turman (Stanford)
Title: "Can we construct a knowability principle using
1:15 - 1:30 Peter Hawke (Stanford)
Title: "An observation concerning fallibilism and belief"
1:30 - 1:45 coffee break
Logic, Games and Computation: Recent Interfaces
Chair: Vaughan Pratt
1:45 - 2:40 Johan van Benthem (Stanford)
Title: "Logic, Games, and Players"
2:45 - 3:40 Adam Bjorndahl (Cornell and CMU)
Title: "Language-based Games"
3:40 - 4:00 coffee break
4:00 - 4:55 Cailin O'Connor
Title: "The Evolution of Vagueness"
5:00 - 6:00 Christos Papadimitriou
Title: "Computational Ideas and the Theory of Evolution"
6:05 - 7:30 light reception
workshop continues a tradition of discussion-oriented outreach meetings
aimed at fostering community across disciplines and universities,
senior and junior participants.
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.
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
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.