Single Idea 13241

[catalogued under 5. Theory of Logic / A. Overview of Logic / 8. Logic of Mathematics]

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.