Saggio critico-introduttivo alla logica filo-indipendente di Hintikka
A differenza della logica tradizionale, in questa prima monografia italiana sulla logica filo-indipendente di Jaakko Hintikka, la verità logica non è la conclusione di una dimostrazione affidata a regole deduttive, ma il risultato della contesa dialogante tra un falsificatore (Abelardo) e un verificatore (Eloisa). Gli strumenti introdotti da Hintikka e Sandu per la descrizione della verità sono i quantificatori dipendenti e indipendenti, l’uso di due negazioni (una duale e una contraddittoria), nonché un raffinato concetto di esistenza.
cod. 490.95