Einführung in die klassische und intensionale Logik (German Edition)

Dr. rer. nat. Ulf Friedrichsdorf ist wissenschaftlicher Mit-arbeiter an der Fakultät für Mathematik der Universität Konstanz, 7750 Konstanz. Front Matter....Pages I-VII Mengen, Relationen und Funktionen....Pages 1-18 Aussagenlogik....Pages 19-44 Modale Aussagenlogik....Pages 45-88 Varianten der modalen Aussagenlogik....Pages 89-108 Grundbegriffe der Prädikatenlogik....Pages 109-142 Normalformen und der Satz von Herbrand....Pages 143-158 Der Gödelsche Vollständigkeitssatz....Pages 159-170 Modallogische Aspekte der Gödelschen Unvollständigkeitssätze....Pages 171-208 Einige modelltheoretische Begriffe und Sätze....Pages 209-258 Modale Prädikatenlogik....Pages 259-272 Dynamische Prädikatenlogik....Pages 273-292 Höherstufige Prädikatenlogik....Pages 293-307 Typentheorie....Pages 309-331 Back Matter....Pages 333-356 Das Buch setzt sich zum Ziel, auch mathematisch wenig vorgebildete Leser in die klassische zweiwertige Logik und ihre intensionalen Erweiterungen wie Modal-Logik, Zeit-Logik und dynamische Logik einzuführen. Die hier näher betrachteten intensionalen Systeme hängen zusammen mit Fragen aus der Beweistheorie der Peano-Arithmetik, Korrektheitsfragen in der Theorie der Programmiersprachen und mit Problemen, die die Semantik natürlicher Sprachen betreffen. Die hier naher betrachteten intensionalen Systeme hangen zusammen mit Fragen aus der Beweistheorie der Peano-Arithmetik, Korrektheitsfragen in der Theorie der Programmiersprachen und mit Problemen, die die Semantik naturlicher Sprachen betreffen.