Einführung in die Logik
Реклама. ООО «ЛитРес», ИНН: 7719571260.
Оглавление
Niko Strobach. Einführung in die Logik
Menü
Impressum
Inhaltsverzeichnis
1. Einleitung
1.1 Logik – ein schwieriges Feld?
1.2 Zusammenfassung und Literaturhinweise
Literaturhinweise
2. Logik und logische Gesetze
2.1 Was ist Logik?
2.2 Logische Prinzipien und logische Gesetze
2.3 Zusammenfassung und Literaturhinweise
Literaturhinweise
3. Das Spiel AL
3.1 Zu Beginn etwas Mengenlehre
3.2 Die Spielanleitung für AL
3.3 Farbtabellen
3.4 Die Tableau-Methode
3.5 Tableaux für AL-Schemata
3.6 Die Reduktion der Junktoren
3.7 Zusammenfassung und Literaturhinweise
Literaturhinweise
4. Deutung und Anwendung aussagenlogischer Sprachen
4.1 Die erste Aussagenlogik: Die Logik der Stoiker
4.2 Eine Deutung für das Spiel AL
4.3 Die Anwendung des Spiels AL
4.4 Herleitungsspiele für AL: Axiomatik und natürliches Schließen
4.5 Zusammenfassung und Literaturhinweise
Literaturhinweise
5. Sprechen über Sprache
5.1 Definieren
5.2 Objekt- und Metasprache
Gebräuchliche metasprachliche Abkürzungen
5.3 Das Isolieren, Motivieren und Klassifizieren von Prämissen
5.4 Zusammenfassung und Literaturhinweise
Literaturhinweise
6. Prädikatenlogik
6.1 Die assertorische Syllogistik des Aristoteles
6.2 Prädikate und ihre Extensionen
6.3 Die Syntax des Spiels PL
6.4 Die Semantik von PL – Beispiele ohne Quantoren
6.5 Die Semantik von PL für Formeln mit Quantoren – einfache Beispiele
6.6 Die kategorischen Urteile in PL
6.7 Mehrere Quantoren in einer Formel
6.8 Herleitungsspiele für PL
6.9 Identität, 2. Stufe, Typentheorie
6.10 Gibt es den Weihnachtsmann?
6.11 Zusammenfassung und Literaturhinweise
Literaturhinweise
7. Modallogik
7.1 Die Modallogik S5 und ihre alethische Deutung
7.2 Modale Prädikatenlogik
7.3 Axiomatik für S5 und reduzierte Varianten von S5
7.4 Deontische Logik
7.5 Epistemische Logik
7.6 Zeitlogik
7.7 Zusammenfassung und Literaturhinweise
Literaturhinweise
8. Nichtklassische Logiken
8.1 Die Entkopplung von logischen Prinzipien
8.2 Ein wenig intuitionistische Logik
8.3 Mehrwertige Logik
8.4 Parakonsistenz und Wahrheitswertballungen
8.5 Supervaluationen und Wahrheitswertlücken
8.6 Zusammenfassung und Literaturhinweise
Literaturhinweise
9. Ausblick und Fazit
9.1 Wie geht es weiter?
9.2 Eine Frage des Stils
9.3 Literaturhinweise
Danke!
Anhang 1. Beweise zum Prinzip NEG in Kapitel 2.2
Anhang 2. Beweise für einige modallogische Theoreme
Literaturverzeichnis
Sachregister
Personenregister
Informationen zum Buch
Отрывок из книги
PHILOSOPHIE KOMPAKT
Herausgegeben von Dieter Schönecker und Niko Strobach
.....
Gültigkeit ist notwendig für Beweiskraft.
Gültgkeit ist nicht hinreichend für Beweiskraft.
.....