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