Semantyka teorii dowodu

Opinie czytelników

Obecnie brak opinii czytelników. Ocena opiera się na 2 głosach.

Oryginalny tytuł:

Proof-theoretic Semantics

Zawartość książki:

Niniejsza książka jest monografią na temat semantyki dowodowo-teoretycznej, teorii znaczenia stanowiącej alternatywę dla bardziej tradycyjnej semantyki modelowo-teoretycznej. Ta ostatnia traktuje znaczenie jako warunki prawdy (w arbitralnych modelach), ta pierwsza traktuje znaczenie jako kanoniczne warunki pochodności w systemie dowodu dedukcji naturalnej.

W pierwszej części książki przedstawiona jest Semantyka Teoretyczno-Dowodowa dla logiki. Analizuje ona sposób, w jaki system naturalnej dedukcji może służyć jako potwierdzający znaczenie, a w szczególności analizuje różne kryteria, które taki system musi spełnić, aby kwalifikować się jako potwierdzający znaczenie. Centralnym kryterium jest harmonia, równowaga między regułami wprowadzającymi i eliminującymi.

Teoria ta jest stosowana do różnych logik, np.

logiki relewancji i różnych systemów dowodowych, takich jak wielozakończeniowa dedukcja naturalna i bilateralizm. Prezentacja jest inspirowana ostatnimi pracami autora, a także przeglądem ostatnich osiągnięć.

W części drugiej teoria jest stosowana do fragmentów języka naturalnego, zarówno ekstensjonalnych, jak i intensjonalnych, co jest rozwinięciem opartym na ostatnich pracach autora. Na przykład, konserwatywność determinatorów, raz ustanowiona w ramach teorii dowodu, staje się możliwą do udowodnienia własnością wszystkich (regularnych) determinatorów. Pokazano, że znaczenie nie musi nieść ze sobą ciężkiego ładunku ontologicznego charakterystycznego dla semantyki modelowo-teoretycznej złożonych konstrukcji języka naturalnego.

Nissim Francez jest emerytowanym profesorem informatyki w Technion, Izraelskim Instytucie Technologii. W pewnym momencie swojej kariery przeszedł od badań związanych z programowaniem współbieżnym i rozproszonym oraz weryfikacją programów do badań nad lingwistyką obliczeniową, głównie formalną semantyką języka naturalnego. W ostatnich latach pracował nad semantyką teorii dowodu, w szczególności dla języka naturalnego.