Simon Wimmer, P. D. Magnus, Tim Button, Aaron Thomas-Bolduc, Richard Zach, J. Robert Loftis & Robert Trueman
| Authors | |
| Abstract |
forall x: Dortmund is an adaptation and German translation of forall x: Calgary. As such, it is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity, the syntax of truth-functional (propositional) logic and truth-table semantics, the syntax of first-order (predicate) logic with identity and first-order interpretations, formalizing German 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 the syntax and (Kripke-)semantics of modal logic. The book is provided in PDF and in LaTeX source code. A booklet with solutions for the exercises in the book is available.
|
| Keywords | first-order logic propositional logic modal logic |
| Categories | (categorize this paper) |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 71,316
External links
(no proxy) 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
- Only published works are available at libraries.
References found in this work BETA
Reference and Definite Descriptions.Keith S. Donnellan - 1966 - Philosophical Review 75 (3):281-304.
An Introduction to Non-Classical Logic: From If to Is.Graham Priest - 2008 - Bulletin of Symbolic Logic 14 (4):544-545.
View all 8 references / Add more references
Citations of this work BETA
No citations found.
Similar books and articles
Forall X: Calgary. An Introduction to Formal Logic.P. D. Magnus, Tim Button, Aaron Thomas-Bolduc, Richard Zach & Robert Trueman - 2021 - Open Logic Project.
Forall X: An Introduction to Formal Logic.P. D. Magnus - 2005 - Victoria, BC, Canada: State University of New York Oer Services.
Representability in Second-Order Propositional Poly-Modal Logic.G. Aldo Antonelli & Richmond H. Thomason - 2002 - Journal of Symbolic Logic 67 (3):1039-1054.
A Syntactic Embedding of Predicate Logic Into Second-Order Propositional Logic.Morten H. Sørensen & Paweł Urzyczyn - 2010 - Notre Dame Journal of Formal Logic 51 (4):457-473.
Ontologically Minimal Logical Semantics.Uwe Meixner - 1995 - Notre Dame Journal of Formal Logic 36 (2):279-298.
On the Complexity of Propositional Quantification in Intuitionistic Logic.Philip Kremer - 1997 - Journal of Symbolic Logic 62 (2):529-544.
A Secondary Semantics for Second Order Intuitionistic Propositional Logic.Mauro Ferrari, Camillo Fiorentini & Guido Fiorino - 2004 - Mathematical Logic Quarterly 50 (2):202-210.
Dependence Logic: A New Approach to Independence Friendly Logic.Jouko Väänänen - 2007 - Cambridge University Press.
Topos Semantics for Higher-Order Modal Logic.Steve Awodey, Kohei Kishida & Hans-Cristoph Kotzsch - 2014 - Logique Et Analyse 228:591-636.
Analytics
Added to PP index
2021-01-18
Total views
43 ( #265,324 of 2,519,496 )
Recent downloads (6 months)
2 ( #271,332 of 2,519,496 )
2021-01-18
Total views
43 ( #265,324 of 2,519,496 )
Recent downloads (6 months)
2 ( #271,332 of 2,519,496 )
How can I increase my downloads?
Downloads
