Creative Commons: Attribution-ShareAlike 3.0 (2020)

Jonathan Ichikawa
University of British Columbia
P. D. Magnus
State University of New York, Albany
This is an open-access introductory logic textbook, prepared by Jonathan Ichikawa, based on P.D. Magnus's forallx. This (v2.0, July 2020) is intended as a stable, ready-for-teaching edition.
Keywords logic  formal logic  symbolic logic
Categories (categorize this paper)
Buy this book Find it on
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Logic.Robert Baum - 1975 - Holt, Rinehart and Winston.
Forall X: An Introduction to Formal Logic.P. D. Magnus - 2005 - State University of New York Oer Services.
What is “Formal Logic”?Jean-Yves Béziau - 2008 - Proceedings of the Xxii World Congress of Philosophy 13:9-22.
Conservative Fragments of {{S}^{1} {2}} and {{R}^{1} {2}}.Chris Pollett - 2011 - Archive for Mathematical Logic 50 (3-4):367-393.
Epistemic Operators in Dependence Logic.Pietro Galliani - 2013 - Studia Logica 101 (2):367-397.


Added to PP index

Total views
8,791 ( #186 of 62,359 )

Recent downloads (6 months)
518 ( #689 of 62,359 )

How can I increase my downloads?


My notes