Einführung in Die Klassische Und Intensionale Logik

ISBN-13: 9783528064891 / Niemiecki / Miękka / 1992

Ulf Friedrichsdorf

Opis

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 einzufuhren. 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.

Spis treści

Aussagenlogik - modale Aussagenlogik und Varianten - Grundbegriffe der Prädikatenlogik - Herbrandscher Satz - Gödelscher Vollständigkeitssatz - modale Aspekte der Gödelschen Unvollständigkeitssätze - modelltheoretische Begriffe - modale und dynamische Prädikatenlogik - höherstufige Prädikatenlogik und Typentheorie.

O autorze

Dr. rer. nat. Ulf Friedrichsdorf ist wissenschaftlicher Mit-arbeiter an der Fakultät für Mathematik der Universität Konstanz, 7750 Konstanz.