The revival of logic occurred in the mid-nineteenth century, at the beginning of a revolutionary period where the subject developed into a rigorous and formalistic discipline whose exemplar was the exact method of proof used in mathematics.
Logica a fost în mijlocul secolului al XIX-lea, la începutul unei perioade revoluționare atunci când subiectul dezvoltat într-o disciplină riguroasă și formală a cărui model a fost metoda de demonstrație utilizată în matematică.