Spojrzenie na logikę koneksjonistyczną

Oryginalny tytuł:

A View of Connexive Logics

Zawartość książki:

Książka ta jest pierwszą w historii monografią na temat logik koneksjonistycznych, rodziny logik nieklasycznych, opartych na intuicji, że zdanie nie może być implikowane, ani nie może być implikowane, przez swoje własne zaprzeczenie.

Podobnie jak logiki relewancji, logiki koneksjonistyczne wymagają związku znaczeniowego między poprzednikiem i następnikiem ważnej implikacji. Interakcja między negacją a warunkami, a także z innymi łącznikami, jest bliższa pewnym ich zastosowaniom w językach naturalnych.

Książka nie jest w pełni wyczerpującym studium logiki koneksjonistycznej; przedstawia raczej własne spojrzenie autora na te logiki, z naciskiem na aspekty tych logik, które interesują autora. Mimo to zawiera ona wystarczająco dużo materiału, aby zapoznać czytelnika z tymi logikami, zrozumieć, w jaki sposób powstały i jak są motywowane, a także zasady teorii dowodów i teorii modeli leżące u ich podstaw.

Mamy nadzieję, że książka ta przyczyni się do popularyzacji logik koneksjonistycznych i do wzrostu, obecnie niewielkiej, społeczności nimi zainteresowanej.

Nissim Francez jest emerytowanym profesorem informatyki w Technion, Israel Institute.

of Technology. W pewnym momencie swojej kariery przeszedł od badań związanych z logikami współbieżnymi i.

Zajmuje się programowaniem rozproszonym i weryfikacją programów oraz lingwistyką obliczeniową, głównie semantyką formalną języka naturalnego. W ostatnich latach pracował nad semantyką teorii dowodu, w szczególności dla języka naturalnego. Od niedawna zajmuje się również logikami nieklasycznymi, w tym logikami koneksjonistycznymi.