Abstract
This paper takes up a suggestion made by Floridi that the digital revolution is bringing about a profound change in our metaphysics. The paper aims to bring some older views from philosophy of mathematics to bear on this problem. The older views are concerned principally with mathematical realism—that is the claim that mathematical entities such as numbers exist. The new context for the discussion is informational realism, where the problem shifts to the question of the reality of information. Mathematical realism is perhaps a special case of informational realism. The older views concerned with mathematical realism are the various theories of World 3. The concept of World 3 was introduced by Frege, whose position was close to Plato’s original views. Popper developed the theory of World 3 in a different direction which is characterised as ‘constructive Platonism’. But how is World 3 constructed? This is explored by means of two analogies: the analogy with money, and the analogy with meaning, as explicated by the later Wittgenstein. This leads to the development of an account of informational realism as constructive Aristoteliansim. Finally, this version of informational realism is compared with the informational structural realism which Floridi develops in his 2008 and 2009 papers in Synthese. Similarities and differences between the two positions are noted.
Similar content being viewed by others
Notes
Many of the ideas of this lecture are also to be found in Floridi’s 2010 book. See particularly Chapter 1.
Popper and Brouwer were personal friends, and Popper told me that Brouwer had visited his (Popper’s) house near London. In chapter 3 of his (1972) which discusses his theory of the third world, Popper devotes Section 6 (pp. 128-140) to ‘Appreciation and Criticism of Brouwer’s Epistemology’. Popper describes this as a homage to Brouwer who had died not long before. Given these friendly relations, it is perhaps not surprising that Popper was influenced by Brouwer. Nevertheless, Popper’s position differs very considerably from Brouwer’s as we shall see. For more details about Brouwer’s position see Gillies (1980).
Popper himself did not like this terminology since he thought that it associated his theory with Platonism and essentialism. It should not be forgotten either that Popper regarded Plato as ‘an enemy of the open society’. Nevertheless I think that the phrase ‘constructive Platonism’ does give an accurate description of Popper’s position regarding mathematical entities.
This formulation differs to some extent from Wittgenstein’s original view. Wittgenstein in fact says (1953, p. 20): ‘ … the meaning of a word is its use in the language.’ I have, in effect, altered this to: ‘…the meaning of a word is given by its use in the language.’ The point of this change is to bring Wittgenstein’s theory more into line with the constructive Platonism now under consideration. Wittgenstein’s own formulation agrees better with the constructive Aristotelianism which will be discussed in the next section.
Marcelo Dascal kindly pointed out to me that the analogy between language and money is to be found in several 17th century thinkers, e.g. Bacon, Hobbes and Leibniz. These philosophers do not introduce the comparison to clarify the nature of abstract entities, but to make other points about language. Particularly striking is Leibniz’s comparison between words and bills of exchange, or other ‘cash-substitutes’. Cash substitutes facilitate the exchange of goods, which might otherwise be diminished by shortage of gold and silver coins. However, cash substitutes do eventually have to be converted into cash. Similarly, words facilitate thinking by allowing the mind to operate on the signs rather than always considering what these signs stand for. However, at some stage, the thinker must pass form the sign to what it denotes. For a selection of passages and a very interesting critical commentary, see Dascal (1976).
References
Dascal, M. (1976). Language and money. A simile and its meaning in 17th century philosophy of language. Studia Leibnitiana, 8, 187–218.
Floridi, L. (2008). A defence of informational structural realism. Synthese, 161(2), 219–253.
Floridi, L. (2009a). Against digital ontology. Synthese, 168(1), 151–178.
Floridi, L. (2009b). The digital revolution as a fourth revolution. Barwise lecture given in New York, December 2009.
Floridi, L. (2010). Information: A very short introduction. Oxford: Oxford University Press.
Frege, G. (1892). On sense and reference. In P. Geach & M. Black (Eds.), Translations from the philosophical writings of Gottlob Frege (pp. 56–78). Oxford: Blackwell. 1960.
Frege, G. (1918/19). Logical investigations. Part I Thoughts. In B. McGuinness (Ed.), Gottlob Frege, collected papers on mathematics, logic, and philosophy (pp. 351–372). Oxford: Blackwell. 1984.
Gillies, D. A. (1980). Brouwer’s philosophy of mathematics. Erkenntnis, 15, 105–126. www.ucl.ac.uk/sts/gillies.
Gillies, D. A. (2000). An empiricist philosophy of mathematics and its implications for the history of mathematics. In E. Grosholz & H. Breger (Eds.), The growth of mathematical knowledge (pp. 41–57). Dordrecht: Kluwer. www.ucl.ac.uk/sts/gillies.
Kant, I. (1781/7). Critique of pure reason. English translation by Norman Kemp Smith. London: Macmillan. 1958.
Kvasz, L. (1998). History of geometry and the development of the form of its language. Synthese, 116, 141–186.
Kvasz, L. (2000). Changes of language in the development of mathematics. Philosophia Mathematica, 8, 47–83.
Kvasz, L. (2006). History of algebra and the development of the form of its language. Philosophia Mathematica, 14, 287–317.
Kvasz, L. (2008). Patterns of change. Linguistic innovations in the development of classical mathematics. Basel: Birkhäuser.
Plato(1970) The Sophist. English translation by F.M.Cornford in Plato’s Theory of Knowledge. London: Routledge & Kegan Paul.
Popper, K. R. (1972). Objective knowledge. Oxford: Oxford University Press.
Popper, K. R., & Eccles, J. C. (1977). The self and its brain. London: Routledge & Kegan Paul.
Wittgenstein, L. (1921). Tractatus Logico-Philosophicus. English translation by D.F.Pears and B.F.McGuinness. London: Routledge & Kegan Paul. 1963.
Wittgenstein, L. (1953). Philosophical investigations. English Translation by G.E.M. Anscombe. Oxford: Blackwell. 1963.
Acknowledgments
The present paper was developed from a longer draft entitled: ‘Mathematical Realisms’. I circulated this among a group of my friends, namely: Carlo Cellucci, Gregory Currie, Andrew Gregory, Emily Grosholz, Christian Hennig, Ladislav Kvasz, Mary Leng, Anne Newstead, and Gianluigi Oliveri,and received many useful comments which led to improvements. On 26 November 2009, I read an extract from the longer draft entitled: ‘Are Numbers Human Constructions?’ at a seminar in the Philosophy Department of the University of Hertford. I received a number of helpful comments from the audience, particularly Brendan Larvor and Luciano Floridi. Discussions with Luciano Floridi led me to think that the problems of mathematical realism on which I had been working could be brought into relation to the more recent problem of informational realism, and this was the origin of the present paper.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Gillies, D. Informational Realism and World 3. Know Techn Pol 23, 7–24 (2010). https://doi.org/10.1007/s12130-010-9096-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s12130-010-9096-6