Una lettura originale della filosofia di Hegel tesa a dimostrare come il problema della contingenza agisca a livello dell’architettura stessa del sistema, offrendoci un prezioso strumento per capirne la dimensione logica, quella politica e per leggere la fondamentale articolazione che unisce queste ultime.

A 100 anni dalla nascita, il logico e matematico Alan Mathison Turing, figura geniale ed eclettica, chiave risolutiva per l’intelligence britannica, rimane ancora un’equazione irrisolta. Il testo, frutto di una giornata di studi a lui dedicata, intende ricordarlo nella sua interezza, per il suo lavoro, le sue intuizioni, la sua vita.

Una raccolta di alcuni dei principali saggi di Evandro Agazzi (difficilmente reperibili perché apparsi su riviste o in volumi collettivi, pubblicati, in parte, in lingua straniera), che hanno scandito la riflessione dell’autore sull’egemonia del formalismo e sulle ragioni dell’impossibilità di assolutizzarlo.

Nell’ambito della filosofia della scienza del Novecento, sono state sviluppate concezioni del metodo (metodologie) fra loro molto differenti. Si pone dunque il problema, per ciascun metodologo, di dimostrare che le sue norme metodologiche sono funzionali al raggiungimento dei fini della scienza. L’analisi di tale problema va oggi sotto il nome di metametodologia, coniato da Larry Laudan. Il volume affronta alcuni aspetti del dibattito metametodologico contemporaneo prendendo le mosse, appunto, dall’opera di Laudan.

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.

Nato da un seminario tenutosi presso l’Università di Cassino, il volume propone una logica della corporeità come logica non stricto sensu razionalista, bensì aperta alle ragioni del “sentire”, del patire, dell’essere-vivente. Il corpo di cui si parla in questo libro è dunque il corpo vivente – Leib – soggetto senziente, energia originaria, conatus, altro dal corpo/cosa – Körper – oggetto di osservazione, analisi scientifica, misurazione.