
Contents
The prerequisite for this course is either Symbolic Logic or an introductory programming course. For review, take a look at the online handouts I've collected at these two course homepages.
Return to the course homepage for Logical Systems.
Texts
 Around Goedel's Theorem. An online book by Karlis Podnieks.
 Formal Systems and Fractal Images. Excerpt from The Philosophical Computer, by Patrick Grim, Gary Mar, and Paul St. Denis, with the Group for Logic and Formal Semantics.
 Gödel Propositions for the Mind. An essay by Kari Coleman.
 The Gödelian Argument: Turn Over the Page. An essay by John Lucas, defending his Gödelian argument against AI from recent criticisms.
 Gödel's Proof and the Human Condition. An essay by P. S. Bezanis.
 The Implications of Gödel's Theorem. An essay by J.R. Lucas.
 Mind versus Gödel. An essay by Damjan Bojadziev.
 Minds, Machines, and Gödel. An essay by J.R. Lucas.
 The Modern Development of the Foundations of Mathematics in the Light of Philosophy. An essay by Kurt Gödel.
 An Overview of Nonmonotonic Reasoning and Logic Programming. An essay by Jack Minker.
 Papers on Gödel's Theorem and AI. Collected by David Chalmers.
 Turing vs. SuperTuring: a Defence of the ChurchTuring Thesis. An essay by Luciano Floridi, excerpted from his forthcoming book, Philosophy and Computing.
 Understandable Papers on Incompleteness by Gregory Chaitin. The perspective of algorithmic information theory on Gödelincompleteness.
Logic topics
 Appetizers and Lessons for Math and Reason. Includes some logic lessons and puzzles. From Alan Selby.
 Artificial Intelligence Links. My own collection. Not updated since I last taught Minds & Machines.
 The Axiom of Choice. From Frequently Asked Questions in Mathematics.
 The Axiom of Choice. From Eric Schechter.
 The Busy Beaver Problem. From Herbert Enderton.
 Busy Beaver Turing Machine. From Michael Somos.
 Georg Cantor. From Paul Golba.
 Category Theory. From Luca Mauri.
 Chaotic Logic. From Ben Goertzel.
 Alonzo Church. His obituary from the New York Times.
 The Alonzo Church Archive
 Computability Theory. From Peter Cholak.
 The Continuum Hypothesis. From Frequently Asked Questions in Mathematics.
 Is the Continuum Hypothesis True, False, or Neither? From David Chalmers.
 The Daily Translation. A daily translation problem in predicate logic, taken from real news stories. From Tom Trelogan. Great practice.
 Description Logics. From Patrick Lambrix.
 Diagrammatic Reasoning. From Michael Anderson.
 Dynamic Logic. From the Center for the Study of Language and Information (Stanford).
 Foundations of Mathematics. Archive of an email list.
 Fuzzy Logic. From DjazairOnline. The text is in French, though most links are to sites in English.
 Fuzzy Logic. From the Globewide Network Academy.
 Fuzzy Logic Page. From the Quadralay Corporation.
 Gödel, Escher, Bach. Links related to Hofstadter's book collected by John Lawler.
 Kurt Gödel. Photographs of G. Keith Lynn.
 Kurt Gödel. From Hollis Marek.
 Gödel on the Net. Correcting commonly heard mistakes and simplifications. From Torkel Franzen.
 Gödel's Incompleteness Theorem. A collection of quotations on the theorem and its proof. From William Denton.
 The Grey Labyrinth. Logical, philosophical, and mathematical puzzles. From Kevin Lin.
 Guide to Philosophy and Logic. From Paul Wong. A mirror site. One of the larger collections of logic links.
 The Halting Problem is Solvable. Humorous. Bala Rajagopalan.
 David Hilbert. Anonymous.
 History of Mathematics Archive. Browse for fun and enlightenment, or jump directly the pages on Cantor, Church, Gödel, Post, or set theory.
 Douglas Hofstadter. His homepage at Indiana University.
 Infinite Ink's Mathematics Page. Good links on infinity and set theory. From Nancy McGough.
 Linear Logic. From Patrick Lincoln.
 Logic. A good collection of links. From Christian Gottschall.
 Logic. From Uwe Wiedemann. One of the better collections of logic links.
 Logic. An elementary logic course homepage. From Garth Kemerling.
 Logic and Set Theory. A large set of links, somewhat out of date. From Martin Flashman.
 Logic for Computer Science. From Jose Emilio Labra Gayo.
 Logic, Language, and Reasoning Web Space. Department of Computing, Imperial College.
 Logic Puzzles. From Arlet Ottens.
 LogicAL. One of the larger collections of logic links.
 Logical Frameworks. From Frank Pfenning.
 Mathematical Logic Around the World. From the Mathematical Logic Group at the University of Bonn. Many helpful links.
 MathSearch. An excellent search engine for topics in mathematics (including logic).
 Mediaeval Logic and Philosophy. From Paul Vincent Spade.
 New Foundations. From Randall Holmes.
 Nilog. An alternative logic designed to eliminate selfreference. From Gilbert Voeten.
 Paradox. A good collection of logical paradoxes with clear descriptions. From Mark Gribben.
 Paradoxes. From Franz Kiekeben.
 Alan Turing. From Andrew Hodges.
 Unsolved Mathematics Problems. Make your name. Or get some ideas for our formal system assignment. From Steven Finch.
 What is Foundations of Mathematics? From Stephen Simpson.
 What Is Logic? Good introduction to many elementary and advanced concepts. From R.B. Jones.
Logic software. I've favored software that runs in your browser.
 Default Logic Simulation. From Michael Fink and Axel Polleres.
 Christian Gottschall's Gateway to Logic. Gottschall's logic software.
 An Implementation of G4ip in Pizza. From Christian Urban.
 Linear Logic Proof Game. From Advait Deodhar and Cory Meek.
 Linear Logic Prover. A theorem prover for classical and linear logic From Naoyuki Tamura.
 Logic Calculator. Computes the truthvalue of propositional expressions of up to four variables. By A. Yavuz Oruç.
 The Logic Daemon. From Colin Allen. Interactive proof tester for propositional logic. Recently enhanced to include predicate logic.
 Logic Teaching Aids. Mostly on logic software.
 Logic Translation Game. For predicate logic. From Karen Malloy. Also see her Quantifier Matching Game.
 Logics Workbench. From the University of Berne.
 Metamath Solitaire. Assemble and check proofs with a Java applet.
 Proof Checkers. For propositional and predicate logic. From Peter Gibbins.
 Truthtable Practice. Anonymous.
 Turing Machine. An interactive Java applet. From Ken Schweller.
 Turing Machine Simulator. From John Kennedy.
Logic journals
 ACM Transactions on Computational Logic
 Algebra and Logic
 Annals of Pure and Applied Logic
 Archive for Mathematical Logic
 Association for Symbolic Logic Newsletter
 Bulletin of Symbolic Logic
 Colibri. On language, speech, logic, and information.
 From the Logical Point of View
 History and Philosophy of Logic.
 Informal Logic.
 Information and Computation
 Journal of Applied NonClassical Logics
 Journal of Automated Reasoning
 Journal of the Interest Group on Pure and Applied Logics (IGPL)
 Journal of Logic and Computation
 Journal of Logic, Language, and Information
 Journal of Philosophical Logic
 Journal of Symbolic Logic
 LOGBANK: The Polish Electronic Magazine for Logic and Philosophy
 Logical Analysis and History of Philosophy
 Mathematical Logic Quarterly
 Modern Logic
 MultipleValued Logic. "An International Journal."
 The Nordic Journal of Philosophical Logic.
 Notre Dame Journal of Formal Logic
 Recursive Function Theory Newsletter
 Reports on Mathematical Logic
 Studia Logica: An International Journal for Symbolic Logic
 Theoretical Computer Science
 Erints and Preprints
 Logic Section of the Los Alamos Mathematical Archive of Eprints
 Preprints in Mathematical Logic and Foundations of Mathematics. From the American Mathematical Society. Also see the printes in Set Theory.
Logic associations
 Association for Automated Reasoning
 Association for Symbolic Logic. The premier professional organization of logicians.
 Associazione Italiana di Logica e sue Applicazioni. University of Genoa.
 Berkeley Group in Logic and the Methodology of Science. University of California at Berkeley.
 British Logic Colloquium
 Center for Fuzzy Logic, Robotics, and Intelligent Systems. Texas A&M University.
 European Association for Computer Science Logic. University of Udine, Italy.
 European Association for Logic, Language, and Information. In Amsterdam.
 Fuzzy Logic Research. University of Missouri at Columbia.
 The Kurt Gödel Society. A professional association for logicians. Also see its page of resources in logic.
 The Helsinki Logic Group
 Indiana University Logic Group. Indiana University, Bloomington.
 Institut für mathematische Logik und Grundlagen der Mathematik. In Freiburg.
 Institut für mathematische Logik und Grundlagenforschung. In Münster.
 Institute for Logic, Language, and Computation. In Amsterdam.
 Interest Group in Pure and Applied Logics. Imperial College, London.
 Laboratory for Applied Logic. Brigham Young University.
 Mathematical Logic Group. University of Bonn.
 Swiss Society for Logic and Philosophy of Sciences. In Zurich.
 Other groups
 Logical Institutes and Groups. A very large collection, organized by country. From Uwe Wiedemann.
 Research Groups for Mathematical Logic, Philosophical Logic and Theoretical Computer Science. A very large collection, organized by city. From Ralph Matthes and Anton Setzer.
 Research Groups In Logic and Theoretical Computer Science. From Anton Setzer.
Logic newsgroups
 sci.logic. Good discussions of advanced topics.
 sci.math. Often contains discussions of logic topics.
 sci.philosophy.tech. Philosophical discussions using technical methods, usually in logic or AI.
For other philosophy links, see my Guide to Philosophy on the Internet.
If interested in informal logic, see my course homepage for Informal Logic.
If interested in an elementary course in formal logic, see my course homepage for Symbolic Logic.
See my policies on dead links.
Return to the course homepage for Logical Systems.
Peter Suber,
Department of Philosophy,
Earlham College, Richmond, Indiana, 47374, U.S.A.
peters@earlham.edu. Copyright © 1999, Peter Suber.