Libri di

Il teorema di interpolazione in logica classica, intuizionista e nelle teorie del primo ordine Maffezioli Paolo   -  Clueb, 2020  -  Heuresis. Linguaggio, Logica, Scienza

Il teorema di interpolazione occupa una posizione centrale nel panorama delle ricerche logiche contemporanee, sia per gli aspetti squisitamente tecnici che per la sua notevole importanza concettuale. A partire dai risultati di William Craig e Kurt Schütte relativi alla logica classica ed intuizionista, l'attenzione degli studiosi si è rivolta principalmente alle logiche modali e, più in generale, non classiche. Decisamente meno esplorato è il filone di ricerca riguardante il teorema di interpolazione nelle teorie del primo ordine. Nel presente volume viene presentata la dimostrazione standard del teorema di interpolazione per la logica classica ed intuizionista, i cui dettagli sono spesso omessi o lasciati al lettore come esercizio nei manuali adottati nei corsi universitari di logica. Nella seconda parte, il testo offre una dettagliata panoramica sull'interpolazione nelle teorie del primo ordine e su alcuni sviluppi recenti della teoria della dimostrazione, tra cui le estensioni del teorema principale di Genzten alle teorie geometriche.

Immagini della vita. Logica ed estetica a partire da Dilthey Matteucci Giovanni   -  Clueb, 1995  -  Relazioni E Significati. Studi

La questione del senso dell'esperienza è al centro di quella filosofia della vita che riflette sulla capacità dell'uomo di confrontarsi con la propria finitudine e con la propria storicità senza rinunciare a soddisfare l'esigenza di una razionalità critica. Superando atteggiamenti astratti e intellettualistici e rigide divisioni disciplinari, la tradizione di pensiero inaugurata da Dilthey recupera la reciprocità di aspetti logici ed estetici che caratterizza la funzione del significato. Il libro propone una ricognizione di tali problemi assumendo come filo conduttore il tema delle immagini della vita, ovvero di quei costrutti vissuti, espressi e compresi in cui la significatività dell'esperienza si mostra senza ridursi a mero dato intellettualistico.