by
BCcampus
Find Materials
AboutHelpContact
AboutHelpContact
Home
Textbook cover

forall x: Calgary

An Open Introduction to Formal Logic
|
Fall 2021 Edition
Textbook
|
Philosophy
Textbook cover
Order Hardcopy
About
In This Book
License
Support

About This Textbook

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
  • 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.

Author
Aaron Thomas-Bolduc and Richard Zach
Publish Date
2016
Edition
Fall 2021 Edition
Level
Undergraduate
License
CC BY 4.0
Features
Accessible
Supplementary Materials

What’s In This Book

Supplemental Materials
NameAccess
LaTeX source code
Visit page
Exercise solutions
Download

License

This resource is licensed under a Creative Commons Attribution 4.0 International License.

You may:

Share
You may copy and redistribute the material in any medium or format.
Adapt
You may remix, transform, and build upon the material for any purpose, even commercially.

As long as you follow these terms:

Give credit
You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use.

Other things to know:

  • The licensor cannot revoke these freedoms as long as you follow the license terms.
  • You do not have to comply with the license for elements of the material in the public domain or where your use is permitted by an applicable exception or limitation.
  • No warranties are given. The license may not give you all of the permissions necessary for your intended use. For example, other rights such as publicity, privacy, or moral rights may limit how you use the material.

Additional Support

How do I report an issue with materials?
What can I do with materials under open or Creative Commons licenses?
Do I need permission to use materials from this collection?
I want to offer print copies to my students. Is that allowed?
How do I become a reviewer for a book?

Support

Accessibility Toolkit
Adaptation Guide
Adoption Guide
Self-Publishing Guide

Contribute

Report an Error
Suggest a Textbook
Become a Reviewer

Connect With Us

Get the latest information on news and events by subscribing to the BCcampus newsletter.
Subscribe
Contact Us
Funded by:
Government of BC logo
Designed and developed by:
This site is licensed as CC-BY except where otherwise noted.
This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.