Una visione delle logiche connessioniste

Titolo originale:

A View of Connexive Logics

Contenuto del libro:

Questo libro è la prima monografia in assoluto sul tema delle logiche connessioniste, una famiglia di logiche non classiche, basate sull'intuizione che una proposizione non può implicare validamente, né essere implicata, dalla sua stessa negazione.

Analogamente alle logiche di rilevanza, le logiche connessioniste richiedono una connessione di significato tra l'antecedente e il conseguente di un'implicazione valida. L'interazione tra negazione e condizionali, così come con altri connettivi, è più vicina a certi usi che se ne fanno nelle lingue naturali.

Il libro non è uno studio completo delle logiche connessioniste; piuttosto, presenta il punto di vista dell'autore su tali logiche, ponendo l'accento sugli aspetti di queste logiche che interessano all'autore. Tuttavia, contiene abbastanza materiale per familiarizzare il lettore con queste logiche, capire come sono nate e come sono state motivate, e i principi di teoria delle prove e di teoria dei modelli che le sottendono.

Si spera che questo libro contribuisca alla divulgazione delle logiche connessioniste e alla crescita della comunità, attualmente piccola, che se ne interessa.

Nissim Francez è professore emerito di informatica presso il Technion, Israel Institute.

Di Tecnologia. A un certo punto della sua carriera si è spostato dalla ricerca sulle logiche concomitanti a quella sulle logiche di tipo "concomitante".

Dalla programmazione distribuita e dalla verifica dei programmi alla ricerca sulla linguistica computazionale, soprattutto sulla semantica formale del linguaggio naturale. Negli ultimi anni si è occupato di semantica teorica delle prove, in particolare per il linguaggio naturale. Più recentemente, si è occupato anche di logiche non classiche, tra cui le logiche connessioniste.