Beweistheoretische Semantik

Bewertung:   (5,0 von 5)

Beweistheoretische Semantik (Nissim Francez)

Leserbewertungen

Derzeit gibt es keine Leserbewertungen. Die Bewertung basiert auf 2 Stimmen.

Originaltitel:

Proof-theoretic Semantics

Inhalt des Buches:

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.

Weitere Daten des Buches:

ISBN:9781848901834
Autor:
Verlag:
Sprache:Englisch
Einband:Taschenbuch

Kauf:

Derzeit verfügbar, auf Lager.

Ich kaufe es!

Weitere Bücher des Autors:

Ein Blick auf konnexe Logiken - A View of Connexive Logics
Dieses Buch ist die erste Monographie zum Thema Konnexive Logik, einer Familie nicht-klassischer...
Ein Blick auf konnexe Logiken - A View of Connexive Logics
Vereinheitlichende Grammatiken - Unification Grammars
Grammatiken natürlicher Sprachen können als mathematische Objekte ausgedrückt werden, ähnlich wie Computerprogramme...
Vereinheitlichende Grammatiken - Unification Grammars
Beweistheoretische Semantik - Proof-theoretic Semantics
Dieses Buch ist eine Monographie zum Thema beweistheoretische Semantik, eine Bedeutungstheorie, die eine...
Beweistheoretische Semantik - Proof-theoretic Semantics

Die Werke des Autors wurden von folgenden Verlagen veröffentlicht:

© Book1 Group - Alle Rechte vorbehalten.
Der Inhalt dieser Seite darf weder teilweise noch vollständig ohne schriftliche Genehmigung des Eigentümers kopiert oder verwendet werden.
Letzte Änderung: 2024.11.13 22:11 (GMT)