Tutkin tässä artikkelissa Kurt Gödelin epätäydellisyysteoreemojen tulkintoja filosofiassa. Aihepiiri kattaa valtavan määrän eri tulkintoja tekoälystä fysiikkaan ja runouteen asti. Osoitan, että kriittisesti tarkasteltuna kaikki radikaalit epätäydellisyysteoreemojen sovellukset ovat virheellisiä.

In this paper, I study the kind of questions we can ask about the existence of numbers. In addition to asking whether numbers exist, and how, I argue that there is also a third relevant question: why numbers exist. In platonist and nominalist accounts this question may not make sense, but in the psychologist account I develop, it is as well-placed as the other two questions. In fact, there are two such why-questions: the causal why-question asks what causes numbers to (...) exist and the teleological why-question asks for what purpose numbers exist. I argue that in a psychologist constructivist account, in which numbers are understood to exist as referents of a particular type of culturally shared concepts, both why-questions can get plausible answers. (shrink)

I identify two reasons for believing in the objectivity of mathematical knowledge: apparent objectivity and applications in science. Focusing on arithmetic, I analyze platonism and cognitive nativism in terms of explaining these two reasons. After establishing that both theories run into difficulties, I present an alternative epistemological account that combines the theoretical frameworks of enculturation and cumulative cultural evolution. I show that this account can explain why arithmetical knowledge appears to be objective and has scientific applications. Finally, I will argue (...) that, while this account is compatible with platonist metaphysics, it does not require postulating mind-independent mathematical objects. (shrink)

The basic human ability to treat quantitative information can be divided into two parts. With proto-arithmetical ability, based on the core cognitive abilities for subitizing and estimation, numerosities can be treated in a limited and/or approximate manner. With arithmetical ability, numerosities are processed (counted, operated on) systematically in a discrete, linear, and unbounded manner. In this paper, I study the theory of enculturation as presented by Menary (2015) as a possible explanation of how we make the move from the proto-arithmetical (...) ability to arithmetic proper. I argue that enculturation based on neural reuse provides a theoretically sound and fruitful framework for explaining this development. However, I show that a comprehensive explanation must be based on valid theoretical distinctions and involve several stages in the development of arithmetical knowledge. I provide an account that meets these challenges and thus leads to a better understanding of the subject of enculturation. (shrink)

Humans and other animals have an evolved ability to detect discrete magnitudes in their environment. Does this observation support evolutionary debunking arguments against mathematical realism, as has been recently argued by Clarke-Doane, or does it bolster mathematical realism, as authors such as Joyce and Sinnott-Armstrong have assumed? To find out, we need to pay closer attention to the features of evolved numerical cognition. I provide a detailed examination of the functional properties of evolved numerical cognition, and propose that they prima (...) facie favor a realist account of numbers. (shrink)

Abstract In the new millennium there have been important empirical developments in the philosophy of mathematics. One of these is the so-called “Empirical Philosophy of Mathematics”(EPM) of Buldt, Löwe, Müller and Müller-Hill, which aims to complement the methodology of the philosophy of mathematics with empirical work. Among other things, this includes surveys of mathematicians, which EPM believes to give philosophically important results. In this paper I take a critical look at the sociological part of EPM as a case study of (...) ... (shrink)