more on this theme | more from this thinker | more from this text
Full Idea
The model theory of classical predicate logic is mathematics if anything is.
Gist of Idea
The model theory of classical predicate logic is mathematics
Source
JC Beall / G Restall (Logical Pluralism [2006], 4.2.1)
Book Ref
Beall,J/Restall,G: 'Logical Pluralism' [OUP 2006], p.40
A Reaction
This is an interesting contrast to the claim of logicism, that mathematics reduces to logic. This idea explains why students of logic are surprised to find themselves involved in mathematics.