| Site Title | Details |
| Logic Tutor
| Description: an interactive tutorial with over 1000 exercises and summaries covering all major concepts found in David Kelley's popular textbook The Art of Reasoning
|
| Logic site from RBJ
| Author: Roger Jones
Description: a good site with various writings on philosophical logic and its history
|
| Logic and Philosophy of Logic
| Source: 20th World Congress of Philosophy
|
| 12th Century Logic
| Author: Iwakuma Yukio
|
| Advances in Modal Logic Initiative
| Description: information on this bi-annual workshop and book series in Modal Logic.
|
| Australian Logic Home Page
| Author: Maurice Pagnucco
|
| Automated Reasoning Group
| Description: at the Australian National University
|
| A Homepage for the Axiom of Choice
|
|
| The Beginnings of Set Theory
|
|
| Bertrand: Symbolic Logic Problem-Solving Software For The MacIntosh
|
|
| Category Theory
| Author: Luca Mauri
|
| Computational Logic at St. Andrews
| Description: Reasearch activity for the development of proof assistants and theorem-provers for various logics, the exploitation of various logics for problem specification or as programming languages and the investigation of their proof theory and semantics.
|
| Constructing a Logical Argument
| Source: Atheist Web
Description: this is a very valuable teaching resoruce
|
| The Daily Translation
| Description: devoted to the practice of translating English into the predicate calculus
|
| Description Logics site
| Author: Patrick Lambrix
|
| Description Logics site
| Author: Lin Padgham
|
| Diagrammatic Reasoning site
| Description: dedicated to providing a central repository for information pertaining to the investigation of reasoning with visual representations.
|
| Elementary Logic
| Author: Garth Kemerling
|
| Fuzzy Logic FAQ
| Description: the FAQ for com.ai.fuzzy newsgroup, a good information source on fuzzy logic
|
| Gateway to Logic
| Author: Christian Gottschall
Description: collection of proof-checkers and other goodies!
|
| Guide to Logical Fallacies
| Author: Stephen Downes
Description: a very nice resource with dozens of fallacies presented
|
| Informal Fallacies
| Author: Charles Ess
|
| The Logic Daemon
| Author: Colin Allen and Chris Menzel
Description: An online validity checker!
|
| The Logic Primer
| Author: Colin Allen
Description: online book and introduction to propositional and predicate logic
|
| Logic Language and Reasoning Web
| Description: research interests include logics of practical reasoning, natural language processing and multi-agent systems
|
| Logic Notation on the Web
| Author: Peter Suber
Description: includes logic notation GIFs available!
|
| LogicPuzzles
| Description: a great collection!
|
| Logic Tutorial
| Author: Harry Gensler
Description: provides 22 problems
|
| Logic Software from CSLI
| Author: Jon Barwise and John Etchemendy
Description: provides info on many text/software packages
|
| Mathematical Logic Around the World
| Description: lots of nice links
|
| Medieval Logic and Philosophy
| Author: Paul Vincent Spade
|
| Modal Logic
| Author: Patrick Blackburn, Maarten de Rijke and Yde Venema
|
| New Foundations
| Author: Randall Holmes
Description: about the set theory "New Foundations" first proposed by Quine in 1937.
|
| Oxford Virtual Technology: Logic
| Description: a collection of applets for predicate and propositional logic based on Lemmon's popular text "Beginning Logic"
|
| Paradoxes
| Description: includes Zeno's, Hempel's ravens, Newcomb's, and time travel paradoxes.
|
| Paul Wong's home page
| Description: many links to logic and related topics
|
| Quadralay's Fuzzy Logic Archive
| Description: a nice site with fuzzy logic FAQs and info for beginners
|
| Research Groups in Logic and Theoretical Computer Science
| Description: a huge listing of sorted links
|
| Sentential Proof Checker
| Author: John Saetti
Description: a java applet
|
| Set Theorists
| Description: a directory of homepages for Set Theorists around the world
|
| A Survey of Venn Diagrams
| Description: Information on Venn Diagrams with an emphasis on the combinatorics of such diagrams.
|
| Syllogistic Machine
| Author: Johan Martensson
Description: On-Line Logic Book. A java-script program for checking the properties of Aristotelian syllogisms, with explanations of their properties, naming conventions and so on.
|
| The Fallacy Files
| Author: Gary Curtis
Description: A great resource! Includes a massive index of logical fallacies of all kinds, along with helpful tips and examples to improve your critical thinking abilities.
|
| blogic
| Author: David Velleman
Description: "blogic is an interactive web-based textbook in introductory logic. The textbook includes interactive exercises that automatically correct the student's work. Topics covered include: Boolean connectives in online search-strings, logic circuits, propositional logic with truth-tables, modal logic and counterfactuals with possible-worlds diagrams, the logic of frequencies and probabilities, the language of quantification"
|
| Argumentation and Critical Thinking Tutorial
| Description: "A series of tests to help reinforce your knowledge and understanding of some basic concepts associated with making arguments and thinking critically. It specifically focuses on the Classical Logical Stucture of Arguments and Informal Argumentative Fallacies."
|
| Bluestorm: The Logic Course
| Description: An extensive critical thinking and formal logic course. Includes over 5,000 exercises, all available for free.
|
| Modern Interpretation of Ancient Logics
| Author: Klaus Glashoff
Description: "Scientific articles on formal aspects of Ancient Western and Indian Logic."
|
| Computational Aristotelian Term Logic
| Author: Klaus Glashoff
Description: "A site is devoted to the formal aspects of traditional Aristotelian logic."
|
| LaTex for Logicians
| Author: Peter Smith
Description: "A guide to resources of interest to logicians and philosophers using LaTeX to produce papers or presentations, teaching materials, theses or books, and in particular wanting to include logical matter such as natural deduction proofs."
|
| Logical Laws
| Author: Alexander Sakharov
Description: A reference that lists various logical laws in formal logic.
|
| For All X
| Author: P.D. Magnus
Description: "forall x is an introductory logic textbook by P.D. Magnus. It is written for a semester-length undergraduate course, but the book is self-contained. The book is available under the Creative Commons license. Roughly speaking, this is like an open source software project. forall x is available at no charge for use either as a text for a course or for self-directed study, and you are welcome to revise it to fit your needs."
|
