
forall x: An Introduction to Formal Logic - Fall 2020 Edition (Calgary)
Posted: January 22, 2021 | Updated: January 28, 2022
Author: Aaron Thomas-Bolduc, Richard Zach; University of Calgary
Good news! This book has been updated and revised. An adaptation of this book can be found here: open.bccampus.ca
THIS BOOK WILL BE ARCHIVED ON JUNE 1, 2022, AS IT HAS BEEN REPLACED BY A NEW EDITION. forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-order interpretations), translating (formalizing) English in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as modal logic, soundness, and functional completeness. Exercises with solutions are available. It is provided in PDF (for screen reading, printing, and a special version for dyslexics) and in LaTeX source code. A proof editor/checker for the proof system used is available at proofs.openlogicproject.org.
Subject Areas
Humanities, Philosophy
Original source
forallx.openlogicproject.org
Adoptions:
Tell us you are using this Open Textbook
Adaptations:
Support for adapting an open textbook
Need help?
Visit our help page
Accessibility:
Textbooks flagged as accessible meet the criteria noted on the Accessibility Checklist

Photo credit
Get This Book
Select a file format-
DOWNLOAD
Digital PDF
1 MB -
DOWNLOAD
Print PDF
0.99 MB -
DOWNLOAD
Digital PDF (dyslexia-friendly font)
1 MB
forall x: An Introduction to Formal Logic - Fall 2020 Edition (Calgary) by Aaron Thomas-Bolduc, Richard Zach; University of Calgary is licensed under a Creative Commons Attribution 4.0 International License, except where otherwise noted.
Similar Textbooks



forall x: An Open Introduction to Formal Logic - Fall 2021 Edition (Calgary)

There are currently no reviews for this book.
Be the first to request to review this textbook