Mathematical proofs are not sequences of arbitrary deductive steps—each deductive step is, to some extent, rational. This paper aims to identify and characterize the particular form of rationality at play in mathematical proofs. The approach adopted consists in viewing mathematical proofs as reports of proof activities—that is, sequences of deductive inferences—and in characterizing the rationality of the former in terms of that of the latter. It is argued that proof activities are governed by specific norms of rational planning (...) agency, and that a deductive step in a mathematical proof qualifies as rational whenever the corresponding deductive inference in the associated proof activity figures in a plan that has been constructed rationally. It is then shown that mathematical proofs whose associated proof activities violate these norms are likely to be judged as defective by mathematical agents, thereby providing evidence that these norms are indeed present in mathematical practice. We conclude that, if mathematical proofs are not mere sequences of deductive steps, if they possess a rational structure, it is because they are the product of rational planning agents. (shrink)

The literature on mathematics suggests that intuition plays a role in it as a ground of belief. This article explores the nature of intuition as it occurs in mathematical thinking. Section 1 suggests that intuitions should be understood by analogy with perceptions. Section 2 explains what fleshing out such an analogy requires. Section 3 discusses Kantian ways of fleshing it out. Section 4 discusses Platonist ways of fleshing it out. Section 5 sketches a proposal for resolving the main problem (...) facing Platonists—the problem of explaining how our experiences make contact with mathematical reality. (shrink)

Disagreements that resist rational resolution, often termed “deep disagreements”, have been the focus of much work in epistemology and informal logic. In this paper, I argue that they also deserve the attention of philosophers of mathematics. I link the question of whether there can be deep disagreements in mathematics to a more familiar debate over whether there can be revolutions in mathematics. I propose an affirmative answer to both questions, using the controversy over Shinichi Mochizuki’s work on (...) the abc conjecture as a potential example of both phenomena. I conclude by investigating the prospects for the resolution of mathematical deep disagreements in virtue-theoretic approaches to informal logic and mathematical practice. (shrink)

Although understanding is the object of a growing literature in epistemology and the philosophy of science, only few studies have concerned understanding in mathematics. This essay offers an account of a fundamental form of mathematical understanding: proof understanding. The account builds on a simple idea, namely that understanding a proof amounts to rationally reconstructing its underlying plan. This characterization is fleshed out by specifying the relevant notion of plan and the associated process of rational reconstruction, building in part on (...) Bratman's theory of planning agency. It is argued that the proposed account can explain a significant range of distinctive phenomena commonly associated with proof understanding by mathematicians and philosophers. It is further argued, on the basis of a case study, that the account can yield precise diagnostics of understanding failures and can suggest ways to overcome them. Reflecting on the approach developed here, the essay concludes with some remarks on how to shape a general methodology common to the study of mathematical and scientific understanding and focused on human agency. (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)

I will begin by considering how the social world appears to the scientific observer and ask the question of whether the world of scientific research, with all its categories of meaning interpretation and with all its conceptual schemes of action, is identical with the world in which the observed actor acts. Anticipating the result, I may state immediately that with the shift from one level to the other, all the conceptual schemes and all the terms of interpretation must be modified.Proceeding (...) in this direction, I encounter several problems overlapping with the problem of rational action and the “rational act unit” in Professor ParsonsParsons, Talcott’ sense. First: The conceptual scheme of rational action presupposes a more or less definite knowledge of, or orientation within, the world in which this action is performed. In this sense the term, “rationality”, is not specific to the conceptual scheme of action; it embraces the conceptual scheme of the world in general and is only one element in it. Therefore, we also must examine the problem of orientation in this world. Second: We ought to keep in mind that all interpretation of the social world has to start from the actor’s subjective point of view. Therefore, we cannot accept the term, “unit act”, as such, without trying to reduce it to its subjective meaning. Here I have to discuss in general terms why I insist on the subjective point of view. This is more than the whim of a few social scientists; social science cannot be built up except by taking cognizance of the subjective meaning the actor connects with his acting. Finally, I have to discuss the fact that there are social sciences operating on high theoretical levels that, like economics, apparently prefer to deal with statistical curves and mathematical formulae rather than with actions of human beings in the social world, yet they use the term, “rational action”, as an indispensable element of their systems. I will have to show what modification this term undergoes in these types of social sciences..). (shrink)

WHEN Aristotle takes up the task of establishing the foundations of ethics in the Nicomachean Ethics, he understands this task in a quite different way from many modern moral philosophers. For one thing, he explicitly distinguishes inquiries such as ethics and politics from more precise disciplines such as mathematics, and emphasizes that their end is action rather than knowledge. Moreover, he differs from many modern ethicists in the importance which he assigns to knowledge of what to do in a (...) concrete situation. Practical knowledge for Aristotle has two indispensable, interrelated components: apprehension of the ultimate end of human action, and practical rationality in virtue of which one knows how to pursue this end in concrete situations. As a moral epistemologist Aristotle is exceptional in the emphasis he places upon practical rationality. Even if one correctly apprehends the ultimate end, knowing how to attain it in action is no trivial matter of perfunctorily applying general precepts. Henry Veatch illustrates this important feature of Aristotle's thought by relating it to Sartre's anecdote of the young man who sought his advice during World War II as to whether he should stay with his mother or join the Free French forces. Veatch contends that Aristotle would agree with Sartre that a general apprehension of the end will not provide us with a priori recipes for answering "concrete moral questions," such as the dilemma posed in Sartre's anecdote. He would also agree that the young man must work out the answer for himself in the immediate context of action. But Veatch's Aristotle maintains, against Sartre, that moral agents can and should work out answers through "practical moral knowledge." Although this is an appealing construal of Aristotle's conception of rationality in action, it is not without opposition. John Cooper has challenged it in favor of the interpretation that deliberation may be completed with a decision on a type of action prior to the time of action. Cooper bases this interpretation on an extensive review of the texts. Nevertheless, as this essay attempts to show, the textual evidence clearly supports an interpretation along the lines suggested by Veatch. Section I considers the evidence concerning practical rationality and deliberation, and Section II that concerning practical insight and observation. (shrink)

Mathematical investigation, when done well, can confer understanding. This bare observation shouldn’t be controversial; where obstacles appear is rather in the effort to engage this observation with epistemology. The complexity of the issue of course precludes addressing it tout court in one paper, and I’ll just be laying some early foundations here. To this end I’ll narrow the field in two ways. First, I’ll address a specific account of explanation and understanding that applies naturally to mathematical reasoning: the view proposed (...) by Philip Kitcher and Michael Friedman of explanation or understanding as involving the unification of theories that had antecedently appeared heterogeneous. For the second narrowing, I’ll take up one specific feature (among many) of theories and their basic concepts that is sometimes taken to make the theories and concepts preferred: in some fields, for some problems, what is counted as understanding a problem may involve finding a way to represent the problem so that it (or some aspect of it) can be visualized. The final section develops a case study which exemplifies the way that this consideration – the potential for visualizability – can rationally inform decisions as to what the proper framework and axioms should be. The discussion of unification (in sections 3 and 4) leads to a mathematical analogue of Goodman’s problem of identifying a principled basis for distinguishing grue and green. Just as there is a philosophical issue about how we arrive at the predicates we should use when making empirical predictions, so too there is an issue about what properties best support many kinds of mathematical reasoning that are especially valuable to us. The issue becomes pressing via an examination of some physical and mathematical cases that make it seem unlikely that treatments of unification can be as straightforward as the philosophical literature has hoped. Though unification accounts have a grain of truth (since a phenomenon (or cluster of phenomena) called “unification” is in fact important in many cases) we are far from an analysis of what “unification” is.. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable (...) propositions, and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter 2 argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 7 provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. Chapters 8-12 provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter 8 examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of Ω-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter 9 examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 12 avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between the interpretational and objective modalities and truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals while bypassing the category of Set in category theory. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 14 examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

The ancient puzzle of the Liar was shown by Tarski to be a genuine paradox or antinomy. I show, analogously, that certain puzzles of contemporary game theory are genuinely paradoxical, i.e., certain very plausible principles of rationality, which are in fact presupposed by game theorists, are inconsistent as naively formulated. ;I use Godel theory to construct three versions of this new paradox, in which the role of 'true' in the Liar paradox is played, respectively, by 'provable', 'self-evident', and 'justifiable'. (...) I also construct in modal operator logic a paradox involving reflexive empirical reasoning. Unlike the paradox of the Liar, the paradox of reflexive reasoning does not depend on self-reference. ;I consider various solutions to the Liar paradox and evaluate how well these solutions cope with the paradox of reflexive reasoning. I then formalize the solution to the paradoxes which I favor: the indexical-hierarchical approach, first sketched out by Charles Parsons and Tyler Burge. In this solution, occurrences of the predicate 'true' in sentence-tokens are contextually relativized to levels of a hierarchy. Drawing also on some brief remarks of Bertrand Russell and Charles Parsons, I develop an account of the kind of schematic generality needed for this theory to be statable. ;Finally, I demonstrate that the principles shown to be paradoxical are in fact presupposed by contemporary game theorists in their reliance on the notion of common knowledge or, more precisely, mutual belief. I create novel analyses of and corresponding solutions to several recalcitrant puzzles within game theory, including the "chain-store paradox". (shrink)

In the article the authors put and discuss the problem of rationality in the culture of Old Russia in the context of contemporary discussions on the prob- lems of rationality. Enlighteners of Peter's time adhered to the view of the total absence of intellectual life in Old Russia. Authors distinguish various areas of intellectual activity: the study of nature, mathematical and chronological works, the use of logical tools in apologetics and polemics, medical practices, political strategies, translation activity, understanding (...) of the inner nature of man. The evolution of Old Russian language passed along the line of transformations of concrete-figurative thinking into conceptual, abstract thinking. In the processes of mastering philosophical concepts, the formation of an analytical system of language on a logico-verbal basis takes place. In the formation of a verbal-ordered language, the key role was played by symbols-concrete things, verbal and abstract. Fundamental philosophical concepts stem from symbols. Specific-proprietary and conceptual languages have different expressive and cognitive capabilities. Allegory, analogy, thought experiment, isolation of an abstract trait, visualization are typical techniques of figurative thinking. Modern Russian language absorbed the features of both figurative and logical construction. The digital era opens up new possibilities for visual methods of encoding information. (shrink)

The article is devoted to philosophy of mathematics. Mathematical heuristics, being a complex of methods for solving the non-standard problems of mathematics (such problems which have no known algorithms to be solved), is the main subject of the research. As a specific mechanism for thinking, generating elements of guesswork needed as the basis of mathematical heuristics, the author considers intuition. In the work, the author uses Descartes’s, Poincaré’s, Hadamard’s and Piaget’s findings. Based on Descartes’s concept of rational intuition, (...) the author develops the concept of heuristic intuition. As a result, the author turns to the question of possibility of a complete translation of the user-derived mathematical statements in a discourse, in fact, that means a maximum depth of mathematical proof, i.e. its maximum rationalization. For this purpose, it is necessary to re-attract the intuition since it is able to transform the intuitive elements into the discourse ones. Therefore, from this point of view, the rationale is intuitively derived mathematical proof should be no more than a ‘multilayer‘ creative process. In general, the author, based on Poincaré’s research, proves that the essence of mathematical creativity is not to «sort out» and «choose». Referring to examples for illustration, the author reveals moments of «interference» of intuition, even in the process of solving school problems. Therefore, it is currently impossible to ignore the phenomenon of intuition and the results that have been historically derived a theory of knowledge in the study of creative mechanisms. (shrink)

This article considers the meaning of the ancient Chinese magic square Luoshu. It is known that this square is the most ancient of this type of squares. The importance of the magic square in the philosophical tradition and in the whole culture of China is large. The ancient understanding of number differs from the modern one by its dual character, combining the features of philosophical symbolism and mathematical constructions. Unfortunately, modern interpretations of the Luoshu as well as other numerical constructions (...) preserved by the Chinese tradition are too often limited to a superficial statement of their symbolic, “numerological” nature, ignoring the effects of the mathematical structure represented by them. At the same time, some scholars strongly emphasize the intuitive aspects of numerology, which do not presuppose accuracy. On the contrary, Leibniz saw in the Chinese binary system of thinking the beginning of an exact universal language. The author, appealing to the concept of A.A. Krushinskiy, analyzes the arithmetic laws of the structure of the square. The article shows that the magic square Luoshu is not a numbers game. Without any doubt, its main meaning lies in the application of arithmetic. Chinese magic square is an illustrative implementation of one of the main features of Chinese language and traditional thinking – its rational and mathematical basis. The Luoshu square is a vivid example of visual constructivism in the Chinese style of thinking. By means of the magic square’s scheme, the procedure of generalization that is a basis of concepts formation is carried out. This procedure uses a mathematical magic square algorithm based on the numerical codes of the five elements. The quinary spontaneous symbolism is rooted in the Chinese traditional culture of thinking and life order. (shrink)

It would be very difficult to discuss the question concerning the hypothesis of omniscience in microeconomics without relating this hypothesis to the more fundamental hypothesis of rationality (usually referred to as rationality principle or postulate) which is at the base of the very idea of an economic theory and even social sciences. Indeed omniscience is a quality which was typically attributed to homo oeconomicus whose essential characteristic is to be perfectly "rational". This association between omniscience and rationality (...) goes back to the marginalist revolution which progressively brought economists to model economic agents as rational calculators who make each decision by systematically maximizing their utility through the standard application of more or less sophisticated mathematical methods. But since the very idea of such a maximization has no meaning if all relevant parameters and variables are not carefully taken into account, it became relatively common to associate omniscience (the required knowledge of such parameters and variables) and rationality (the disposition to make decisions which tend to maximize the degree of success in reaching a goal). (shrink)

We want to consider anew the question, which is recurrent along the history of philosophy, of the relationship between rationality and mathematics, by inquiring to which extent the structuration of rationality, which ensures the unity of its function under a variety of forms (and even according to an evolution of these forms), could be considered as homeomorphic with that of mathematical thought, taken in its movement and made concrete in its theories. This idea, which is as old (...) as philosophy itself, although it has not been dominant, has still been present to some degree in the thought of modern science, in Descartes as well as in Kant, Poincaré or Einstein (and a few other scientists and philosophers). It has been often harshly questioned, notably in the contemporaneous period, due to the failure of the logistic programme, as well as to the variety of “empirical” knowledges, and, in a general way, to the character of knowledges that show them as transitory, evolutive and mind-built. However, the analysis of scientific thought through its inventive and creative processes leads to characterize this thought as a type of rational form whose configurations can be detailed rather precisely. In this work we shall propose, first, a quick sketch of some philosophical requirements for such a research programme, among which the need for an harmonization, and even a conciliation, between the notions of rational (or rationality), of intuitive grasp and of creative thought. Then we shall examine some processes of creative scientific thought bearing on the knowledge and the understanding of the world, distinct from mathematics although keeping tight relations with them. Contemporary physical theories are privileged witnesses in this respect, for in them the rational thought of phenomena makes an intrinsic use of mathematical thought, which contributes to the structuration of the formers and to the expression of their concepts (which entails the physical contents of the latter). The General Theory of Relativity and the Quantum Theory are exemplar to this, as they directly reveal what can be called the “drag of physical thought par the mathematical form”, which makes possible to overcome the limitations of the physical knowledge previously adquired. This process is tightly related to the modalities and to the stucture of the rational thought underlying it. This is what we would like to show. DOI:10.5007/1808-1711.2011v15n2p303. (shrink)

CONSENSUS AND PHILOSOPHICAL ISSUES Various atomistic and individualistic theories of knowledge, language, ethics and politics have dominated philosophical ...

The paper outlines various concepts of rationality, their characteristics and consequences. In the first, most general part, the metaphysical, instrumental and discursive rationality is distinguished. The following part focuses on instrumental rationality and the rational choice theory and ordinal and cardinal utility, expected utility and game theory, respectively. All those concepts are summarised as being the most mathematically elegant and mostly decidable and helpful in the decision-making process. Giving primacy to individual preferences and withholding the judgment on (...) their “objective” value, they are also devoid of double standards. They are, however, strongly normative and weakly coincide with actual agents’ behaviour. Empirical findings on agents’ decision making seem to demonstrate their irrationality, unless we introduce into the analysis different concepts of rationality, namely based on costs efficient heuristics, inclusive fitness and ecological rationality. They are discussed respectively, and although they seem better to explain the set of humans’ seemingly irrational behaviour, they are likely week in predicting that behaviour. They are also losing their normative dimension and thus cease to be helpful in decision making. Applying the particular theory of rationality, either descriptively or normatively, seems to depend strongly on the environment, which can be characterised by its extension from a small to a large world. The more the small world’s features an environment reveals, the more effective is the application of the particular model of rationality. Beyond the small worlds, rule stochasticity, underspecification and misspecification and the only reasonable method are consecutive trials and errors, which eventually may reduce the large world to the small one. (shrink)

The term “rationality” is applied to many different things, from beliefs and preferences to decisions and choices, actions and behaviors, people, collectivities, andinstitutions. Therefore this paper will limit its considerations only to social preferences and choices in order to clarify the role of rationality in social explanation. The paper will focus on degrees of rationality, calling upon the concept of transitivity for help.

Richard Tieszen presents an analysis, development, and defense of a number of central ideas in Kurt Gödel's writings on the philosophy and foundations of mathematics and logic. Tieszen structures the argument around Gödel's three philosophical heroes - Plato, Leibniz, and Husserl - and his engagement with Kant, and supplements close readings of Gödel's texts on foundations with materials from Gödel's Nachlass and from Hao Wang's discussions with Gödel. He provides discussions of Gödel's views, and develops a new type of (...) platonic rationalism that requires rational intuition, called 'constituted platonism'. (shrink)

The issue of what constitutes a valid logical inference is a difficult question. At a minimum, we believe a permissible step in a proof must provide the reader with rational grounds to believe that the new step is a logically necessary consequence of previous assertions. However, this begs the question of what constitutes these rational grounds. Formalist accounts typically describe valid rules of inferences as those that can be found by applying one of the explicit rules of inference in the (...) formal system in which the proof is couched. However, philosophers of mathematics find such a description unhelpful because many inferences in the proofs that mathematicians actually produce cannot be expressed in a formal language, at least not without seriously distorting the semantic content of the inference (e.g., Larvor, 2012). In this chapter, we investigate mathematicians’ perceptions of a particular kind of inference in a particular setting. Specifically, we shed light on what types of graphical inferences mathematicians find permissible in a real analysis proof. Following Larvor (in press), we examine mathematicians’ reactions to metrical graphical inferences (i.e., inferences whose validity depends on the accuracy of the graph that was drawn and whose validity can be changed by minor deformations) and nonmetrical graphical inferences (i.e., inferences whose validity does not depend on a the accuracy of the graph and whose validity is not vulnerable to local deformations). The goal of this chapter is threefold. First, we demonstrate that most mathematicians reject metrical graphical inferences as impermissible in a real analysis proof. Second, we show that many mathematicians regard nonmetrical graphical inferences as permissible in a real analysis proofs. Third, we illustrate how mathematicians collectively disagree on the permissibility of nonmetrical inferences. (shrink)

We want to consider anew the question, which is recurrent along the history of philosophy, of the relationship between rationality and mathematics, by inquiring to which extent the structuration of rationality, which ensures the unity of its function under a variety of forms, could be considered as homeomorphic with that of mathematical thought, taken in its movement and made concrete in its theories. This idea, which is as old as philosophy itself, although it has not been dominant, (...) has still been present to some degree in the thought of modern science, in Descartes as well as in Kant, Poincaré or Einstein. It has been often harshly questioned, notably in the contemporaneous period, due to the failure of the logistic programme, as well as to the variety of “empirical” knowledges, and, in a general way, to the character of knowledges that show them as transitory, evolutive and mind-built. However, the analysis of scientific thought through its inventive and creative processes leads to characterize this thought as a type of rational form whose configurations can be detailed rather precisely. In this work we shall propose, first, a quick sketch of some philosophical requirements for such a research programme, among which the need for an harmonization, and even a conciliation, between the notions of rational, of intuitive grasp and of creative thought. Then we shall examine some processes of creative scientific thought bearing on the knowledge and the understanding of the world, distinct from mathematics although keeping tight relations with them. Contemporary physical theories are privileged witnesses in this respect, for in them the rational thought of phenomena makes an intrinsic use of mathematical thought, which contributes to the structuration of the formers and to the expression of their concepts. The General Theory of Relativity and the Quantum Theory are exemplar to this, as they directly reveal what can be called the “drag of physical thought par the mathematical form”, which makes possible to overcome the limitations of the physical knowledge previously adquired. This process is tightly related to the modalities and to the stucture of the rational thought underlying it. This is what we would like to show. (shrink)

Analysing several characteristic mathematical models: natural and real numbers, Euclidean geometry, group theory, and set theory, I argue that a mathematical model in its final form is a junction of a set of axioms and an internal partial interpretation of the corresponding language. It follows from the analysis that (i) mathematical objects do not exist in the external world: they are our internally imagined objects, some of which, at least approximately, we can realize or represent; (ii) mathematical truths are not (...) truths about the external world but specifications (formulations) of mathematical conceptions; (iii) mathematics is first and foremost our imagined tool by which, with certain assumptions about its applicability, we explore nature and synthesize our rational cognition of it. (shrink)

Gödel's relation to the work of Plato, Leibniz, Kant, and Husserl is examined, and a new type of platonic rationalism that requires rational intuition, called ...

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable (...) propositions, and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. I provide a counter-example to epistemic closure for logical deduction. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

We present some aspects of the genesis of a geometric construction, which can be carried out with compass and straightedge, from the original idea to the published version (Fernández González 2016). The Midpoint Path Construction makes it possible to multiply the length of a line segment by a rational number between 0 and 1 by constructing only midpoints and a straight line. In the form of an interview, we explore the context and narrative behind the discovery, with first-hand insights by (...) its author. Finally, we discuss some general aspects of this case study in the context of philosophy of mathematical practice.´´aa. (shrink)

The introduction of the concept of the field of rationality and its correlates (the field of potentiality and the formal field) by Józef Życiński and Michał (Michael) Heller opened up space for the philosophical explanation of the unreasonable effectiveness of mathematics in capturing regularities built into the physical reality. The presented study is a response to the clear incentive of these authors towards the development of the understanding and applicability of these concepts. It is argued that identifying symmetries (...) within the field of rationality not only helps to articulate the fundamental role of symmetries in physics but also provides a better grasp on the issue of potentialities for the emergence of complexity in the Universe. Additionally, some global properties of this field can be more deeply comprehended. By indicating the drawbacks and limitations of this approach, perspectives for further inquiry into the meaning and usefulness are suggested. (shrink)

Au début du xixe siècle, la formation des officiers de l’armée des États-Unis s’effectue à l’Académie militaire de West Point. Défaillante en de nombreux points, y compris sur le terrain de l’enseignement mathématique, elle est transformée par Sylvanus Thayer en 1817, alors qu’il revient d’un séjour en Europe lors duquel les établissements militaires français ont fait l’objet de scrupuleuses observations. La supériorité des méthodes françaises – l’articulation mathématico-ingéniérique qui structure les curricula, le rôle de la géométrie descriptive et l’analyse dans (...) l’appréhension de l’art de la guerre, l’usage des manuels – semble chose donnée pour acquise du côté américain, si bien que, dans le sillage de West Point, d’autres académies militaires « à la française » ouvrent avant-guerre. Soutenant l’idée d’une « infusion française » plus ou moins passive, l’historiographie alimente bien souvent un récit qui mythifie et cristallise le rôle de la France dans la formation mathématique des militaires américains de la première moitié du xixe siècle, un récit qui minore, de fait, par son caractère univoque, l’importance des espaces intermédiaires – scientifiques, pédagogiques, institutionnels et éditoriaux – où entrent en contact les territoires émetteurs et récepteurs. Cet article montre comment les acteurs qui œuvrent à la formation mathématique dans les écoles militaires aux États-Unis – superintendants, professeurs et auteurs de manuels – procèdent par décomposition et réassemblage des savoirs et méthodes français, dont le « transfert » depuis l’autre côté de l’Atlantique et au sein du territoire américain emprunte des circuits moins prétendument polarisés et hiérarchisés, et très fortement soumis à une forme de rationalisation locale. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:After Gödel: Platonism and Rationalism in Mathematics and LogicMark C. R. SmithRichard Tieszen. After Gödel: Platonism and Rationalism in Mathematics and Logic. Oxford-New York: Oxford University Press, 2011. Pp. xi + 245. Cloth, $75.00.Tieszen’s new book offers a synthesis and extension of his longstanding project of bringing the method of Husserl’s phenomenology to bear on fundamental questions—both epistemological and ontological—in the philosophy of mathematics. Gödel (...) held Husserl’s philosophy in high regard, and thought that it offered the most promising avenue for an adequate understanding of the foundations of mathematical thought and practice, but Gödel himself did not give a full systematic statement of how phenomenology might carry out that project. Tieszen takes up the task in this book, which is structured around two main guiding themes. The first is to locate the sources of Gödel’s philosophical views—principally [End Page 303] in Plato, Leibniz, and of course Husserl, along with Kant as a sort of backcloth—and the second is to argue that from these materials, a promising rationalism in mathematics and logic can be consistently articulated. Along the way we also encounter a good many of Gödel’s arguments against an array of reductive positions, Hilbert’s formalism and Carnap’s “logical syntax” project among them, as well as arguments against the prospects of a mechanical or purely computational understanding of the human mind. Many of the arguments (both negative and positive) stem from a reflection on the consequences of Gödel’s landmark incompleteness results of 1931.The core of Tieszen’s positive proposals comes in chapters 4, 5, and 6: here is where we meet with “constituted Platonism,” Tieszen’s name for the rationalist, realist synthesis of Husserl’s method and Gödel’s mathematical insights. Methodologically, the starting point is the actual practice of mathematics as a human undertaking, and its conditions of possibility. At the most general level, it is characteristic of thought to be intentional, that is, to be (or try to be) about something, to have a target, to be a bearer of meaning. So it goes for thought about items in sensory awareness, about fictional objects, or about mathematical subject-matter. Concerning the latter, what we encounter in mathematical experience are frequently “phenomena that resist our will, so that we are ‘forced’ in certain directions” (170); what accounts for this resistance to our will are invariants, which have the further characteristics of repeatability—both for a single subject, and among many subjects—and availability for convergence (221), which, I take it, means availability as structures or concepts upon which many independent rational investigators will come to rest. Thinking mathematical thoughts is quite unlike thinking thoughts about fictional items, because fictions are indefinitely plastic in the face of human will. It is also unlike thought about sensory items, in that the intentional objects at issue are not available to outer sense; but from another angle it is more like thought about real material items than imaginary beings, because our mathematical thoughts are exposed to the possibility of error or misrepresentation in various ways. (An elementary example: most people think that 1 is distinct from 0.9999... repeating: this is a misrepresentation, because they are in fact identical.)The phenomenology of mathematical practice is such that we assay various conjectures and proposals about invariants already given to consciousness by previous practice, and discover what further invariant structures or concepts are revealed as necessary constraints upon the various possibilities that we can experimentally float for ourselves. Sometimes our conjectures or intentions are fulfilled, sometimes they are frustrated; but it is the very fact of fulfillment and frustration which points us to a Platonic reality. It is not the noumenal realm of the “naive” Platonist, in Tieszen’s phrase, but nevertheless an objective reality marked off “on the basis of what stabilizes or becomes invariant in our experience, on the basis of what has a history and a sedimentation that permits of further elaboration, development, constraints, surprises, and so on” (101). In something like this way, human reason and consciousness “constitute the meaning of being” of mathematical objects... (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable (...) propositions, and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. I provide a counter-example to epistemic closure for logical deduction. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

This book is not a conventional history of mathematics as such, a museum of documents and scientific curiosities. Instead, it identifies this vital science with the thought of those who constructed it and in its relation to the changing cultural context in which it evolved. Particular emphasis is placed on the philosophic and logical systems, from Aristotle onward, that provide the basis for the fusion of mathematics and logic in contemporary thought. Ettore Carruccio covers the evolution of (...) class='Hi'>mathematics from the most ancient times to our own day. In simple and non-technical language, he observes the changes that have taken place in the conception of rational theory, until we reach the lively, delicate and often disconcerting problems of modern logical analysis. The book contains an unusual wealth of detail (including specimen demonstrations) on such subjects as the critique of Euclid's fifth postulate, the rise of non-Euclidean geometry, the introduction of theories of infinite sets, the construction of abstract geometry, and-in a notably intelligible discussion-the development of modern symbolic logic and meta-mathematics. Scientific problems in general and mathematical problems in particular show their full meaning only when they are considered in the light of their own history. This book accordingly takes the reader to the heart of mathematical questions, in a way that teacher, student and layman alike will find absorbing and illuminating. The history of mathematics is a field that continues to fascinate people interested in the course of creativity, and logical inference quite part and in addition to those with direct mathematical interests. Ettore Carruccio, who until his retirement was professor of philosophy at the University of Turin. He has made many contributions to mathematical and logical theory as well as to the history of the science. Isabel Quigly was the literary editor of The Tablet for many years. (shrink)

This book is not a conventional history of mathematics as such, a museum of documents and scientific curiosities. Instead, it identifies this vital science with the thought of those who constructed it and in its relation to the changing cultural context in which it evolved. Particular emphasis is placed on the philosophic and logical systems, from Aristotle onward, that provide the basis for the fusion of mathematics and logic in contemporary thought. Ettore Carruccio covers the evolution of (...) class='Hi'>mathematics from the most ancient times to our own day. In simple and non-technical language, he observes the changes that have taken place in the conception of rational theory, until we reach the lively, delicate and often disconcerting problems of modern logical analysis. The book contains an unusual wealth of detail (including specimen demonstrations) on such subjects as the critique of Euclid's fifth postulate, the rise of non-Euclidean geometry, the introduction of theories of infinite sets, the construction of abstract geometry, and-in a notably intelligible discussion-the development of modern symbolic logic and meta-mathematics. Scientific problems in general and mathematical problems in particular show their full meaning only when they are considered in the light of their own history. This book accordingly takes the reader to the heart of mathematical questions, in a way that teacher, student and layman alike will find absorbing and illuminating. The history of mathematics is a field that continues to fascinate people interested in the course of creativity, and logical inference quite part and in addition to those with direct mathematical interests. Ettore Carruccio, who until his retirement was professor of philosophy at the University of Turin. He has made many contributions to mathematical and logical theory as well as to the history of the science. Isabel Quigly was the literary editor of The Tablet for many years. (shrink)

Nicholas of Cusa was first of all a theologian but he was interested also in mathematic and natural sciences. In fact philosophico-theological and mathematical ideas were intertwined by him, theological and philosophical ideas influenced his mathematical considerations, in particular when he considered philosophical problems connected with mathematics and vice versa, mathematical ideas and examples were used by him to explain some ideas from theology. In this paper we attempt to indicate this mutual influence. We shall concentrate on the following (...) problems: the role and place of mathematics and mathematical knowledge in knowledge in general and in particular in theological knowledge, ontology of mathematical objects and their origin, in particular their relations to God and their meaning for the description of the world and physical reality, infinity in mathematics versus infinity in theology and their mutual relations and connections. It will be shown that—according to Nicholas—mathematics and mathematical thinking are tools of rationalization of theology and liberating it in a certain sense from the trap of apophatic theology. (shrink)

The paper gives an overview of Arthur Schopenhauer's theory of rationality. For Schopenhauer, rationality is a human faculty based on language, which, in addition to language, is primarily concerned with knowledge or philosophy of science and practical action. For Schopenhauer, language is the umbrella term under which he subsumes logic and eristics. This paper will first introduce Schopenhauer's logic and clarify its connection to the philosophy of language. This is followed by eristic dialectics, which reflects on how one (...) can protect oneself from people who argue irrationally in a goal-oriented way. Schopenhauer's philosophy of mathematics belongs to the field of philosophy of science. Unlike many other authors of his time, Schopenhauer does not advocate a rationalist but a representationalist approach, which, however, includes a theory of rationality. Therefore, Schopenhauer's representationalist approach will finally be discussed, emphasizing its relationship to his theory of rationality. (shrink)

Contents: Preface. Introduction. J. ECHEVERRIA, A. IBARRA and T. MORMANN: The Long and Winding Road to the Philosophy of Science in Spain. REPRESENTATION AND MEASUREMENT. A. IBARRA and T. MORMANN: Theories as Representations. J. GARRIDO GARRIDO: The Justification of Measurement. O. FERNÁNDEZ PRAT and D. QUESADA: Spatial Representations and Their Physical Content. J.A. DIEZ CALZADA: The Theory-Net of Interval Measurement Theory. TRUTH, RATIONALITY, AND METHOD. J.C. GARCÍA-BERMEJO OCHOA: Realism and Truth Approximation in Economic Theory. W.J. GONZALEZ: Rationality in (...) Economics and Scientific Predictions: A Critical Reconstruction of Bounded Rationality and Its Role in Economic Predictions. J.P. ZAMORA BONILLA: An Invitation to Methodonomics. LOGICS, SEMANTICS, AND THEORETICAL STRUCTURES. J.L. FALGUERA: A Basis for a Formal Semantics of Linguistic Formulations of Science. A. SOBRINO and E. TRILLAS: Can Fuzzy Logic Help to Pose Some Problems in the Philosophy of Science? J. de LORENZO: Demonstrative Ways in Mathematical Doing. M. CASANUEVA: Genetics and Fertilization: A Good Marriage. C.U. MOULINES: The Concept of Universe from a Metatheoretical Point of View. List of Contributors. Index of Names. (shrink)

Plato used mathematics extensively in his account of the cosmos in the Timaeus, but as he did not use equations, but did use geometry, harmony and according to some, numerology, it has not been clear how or to what effect he used mathematics. This paper argues that the relationship between mathematics and cosmology is not atemporally evident and that Plato’s use of mathematics was an open and rational possibility in his context, though that sort of use (...) of mathematics has subsequently been superseded as science has progressed. I argue that there is a philosophically and historically meaningful space between ‘primitive’ or unreflective uses of mathematics and the modern conception of how mathematics relates to cosmology. Plato’s use of mathematics in the Timaeus enabled the cosmos to be as good as it could be, allowed the demiurge a rational choice and allowed Timaeus to give an account of the cosmos. I also argue that within this space it is both meaningful and important to differentiate between Pythagorean and Platonic uses of number and that we need to reject the idea of ‘Pythagorean/platonic number mysticism’. Plato’s use of number in the Timaeus was not mystical even though it does not match modern usage. (shrink)

The word apory stems from the Greek aporia, meaning impasse or perplexing difficulty. In _Aporetics,_ Nicholas Rescher defines an apory as a group of individually plausible but collectively incompatible theses. Rescher examines historic, formulaic, and systematic apories and couples these with aporetic theory from other authors to form this original and comprehensive survey. Citing thinkers from the pre-Socratics through Spinoza, Hegel, and Nicolai Hartmann, he builds a framework for coping with the complexities of divergent theses, and shows in detail how (...) aporetic analysis can be applied to a variety of fields including philosophy, mathematics, linguistics, logic, and intellectual history. Rescher's in-depth examination reveals how aporetic inconsistency can be managed through a plausibility analysis that breaks the chain of inconsistency at its weakest link by deploying right-of-way precedence based on considerations of cognitive centrality. Thus while involvement with cognitive conflicts and inconsistencies are pervasive in human thought, aporetic analysis can provide an effective means of damage control. (shrink)

In the first section, I characterize realism and illustrate the sense in which Wittgenstein's account of mathematics is anti-realist. In the second section, I spell out the above notion of objectivity and show how and anti-realist account of truth, namely, Putnam's idealized rational acceptability, preserves objectivity. In the third section, I discuss the "majority argument" and illustrate how Wittgenstein's anti-realism can also account for the objectivity of mathematics. What Putnam's and Wittgenstein's anti-realisms ultimately show is that this notion (...) of objectivity is distinct from the notion of realism and that an account of objectivity is no reason to be either realist or anti-realist. (shrink)

Statements in mathematics -- Proofs in mathematics -- Basic set operations -- Functions -- Relations on a set -- Cardinality -- Algebra of number systems -- The natural numbers -- The integers -- The rational numbers -- The real numbers -- Cantor's reals -- The complex numbers -- Time scales -- The delta derivative -- Hints for (and comments on) the exercises.

"With exceptional clarity, but with no evasion of essential ideas, the author outlines the fundamental structure of mathematics."--Carl B. Boyer, Brooklyn College. This enlightening survey of mathematical concept formation holds a natural appeal to philosophically minded readers, and no formal training in mathematics is necessary to appreciate its clear exposition. Contents include examinations of arithmetic and geometry; the rigorous construction of the theory of integers; the rational numbers and their foundation in arithmetic; and the rigorous construction of elementary (...) arithmetic. Advanced topics encompass the principle of complete induction; the limit and point of accumulation; operating with sequences and differential quotient; remarkable curves; real numbers and ultrareal numbers; and complex and hypercomplex numbers. 1959 ed. 27 Figures. Index. (shrink)

When von Neumann's and Morgenstern's Theory of Games and Economic Behavior appeared in 1944, one thought that a complete theory of strategic social behavior had appeared out of nowhere. However, game theory has, to this very day, remained a fast-growing assemblage of models which have gradually been united in a new social theory - a theory that is far from being completed even after recent advances in game theory, as evidenced by the work of the three Nobel Prize winners, John (...) F. Nash, John C. Harsanyi, and Reinhard Selten. Two of them, Harsanyi and Selten, have contributed important articles to the present volume. This book leaves no doubt that the game-theoretical models are on the right track to becoming a respectable new theory, just like the great theories of the twentieth century originated from formerly separate models which merged in the course of decades. For social scientists, the age of great discover ies is not over. The recent advances of today's game theory surpass by far the results of traditional game theory. For example, modem game theory has a new empirical and social foundation, namely, societal experiences; this has changed its methods, its "rationality. " Morgenstern (I worked together with him for four years) dreamed of an encompassing theory of social behavior. With the inclusion of the concept of evolution in mathematical form, this dream will become true. Perhaps the new foundation will even lead to a new name, "conflict theory" instead of "game theory. (shrink)

This book highlights the emergence of a new mathematical rationality and the beginning of the mathematisation of physics in Classical Islam. Exchanges between mathematics, physics, linguistics, arts and music were a factor of creativity and progress in the mathematical, the physical and the social sciences. Goods and ideas travelled on a world-scale, mainly through the trade routes connecting East and Southern Asia with the Near East, allowing the transmission of Greek-Arabic medicine to Yuan Muslim China. The development of (...) science, first centred in the Near East, would gradually move to the Western side of the Mediterranean, as a result of Europe's appropriation of the Arab and Hellenistic heritage. Contributors are Paul Buell, Anas Ghrab, Hossein Masoumi Hamedani, Zeinab Karimian, Giovanna Lelli, Marouane ben Miled, Patricia Radelet-de Grave, and Roshdi Rashed. (shrink)

Recently, philosophers and social scientists have turned their attention to the epistemological shifts provoked in established sciences by their incorporation of big data techniques. There has been less focus on the forms of epistemology proper to the investigation of algorithms themselves, understood as scientific objects in their own right. This article, based upon 12 months of ethnographic fieldwork with Russian data scientists, addresses this lack through an investigation of the specific forms of epistemic attention paid to algorithms by data scientists. (...) On the one hand, algorithms are unlike other mathematical objects in that they are not subject to disputation through deductive proof. On the other hand, unlike concrete things in the world such as particles or organisms, algorithms cannot be installed as the objects of experimental systems directly. They can only be evaluated in their functioning as components of extended computational assemblages; on their own, they are inert. As a consequence, the epistemological coding proper to this evaluation does not turn on truth and falsehood but rather on the efficiency of a given algorithmic assemblage. This article suggests that understanding the forms of algorithmic rationality employed in such inquiry is crucial for charting the place of data science within the contemporary academy and knowledge economy more generally. (shrink)

This book examines the birth of the scientific understanding of motion. It investigates which logical tools and methodological principles had to be in place to give a consistent account of motion, and which mathematical notions were introduced to gain control over conceptual problems of motion. It shows how the idea of motion raised two fundamental problems in the 5th and 4th century BCE: bringing together being and non-being, and bringing together time and space. The first problem leads to the exclusion (...) of motion from the realm of rational investigation in Parmenides, the second to Zeno's paradoxes of motion. Methodological and logical developments reacting to these puzzles are shown to be present implicitly in the atomists, and explicitly in Plato who also employs mathematical structures to make motion intelligible. With Aristotle we finally see the first outline of the fundamental framework with which we conceptualise motion today. (shrink)

In the article, questions from the field of philosophy of mathematics are studied. The author is driven by the need to achieve a balance between the philosophy of science and the history of science in formation of concepts of the science development. In this regard, the author justifies the reliance on the methodology of implicit knowledge, combined with the epistemology principle of criticism in studying the development of mathematics as the most expedient and effective. The author expresses the (...) necessity of criticizing the methodology of counterexamples typical for mathematical empiricism declared by I. Lakatos. In the article, an explanation of the concept of implicit knowledge, as well as the examples from mathematics are given. The author believes that application of the concept of implicit knowledge in philosophical and mathematical terms allows us to reveal the unique specificity of mathematical science deeper. The author concludes that it is necessary to recognize the fundamental importance of the methodology of implicit knowledge for the epistemology, as well as for the development of philosophy and methodology of science in general. (shrink)

This book puts forward a new role for mathematics in the natural sciences. In the traditional understanding, a strong viewpoint is advocated, on the one hand, according to which mathematics is used for truthfully expressing laws of nature and thus for rendering the rational structure of the world. In a weaker understanding, many deny that these fundamental laws are of an essentially mathematical character, and suggest that mathematics is merely a convenient tool for systematizing observational knowledge. The (...) position developed in this volume combines features of both the strong and the weak viewpoint. In accordance with the former, mathematics is assigned an active and even shaping role in the sciences, but at the same time, employing mathematics as a tool is taken to be independent from the possible mathematical structure of the objects under consideration. Hence the tool perspective is contextual rather than ontological. Furthermore, tool-use has to respect conditions like suitability, efficacy, optimality, and others. There is a spectrum of means that will normally differ in how well they serve particular purposes. The tool perspective underlines the inevitably provisional validity of mathematics: any tool can be adjusted, improved, or lose its adequacy upon changing practical conditions. (shrink)

Examples from Archimedes, Galileo, Newton, Einstein, and others suggest that fundamental laws of physics were—or, at least, could have been—discovered by experiments performed not in the physical world but only in the mind. Although problematic for a strict empiricist, the evolutionary emergence in humans of deeply internalized implicit knowledge of abstract principles of transformation and symmetry may have been crucial for humankind's step to rationality—including the discovery of universal principles of mathematics, physics, ethics, and an account of free (...) will that is compatible with determinism. (shrink)