Einführung in die moderne Logik

Franz von Kutschera; Alfred Breitkopf

doi:10.5771/9783495860885

Zusammenfassung

8., vollständig überarbeitete Auflage

Dieses Buch wendet sich an Angehörige aller Wissenschaftsgebiete und gibt eine allgemeinverständliche Einführung in die Grundlagen der modernen Logik. Formalisierungsprozesse werden ausführlich erläutert und Dinge von eher technischem Interesse beiseite gelassen. Behandelt werden Aussagenlogik, elementare Prädikatenlogik, Identität und Kennzeichnungen. In zwei ergänzenden Kapiteln werden Prinzipien des Definierens und Grundbegriffe der Mengenlehre angesprochen. Zahlreiche Aufgaben (mit Lösungen) erleichtern das Einüben des Stoffes.

»[…] als Standardwerk zu bezeichnende Einführung« Recensio

Schlagworte

Publikation durchsuchen

Bibliographische Angaben

Copyrightjahr: 2016
ISBN-Print: 978-3-495-47209-5
ISBN-Online: 978-3-495-86088-5
Verlag: Karl Alber, Baden-Baden
Sprache: Deutsch
Seiten: 219
Produkttyp: Monographie

Inhaltsverzeichnis

KapitelSeiten

Titelei/Inhaltsverzeichnis Kein Zugriff Seiten 1 - 10
1. 1.1 Der Gegenstand der Logik Kein Zugriff
2. 1.2 Die Bedeutung der Logik Kein Zugriff
3. Übungsaufgaben Kein Zugriff
1. 2.1 Sätze Kein Zugriff
2. 2.2 Negation Kein Zugriff
3. 2.3 Konjunktion Kein Zugriff
4. 2.4 Adjunktion und Kontravalenz Kein Zugriff
5. Übungsaufgaben Kein Zugriff
1. 3.1 Der Begriff des Satzoperators Kein Zugriff
2. 3.2 Implikation Kein Zugriff
3. 3.3 Äquivalenz Kein Zugriff
4. 3.4 Vollständige Systeme Kein Zugriff
5. Übungsaufgaben Kein Zugriff
1. 4.1 Aussagenlogische Gültigkeit Kein Zugriff
2. 4.2 Ein Entscheidungsverfahren für die Aussagenlogik Kein Zugriff
3. 4.3 Semantische Bäume Kein Zugriff
4. Übungsaufgaben Kein Zugriff
1. 5.1 Syntax Kein Zugriff
2. 5.2 Semantik Kein Zugriff
3. Übungsaufgaben Kein Zugriff
1. 6.1 Der Kalkül Kein Zugriff
2. 6.2 Beweise Kein Zugriff
3. 6.3 Ableitungen Kein Zugriff
4. 6.4 Metatheoreme Kein Zugriff
5. Übungsaufgaben Kein Zugriff
1. 7.1 Widerspruchsfreiheit Kein Zugriff
2. 7.2 Vollständigkeit Kein Zugriff
1. 8.1 Die Struktur einfacher Sätze Kein Zugriff
2. 8.2 Der Alloperator Kein Zugriff
3. 8.3 Der Existenzoperator Kein Zugriff
4. 8.4 Mehrfaches Quantifizieren Kein Zugriff
5. Übungsaufgaben Kein Zugriff
1. 9.1 Syntax Kein Zugriff
2. 9.2 Semantik Kein Zugriff
3. 9.3 PrädikatenlogischeWahrheit und Gültigkeit Kein Zugriff
4. 9.4 Grundlegende semantische Theoreme Kein Zugriff
5. Übungsaufgaben Kein Zugriff
1. Übungsaufgaben Kein Zugriff
1. 11.1 Widerspruchsfreiheit Kein Zugriff
2. 11.2 Vollständigkeit Kein Zugriff
1. 12.1 Der Baumkalkül Kein Zugriff
2. 12.2 Die Adäquatheit des Kalküls Kein Zugriff
3. Übungaufgaben Kein Zugriff
1. 13.1 Identität Kein Zugriff
2. 13.2 Kennzeichnung Kein Zugriff
3. 13.3 Funktionen Kein Zugriff
4. Übungsaufgaben Kein Zugriff
1. 14.1 Die traditionelle Definitionslehre Kein Zugriff
2. 14.2 Begriffsanalyse und Explikation Kein Zugriff
3. 14.3 Definitionsformen Kein Zugriff
1. 15.1 Die naive Mengenlehre Kein Zugriff
2. 15.2 Elementare Mengenalgebra Kein Zugriff
3. 15.3 Logizismus Kein Zugriff
4. 15.4 Antinomien Kein Zugriff
5. Übungsaufgaben Kein Zugriff
1. A.1 Lösungen der Übungsaufgaben Kein Zugriff
2. 1. A.2.1 Aussagenlogik Kein Zugriff
  2. A.2.2 Prädikatenlogik Kein Zugriff
3. 1. A.3.1 Aussagenlogik Kein Zugriff
  2. A.3.2 Prädikatenlogik Kein Zugriff
Bibliographie Kein Zugriff Seiten 209 - 212
Sachregister Kein Zugriff Seiten 213 - 218
Symbolverzeichnis Kein Zugriff Seiten 219 - 219