Cargando…
Einführung in die Logik.
This successful textbook on logic, now in its fourth edition, features a time-tested design. The work can be profitably read by beginning students of logic as well as students of other fields with prior knowledge of mathematics or formal semantics. Practice exercises cover all of the material. The n...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Alemán |
| Publicado: |
Berlin :
De Gruyter,
2014.
|
| Edición: | 4th ed. |
| Colección: | De Gruyter Studium.
|
| Temas: | |
| Acceso en línea: | Texto completo |
Tabla de Contenidos:
- Vorwort zur vierten Auflage; Vorwort zur dritten Auflage; Vorwort zur zweiten Auflage; Vorwort; Inhaltsverzeichnis; I Grundbegriffe; 1 Logik und Argumentation; 2 Argumente; 3 Aussagesätze; 4 Gute Argumente
- Gültigkeit und Schlüssigkeit; 5 Noch einmal: wahr, gültig, schlüssig; 6 Deduktiv und nicht-deduktiv gültige Argumente; 7 Gültigkeit und die logische Form von Argumenten; 8 Logische Form und die Bedeutung der in einem Argument enthaltenen logischen Ausdrücke; 9 Die Problematik der logischen Form umgangssprachlicher Aussagesätze; II Aussagenlogik; 10 Die Sprache AL.
- 10.1 Verwenden und Erwähnen -Objekt- und Metasprache10.2 Die Syntax von AL; 10.3 Die Semantik von AL; 11 Grundbegriffe der Logik der Sprache AL; 12 Die Wahrheitstafelmethode; 13 Die Wahrheitsbaummethode; 14 Der Kalkül AK; 15 Übersetzung umgangssprachlicher Sätze in die Sprache AL; 15.1 Negationen; 15.2 Konjunktionen; 15.3 Adjunktionen; 15.4 Subjunktionen; 15.5 Bisubjunktionen; 16 Beurteilung umgangssprachlicher Sätze und Argumente mit aussagenlogischen Mitteln; III Prädikatenlogik; 17 Die Sprache PL; 17.1 Die Syntax von PL; 17.2 Die Semantik von PL; 18 Grundbegriffe der Logik der Sprache PL.
- 19 Das Wahrheitsbaumverfahren für PL20 Der Kalkül PK; 21 Übersetzung umgangssprachlicher Sätze in die Sprache PL; 21.1 Atomare Sätze; 21.2 Komplexe Sätze; 21.3 Quantifizierte Sätze; 22 Beurteilung umgangssprachlicher Sätze und Argumente mit prädikatenlogischen Mitteln; IV Metalogik; 23 Elemente der Mengenlehre und das Verfahren des Beweises durch vollständige Induktion; 23.1 Grundzüge der Mengenlehre; 23.2 Beweise durch vollständige Induktion; 24 Die formale Semantik der Sprache PL; 25 Korrektheit und Vollständigkeit von AK; 26 Korrektheit und Vollständigkeit von PK.
- 27 Korrektheit und Vollständigkeit der Wahrheitsbaumverfahren für AL und PL27.1 Korrektheit und Vollständigkeit desWahrheitsbaumverfahrens für AL; 27.2 Korrektheit und Vollständigkeit des Wahrheitsbaumverfahrens für PL; V Anhang; Lösung der Übungsaufgaben; Quellennachweise für die Beispielargumente; Weiterführende Literatur; Register.