: Includono la logica sfumata (Fuzzy), la logica modale (necessità/possibilità) e le logiche paracoerenti.
: Boole introduce l'idea che il ragionamento possa essere trattato come un calcolo matematico. Storia della logica. Da Boole ai nostri giorni
: Bertrand Russell scopre una contraddizione nel sistema di Frege, costringendo i logici a ripensare la teoria degli insiemi. 3. L'Età d'Oro: Gödel e Turing : Includono la logica sfumata (Fuzzy), la logica
Oggi la logica non è più un campo unico, ma una galassia di sottodiscipline. : Includono la logica sfumata (Fuzzy)
: Definisce formalmente cosa significa "calcolare" in modo meccanico.
Gottlob Frege sposta l'attenzione dall'algebra delle classi alla struttura profonda delle proposizioni.