Single Idea 17786

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

Full Idea

In the mainstream tradition of modern logic, beginning with Boole, Peirce and Schröder, descending through Löwenheim and Skolem to reach maturity with Tarski and his school ...saw logic as a branch of mathematics.

Gist of Idea

The mainstream of modern logic sees it as a branch of mathematics

Source

John Mayberry (What Required for Foundation for Maths? [1994], p.410-1)

Book Reference

'Philosophy of Mathematics: anthology', ed/tr. Jacquette,Dale [Blackwell 2002], p.410


A Reaction

[The lesser tradition, of Frege and Russell, says mathematics is a branch of logic]. Mayberry says the Fregean tradition 'has almost died out'.

Related Idea

Idea 17787 Big logic has one fixed domain, but standard logic has a domain for each interpretation [Mayberry]