ISBN:
9783476045652
Language:
German
Pages:
Online-Ressource (X, 182 S. 10 Abb. in Farbe, online resource)
Edition:
1
Edition:
Springer eBook Collection. J.B. Metzler Humanities
Series Statement:
SpringerLink
Series Statement:
Bücher
Parallel Title:
Erscheint auch als
Parallel Title:
Printed edition
Keywords:
Philosophy
;
Philosophy
;
Logic
;
Logic
Abstract:
Dieses Lehrbuch vermittelt eines der wichtigsten Werkzeuge der Philosophie durch die Einführung in die Grundideen einer formalen Sprache. Schrittweise werden so die relevanten Sprachstrukturen aufgedeckt, die dann in der Aussagen- und Prädikatenlogik formalisiert werden. Sowohl die Semantik als auch ein Kalkül des natürlichen Schließens werden jeweils detailliert diskutiert. In Kombination mit einer Lernplattform wird der zentrale Stoff anwendungsorientiert und plastisch vermittelt, was die auch zum Selbststudium geeignete Einführung zum idealen Begleiter für das Philosophiestudium macht
Abstract:
1 Einleitung -- 2 Grundbegriffe -- 3 Grundlagen der Aussagenlogik -- 4 Semantik der Aussagenlogik -- 5 Systematik der Junktoren -- 6 Semantische Beweise -- 7 Schlussfiguren und die Idee eines Kalküls -- 8 Der Kalkül des natürlichen Schließens -- 9 Grundlagen der Prädikatenlogik -- 10 Prädikatenlogik und natürliche Sprache -- 11 Semantik der Prädikatenlogik -- 12 Ein Kalkül für die Prädikatenlogik -- 13 Identität von Individuen -- 14Aristotelische Syllogistik -- 15 Verzeichnis der Definitionen -- 16 Verzeichnis der Beweisregeln
DOI:
10.1007/978-3-476-04565-2
Permalink
