Semantica teoretică a dovezilor

Recenzii ale cititorilor

În prezent, nu există recenzii ale cititorilor. Evaluarea se bazează pe 2 voturi.

Titlul original:

Proof-theoretic Semantics

Conținutul cărții:

Această carte este o monografie pe tema Semanticii Proof-Theoretic, o teorie a semnificației care constituie o alternativă la Semantica Model-Theoretic mai tradițională. Aceasta din urmă consideră semnificația ca fiind condiții de adevăr (în modele arbitrare), iar prima consideră semnificația ca fiind condiții de derivabilitate canonică într-un sistem de demonstrație prin deducție naturală care conferă semnificație.

În prima parte a cărții, este prezentată Semantica Proof-Theoretic pentru logică. Aceasta analizează modul în care un sistem de deducție naturală poate servi drept confirmare a sensului și, în special, analizează diferitele criterii pe care un astfel de sistem trebuie să le îndeplinească pentru a se califica drept confirmare a sensului. Un criteriu central este armonia, un echilibru între regulile de introducere și regulile de eliminare.

Teoria este aplicată diverselor logici, de exemplu, logica relevanței, și diverselor sisteme de demonstrație, cum ar fi deducția naturală cu mai multe concluzii și bilateralismul. Prezentarea este inspirată din lucrările recente ale autorului și analizează, de asemenea, evoluțiile recente. În partea a doua, teoria este aplicată fragmentelor de limbaj natural, atât extensional cât și intensional, o dezvoltare bazată pe lucrările recente ale autorului.

De exemplu, conservativitatea determinanților, odată stabilită într-un cadru teoretic de demonstrație, devine o proprietate demonstrabilă a tuturor determinanților (regulari). Se arată că semnificația nu trebuie să poarte încărcătura ontologică grea caracteristică semanticii model-teoretice a construcțiilor complexe ale limbajului natural. Nissim Francez este profesor emerit de informatică la Technion, Israel Institute of Technology.

La un moment dat în cariera sa, a trecut de la cercetarea legată de programarea concurentă și distribuită și de verificarea programelor la cercetarea în lingvistica computațională, în principal semantica formală a limbajului natural. În ultimii ani, a lucrat la semantica Proof-Theoretic, în special pentru limbajul natural.