forall x: Dortmund (2nd edition)

Dortmund: (2021)
  Copy   BIBTEX

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,907

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

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.
Introduction to mathematical logic.Michał Walicki - 2012 - Hackensack, NJ: World Scientific.
Ontologically Minimal Logical Semantics.Uwe Meixner - 1995 - Notre Dame Journal of Formal Logic 36 (2):279-298.
Logic: An Introduction.Greg Restall - 2006 - New York: McGill Queens Univ.
Epistemic Operators in Dependence Logic.Pietro Galliani - 2013 - Studia Logica 101 (2):367-397.

Analytics

Added to PP
2021-01-18

Downloads
84 (#204,667)

6 months
26 (#115,976)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Simon Wimmer
TU Dortmund
P. D. Magnus
State University of New York, Albany
Tim Button
University College London
4 more

Citations of this work

No citations found.

Add more citations

References found in this work

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.
An Introduction to Non-Classical Logic: From If to Is.Graham Priest - 2008 - Bulletin of Symbolic Logic 14 (4):544-545.
.Kai Nielsen & Robert Ware (eds.) - 1989 - University of Calgary Press.

View all 7 references / Add more references