Like Molière’s M. Jourdain, who spoke prose all his life without knowing it, mathematicians have been reasoning for at least two millennia without being aware of all the principles underlying what they were doing. The real nature of the tools of their craft has become evident only within recent times A renaissance of logical studies in modern times begins with the publication in 1847 of George Boole’s 'The Mathematical Analysis of Logic'.

Mathematics had never had more than a secondary interest for him [her husband, George Boole]; and even logic he cared for chiefly as a means of clearing the ground of doctrines imagined to be proved, by showing that the evidence on which they were supposed to give rest had no tendency to prove them.