Linguistique de l’écrit

Revue internationale en libre accès

Collections | Livre | Chapitre

179171

Prospects for triviality

Luis Estrada-González

pp. 81-89

Résumé

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.

Détails de la publication

Publié dans:

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

Citation complète:

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