De Morgan
De Morgan
De Morgan Augustus (Madurai, Tamil Nadu, 1806 - Londra 1871) matematico e logico inglese. Nel 1823, allʼetà di 16 anni, fu ammesso al Trinity College di Cambridge, dove conseguì il Bachelor of Arts (laurea di primo livello) nel 1825; per motivi religiosi non conseguì il Master of Arts (laurea di secondo livello; il titolo veniva rilasciato solo a fronte del superamento di un esame di teologia, che si rifiutò di sostenere). Insegnò allʼuniversità di Londra dal 1828 al 1866. Diede contributi significativi alla formalizzazione dellʼalgebra e ad altri settori della ricerca matematica (calcolo delle probabilità); tuttavia è ricordato soprattutto per la profonda revisione a cui sottopose la teoria del sillogismo e per il suo studio pionieristico sulla logica delle relazioni. Introdusse tra lʼaltro le nozioni di universo di discorso e complementare di un insieme. Si occupò inoltre di induzione e paradossi logici. Autore molto prolifico, è ricordato anche per la polemica con W.R. Hamilton circa la priorità sulla introduzione della quantificazione del predicato. Per la sistematica applicazione dellʼalgebra alla logica, viene considerato insieme con Boole e Hamilton tra i fondatori della logica matematica moderna. Opere principali: The differential and integral calculus (Calcolo differenziale e integrale, 1836-42), Formal logic or the calculus of inference (Logica formale o calcolo dellʼinferenza, 1847), Syllabus of a proposed system of logic (Sillabo di un proposto sistema di logica, 1860), A budget of paradoxes (Un bilancio dei paradossi, 1872, postumo).