Storia Della Logica. Da Boole Ai Nostri Giorni (HD 2025)

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

Dalla metà del XIX secolo a oggi, la logica si è trasformata da strumento filosofico a , passando attraverso la consapevolezza dei propri limiti formali. Storia della logica. Da Boole ai nostri giorni

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

: 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 ferma alle strutture sillogistiche di Aristotele.

: Introduce la notazione dei quantificatori ("per ogni", "esiste"), permettendo di analizzare frasi matematiche complesse.

Prima di Boole, la logica era considerata una branca della filosofia, ferma alle strutture sillogistiche di Aristotele.