Dalla metà del XIX secolo a oggi, la logica si è trasformata da strumento filosofico a , passando attraverso la consapevolezza dei propri limiti formali.
: Includono la logica sfumata (Fuzzy), la logica modale (necessità/possibilità) e le logiche paracoerenti. Storia della logica. Da Boole ai nostri giorni
: Il suo obiettivo era ridurre tutta la matematica alla logica pura, un progetto noto come Logicismo. Dalla metà del XIX secolo a oggi, la
: Dimostra che in ogni sistema matematico coerente esistono verità che non possono essere provate all'interno del sistema stesso. Storia della logica. Da Boole ai nostri giorni