AION-Research

Se siete venuti a conoscenza di un nuovo tipo di logica, che mette in discussione alcuni assunti classici inerenti la cosiddetta logica classica, probabilmente avete sentito parlare della Logica Fuzzy, o logica sfumata. Avete sentito quindi, che la logica aristotelica è inadeguata a descrivere molti fenomeni della natura e a controllare modelli ingegneristici. La Logica Fuzzy si sbarazza dell'assunto aristotelico: «A e (non A), con «e» esplicitante l'AND logico, è una proposizione falsa», e ammette l'esistenza della contraddizione, in quanto le proposizioni possono essere vere in una certa misura, in altre parole posseggono un grado di verità esprimibile con un numero che varia tra 0 e 1. Bart Kosko, allievo Lotfi Zadeth che è stato riconosciuto come il «concretizzatore» della Logica Fuzzy, in quanto, capace di riformalizzarla per applicazioni ingegneristiche, con «Il fuzzy pensiero» ci fornisce una utile panoramica su tale tipo di logica. A differenza di molte monografie...

Si propone un dialogo immaginario tra il logico e matematico Kurt Gödel ed il filosofo teoretico italiano, scomparso nel 2020, Emanuele Severino. Gödel: Emanuele, sarà un piacere discutere con te. Il mio lavoro ha sempre mirato a comprendere i limiti intrinseci della formalizzazione del pensiero matematico. Come sai, i miei teoremi di incompletezza mostrano che ogni sistema formale sufficientemente potente da includere l'aritmetica non può essere sia completo che coerente. Severino: Il piacere è mio, Kurt. Trovo il tuo lavoro affascinante, soprattutto perché evidenzia una verità profonda che risuona anche nelle mie riflessioni filosofiche. La tua dimostrazione che i sistemi formali contengono proposizioni indecidibili mi ricorda la mia "Contraddizione C", che evidenzia come l'apparire finito non possa mai manifestare la totalità concreta di un significato. Gödel: Esattamente. Lasciami spiegare più dettagliatamente. Nei miei teoremi di incompletezza, ho di...