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. [Text and source code for this open textbook is available via GitHub].

Item Metadata

Title	forall x : (UBC edition) : An introduction to formal logic
Creator	Magnus, P. D.; Ichikawa, Jonathan Jenkins
Date Issued	2019-10-02
Description	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. [Text and source code for this open textbook is available via GitHub].
Genre	Book
Type	Text
Language	eng
Date Available	2021-04-30
Provider	Vancouver : University of British Columbia Library
Rights	Attribution-ShareAlike 4.0 International
DOI	10.14288/1.0397109
URI	http://hdl.handle.net/2429/78055
Affiliation	Arts, Faculty of; Non UBC; Philosophy, Department of
Peer Review Status	Unreviewed
Scholarly Level	Faculty
Copyright Holder	P.D. Magnus and Jonathan Ichikawa
Rights URI	http://creativecommons.org/licenses/by-sa/4.0/
Aggregated Source Repository	DSpace

Item Media

Magnus_P_et_al_Forall_x_UBC_edition_2020.pdf -- 1.19MB

Magnus_P_et_al_Forall_x_Latex_files_2020.zip -- 14.71MB

Item Citations and Data

Rights

Attribution-ShareAlike 4.0 International

Open Collections