Storia Della Logica. Da Boole Ai Nostri Giorni Today

Oggi la logica non è più un campo unico, ma una galassia di sottodiscipline.

: Boole introduce l'idea che il ragionamento possa essere trattato come un calcolo matematico. Storia della logica. Da Boole ai nostri giorni

: Definisce formalmente cosa significa "calcolare" in modo meccanico. Oggi la logica non è più un campo

: Includono la logica sfumata (Fuzzy), la logica modale (necessità/possibilità) e le logiche paracoerenti. Storia della logica. Da Boole ai nostri giorni

: Distrugge il sogno di David Hilbert di una matematica "completa e decidibile". Alan Turing : La Calcolabilità (1936)

Dalla metà del XIX secolo a oggi, la logica si è trasformata da strumento filosofico a , passando attraverso la consapevolezza dei propri limiti formali.