Open Logic Project (2021)

Authors
P. D. Magnus
State University of New York, Albany
Richard Zach
University of Calgary
Tim Button
University College London
2 more
Abstract
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, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as truth-functional completeness and modal logic. 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.
Keywords first-order logic  propositional logic
Categories (categorize this paper)
Buy this book $10.50 new   Amazon page
ISBN(s) 9798527349504   1077319851
Options
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

On Denoting.Bertrand Russell - 1905 - Mind 14 (56):479-493.
On Denoting.Bertrand Russell - 2005 - Mind 114 (456):873 - 887.
Reference and Definite Descriptions.Keith S. Donnellan - 1966 - Philosophical Review 75 (3):281-304.
On Referring.Peter F. Strawson - 1950 - Mind 59 (235):320-344.

View all 12 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Expressivity of Second Order Propositional Modal Logic.Balder ten Cate - 2006 - Journal of Philosophical Logic 35 (2):209-223.
First-Order da Costa Logic.Graham Priest - 2011 - Studia Logica 97 (1):183 - 198.
Pure Second-Order Logic with Second-Order Identity.Alexander Paseau - 2010 - Notre Dame Journal of Formal Logic 51 (3):351-360.
Epistemic Operators in Dependence Logic.Pietro Galliani - 2013 - Studia Logica 101 (2):367-397.
Forall X: An Introduction to Formal Logic.P. D. Magnus - 2005 - Victoria, BC, Canada: State University of New York Oer Services.

Analytics

Added to PP index
2019-04-04

Total views
346 ( #29,797 of 2,506,844 )

Recent downloads (6 months)
54 ( #15,725 of 2,506,844 )

How can I increase my downloads?

Downloads

My notes