Diese Ressource ist vollständig im Bestand von archiv k23 einsehbar. ( Kennung: phi1348)

Wilhelm K. Essler

Einführung in die Logik

INHALTSVERZEICHNIS

Vorwort zur ersten Auflage ............................ 6

Vorwort zur zweiten Auflage........................... 8

I. Einleitung ........................................ 10

II. Der Begriff der klassischen Logik .................... 14

III. Der Kalkül des natürlichen Schließens ................ 41

1. Die Grundregeln der Aussagenlogik ............... 41

2. Lehrsätze der Aussagenlogik ...................... 58

3. Die Grundregeln der engeren Quantorenlogik....... 98

4. Lehrsätze der engeren Quantorenlogik ............. 123

IV. Die erweiterte Quantorenlogik ...................... 153

1. Die einfache Typentheorie........................ 153

2. Die Algebra der Klassen.......................... 172

3. Die Logik der Relationen......................... 186

4. Das logizistische Grundlegungsprogramm .......... 204

V. Angewandte Logik ................................ 221

1. Analyse des Kausalprinzips........................ 221

2. Die axiomatische Methode ....................... 240

3. Definitionslehre ................................. 248

4. Über die Anwendung der Logik .................. 260

Anhang: Vollständigkeit und Widerspruchsfreiheit ........ 266

Äquivalente Formulierungen des Kalküls................. 291

Übungen ............................................ 296

Bibliographie ......................................... 308

Sachregister .......................................... 311

Verzeichnis der Symbole und Abkürzungen .............. 316



URL dieser Ressource: http://www.ask23.de/draft/archiv/md47_fachliteratur/phi1348.html