UBC Faculty Research and Publications

forall x : (UBC edition) : An introduction to formal logic Magnus, P. D.; Ichikawa, Jonathan Jenkins

Abstract

This is an open-access introductory logic textbook, prepared by Jonathan Ichikawa, based on P.D. Magnus’s forallx. This book is an introduction to sentential logic and first-order predicate logic with identity, logical systems that significantly influenced twentieth-century analytic philosophy. It contains content, practice exercises, symbolic notations, and solutions to selected exercises. OER Description: This textbook on formal logic was developed to support undergraduate lower division students. This open educational resource (OER) includes concept summaries, examples, diagrams, practice excercises and solutions. The latest version of this OER can be found at PhilPapers. Text and source code for this open textbook is available via GitHub.

Item Citations and Data

Rights

Attribution-ShareAlike 4.0 International