Home Philosophy Logik
book: Logik
Book
Licensed
Unlicensed Requires Authentication

Logik

Grund- und Aufbaukurs in Aussagen- und Prädikatenlogik
  • Gerhard Schurz
Language: German
Published/Copyright: 2018
Download eBook (PDF) Download eBook (EPUB)
Become an author with De Gruyter Brill
Explore this Subject How to publish with us
De Gruyter Studium
This book is in the series
De Gruyter Studium

About this book

This introduction to logic consists of basic and advanced courses. The basic course introduces propositional and predicate logic as well as the logical reconstruction of natural language arguments. The advanced course encompasses higher-level areas of predicate logic including central metalogical results for completeness, incompleteness, and (un)decidability. Numerous practice examples with solutions aid in learning the material.

  • für Einführungen und für Aufbaukurse
  • bietet anfängergerechte Einführung und Heranführung an fortgeschrittene formale Logik
  • Erklärung der Zusammenhänge zwischen alternativen logischen Notationen und Techniken
  • Zahlreiche Übungsbeispiele mit Lösungen

Author / Editor information

Gerhard Schurz, Heinrich Heine Universität Düsseldorf.

Reviews

„Ein stringent aufgebautes Buch, sprachlich hervorragend und didaktisch wohlüberlegt."
Dr. Stefan Höltgen, Humboldt-Universität zu Berlin

Supplementary Materials

Topics

  • Publicly Available

    Frontmatter

    I
    Download PDF
  • Requires Authentication Unlicensed
    Licensed

    Vorwort

    V
    Download PDF
  • Publicly Available

    Inhaltsverzeichnis

    VII
    Download PDF
  • Teil I: Grundkurs In Aussagenlogik Und Elementarer Prädikatenlogik
  • Requires Authentication Unlicensed
    Licensed

    1.Allgemeine Grundlagen

    3
    Download PDF
  • Sektion A: Aussagenlogik (Al)
  • Requires Authentication Unlicensed
    Licensed

    2.Junktoren Und Ihre Wahrheitstafeln

    33
    Download PDF
  • Requires Authentication Unlicensed
    Licensed

    3.Aussagenlogische Sprache

    45
    Download PDF
  • Requires Authentication Unlicensed
    Licensed

    4.Aussagenlogische Semantik I: Die Wahrheitstafelmethode

    55
    Download PDF
  • Requires Authentication Unlicensed
    Licensed

    5. Aussagenlogische Semantik II: Die Reduktio Ad Absurdum Methode

    71
    Download PDF
  • Requires Authentication Unlicensed
    Licensed

    6. Rekonstruktion Natursprachlicher Sätze Und Argumente

    89
    Download PDF
  • Requires Authentication Unlicensed
    Licensed

    7.Wichtige Regeln Und Theoreme Der Aussagenlogik

    113
    Download PDF
  • Requires Authentication Unlicensed
    Licensed

    8. Deduktive Methode

    123
    Download PDF
  • Sektion B: Elementare Prädikatenlogik (Pl)
  • Requires Authentication Unlicensed
    Licensed

    9.Grundlagen Der Prädikatenlogik

    151
    Download PDF
  • Requires Authentication Unlicensed
    Licensed

    10. Die Sprache Der Prädikatenlogik

    169
    Download PDF
  • Requires Authentication Unlicensed
    Licensed

    11. Rekonstruktion Natursprachlicher Sätze In Der Pl

    175
    Download PDF
  • Requires Authentication Unlicensed
    Licensed

    12. Deduktive Methode In Der Prädikatenlogik

    185
    Download PDF
  • Teil II: Aufbaukurs In Prädikatenlogik Und Metalogik
  • Sektion C: Fortgeschrittene Prädikatenlogik (Inklusive Aussagenlogik)
  • Requires Authentication Unlicensed
    Licensed

    13.Äquivalenzumformungen In Der Aussagen- Und Prädikatenlogik

    211
    Download PDF
  • Requires Authentication Unlicensed
    Licensed

    14. Beweistheorie: Kalkülarten In Aussagenund Prädikatenlogik

    233
    Download PDF
  • Requires Authentication Unlicensed
    Licensed

    15. Modelltheorie: Semantik Der Prädikatenlogik

    273
    Download PDF
  • Requires Authentication Unlicensed
    Licensed

    16. Prädikatenlogik Mit Identität Und Funktionszeichen (Pl=)

    295
    Download PDF
  • Requires Authentication Unlicensed
    Licensed

    17. Anwendungen Der Pl=

    309
    Download PDF
  • Sektion D: Metalogik
  • Requires Authentication Unlicensed
    Licensed

    18.Informelle Und Formelle Mengenlehre

    335
    Download PDF
  • Requires Authentication Unlicensed
    Licensed

    19.Induktive Beweise Und Metatheoreme Der Pl

    357
    Download PDF
  • Requires Authentication Unlicensed
    Licensed

    20.Korrektheit Und Vollständigkeit Der Pl

    377
    Download PDF
  • Requires Authentication Unlicensed
    Licensed

    21.Exkurs: Metalogik Und Die Grenzen Der Pl

    393
    Download PDF
  • Requires Authentication Unlicensed
    Licensed

    Literaturverzeichnis

    419
    Download PDF
  • Requires Authentication Unlicensed
    Licensed

    Symbol- Und Abkürzungsverzeichnis

    424
    Download PDF
  • Requires Authentication Unlicensed
    Licensed

    Übersicht Über Definitionen, Merksätze Und Abbildungen

    426
    Download PDF
  • Requires Authentication Unlicensed
    Licensed

    Sachregister

    428
    Download PDF
  • Requires Authentication Unlicensed
    Licensed

    Personenregister

    434
    Download PDF

Publishing information
Pages and Images/Illustrations in book
eBook published on:
September 10, 2018
eBook ISBN:
9783110590630
Pages and Images/Illustrations in book
Front matter:
12
Main content:
435
Illustrations:
15
https://doi.org/10.1515/9783110590630
eBook ISBN: 9783110590630
Keywords for this book
Logic; semantics
Audience(s) for this book
Studierende und Lehrende der Philosophie sowie weiterer Fachrichtungen
Sign up now to receive a 20% welcome discount
Institutional Access
How does access work?
Winner of the OpenAthens UX Award 2026
Winner of the OpenAthens UX Award 2026
Have an idea on how to improve our website?
Please write us.
© 2026 De Gruyter Brill
Downloaded on 14.3.2026 from https://www.degruyterbrill.com/document/doi/10.1515/9783110590630/html
Scroll to top button