Skip to content

Read more about forall x: Calgary

forall x: Calgary

(0 reviews)

No ratings

P.D. Magnus, University at Albany, State University of New York

Tim Button, University College London

Robert Trueman, University of York

Richard Zach, University of Calgary

J. Robert Loftis, Lorain County Community College

Aaron Thomas-Bolduc, University of Calgary

Copyright Year: 2023

Publisher: University of Calgary

Language: English

Formats Available

Versions

Conditions of Use

Attribution Attribution
CC BY

Table of Contents

  • Preface
  • Key notions of logic
  • Truth-functional logic
  • Truth tables
  • Natural deduction for TFL
  • First-order logic
  • Interpretations
  • Natural deduction for FOL
  • Modal logic
  • Metatheory
  • Appendices
  • Glossary

Ancillary Material

  • Open Logic Text
  • About the Book

    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), symbolizing 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), HTML (with additional accessibility features), and in LaTeX source code.

    About the Contributors

    Authors

    P.D. Magnus, University at Albany, State University of New York

    Tim Button, University College London

    Robert Trueman, University of York

    Richard Zach, University of Calgary

    J. Robert Loftis, Lorain County Community College

    Aaron Thomas-Bolduc, University of Calgary

    Contribute to this Page

    Suggest an edit to this book record