Authors
Simon Wimmer
TU Dortmund
P. D. Magnus
State University of New York, Albany
Tim Button
University College London
4 more
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
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,316
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.
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.
On Denoting.Bertrand Russell - 1906 - Philosophical Review 15:346.
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.

Add more citations

Similar books and articles

Forall X: An Introduction to Formal Logic.P. D. Magnus - 2005 - Victoria, BC, Canada: State University of New York Oer Services.
Capturing Consequence.Alexander Paseau - 2019 - Review of Symbolic Logic 12 (2):271-295.
Ontologically Minimal Logical Semantics.Uwe Meixner - 1995 - Notre Dame Journal of Formal Logic 36 (2):279-298.
Logic: An Introduction.Greg Restall - 2004 - Oxford, England: Mcgill-Queen's University Press.
Epistemic Operators in Dependence Logic.Pietro Galliani - 2013 - Studia Logica 101 (2):367-397.

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 )

How can I increase my downloads?

Downloads

My notes