Bewertung:
Derzeit gibt es keine Leserbewertungen. Die Bewertung basiert auf 2 Stimmen.
Proof-theoretic Semantics
Dieses Buch ist eine Monographie zum Thema beweistheoretische Semantik, eine Bedeutungstheorie, die eine Alternative zur traditionelleren modelltheoretischen Semantik darstellt. Die letztere betrachtet Bedeutung als Wahrheitsbedingungen (in beliebigen Modellen), die erstere als kanonische Ableitbarkeitsbedingungen in einem bedeutungskonvergierenden natürlich-ableitenden Beweissystem.
Im ersten Teil des Buches wird die beweistheoretische Semantik der Logik vorgestellt. Sie gibt einen Überblick über die Art und Weise, wie ein natürliches Ableitungssystem als sinnstiftend dienen kann, und analysiert insbesondere verschiedene Kriterien, die ein solches System erfüllen muss, um als sinnstiftend zu gelten. Ein zentrales Kriterium ist die Harmonie, ein Gleichgewicht zwischen Einleitungsregeln und Ausscheidungsregeln.
Die Theorie wird auf verschiedene Logiken angewandt, z.
B. auf die Relevanzlogik, und auf verschiedene Beweissysteme, wie z.
B. die natürliche Deduktion mit mehreren Schlussfolgerungen und den Bilateralismus. Die Präsentation ist inspiriert von neueren Arbeiten des Autors und gibt auch einen Überblick über die jüngsten Entwicklungen.
Im zweiten Teil wird die Theorie auf Fragmente natürlicher Sprache angewandt, sowohl extensional als auch intensional, eine Entwicklung, die auf den jüngsten Arbeiten des Autors beruht. Zum Beispiel wird die Konservativität von Determinanten, sobald sie in einem beweistheoretischen Rahmen aufgestellt ist, zu einer beweisbaren Eigenschaft aller (regulären) Determinanten. Es wird gezeigt, dass Bedeutung nicht die schwere ontologische Last tragen muss, die für die modelltheoretische Semantik komplexer natürlichsprachlicher Konstrukte charakteristisch ist.
Nissim Francez ist emeritierter Professor für Informatik am Technion, Israel Institute of Technology. An einem bestimmten Punkt seiner Karriere wechselte er von der Forschung im Zusammenhang mit nebenläufiger und verteilter Programmierung und Programmverifikation zur Forschung im Bereich der Computerlinguistik, hauptsächlich zur formalen Semantik natürlicher Sprache.
In den letzten Jahren hat er sich mit beweistheoretischer Semantik beschäftigt, insbesondere für natürliche Sprache.
| ISBN: | 9781848901834 |
| Autor: | |
| Verlag: | |
| Sprache: | Englisch |
| Einband: | Taschenbuch |
Derzeit verfügbar, auf Lager.
