Single Idea 13236

[catalogued under 5. Theory of Logic / I. Semantics of Logic / 3. Logical Truth]

Full Idea

If mathematical truth reduces to logical truth then it is important what counts as logically true, …but if logicism is not a going concern, then the body of purely logical truths will be less interesting.

Gist of Idea

Logical truth is much more important if mathematics rests on it, as logicism claims

Source

JC Beall / G Restall (Logical Pluralism [2006], 2.2)

Book Reference

Beall,J/Restall,G: 'Logical Pluralism' [OUP 2006], p.13


A Reaction

Logicism would only be one motivation for pursuing logical truths. Maybe my new 'Necessitism' will derive the Peano Axioms from broad necessary truths, rather than from logic.