Forall x

Format:

Book

Author/Creator:

Wimmer, Simon, author.

Language:

German

Subjects (All):

Humanities--Textbooks.

Humanities.

Philosophy--Textbooks.

Philosophy.

Physical Description:

1 online resource

Place of Publication:

[Place of publication not identified] Simpson University 2021.

Language Note:

In German.

Summary:

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.

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

Notes:

Description based on print resource