LOGIC AT STANFORD

Events

• Regular Events:

  • Mathematical Logic Seminar

• 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)
  • April 6, 8, 10, 2009: 2009 Tarksi Lectures
  • June 25–27, 2008: NF in the Bay Area
  • May 31–June 1, 2008: Epistemology Meets Logic, Informally
  • March 6, 2008: Mathematics Department Collquium: Ulrich Kohlenbach (Darmstadt): "Logical Proof Interpretations as a Tool for `Hard Analysis'"
  • March 7, 2008: Philosophy Department Collquium: Ulrich Kohlenbach (Darmstadt): "Finitism and Constructivism in Mathematics Revisited"
  • 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 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

  • Center for the Study of Language and Information
  • Concurrency Group
  • Formal Reasoning Group
  • Logic Group in AI
  • Multiagent Group
   

  Logic-related courses

  Department of Mathematics :

  • 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

  Department of Philosophy :

  • 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

  Department of Computer Science :

  • 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

  • Proof Theory on the eve of Year 2000 - Survey of proof theorists on the present and future of their discipline.
   

  ---

  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