Repository | Series | Book | Chapter

179171

Prospects for triviality

Luis Estrada-González

pp. 81-89

Abstract

In this paper I argue, contra Mortensen, that there is a case, namely that of a degenerate topos, an extremely simple mathematical universe in which everything is true, in which no mathematical "catastrophe" is implied by mathematical triviality. I will show that either one of the premises of Dunn's trivialization result for real number theory –on which Mortensen mounts his case– cannot obtain (from a point of view "external" to the universe) and thus the argument is unsound, or that it obtains in calculations "internal" to such trivial universe and the theory associated, yet the calculations are possible and meaningful albeit extremely simple.

Publication details

Published in:

Andreas Holger, Verdée Peter (2016) Logical studies of paraconsistent reasoning in science and mathematics. Dordrecht, Springer.

Pages: 81-89

DOI: 10.1007/978-3-319-40220-8_5

Full citation:

Estrada-González Luis (2016) „Prospects for triviality“, In: H. Andreas & P. Verdée (eds.), Logical studies of paraconsistent reasoning in science and mathematics, Dordrecht, Springer, 81–89.