LOGIC AT STANFORD
Events
- Regular Events:
- Upcoming Special Events:
- Past Special Events:
- March 6, 2008: Mathematics
Department Collquium: Ulrich Kohlenbach (Darmstadt): "Logical
Proof Interpretations as a Tool for `Hard Analysis'"
Abstract: Historically, proof theory has its origin in
Hilbert's foundational program. Building upon pioneering ideas of
G. Kreisel, goeing back to the 50's, a new applied form of proof
theory emerged during the last 20 year. Here the emphasis is on
applications of so-called proof interpretations to concrete
mathematical proofs with the aim of extracting effective bounds as
well as new uniformity results from prima facie ineffective proofs.
This has led to new results in number theory, approximation theory,
nonlinear analysis, geodesic geometry and ergodic theory as well as
the development of logical metatheorems that explain these results as
instances of general logical phenomena. Specialized to the examples
discussed in T. Tao's recent
essay "Soft
analysis, hard analysis, and the finite convergence principle" the
logical machinery yields very much the type of quantitative finitary
versions of analytical theorems as considered by Tao. We will argue
that these logical methods provide a systematic approach to Tao's
program of "hard analysis".
- March 7, 2008: Philosophy
Department Collquium: Ulrich Kohlenbach (Darmstadt): "Finitism and
Constructivism in Mathematics Revisited"
Abstract: The talk discusses some philosophical aspects of work
in applied proof theory that has been carried out during the last
15-20 years inspired by G. Kreisel's program of `unwinding of proofs'.
We will argue that this work sheds new light on concepts such as
`constructive reasoning', `finitism',`ideal elements',
`predicativism', `intensionality versus extensionality' among others
and can help to reshape some traditional views on these topics towards
a more realistic approach to the philosophy of mathematics.
-
Special Event for Logical Methods/LILAC
-
Conference in Honor of William Craig
-
Conference Cohen-72
-
WoLLIC 2006
-
Paris-Amsterdam-Berkeley Logic Meetings at Stanford
- Eighteenth Annual Alfred Tarski Lectures
- Concept of E-machine: How to build a universal learning robot
- The Association for Symbolic Logic held its annual meeting at
Stanford from Saturday, March 19 through Tuesday March 22.
The full program is to be found at http://www.stanford.edu/~sommer/ASL.html
-
Symposium
Honoring Solomon Feferman
Faculty
- David Beaver,
Asst. Prof., Linguistics: Natural Language Semantics and Pragmatics
-
Paul Cohen, Professor, Mathematics: harmonic analysis, partial differential
equations, set theory
-
David L. Dill, Professor,
Computer Science: verification of system designs
-
John Etchemendy,
Professor, Philosophy: logic, semantics, philosophy of language
-
Solomon Feferman,
Professor Emeritus of Mathematics and Philosophy: proof theory, theory of computation,
foundations of mathematics, history of modern logic
-
Michael R. Genesereth,
Assos. Prof., Computer Science: automated reasoning, knowledge base integration
-
David Israel, Consulting Assos.
Prof., Philosophy: natural language processing, representation and reasoning
-
Daphne Koller, Assoc.
Prof., Computer Science: reasoning under uncertainty
-
Hannes Leitgeb, Visiting Scholar, CSLI (University of Salzburg)
-
Zohar Manna,
Professor, Computer Science: verification of real-time and hybrid systems
-
Jean-Pierre Marquis, Visiting Scholar, Mathematics (University of Montreal)
-
Christopher Manning,
Asst. Prof., Computer Science and Linguistics: natural language
processing, syntactic theory, probabilistic approaches
-
John McCarthy, Professor,
Computer Science: logical artificial intelligence - the formalization of
common sense knowledge and reasoning in logical theories and the extensions
to logic, e.g. nonmonotonic reasoning. He heads the Stanford CS Formal Reasoning Group.
-
Grigori
Mints, Professor of Philosophy and Computer Science: proof theory
-
John Mitchell,
Professor, Computer Science: programming languages, security
-
Stanley Peters, Professor,
Linguistics, works on logical analysis of meaning in natural languages
and computational processing thereof. He heads the Computational
Semantics Laboratory at CSLI.
-
Vaughan Pratt, Professor Emeritus, Computer Science: concurrency, linear logic
-
Krister Segerberg, Visiting Professor, Philosophy (Uppsala University)
-
Patrick
Suppes, Professor Emeritus, Philosophy: philosophy of science, natural-language
learning interface for robotic systems
-
Yoav Shoham, Assoc.
Prof., Computer Science: rational behaviour, multiagent systems
-
Johan van Benthem,
Visiting Professor, Philosophy: philosophy of logic, modal and dynamic
logic. His current projects are based on a Spinoza
Award from the Dutch National Science Organisation
-
Thomas Wasow, Professor,
Linguistics and Philosophy: language processing, syntactic theory, linguistic
methodology
-
Edward N. Zalta, Consulting
Assos. Prof., Philosophy: philosophy of language and intensional logic
Research
Staff
-
David Barker-Plummer,
CSLI: graphical reasoning
-
Keith Devlin,
Director of CSLI: using mathematical techniques to study language, communication, and information
-
Dominic Hughes,
Computer Science: Lambda calculus, Chu spaces, category theory
-
Rick Sommer, CSLI:
mathematical logic and foundations of mathematics
-
Carolyn L. Talcott,
Computer Science: semantics of programming languages
Ph.D. Students
- Jesse Alama, Philosophy
- Alexei Angelides, Philosophy
- Chad Carmichael, Philosophy
- Ryan Christensen, Philosophy
- Patrick Girard, Philosophy
- Tim Hinrichs, Computer Science
- Tomohiro Hoshi, Philosophy
- Mike Kassoff, Computer Science
- Daniel Lafave, Philosophy
- Nat Love, Computer Science
- Uri Nodelman,
Computer Science
- Darko Sarenac, Philosophy
- Josh Snyder, Philosophy
- Isidora Stojanovic, Philosophy
- Audrey Yap, Philosophy
Research groups
Logic-related courses
-
160A: First-Order Logic
-
160B: Computability and Logic
-
161: Set Theory
-
162: Philosophy of Mathematics
-
290A,B: Model Theory
-
291A,B: Recursion Theory
-
292A,B: Set Theory
-
293A,B: Proof Theory
-
294: Topics in Logic
-
297: Algebraic Logic
-
15N: Paradoxes
-
50: Introduction to Logic
-
150/250: Basic Concepts in Mathematical Logic
-
151/251: First-Order Logic
-
152/252: Computability and Logic
-
154/254: Modal Logic
-
157/257: Topics in the Philosophy of Logic
-
161: Set Theory
-
162/262: Philosophy of Mathematics
-
258: Minds and Machines
-
298: Topics in Logic, Language, and Information
-
350A,B: Model Theory
-
351A,B: Recursion Theory
-
351B: Constructive Mathematics (Autmn 2006 TTh 1:15-2:30)
-
352A,B: Set Theory
-
353A,B: Proof Theory
-
354: Topics in Logic: Seminars on Constructive Mathematics (Autumn 2006 MW 3:15-4:30)
-
356: Applications of Modal Logic
-
359: Advanced Modal Logic
-
103A,B,X: Discrete Mathematics
-
154: Introduction to Automata and Complexity Theory
-
154N: Introduction to NP Completeness
-
157: Logic And Automated Reasoning
-
221: Artificial Intelligence: Principles And Techniques
-
222: Knowledge Representation
-
227: Reasoning Methods in Artificial Intelligence
-
228: Probabilistic Methods in Artificial Intelligence
-
229: Machine Learning
-
256: Formal Methods for Reactive Systems
-
258: Introduction to Programming Language Theory
-
323: Common Sense Reasoning in Logic
-
353: Algebraic Logic
-
356: Automatic Formal Verification Techniques
-
357: Advanced Topics in Formal Methods
-
357C: Automata on Infinite Objects
-
359: Topics in the Theory of Computation
Discussions
-
Logic at Stanford
-
Department of Mathematics
-
Department of Philosophy
-
Department of Computer Science
-
Department of
Linguistics
-
CSLI
-
Stanford University
-
SRI
-
Association for Symbolic Logic
-
Logic in the World, I
-
Logic in
the World, II
-
ILLC
-
FoLLI
This page was created by
Sergei Tupailo and is currently
maintained by Tomohiro Hoshi