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 Reference
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.