Single Idea 18912

[catalogued under 5. Theory of Logic / A. Overview of Logic / 2. History of Logic]

Full Idea

Nineteenth century logicians debated whether logic should be treated simply as a branch of mathematics, and mathematics could be applied to it, or whether mathematics is a branch of logic, with no mathematics used in formulating logic.

Gist of Idea

Was logic a branch of mathematics, or mathematics a branch of logic?

Source

George Engelbretsen (Trees, Terms and Truth [2005], 3)

Book Reference

'The Old New Logic', ed/tr. Oderberg,David S. [MIT 2005], p.36


A Reaction

He cites Boole, De Morgan and Peirce for the first view, and Frege and Russell (and their 'logicism') for the second. The logic for mathematics slowly emerged from doing it, long before it was formalised. Mathematics is the boss?