Gellio e la logica proposizionale. Nel quadro della filosofia stoica e alla luce della moderna logica simbolica - 9788898498000

Gellio e la logica proposizionale. Nel quadro della filosofia stoica e alla luce della moderna logica simbolica: Il presente lavoro nasce dalla rivisitazione di un corso monografico tenuto dall'Autore alla fine degli anni '70 nell'Università di Napoli Federico II. Chi voglia informarsi sui criteri seguiti nella stesura dell'opera, oltre all'introduzione, può leggere con profitto le considerazioni finali che precedono la conclusione. Si renderà conto che l'uso degli algoritmi simbolici moderni per la verifica dei testi logici antichi non è un arbitrario anacronismo, ma, pur senza confondere le diverse prospettive storiche, un sussidio indispensabile per la loro esatta comprensione, dal momento che siffatti algoritmi non sono se non la versione simbolica di funzioni ricorsive matematicamente calcolabili che - fatto che stupisce noi moderni - gli stoici elaborarono nel linguaggio della vita quotidiana.
This work is born from the revisiting of a monographic course taught by the Author in the late 1970s at the University of Naples Federico II. Those who wish to inquire about the criteria followed in the writing of the work, in addition to the introduction, can read profitably the final considerations that precede the conclusion. It will be realized that the use of modern symbolic algorithms for the verification of ancient logical texts is not an arbitrary anachronism, but, without confusing the different historical perspectives, an indispensable subsidy for their exact understanding, since such algorithms are not if only the symbolic version of mathematically computable recursive functions that - which amazes us modern - the stoicians elaborated in the language of everyday life.