# Fourteen Arguments in Favour of a Formalist Philosophy of Real Mathematics

*Baltic Journal of Modern Computing*3 (1):1-15 (2015)

**Abstract**

The formalist philosophy of mathematics (in its purest, most extreme version) is widely regarded as a “discredited position”. This pure and extreme version of formalism is called by some authors “game formalism”, because it is alleged to represent mathematics as a meaningless game with strings of symbols. Nevertheless, I would like to draw attention to some arguments in favour of game formalism as an appropriate philosophy of real mathematics. For the most part, these arguments have not yet been used or were neglected in past discussions.

**Keywords**

**Categories**

**PhilPapers/Archive ID**

PODFAI

**Upload history**

Archival date: 2017-11-09

View other versions

View other versions

**Added to PP index**

2015-08-25

**Total views**

224 ( #28,682 of 64,211 )

**Recent downloads (6 months)**

21 ( #31,360 of 64,211 )

How can I increase my downloads?

**Downloads since first upload**

*This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.*