LOGIC AT STANFORD
Events
- Upcoming Special Events:
- Philosophy, Mathematics, Linguistics: Aspects of Interaction (PhML 2012), St. Petersburg, Russia
- Exploring the Frontiers of Incompleteness
From Professor Feferman:
Peter Koellner of the Harvard University Department of Philosophy has asked me to circulate the following information to our logic list at Stanford about his project "Exploring the Frontiers of Incompleteness" (EFI), which includes talks every two weeks by leading thinkers on the topic, with background materials and an online discussion site. Hugh Woodin gave the first lecture, "The Realm of the Infinite" last Wednesday, and my lecture is up next on Wed. Oct. 5, with the title "Is the Continuum Hypothesis a Definite Mathematical Problem?" The background materials for each talk and the text for the lecture itself are all available at the EFI site given by the link below. So far you can find Woodin's and my materials there, and you can also find mine on my home page, with the lecture itself at http://math.stanford.edu/~feferman/papers/IsCHdefinite.pdf ; comments are most welcome. Attached is Koellner's message.
Past Events:
- April 11, 13, 14: Tarski Lectures by Johan van Benthem, at UC Berkeley
- April 8, 9: Workshop on Natural Logic, Proof Theory, and Computational Semantics
- May 14, 15: Logic and Methodology Workshop
- August 8-12, 2011: Workshop on Logical Constants, Ljubljana, Slovenia
- June 18-20, 2012: LOFT 2012, Sevilla, Spain
- May 8, 2010: Workshop on Reasoning with Phylogenetic Diagrams in Evolutionary Biology (organized by Joel Velasco and Solomon Feferman).
- April 16, 2010: Bas van Fraasen (SFSU): Representation and Imaging (Cordura 100 from 12:00 to 1:30).
- April 23, 2010: Carl Hewitt: Gödel versus Wittgenstein on the Foundations of Logic.
- 2010 Tarski Lectures.
- March 13, 2010: Workshop on Cognitive Aspects of Reasoning with Diagrams (organized by Solomon Feferman and Barbara Tversky)
- November 6, 2009: Wilfried Sieg (Carnegie Mellon): “In the shadow of incompleteness: Hilbert and Gentzen ” (Cordura 100 from 12:00 noon to 1:30)
- November 13, 2009: Elaine Landry (UC Davis): “How to be a structuralist all the way down” (Cordura 100 from 12:00 noon to 1:30)
- October 23, 2009: Dana Scott (Carnegie Mellon and UC Berkeley): “Mixing Modality and Probability” (Cordura 100 from 4:00 to 5:30pm)
- October 24, 2009: Symposium on Constructive Geometric Reasoning
- May 29, 2009: Urszula Wybraniec-Skardowska (Opole): “On The History of Polish Logic” (Cordura 100 from 12:00 noon to 1:30 pm)
- May 22, 2009: Solomon Feferman (Stanford): “Conceptual Structuralism and the Continuum” (Building 90 room 92Q from 15:15 to 17:30)
- April 17, 2009: Richard Tieszen (San Jose State): “Elements of Gödel's Turn to Husserl” (Cordura 100 from 12:00 noon to 1:30 pm)
- May 1, 2009: Aldo Antonelli (Davis): “Deflationary Abstraction and the Frege Quantifier” (Cordura 100 from 12:00 noon to 1:30 pm)
Faculty
-
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
-
Noah Goodman,
Asst. Professor of Psychology: Computational models of cognition, integrating logic and probability
-
David Israel, Consulting Assos.
Prof., Philosophy: natural language processing, representation and reasoning
-
Daphne Koller, Assoc.
Prof., Computer Science: reasoning under uncertainty
-
Zohar Manna,
Professor, Computer Science: verification of real-time and hybrid systems
-
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.
-
Chris Potts, Associate Professor, Linguistics:
semantics, pragmatics, and computational methods for linguistic research.
-
Vaughan Pratt,
Professor Emeritus, Computer Science: foundations of concurrency, linear
logic, Chu spaces, logics of geometry.
-
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,
Professor, Philosophy: philosophy of logic, modal and dynamic
logic.
-
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,
Researcher at CSLI: using mathematical techniques to study language, communication, and information
- Tomohiro Hoshi, Philosophy: logic, formal epistemology, and philosophy of mathematics and logic
- John Mumma, Suppes Center and Philosophy: logic, the philosophy of mathematics, and the philosophy of logic
-
Rick Sommer, CSLI:
mathematical logic and foundations of mathematics
-
Carolyn L. Talcott,
Computer Science: semantics of programming languages
Ph.D. Students
- Alexei Angelides, Philosophy
- Ulrik Buchholtz, Mathematics
- David Clausen, Linguistics
- Alex Djajali, Linguistics
- Peter Hawke, Philosophy
- Wes Holliday, Philosophy
- Thomas Icard, Philosophy
- Arezoo Islami, Philosophy
- Eric Kao, Computer Science
- Sven Lauer, Linguistics
- J. Jeremy Meyers, Philosophy
- Pokey Rule, Computer Science
- Stephan Stiller, Computer Science
- Ankur Taly, Computer Science
- Greg Taylor, 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
-
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 site was created by
Sergei Tupailo and is currently
maintained by Thomas Icard