How can anyone be rational in a world where knowledge is limited, time is pressing, and deep thought is often an unattainable luxury? Traditional models of unbounded rationality and optimization in cognitive science, economics, and animal behavior have tended to view decision-makers as possessing supernatural powers of reason, limitless knowledge, and endless time. But understanding decisions in the real world requires a more psychologically plausible notion of bounded rationality. In Simple heuristics that make us smart (Gigerenzer et al. 1999), we (...) explore fast and frugal heuristics – simple rules in the mind's adaptive toolbox for making decisions with realistic mental resources. These heuristics can enable both living organisms and artificial systems to make smart choices quickly and with a minimum of information by exploiting the way that information is structured in particular environments. In this précis, we show how simple building blocks that control information search, stop search, and make decisions can be put together to form classes of heuristics, including: ignorance-based and one-reason decision making for choice, elimination models for categorization, and satisficing heuristics for sequential search. These simple heuristics perform comparably to more complex algorithms, particularly when generalizing to new data – that is, simplicity leads to robustness. We present evidence regarding when people use simple heuristics and describe the challenges to be addressed by this research program. Key Words: adaptive toolbox; bounded rationality; decision making; elimination models; environment structure; heuristics; ignorance-based reasoning; limited information search; robustness; satisficing; simplicity. (shrink)

During the first half of the twentieth century, mainstream answers to the foundational crisis, mainly triggered by Russell and Gödel, remained largely perfectibilist in nature. Along with a general naturalist wave in the philosophy of science, during the second half of that century, this idealist picture was finally challenged and traded in for more realist ones. Next to the necessary preliminaries, the present paper proposes a structured view of various philosophical accounts of mathematics indebted to this general idea, laying the (...) ground for a desirable integration of their strenghts. (shrink)

Mathematicians often speak of conjectures as being confirmed by evidence that falls short of proof. For their own conjectures, evidence justifies further work in looking for a proof. Those conjectures of mathematics that have long resisted proof, such as Fermat's Last Theorem and the Riemann Hypothesis, have had to be considered in terms of the evidence for and against them. It is argued here that it is not adequate to describe the relation of evidence to hypothesis as `subjective', `heuristic' or (...) `pragmatic', but that there must be an element of what it is rational to believe on the evidence, that is, of non-deductive logic. (shrink)

The thirty year long friendship between Imre Lakatos and the classic scholar and historian of mathematics Árpád Szabó had a considerable influence on the ideas, scholarly career and personal life of both scholars. After recalling some relevant facts from their lives, this paper will investigate Szabó's works about the history of pre-Euclidean mathematics and its philosophy. We can find many similarities with Lakatos' philosophy of mathematics and science, both in the self-interpretation of early axiomatic Greek mathematics as Szabó reconstructs it, (...) and in the general overview Szabó provides us about the turn from the intuitive methods of Greek mathematicians to the strict axiomatic method of Euclid's Elements. As a conclusion, I will argue that the correct explanation of these similarities is that in their main works they developed ideas they had in common from the period of intimate intellectual contact in Hungarian academic life in the mid-twentieth century. In closing, I will recall some relevant features of this background that deserve further research. (shrink)

Imre Lakatos gained fame in the English-speaking world as a follower and critic of philosopher of science Karl Popper. However, Lakatos’ background involved other philosophical and scientific sources from his native Hungary. Lakatos surreptitiously used Hegelian Marxism in his works on philosophy of science and mathematics, disguising it with the rhetoric of the Popper school. He also less surreptitiously incorporated, particularly in his treatment of mathematics, work of the strong tradition of heuristics in twentieth century Hungary. Both his Marxism and (...) his emphasis on heuristics contained a view of science and mathematics that contrasted with the mainstream of Anglo-American philosophy of science. Both involved a dynamic view of science, whether historical or psychological, and an emphasis on practice as opposed to static, formal representations of scientific theories. (shrink)

This chapter tries to answer the following question: How should we conceive of the method of mathematics, if we take a naturalist stance? The problem arises since mathematical knowledge is regarded as the paradigm of certain knowledge, because mathematics is based on the axiomatic method. Moreover, natural science is deeply mathematized, and science is crucial for any naturalist perspective. But mathematics seems to provide a counterexample both to methodological and ontological naturalism. To face this problem, some authors tried to naturalize (...) mathematics by relying on evolutionism. But several difficulties arise when we try to do this. This chapter suggests that, in order to naturalize mathematics, it is better to take the method of mathematics to be the analytic method, rather than the axiomatic method, and thus conceive of mathematical knowledge as plausible knowledge. (shrink)

Are there arguments in mathematics? Are there explanations in mathematics? Are there any connections between argument, proof and explanation? Highly controversial answers and arguments are reviewed. The main point is that in the case of a mathematical proof, the pragmatic criterion used to make a distinction between argument and explanation is likely to be insufficient for you may grant the conclusion of a proof but keep on thinking that the proof is not explanatory.

How should one conceive of the method of mathematics, if one takes a naturalist stance? Mathematical knowledge is regarded as the paradigm of certain knowledge, since mathematics is based on the axiomatic method. Natural science is deeply mathematized, and science is crucial for any naturalist perspective. But mathematics seems to provide a counterexample both to methodological and ontological naturalism. To face this problem, some naturalists try to naturalize mathematics relying on Darwinism. But several difficulties arise when one tries to naturalize (...) in this way the traditional view of mathematics, according to which mathematical knowledge is certain and the method of mathematics is the axiomatic method. This paper suggests that, in order to naturalize mathematics through Darwinism, it is better to take the method of mathematics not to be the axiomatic method. (shrink)

Philosophers and mathematicians have different ideas about the difference between pure and applied mathematics. This should not surprise us, since they have different aims and interests. For mathematicians, pure mathematics is the interesting stuff, even if it has lots of physics involved. This has the consequence that picturesque examples play a role in motivating and justifying mathematical results. Philosophers might find this upsetting, but we find a parallel to mathematician’s attitudes in ethics, which, I argue, is a much better model (...) for how philosophers should think about these issues. (shrink)

Can the output of human cognition be predicted from the assumption that it is an optimal response to the information-processing demands of the environment? A methodology called rational analysis is described for deriving predictions about cognitive phenomena using optimization assumptions. The predictions flow from the statistical structure of the environment and not the assumed structure of the mind. Bayesian inference is used, assuming that people start with a weak prior model of the world which they integrate with experience to develop (...) stronger models of specific aspects of the world. Cognitive performance maximizes the difference between the expected gain and cost of mental effort. Memory performance can be predicted on the assumption that retrieval seeks a maximal trade-off between the probability of finding the relevant memories and the effort required to do so; in categorization performance there is a similar trade-off between accuracy in predicting object features and the cost of hypothesis formation; in casual inference the trade-off is between accuracy in predicting future events and the cost of hypothesis formation; and in problem solving it is between the probability of achieving goals and the cost of both external and mental problem-solving search. The implemention of these rational prescriptions in neurally plausible architecture is also discussed. (shrink)

This study applied a method of assisted introspection to investigate the phenomenology of mathematical intuition arousal. The aim was to propose an essential structure for the intuitive experience of mathematics. To achieve an intersubjective comparison of different experiences, several contemporary mathematicians were interviewed in accordance with the elicitation interview method in order to collect pinpoint experiential descriptions. Data collection and analysis was then performed using steps similar to those outlined in the descriptive phenomenological method that led to a generic structure (...) that accounts for the intuition surge in the experience of mathematics which was found to have four irreducible structural moments. The interdependence of these moments shows that a perceptualist view of intuition in mathematics, as defended by Chudnoff, is relevant to the characterization of mathematical intuition. The philosophical consequences of this generic structure and its essential features are discussed in accordance with Husserl’s philosophy of ideal objects and theory of intuition. (shrink)

I investigate the construction of the mathematical concept of quaternion from a methodological and heuristic viewpoint to examine what we can learn from it for the study of the advancement of mathematical knowledge. I will look, in particular, at the inferential microstructures that shape this construction, that is, the study of both the very first, ampliative inferential steps, and their tentative outcomes—i.e. small ‘structures’ such as provisional entities and relations. I discuss how this paradigmatic case study supports the recent approaches (...) to problem-solving and philosophy of mathematics, and how it suggests refinements of them. In more detail, I argue that the inferential micro-structures enable us to shed more light on the informal, heuristic side of mathematical practice, and its inferential and rational procedures. I show how they enable the generation of a problem, the construction of its conditions of solvability, the search for a hypothesis to solve it, and how these processes are representation-sensitive. On this base, I argue that: 1.the recent development of the philosophy of mathematics was right in moving from Lakatos’ initial investigation of the formal side of a mathematical proof to the investigation of the semi-formal, heuristic side of the mathematical practice as a way of understanding mathematical knowledge and its advancement. 2.The investigation of mathematical practice and discovery can be improved by a finer-grained study of the inferential micro-structures that are built during mathematical problem-solving. (shrink)

The aim of this paper is to provide a unified account of scientific and mathematical change in a thoroughly empiricist setting. After providing a formal modelling in terms of embedding, and criticising it for being too restrictive, a second modelling is advanced. It generalises the first, providing a more open-ended pattern of theory development, and is articulated in terms of da Costa and French's partial structures approach. The crucial component of scientific and mathematical change is spelled out in terms of (...) partial embeddings. Finally, an application of this second pattern is made, with the examination of the early formulation of set theory. (shrink)

Ralph Johnson argues that mathematical proofs lack a dialectical tier, and thereby do not qualify as arguments. This paper argues that, despite this disavowal, Johnson’s account provides a compelling model of mathematical proof. The illative core of mathematical arguments is held to strict standards of rigour. However, compliance with these standards is itself a matter of argument, and susceptible to challenge. Hence much actual mathematical practice takes place in the dialectical tier.