Format:
Online-Ressource (X, 182 S. 10 Abb. in Farbe, online resource)
Edition:
1
Edition:
Springer eBook Collection. J.B. Metzler Humanities
ISBN:
9783476045652
Series Statement:
SpringerLink
Content:
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
Content:
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
Additional Edition:
ISBN 9783476045645
Additional Edition:
Erscheint auch als Druck-Ausgabe ISBN 978-3-476-04564-5
Additional Edition:
Printed edition ISBN 9783476045645
Language:
German
DOI:
10.1007/978-3-476-04565-2
Author information:
Vosgerau, Gottfried 1978-
Author information:
Riel, Raphael van 1979-
