3rd CSLI Workshop on
Logic, Rationality & Intelligent Interaction 2014
May 31-June 1, 2014 Cordura Hall, CSLI, Stanford University
3rd CSLI Workshop on
Logic, Rationality & Intelligent Interaction 2014
May 31-June 1, 2014 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
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
(UCLA)
Title: "What is an algorithm?"
10:15 - 11:10 William Tait
(U Chicago)
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
Student Session
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
compounding"
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"
3:40 -
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
Epistemic Logic"
12:00 - 1:00 lunch
Student Session
1:00 - 1:15 John Turman (Stanford)
Title: "Can we construct a knowability principle using
counterfactuals?"
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
(UC Irvine)
Title: "The Evolution of Vagueness"
5:00 - 6:00 Christos Papadimitriou
(UC Berkeley)
Title: "Computational Ideas and the Theory of Evolution"
6:05 - 7:30 light reception
The
workshop continues a tradition of discussion-oriented outreach meetings
aimed at fostering community across disciplines and universities,
including
senior and junior participants.
Sponsors
Organizers
Johan van Benthem, John Taylor Chipman, Thomas Icard, Shane
Steinert-Threlkeld, John Turman, Yafeng Wang, Jared Parmer, Grace Paterson, Jon Ettel, Peter Hawke
Location
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.