Hodnotenie:
Momentálne nie sú žiadne recenzie čitateľov. Hodnotenie je založené na 2 hlasoch.
Proof-theoretic Semantics
Táto kniha je monografiou na tému dôkazovo-teoretickej sémantiky, teórie významu, ktorá predstavuje alternatívu k tradičnejšej modelovo-teoretickej sémantike. Tá chápe význam ako pravdivostné podmienky (v ľubovoľných modeloch), prvá chápe význam ako kanonické podmienky odvoditeľnosti v prirodzene-deduktívnom dôkazovom systéme.
V prvej časti knihy je predstavená dôkazovo-teoretická sémantika logiky. Skúma sa v nej spôsob, akým môže prirodzenodeduktívny systém slúžiť na odvodzovanie významu, a najmä sa analyzujú rôzne kritériá, ktoré musí takýto systém spĺňať, aby sa mohol kvalifikovať ako odvodzujúci význam. Ústredným kritériom je harmónia, rovnováha medzi pravidlami zavádzania a pravidlami vylučovania.
Teória sa aplikuje na rôzne logiky, napr.
logiku relevancie, a na rôzne dôkazové systémy, ako je multikonklúzia prirodzenej dedukcie a bilateralizmus. Prezentácia je inšpirovaná nedávnymi prácami autora a tiež prehľadmi najnovšieho vývoja.
V druhej časti je teória aplikovaná na fragmenty prirodzeného jazyka, extenzionálne aj intenzionálne, pričom vývoj vychádza z nedávnej práce autora. Napríklad konzervatívnosť determinátorov sa po stanovení v teoreticko-dôkazovom rámci stáva dokázateľnou vlastnosťou všetkých (regulárnych) determinátorov. Ukazuje sa, že význam nemusí niesť veľkú ontologickú záťaž charakteristickú pre modelovo-teoretickú sémantiku zložitých konštrukcií prirodzeného jazyka.
Nissim Francez je emeritný profesor informatiky na Technione, Izraelskom technologickom inštitúte. V istom období svojej kariéry prešiel od výskumu súvisiaceho so súbežným a distribuovaným programovaním a verifikáciou programov k výskumu v oblasti počítačovej lingvistiky, najmä formálnej sémantiky prirodzeného jazyka. V posledných rokoch sa venoval dôkazovo-teoretickej sémantike, najmä pre prirodzený jazyk.
