more from 'Intensional Logic' by Melvin Fitting

Single Idea 11026

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

Full Idea

Mathematics is typically extensional throughout (we write 3+2=2+3 despite the two terms having different meanings). ..Classical first-order logic is extensional by design since it primarily evolved to model the reasoning of mathematics.

Gist of Idea

Classical logic is deliberately extensional, in order to model mathematics

Source

Melvin Fitting (Intensional Logic [2007], §1)

Book Reference

'Stanford Online Encyclopaedia of Philosophy', ed/tr. Stanford University [plato.stanford.edu], p.2