Skip to content

Read more about forall x: Dortmund

forall x: Dortmund

(0 reviews)

No ratings

Simon Wimmer, Technical University Dortmund

Copyright Year: 2021

Publisher: Simpson University

Language: German

Formats Available

Versions

Conditions of Use

Attribution Attribution
CC BY

Table of Contents

  • I Zentrale Begriffe der Logik
  • II Wahrheitsfunktionale Logik
  • III Wahrheitstabellen
  • IV Natürliche Herleitung für die WFL
  • V Die Logik erster Ordnung
  • VI Interpretationen
  • VII Natürliche Herleitung für die LEO
  • VIII Modale Logik

Ancillary Material

Submit ancillary resource

About the Book

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 all exercises in the book is available.

About the Contributors

Author

Simon Wimmer:

I'm an assistant professor at Eva Schmidt's chair in theoretical philosophy at the Technical University Dortmund. Thanks to funding from the Fritz Thyssen Foundation, I'll be a visiting researcher at Kristina Liefke's chair at Bochum from April to September 2022.

My research focuses on the relation between knowledge and belief and whether either of them enjoys "priority" over the other. I also work on issues concerning the semantics of knowledge and belief talk as well as the history of knowledge-first views in the analytic tradition. I especially enjoy teaching logic and the philosophy of language.

I completed my PhD at the University of Warwick in January 2020. My supervisors were Guy Longworth and Johannes Roessler. During my PhD, I spent time at Oxford, Toronto, and Cologne.

I'm originally from Austria, but lived in the UK for almost all of my adult life.

Contribute to this Page

Suggest an edit to this book record