Other Logic Textbooks

Intro Texts

Open

• Craig DeLancey, A Concise Introduction to Logic (CC BY-SA 4.0)

• Antony Eagle, Elements of Deductive Logic, GitHub source code (CC BY-SA 4.0)

• Graham Leach-Krouse and Jake Ehrlich, The Carnap Book, online with computer support for exercises (CC BY 4.0)

• P. D. Magnus, forall x (CC BY 4.0, open source), with derivatives:

  • Tim Button, forall x: Cambridge (CC BY 4.0) GitHub source code, with derivatives:
    • Antony Eagle, forall x: Adelaide (CC BY-SA 3.0) Github code
    • Aaron Thomas-Bolduc, Richard Zach, forall x: Calgary (CC BY 4.0; also includes chapter on truth-functional completeness and soundness from Button's 'Metalogic' and chapters on semantics and proof theory of modal logic from Rob Trueman), GitHub source code with derivatives:
      • Catrin Campbell-Moore, forall x: Bristol (CC BY-SA 4.0)
      • Greg Johnson, forall x: Mississippi State edition (CC BY 4.0)
    • Kathryn Lindemann, forall x: SLU (CC BY-SA 3.0)
    • Michael Rieppel, forall x: SYR (CC BY-SA 4.0) GitHub source code
    • Proof checker for forall x: Cambridge and derivatives by Kevin Klement
  • Nathan Carter, forall x in Lurch (CC BY-SA 3.0; for use with the Lurch mathematics editor, which can check proofs!), [No source code]
  • Edward Elliot, forall x: Leeds (CC BY-SA 3.0; also includes chapters on probability theory), Source code Zip
  • Jonathan Jenkins Ichikawa, forall x: UBC (CC BY-SA 3.0), includes trees in addition to natural deduction proofs
  • J. Robert Loftis and Cathal Woods, forall x: Lorain County Remix, GitHub source code (CC BY-SA 3.0; also includes chapters on informal logic)

• Matthias Felleisen, Phokion Kolaitis, Ian Barland, John Greiner, and Moshe Vardi, Intro to Logic (CC BY 1.0)

• Vann McGee, Logic: The Art of Persuasion and the Science of Truth (CC BY-NC-SA 4.0)

• Derek Turner, Form and Content: An Introduction to Formal Logic (CC BY-NC-ND 4.0)

• Matthew J. Van Cleve, Introduction to Logic and Critical thinking (CC BY)

Free, Not Open

• Nuel Belnap, Notes on the Art of Logic
• Johan van Benthem, Hans van Ditmarsch, Jan van Eijck, Jan Jaspars, Logic in Action
• Josh Dever, Get Rational With These Four Weird Tricks!
• Gary Hardegree, Symbolic Logic: A First Course
• Gary Hardegree, Symbolic Logic: A Second Course
• Terrence Parsons, An Exposition of Symbolic Logic (text goes with David Kaplan's Logic 2010 software and grading system
• Tony Roy, Symbolic Logic: An Accessible Introduction to Serious Mathematical Logic, vol. I
• John Slaney, The Logic Notes
• John Slaney, Logic for Fun
• J. David Velleman, blogic (online, interactive)
• Stefan Waner and Steven R. Costenoble, Introduction to Logic

Commercial Texts now Free

• Howard Pospesel and David Marans, Arguments: Deductive Logic Exercises (2nd ed, 1978, Prentice Hall)
• Paul Teller, A Modern Formal Logic Primer (1989, Prentice Hall)

Advanced Texts

Open

• Open Logic Project, The Open Logic Text (CC BY 4.0, open source), with derivatives:
  • Tim Button, Set Theory (CC BY 4.0, open source)
  • Richard Zach, Sets, Logic, Computation (CC BY 4.0, open source)
  • Richard Zach, Incompleteness and Computability (CC BY 4.0, open source)
  • Richard Zach, Boxes and Diamonds (CC BY 4.0, open source)
• Tim Button, Metatheory (CC BY-SA 3.0, open source)
• Christopher C. Leary and Lars Kristiansen, A Friendly Introduction to Mathematical Logic (CC BY-SA-NC 3.0, PDF only)
• Dave Witte Morris and Joy Morris, Proofs and Concepts (CC BY-NC-SA 2.0, open source)

Free, Not Open

• Nuel Belnap, Notes on the Science of Logic
• Gary Hardegree, Introduction to Metalogic
• Gary Hardegree, Modal Logic
• Gary Hardegree, Compositional Semantics
• Gary Hardegree, Set Theory
• Jeff Paris, A Short Course in Predicate Logic
• Tony Roy, Symbolic Logic: An Accessible Introduction to Serious Mathematical Logic, vol. II
• Stephen G. Simpson, Lecture notes on foundations, model theory, incompleteness, undecidability.

Modal Logic

• Kai von Fintel, Irene Heim, Intensional Semantics (CC-BY-NC-SA 3.0)

• Steve Yablo, Modal Logic (CC-BY-NC-SA 3.0)

Formal Epistemology

• Richard Pettigrew and Jonatahn Weisberg, The Open Handbook of Formal Epistemology (CC BY-NC-ND 4.0)

• Wolfgang Schwarz, Belief, Desire, and Rational Choice (CC BY-NC-SA 4.0)

• Michael Strevens, Notes on Bayesian Confirmation Theory

• Brian Weatherson, Lecture Notes on Decision Theory (CC BY-NC-SA 4.0, open source)

• Jonathan Weisberg, Odds & Ends: Introducing Probability & Decision with a Visual Emphasis (open source)

"Free" means: can be downloaded or accessed online for free. "Open" means: available under an open license, i.e., modification and distribution is permitted. "Open source" means the source files from which PDFs can be produced are available.

See also the tracking issue #41 for possible inclusion of materials already freely available.