Contents

• Texts
• Topics
• Software
• Journals
• Associations
• Newsgroups

The prerequisite for this course is either Symbolic Logic or an introductory programming course. For review, take a look at the online hand-outs I've collected at these two course home-pages.

Return to the course home-page 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. Super-Turing: a Defence of the Church-Turing 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ödel-incompleteness.

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 Djazair-Online. 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 home-page 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 home-page. 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 self-reference. 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 truth-value 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.
• Truth-table 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 Non-Classical 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
• Multiple-Valued 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 home-page for Informal Logic.

If interested in an elementary course in formal logic, see my course home-page for Symbolic Logic.

See my policies on dead links.

Return to the course home-page for Logical Systems.