Single Idea 23442

[catalogued under 6. Mathematics / C. Sources of Mathematics / 7. Formalism]

Full Idea

Game Formalism seeks to banish all semantics from mathematics, and Term Formalism seeks to reduce any such notions to purely syntactic ones.

Gist of Idea

Game Formalism has no semantics, and Term Formalism reduces the semantics

Source

Øystein Linnebo (Philosophy of Mathematics [2017], 3.3)

Book Reference

Linnebo,Øystein: 'Philosophy of Mathematics' [Princeton 2017], p.44


A Reaction

This approach was stimulated by the need to justify the existence of the imaginary number i. Just say it is a letter!