Bizonyításelméleti szemantika

Olvasói vélemények

Jelenleg nincsenek olvasói vélemények. Az értékelés 2 olvasói szavazat alapján történt.

Eredeti címe:

Proof-theoretic Semantics

Könyv tartalma:

Ez a könyv egy monográfia a bizonyításelméleti szemantika témakörében, amely a hagyományosabb modellelméleti szemantika alternatíváját képező jelentéselmélet. Az utóbbi a jelentést igazságfeltételeknek tekinti (tetszőleges modellekben), az előbbi a jelentést kanonikus levezethetőségi feltételeknek tekinti egy jelentéskonferáló természetes dedukciós bizonyítási rendszerben.

A könyv első részében a logika bizonyításelméleti szemantikája kerül bemutatásra. Felméri, hogy egy természetes-redukciós rendszer milyen módon szolgálhat jelentéskonferálónak, és különösen elemzi a különböző kritériumokat, amelyeknek egy ilyen rendszernek meg kell felelnie ahhoz, hogy jelentéskonferálónak minősüljön. Az egyik központi kritérium a harmónia, a bevezetési szabályok és az eliminációs szabályok közötti egyensúly.

Az elméletet különböző logikákra, például a relevancia-logikára, és különböző bizonyítási rendszerekre, például a többes záradékú természetes dedukcióra és a bilateralizmusra alkalmazzuk. Az előadás a szerző legújabb munkáiból merít, és áttekinti a legújabb fejleményeket is. A második részben az elméletet természetes nyelvi töredékekre alkalmazzuk, mind extenzionális, mind intencionális nyelvekre, ami a szerző közelmúltbeli munkáján alapuló fejlesztés.

Például a determinánsok konzervativitása, miután bizonyításelméleti keretbe helyeztük, az összes (szabályos) determináns bizonyítható tulajdonságává válik. Kimutatásra kerül, hogy a jelentésnek nem kell hordoznia a komplex természetes nyelvi konstrukciók modellelméleti szemantikájára jellemző súlyos ontológiai terhet. Nissim Francez az izraeli Technion Technológiai Intézet informatika professzor emeritusa.

Pályafutásának egy bizonyos pontján az egyidejű és elosztott programozással és programellenőrzéssel kapcsolatos kutatásokról áttért a számítógépes nyelvészet, elsősorban a természetes nyelvek formális szemantikájának kutatására. Az utóbbi években a bizonyításelméleti szemantikával foglalkozott, különösen a természetes nyelvek esetében.