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.
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.
Dr. Raphael van Riel, Dilthey-Fellow der Volkswagenstiftung mit dem Projekt "A Study in Explanatory Power" an der Universität Duisburg-Essen Prof. Dr. Gottfried Vosgerau, seit 2014 Professor für Philosophie des Geistes und der Kognition an der Heinrich-Heine-Universität Düsseldorf
Inhaltsangabe
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.
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.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Internetauftritt der buecher.de internetstores GmbH
Geschäftsführung: Monica Sawhney | Roland Kölbl | Günter Hilger
Sitz der Gesellschaft: Batheyer Straße 115 - 117, 58099 Hagen
Postanschrift: Bürgermeister-Wegele-Str. 12, 86167 Augsburg
Amtsgericht Hagen HRB 13257
Steuernummer: 321/5800/1497
USt-IdNr: DE450055826