The later Wittgenstein’s perspective on mathematical sentences as norms is motivated for sentences belonging to Hilbertian axiomatic systems where the axioms are treated as implicit definitions. It is shown that in this approach the axioms are employed as norms in that they function as standards of what counts as using the concepts involved. This normative dimension of their mode of use, it is argued, is inherited by the theorems derived from them. Having been motivated along these lines, Wittgenstein’s perspective (...) on mathematical language may appeal also to those who are not friends of or experts on Wittgenstein’s later philosophy of mathematics. (shrink)

There are different narratives on mathematics as part of our world, some of which are more appropriate than others. Such narratives might be of the form ‘Mathematics is useful’, ‘Mathematics is beautiful’, or ‘Mathematicians aim at theorem-credit’. These narratives play a crucial role in mathematics education and in society as they are influencing people’s willingness to engage with the subject or the way they interpret mathematical results in relation to real-world questions; the latter yielding important (...) class='Hi'>normative considerations. Our strategy is to frame current narratives of mathematics from a virtue-theoretic perspective. We identify the practice of mathematizing, put forward by Freudenthal’s ‘Realistic mathematics education’, as virtuous and use it to evaluate different narratives. We show that this can help to render the narratives more adequately, and to provide implications for societal organization. (shrink)

We argue that the mathematization of science should be understood as a normative activity of advocating for a particular methodology with its own criteria for evaluating good research. As a case study, we examine the mathematization of taxonomic classification in systematic biology. We show how mathematization is a normative activity by contrasting its distinctive features in numerical taxonomy in the 1960s with an earlier reform advocated by Ernst Mayr starting in the 1940s. Both Mayr and the numerical taxonomists (...) sought to formalize the work of classification, but Mayr introduced a qualitative formalism based on human judgment for determining the taxonomic rank of populations, while the numerical taxonomists introduced a quantitative formalism based on automated procedures for computing classifications. The key contrast between Mayr and the numerical taxonomists is how they conceptualized the temporal structure of the workflow of classification, specifically where they allowed meta-level discourse about difficulties in producing the classification. (shrink)

I argue for the Wittgensteinian thesis that mathematical statements are expressions of norms, rather than descriptions of the world. An expression of a norm is a statement like a promise or a New Year's resolution, which says that someone is committed or entitled to a certain line of action. A expression of a norm is not a mere description of a regularity of human behavior, nor is it merely a descriptive statement which happens to entail a norms. The view can (...) be thought of as a sort of logicism for the logical expressivist---a person who believes that the purpose of logical language is to make explicit commitments and entitlements that are implicit in ordinary practice. The thesis that mathematical statements are expression of norms is a kind of logicism, not because it says that mathematics can be reduced to logic, but because it says that mathematical statements play the same role as logical statements. ;I contrast my position with two sets of views, an empiricist view, which says that mathematical knowledge is acquired and justified through experience, and a cluster of nativist and apriorist views, which say that mathematical knowledge is either hardwired into the human brain, or justified a priori, or both. To develop the empiricist view, I look at the work of Kitcher and Mill, arguing that although their ideas can withstand the criticisms brought against empiricism by Frege and others, they cannot reply to a version of the critique brought by Wittgenstein in the Remarks on the Foundations of Mathematics. To develop the nativist and apriorist views, I look at the work of contemporary developmental psychologists, like Gelman and Gallistel and Karen Wynn, as well as the work of philosophers who advocate the existence of a mathematical intuition, such as Kant, Husserl, and Parsons. After clarifying the definitions of "innate" and "a priori," I argue that the mechanisms proposed by the nativists cannot bring knowledge, and the existence of the mechanisms proposed by the apriorists is not supported by the arguments they give. (shrink)

Biology seems to present local and transitory regularities rather than immutable laws. To account for these historically constituted regularities and to distinguish them from mathematical invariants, Montévil and Mossio (Journal of Theoretical Biology 372:179–191, 2015) have proposed to speak of constraints. In this article we analyse the causal power of these constraints in the evolution of biodiversity, i.e., their positivity, but also the modality of their action on the directions taken by evolution. We argue that to fully account for the (...) causal power of these constraints on evolution, they must be thought of in terms of normativity. In this way, we want to highlight two characteristics of the evolutionary constraints. The first, already emphasised as reported by Gould (The structure of evolutionary theory, Harvard University Press, 2002), is that these constraints are both produced by and producing biological evolution and that this circular causation creates true novelties. The second is that this specific causality, which generates unpredictability in evolution, stems not only from the historicity of biological constraints, but also from their internalisation through the practices of living beings. (shrink)

I argue that certain species of belief, such as mathematical, logical, and normative beliefs, are insulated from a form of Harman-style debunking argument whereas moral beliefs, the primary target of such arguments, are not. Harman-style arguments have been misunderstood as attempts to directly undermine our moral beliefs. They are rather best given as burden-shifting arguments, concluding that we need additional reasons to maintain our moral beliefs. If we understand them this way, then we can see why moral beliefs are (...) vulnerable to such arguments while mathematical, logical, and normative beliefs are not—the very construction of Harman-style skeptical arguments requires the truth of significant fragments of our mathematical, logical, and normative beliefs, but requires no such thing of our moral beliefs. Given this property, Harman-style skeptical arguments against logical, mathematical, and normative beliefs are self-effacing; doubting these beliefs on the basis of such arguments results in the loss of our reasons for doubt. But we can cleanly doubt the truth of morality. (shrink)

This paper argues that Weyl's criticism of Dedekind’s principle that "In science, what is provable ought not to be believed without proof." challenges not only a logicist norm of belief in mathematics, but also a realist view about whether there is a fact of the matter as to what norms of belief are correct.

[Use code AUFLY30 for 30% off on the OUP website.] One central aim of science is to provide explanations of natural phenomena. What role(s) does mathematics play in achieving this aim? How does mathematics contribute to the explanatory power of science? Rules to Infinity defends the thesis, common though perhaps inchoate among many members of the Vienna Circle, that mathematics contributes to the explanatory power of science by expressing conceptual rules, rules which allow the transformation of empirical (...) descriptions. Mathematics should not be thought of as describing, in any substantive sense, an abstract realm of eternal mathematical objects, as traditional platonists have thought. In Rules to Infinity, this view, which I call mathematical normativism, is updated with contemporary philosophical tools, and it is argued that normativism is compatible with mainstream semantic theory. This allows the normativist to accept that there are mathematical truths, while resisting the platonistic idea that there exist abstract mathematical objects that explain such truths. Furthermore, Rules to Infinity defends a particular account of the distinction between scientific explanations that are in some sense distinctively mathematical – those that explain natural phenomena in some uniquely mathematical way – and those that are only standardly mathematical, and it lays out desiderata for any account of this distinction. Normativism is compared with other prominent views in the philosophy of mathematics such as neo-Fregeanism, fictionalism, conventionalism, and structuralism. Rules to Infinity serves as an entry point into debates at the forefront of philosophy of science and mathematics, and it defends novel positions in these debates. (shrink)

This paper brings together neurodiversity studies with the notion of epistemic violence to form a theoretical framework to further understand and discuss Edith Sheffer’s findings on the construction of Autism as a diagnostic concept in Nazi Vienna: the Nazi Regime distinguished between worthy Autistic lives and unworthy Autistic lives, resulting in frameworks and stereotypes that are in place to this day. This project is of five intertwined dimensions: A) This paper uses the framework of epistemic violence to shine light on (...) the construction of Autism as a diagnostic notion in Nazi Vienna. B) It brings together neurodiversity, epistemic violence and Sheffer’s historical study to further understand the interwovenness of different forms of violence with one another. C) It discusses stereotypes and conventional frameworks surrounding Autism with regards to the forms of gendered exclusion they entail and reinforce. D) I draw from critical studies of Western Mathematics to shine light on the interwovenness of this image of thought with masculine coded images surrounding Autism. E) Bringing these findings and movements together, I open up the question of whether there is an epistemic afterlife to fascism. (shrink)

According to Wittgenstein, mathematics is embedded in, and partly constituting, a form of life. Hence, to imagine different, alternative forms of elementary mathematics, we should have to imagine different practices, different forms of life in which they could play a role. If we tried to imagine a radically different arithmetic we should think either of a strange world or of people acting and responding in very peculiar ways. If such was their practice, a calculus expressing the norms of (...) representation they applied could not be called false. Rather, our criticism could only be to dismiss such a practice as foolish and to dismiss their norms as too different from ours to be called ‘mathematics’. (shrink)

This essay considers the special character of mathematical reasoning, and draws on observations from interactive theorem proving and the history of mathematics to clarify the nature of formal and informal mathematical language. It proposes that we view mathematics as a system of conventions and norms that is designed to help us make sense of the world and reason efficiently. Like any designed system, it can perform well or poorly, and the philosophy of mathematics has a role to (...) play in helping us understand the general principles by which it serves its purposes well. (shrink)

Why should anyone be bound by cognitive norms, such as the norms of reason or mathematics? To become a mathematician is to learn to obey the norms of the mathematical community. A self becomes intentional by binding itself to communal norms. Only then can it have the freedom to think or make assertions about the community’s objects -- triangles or imaginary numbers, for example. Norms do not bind selves from the outside: being bound by norms is what constitutes a (...) self. (shrink)

This book discusses the problem of mathematical knowledge, and its broader philosophical ramifications. It argues that the problem of explaining the (defeasible) justification of our mathematical beliefs (‘the justificatory challenge’), arises insofar as disagreement over axioms bottoms out in disagreement over intuitions. And it argues that the problem of explaining their reliability (‘the reliability challenge’), arises to the extent that we could have easily had different beliefs. The book shows that mathematical facts are not, in general, empirically accessible, contra Quine, (...) and that they cannot be dispensed with, contra Field. However, it argues that they might be so plentiful that our knowledge of them is intelligible. The book concludes with a complementary ‘pluralism’ about modality, logic and normative theory, highlighting its revisionary implications. Metaphysically, pluralism engenders a kind of perspectivalism and indeterminacy. Methodologically, it vindicates Carnap’s pragmatism, transposed to the key of realism. (shrink)

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)

Differences among scientific, mathematical, and ethical subject matters motivate a pluralism where distinct domains of subject matter are associated with distinct truth properties and logics. However, it is unclear how such pluralism might accommodate potentially attractive epistemic norms, such as that one ought to believe only what is true, and that one ought to believe what is logically true. In this paper, I show how such pluralism can accommodate such norms by supplementing the account developed in Yu (2017a,b) with epistemic, (...) doxastic, and deontic operators. The upshot is that pluralism is compatible with, even if not committed to, monism about epistemic norms. (shrink)

I argue for the claim that there are instances of a priori justified belief – in particular, justified belief in moral principles – that are not analytic, i.e., that cannot be explained solely by the understanding we have of their propositions. §1–2 provides the background necessary for understanding this claim: in particular, it distinguishes between two ways a proposition can be analytic, Basis and Constitutive, and provides the general form of a moral principle. §§3–5 consider whether Hume's Law, properly interpreted, (...) can be established by Moore's Open Question Argument, and concludes that it cannot: while Moore's argument – appropriately modified – is effective against the idea that moral judgments are either reductively analyzable or Constitutive-analytic, a different argument is needed to show that they are not Basis-analytic. Such an argument is supplied in §6. §§7–8 conclude by considering how these considerations bear on recent discussions of “alternative normative concepts”, on the epistemology of intuitions, and on the differences between disagreement in moral domains and in other a priori domains such as logic and mathematics. (shrink)

Why study notations, diagrams, or more broadly the variety of nonverbal “representations” or “signs” that are used in mathematical practice? This chapter maps out recent work on the topic by distinguishing three main philosophical motivations for doing so. First, some work (like that on diagrammatic reasoning) studies signs to recover norms of informal or historical mathematical practices that would get lost if the particular signs that these practices rely on were translated away; work in this vein has the potential to (...) broaden our view of the specific normativity of mathematics beyond logical proof. Second, some work focuses on signs to highlight the open-ended and “nonrigorous” aspects of mathematical practice, and the role of these aspects in the historical development of mathematics. The third motivation is based on the following observation: the reason differences in signs matter in mathematics is that humans are finite agents, with cognitive and computational limitations. Accordingly, studying signs can be a way to study how human computational constraints shape the mathematics that we do, and to tackle the topic of mathematical understanding. (shrink)

Testimonial accounts of mathematical problem choice typically rely on intrinsic constraints. They focus on the worth of the problem and feelings of beauty. These are often developed as both descriptive and normative constraints on problem choice. In this paper, I aim to add an extrinsic constraint of no less importance: the assurance of contact of minds with a desired audience. A number of elements for the relationship between mathematician and his audience make up this contact. This constraint stems from (...) the mathematician’s role as an arguer, as one of the pre-requisites to argumentation is contact of minds. I examine two exceptional cases which fail to be explained by intrinsic constraints on motivation and posit how this contact could influence usual cases. While not the only constraint or drive in problem choice, establishing contact of minds plays an important role worth further examination. (shrink)

According to a certain pluralist view in philosophy of mathematics, there are as many mathematical objects as there can coherently be. Recently, Justin Clarke-Doane has explored what consequences the analogous view on normative properties would have. What if there is a normative pluriverse? Here I address this same question. The challenge is best seen as a challenge to an important form of normative realism. I criticize the way Clarke-Doane presents the challenge. An improved challenge is presented, (...) and the role of pluralism in this challenge is assessed. (shrink)

This book offers a detailed account and discussion of Ludwig Wittgenstein's philosophy of mathematics. In Part I, the stage is set with a brief presentation of Frege's logicist attempt to provide arithmetic with a foundation and Wittgenstein's criticisms of it, followed by sketches of Wittgenstein's early views of mathematics, in the Tractatus and in the early 1930s. Then, Wittgenstein's mature philosophy of mathematics is carefully presented and examined. Schroeder explains that it is based on two key ideas: (...) the calculus view and the grammar view. On the one hand, mathematics is seen as a human activity -- calculation -- rather than a theory. On the other hand, the results of mathematical calculations serve as grammatical norms. The following chapters explore the tension between those two key ideas and suggest a way in which it can be resolved. Finally, there are chapters analysing and defending Wittgenstein's provocative views on Hilbert's Formalism and the quest for consistency proofs and on Gödel's incompleteness theorems. (shrink)

In many-valued logics with the unit interval as the set of truth values, from the standard negation and the product (or, more generally, from any strict Frank t-norm) all measurable logical functions can be derived, provided that also operations with countable arity are allowed. The question remained open whether there are other t-norms with this property or whether all strict t-norms possess this property. We give a full solution to this problem (in the case of strict t-norms), together with convenient (...) sufficient conditions. We list several families of strict t-norms having this property and provide also counterexamples (the Hamacher product is one of them). Finally, we discuss the consequences of these results for the characterization of tribes based on strict t-norms. (shrink)

This book critically examines philosophical naturalism, evaluates the prospects for naturalizing such normative properties as being a reason, and proposes a theory of action-explanation. This theory accommodates an explanatory role for both psychological properties, such as intention, and normative properties, such as having an obligation or being intrinsically good. The overall project requires distinguishing philosophical from methodological naturalism, arguing for the possibility of a scientifically informed epistemology that is not committed to the former, and freeing the theory of (...) action-explanation from dependence on the reducibility of the mental to the physical. The project also requires distinguishing explanatory power from causal power. Explanations - at least of the kinds central in both science and everyday life - are conceived as constitutively aimed at yielding understanding. The book sketches a view of understanding that clarifies the nature of explanation, and, partly in the light of this relation, it provides a broad account of causal power on which psychological properties can possess it without being reducible to physical properties. The book concludes with an account of how, especially in the normative domain, explanations can be a priori. They may use a priori generalizations to provide understanding of what they explain, and they may clarify a priori propositions, or both. They may achieve these aims not only in logic and pure mathematics, but also in the realm of moral and other normative phenomena. The overall result is to show how philosophical understanding of both natural and normative phenomena is possible through integration with a scientific habit of mind that does not require a narrow empiricism in epistemology or a reductive naturalism in metaphysics or the theory of explanation. [Subject: Philosophy, Epistemology, Metaphysics, Action Theory, Psychology]. (shrink)

Philosophers since antiquity have argued the merits of mathematics as a normative aid in ethical decision-making and of the mathematization of ethics a theoretical discipline. Recently, Anagnostopoulos, Annas, Broadie and Hutchinson have probed such issues said to be of interest to Aristotle. Despite their studies, the sense in which Aristotle either opposed or proposed a mathematical ethics in subject-matter and method remains unclear. This paper attempts to clarify the matter. It shows Aristotle’s matrix of exactness and inexactness for (...) ethical subject-matter and ethical method in the Nicomachean Ethics. Then it probes a resultant puzzle from the matrix, namely, the HL model of the happy life without consideration of mathematical justice and the HJL model of the happy life with such consideration. Finally, it examines Aristotle’s twofold rationale for differentiating these two models in his overall moral feedback loop system: differences in the intellectual virtue of good deliberation; the priority of friendship over justice for the happy life. This suggests Aristotle saw no objection either to using mathematics as an aid to ethical decision-making for a happy life, or to mathematizing at least some parts of an ethical theory of eudaimonism. (shrink)

Most human populations are subdivided into ethnic groups which have self-ascribed membership and are marked by seemingly arbitrary traits such as distinctive styles of dress or speech. Existing explanations of ethnicity do not adequately explain the origin and maintenance of group marking. Here we develop a mathematical model which shows that groups distinguished by both differences in social norms and in arbitrary markers can emerge and remain stable despite significant mixing between them, if (1) people preferentially interact in mutually beneficial (...) social interaction with people who have the same marker as they do, and (2) they acquire their markers and social behaviors by imitating successful individuals. We also show that the propensity to interact with people with markers like oneself may be favored by natural selection under plausible conditions. (shrink)

This book offers a detailed account and discussion of Ludwig Wittgenstein's philosophy of mathematics. In Part I, the stage is set with a brief presentation of Frege's logicist attempt to provide arithmetic with a foundation and Wittgenstein's criticisms of it, followed by sketches of Wittgenstein's early views of mathematics, in the Tractatus and in the early 1930s. Then (in Part II), Wittgenstein's mature philosophy of mathematics (1937-44) is carefully presented and examined. Schroeder explains that it is based (...) on two key ideas: the calculus view and the grammar view. On the one hand, mathematics is seen as a human activity - calculation - rather than a theory. On the other hand, the results of mathematical calculations serve as grammatical norms. The following chapters (on mathematics as grammar; rule-following; conventionalism; the empirical basis of mathematics; the role of proof) explore the tension between those two key ideas and suggest a way in which it can be resolved. Finally, there are chapters analysing and defending Wittgenstein's provocative views on Hilbert's Formalism and the quest for consistency proofs and on Gödel's incompleteness theorems. (shrink)

When in 1950, the distinguished psychologist, Jean Piaget, published a book on the relation of logic and psychology, the book was severely criticized in the journal Methodos by the logician E. V. Beth. Piaget asked to get together with Beth to discuss the issues involved. The result, over 15 years later, is the present book. Beth is the author of the first half in which he defends the complete autonomy of logic in relation to psychology by means of a partly (...) philosophical, partly historical treatment of logicist, formalist, and intuitionist philosophies of mathematics. Briefly put, Beth's thesis is the now familiar one in contemporary philosophy that logic and mathematics are normative sciences, psychology is a factual science. As a consequence, Beth argues that we must renounce all "psychologism" in logic and mathematics, and all "logicism" in psychology. Piaget has come to accept these main contentions of Beth and affirms them in the second half of the volume. But Piaget is impressed by the fact that a good deal of human conceptual development must go on before human beings recognize and state normative laws of logical thought. Piaget attempts to chart this conceptual development and explain how it takes place. He attempts to show that this genetic-psychological approach to the study of logical and mathematical thought is complementary to and fully compatible with the deductive approach of the formal logician, and hence compatible with Beth's thesis about the conceptual autonomy of logic and psychology. Logician and psychologist can thus deal with the same material although their approaches are conceptually autonomous. The book repays careful reading not only for the arguments defending these challenging claims but also for many other details in both parts.--R. H. K. (shrink)

What role does mathematics play in cognitive science today, what role should mathematics play in cognitive science tomorrow? The cautious short answers are: to the factual question, a rather modest role, except in peripheral areas; to the normative question, a far greater role, as the periphery’s place is reevaluated and as both cognitive science and mathematics grow. This paper aims at providing more detailed, perhaps more contentious answers.

Testimonial accounts of mathematical problem choice typically rely on intrinsic constraints. They focus on the worth of the problem and feelings of beauty. These are often developed as both descriptive and normative constraints on problem choice. In this paper, I aim to add an extrinsic constraint of no less importance: the assurance of contact of minds with a desired audience. A number of elements for the relationship between mathematician and his audience make up this contact. This constraint stems from (...) the mathematician’s role as an arguer, as one of the pre-requisites to argumentation is contact of minds. I examine two exceptional cases which fail to be explained by intrinsic constraints on motivation and posit how this contact could influence usual cases. While not the only constraint or drive in problem choice, establishing contact of minds plays an important role worth further examination. (shrink)

The last decade has seen an enormous development in infinite-valued systems and in particular in such systems which have become known as mathematical fuzzy logics. The paper discusses the mathematical background for the interest in such systems of mathematical fuzzy logics, as well as the most important ones of them. It concentrates on the propositional cases, and mentions the first-order systems more superficially. The main ideas, however, become clear already in this restricted setting.

The free energy principle says that any self-organising system that is at nonequilibrium steady-state with its environment must minimize its free energy. It is proposed as a grand unifying principle for cognitive science and biology. The principle can appear cryptic, esoteric, too ambitious, and unfalsifiable—suggesting it would be best to suspend any belief in the principle, and instead focus on individual, more concrete and falsifiable ‘process theories’ for particular biological processes and phenomena like perception, decision and action. Here, I explain (...) the free energy principle, and I argue that it is best understood as offering a conceptual and mathematical analysis of the concept of existence of self-organising systems. This analysis offers a new type of solution to long-standing problems in neurobiology, cognitive science, machine learning and philosophy concerning the possibility of normatively constrained, self-supervised learning and inference. The principle can therefore uniquely serve as a regulatory principle for process theories, to ensure that process theories conforming to it enable self-supervision. This is, at least for those who believe self-supervision is a foundational explanatory task, good reason to believe the free energy principle. (shrink)

The paper discusses Husserl's phenomenology of mathematics in his Formal and Transcendental Logic (1929). In it Husserl seeks to provide descriptive foundations for mathematics. As sciences and mathematics are normative activities Husserl's attempt is also to describe the norms at work in these disciplines. The description shows that mathematics can be given in several different ways. The phenomenologist's task is to examine whether a given part of mathematics is genuine according to the norms that (...) pertain to the approach in question. The paper will then examine the intuitionistic, formalistic, and structural features of Husserl's philosophy of mathematics. (shrink)

I support Rips et al.'s critique of psychology through (1) a complementary argument about the normative, modal, constitutive nature of mathematical principles. I add two reservations about their analysis of mathematical induction, arguing (2) for constructivism against their logicism as to its interpretation and formation in childhood (Smith 2002), and (3) for Piaget's account of reasons in rule learning.

This article addresses major arguments in the controversy about the “rationality” of moral behavior: can moral behavior be explained by rational choice theory (RCT)? The two positions discussed are the incentives thesis (norms are incentives as any other costs and benefits) and the autonomy thesis claiming that moral behavior has nothing to do with utility. The article analyses arguments for the autonomy thesis by J. Elster, A. Etzioni, and J. G. March and J. P. Olsen. Finally, the general claim is (...) discussed whether norm following and norm emergence are utility maximizing. The conclusion is that the autonomy thesis is not tenable if one applies a wide subjectivist, social psychological version of RCT that includes the assumption of “bounded rationality.” The autonomy thesis is only compatible with a narrow version of RCT that excludes internal outcomes and that refers to norms that do not have external outcomes. It is argued that such a narrow version is not capable of explaining many forms of behavior social scientists are interested in. (shrink)

In the course of. his philosophic career, Charles Peirce made repeated attempts to construct mathematical definitions of the commonsense or experimental notion of 'continuity'. In what I will label his Final Definition of Continuity, however, Peirce abandoned the attempt to achieve mathe­matical definition and assigned the analysis of continuity to an otherwise unnamed extra-mathematical science. In this paper, I identify the Final Definition, attempt to define its terms, and suggest that it belongs to Peirce's emergent semiotics of vagueness. I argue, (...) further, that it marks the transformation of Peirce's synechism. Before the time of his Final Definition, Peirce adopted a theory of continuity as a foundational principle of metaphysics and assumed this principle might be formalized in a mathe­matics of continuity. After the Final Definition, Peirce abandoned his foundationalism in favor of what he called a critical common-sensism. This is the claim that philosophy (and with it, logic) derives its norms from the observation of actual cognitive practices and that continuity is a distinguishing mark of actual as opposed to merely possible or imagined practices. (shrink)

Norms are widely regarded as kinds of templates of performance, resident in agents. As such they are thought to determine unilaterally what kinds of thought or action accords with them. Under philosophical elaboration this view has led to multiple perplexities: among them the question of how there can be evaluation, justification, and rectification of such unilaterally determining entities. Sometimes one can appeal to other, supervening norms; but the need to terminate the regressive procedure typically leads to appeals to dubious "foundations," (...) to conventions, or to sheer prejudice. In a feat of surpassing acuity Wittgenstein exposed this view of norms to be inadequate in the apparently paradigm contexts to which traditionally it seemed best suited, these being those of mathematical rules and principles. An alternative general view of norms is one with important congruences with the view taken by the Critical-Pragmatic philosophy concerning the constitutive role played by norms in creating the texture of human life and thought. This view is that norms are intrinsically socio-psychological entities that interlock with each other and are rooted deeply in the practices of individuals and their communities. Embedded in these practices, norms are in principle open-textured: open to further definition and revision when serious anomalies in their extant forms are encountered. This article explores certain features of the alternative view, concentrating upon the illumination it sheds and the guidance it provides in the conduct of the fundamental philosophical activities of assessment, criticism, and revision of broad and deep personal and communal norms. Normen werden üblicherweise verstanden als eine Art Handlungsschablonen im Innern des jeweils Agierenden. Als solche wird von ihnen angenommen, daß sie einseitig festlegen, welche Arten von Gedanken oder Handlungen mit ihnen übereinstimmen. Bei philosophischer Überprüfung führt diese Sichtweise zu vielfältigen Schwierigkeiten: unter ihnen die Frage, wie solche einseitig bestimmenden Wesenheiten bewertet, gerechtfertigt und berichtigt werden können. Manchmal kann man sich auf andere, übergeordnete Normen berufen; aber angesichts der Notwendigkeit, überhaupt zu einem Ende zu kommen, führt das regressive Verfahren typischerweise zu einer Berufung auf zweifelhafte "Grundsätze", auf Konventionen oder auf ein bloßes Vorurteil. In einer Meisterleistung von außerordentlicher gedanklicher Schärfe hat Wittgenstein diese Sichtweise von Normen als inadäquat gerade für den scheinbar paradigmatischen Zusammenhang entlarvt, auf den sie nach traditioneller Anschauung am besten passen soll: den von mathematischen Regeln und Prinzipien. Eine demgegenüber alternative, allgemeine Sichtweise von Normen stimmt in wesentlichen Punkten mit der Perspektive überein, die von der kritisch-pragmatischen Philosophie im Hinblick auf die konstitutive Rolle eingenommen wird, die Normen bei der Schaffung der Strukturen menschlichen Lebens und Denkens spielen. Diese Sichtweise besteht darin, daß Normen eigentlich sozialpsychologische Entitäten sind, die ineinandergreifen und tief in der Praxis von Individuen und ihren Gemeinschaften wurzeln. Eingebettet in diese Praxis sind Normen prinzipiell offen strukturiert: offen für weitere Definition und für Revision, falls man auf ernstzunehmende Anomalien ihrer bestehenden Fassung stößt. Dieser Beitrag untersucht bestimmte Aspekte jener alternativen Sichtweise. Er konzentriert sich dabei auf die von ihr bewirkte Klärung und die Leitung, die sie bietet, wenn es um die Handhabung so fundamentaler philosophischer Aufgaben wie Bewertung, Kritik und Revision von weit und tief reichenden persönlichen und gesellschaftlichen Normen geht. (shrink)

In this paper I argue that, contrary to what several prominent scholars of On Certainty have claimed, Wittgenstein did not maintain that simple mathematical propositions like “2 × 2 = 4” or “12 × 12 = 144,” much like G. E. Moore’s truisms, could be examples of hinge propositions. In particular, given his overall conception of mathematics, it was impossible for him to single out these simpler mathematical propositions from the rest of mathematical statements, to reserve only to them (...) a normative function. I then maintain that these mathematical examples were introduced merely as objects of comparison to bring out some peculiar features of the only hinges he countenanced in On Certainty, which were all outside the realm of mathematics. I then close by gesturing at how the distinction between mathematical hinges and non-hinges could be exemplified and by exploring its consequences with respect to philosophy of mathematics. (shrink)

In my () I argued that a central component of mathematical practice is that published proofs must be “transferable” — that is, they must be such that the author's reasons for believing the conclusion are shared directly with the reader, rather than requiring the reader to essentially rely on testimony. The goal of this paper is to explain this requirement of transferability in terms of a more general norm on defeat in mathematical reasoning that I will call “convertibility”. I begin (...) by discussing two types of epistemic defeat: “rebutting” and “undercutting”. I give examples of both of these kinds of defeat from the history of mathematics. I then argue that an important requirement in mathematics is that published proofs be detailed enough to allow the conversion of rebutting defeat into undercutting defeat. Finally, I show how this sort of convertibility explains the requirement of transferability, and contributes to the way mathematics develops by the pattern referred to by Lakatos () as “lemma incorporation”. (shrink)

In this introductory paper, I try to give an overview of the concept of normativity in its philosophical history and its contemporary interpretations and uses in different fields. From philosophy of logic and mathematics to philosophy of language and mind, and to philosophy of medicine and care, normativity is found as a key concept pointing at the possibility of scientific and technical progress and improvement of human life in the interaction between the individual and his environment.

This paper provides an analysis of the use of axioms in Banach’s Ph.D. and their role in the progression of Banach’s mathematical thought. In order to give a precise account of the role of Banach’s axioms, we distinguish two levels of activity. The first one is devoted to the overall process of creating a new theory able to answer some prescribed problems in functional analysis. The second one concentrates on the epistemological role of axioms. In particular, the notion of norm (...) completeness, as it appears in Banach’s text, can be interpreted as an epistemic linchpin between several a priori inhomogeneous domains of mathematical thought. (shrink)

We are logical pluralists who hold that the right logic is dependent on the domain of investigation; different logics for different mathematical theories. The purpose of this article is to explore the ramifications for our pluralism concerning normativity. Is there any normative role for logic, once we give up its universality? We discuss Florian Steingerger’s “Frege and Carnap on the Normativity of Logic” as a source for possible types of normativity, and then turn to our own proposal, which postulates (...) that various logics are constitutive for thought within particular practices, but none are constitutive for thought as such. (shrink)

While collaboration has always played an important role in many cases of discovery and creation, recent developments such as the web facilitate and encourage collaboration at scales never seen before, even in areas such as mathematics, where contributions by single individuals have historically been the norm. This new scenario poses a challenge at the theoretical level, as it brings out the importance of various issues which, as of yet, have not been sufficiently central to the study of problem-solving, discovery, (...) and creativity. We analyze the case of collective and web-based proof events in mathematics, which share their temporal and social nature with every case of collective problem-solving. We propose that some ideas from cognitive architectures, in particular, the notion of codelet—understood as an agent engaged in one of a multitude of available tasks—can illuminate our understanding of collective problem-solving and act as a natural bridge from some of the theoretical aspects of collective, web-based discovery to the practical concern of designing cognitively inspired systems to support collective problem-solving. We use the Pythagorean Theorem and its many proofs as a case study to illustrate our approach. (shrink)

The philosophy of mathematical practice sometimes investigates the social constitution of mathematics but does not always make explicit the philosophical-normative framework that guides the discussion. This chapter investigates some recent proposals in the philosophy of mathematical practice that compare social facts and mathematical objects, discussing similarities and differences. An attempt will be made to identify, through a comparison with three different perspectives in social ontology, the kind of objectivity attributed to mathematical knowledge, the type of representational or non-representational (...) semantics adopted, and the justificatory or coordinative role entrusted to axiomatics. After a brief introduction to key issues in social ontology, Sect. 3 of the chapter offers a survey of contributions by Feferman, Ferreirós, and Cole, highlighting a difference between approaches based on rules, practices, and intentional states, respectively. Section 4.1 also discusses results by Carter, Collin, Giardino, and Pantsar, focusing on differences between the objectivity of knowledge and objectivity of objects and showing that many authors combine a realist, structuralist, and pragmatist perspective, as well as the idea that objectivity comes in degrees. Section 4.2 focuses on the kind of semantics that is adopted in socially oriented approaches. A representational semantics is preferred by authors grounding their views on mental states, whereas a non-representational semantics best fits with views based on practices. Section 5 considers how axiomatics can be understood in a social perspective. Axiomatics generally plays a justificatory role also in theories that aim to explain the social constitution of mathematical knowledge. Yet, if one shifts from approaches based on mental states to approaches anchored on rules or habits, axiomatics can be viewed as an institution based on obligations, functions, coordination problems, and agent’s actions and roles, thus playing an organizational and coordination role. (shrink)

We introduce a framework that can be used to model both mathematics and human reasoning about mathematics. This framework involves stochastic mathematical systems (SMSs), which are stochastic processes that generate pairs of questions and associated answers (with no explicit referents). We use the SMS framework to define normative conditions for mathematical reasoning, by defining a “calibration” relation between a pair of SMSs. The first SMS is the human reasoner, and the second is an “oracle” SMS that can (...) be interpreted as deciding whether the question–answer pairs of the reasoner SMS are valid. To ground thinking, we understand the answers to questions given by this oracle to be the answers that would be given by an SMS representing the entire mathematical community in the infinite long run of the process of asking and answering questions. We then introduce a slight extension of SMSs to allow us to model both the physical universe and human reasoning about the physical universe. We then define a slightly different calibration relation appropriate for the case of scientific reasoning. In this case the first SMS represents a human scientist predicting the outcome of future experiments, while the second SMS represents the physical universe in which the scientist is embedded, with the question–answer pairs of that SMS being specifications of the experiments that will occur and the outcome of those experiments, respectively. Next we derive conditions justifying two important patterns of inference in both mathematical and scientific reasoning: (i) the practice of increasing one’s degree of belief in a claim as one observes increasingly many lines of evidence for that claim, and (ii) abduction, the practice of inferring a claim’s probability of being correct from its explanatory power with respect to some other claim that is already taken to hold for independent reasons. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:A Humanist History of Mathematics?Regiomontanus's Padua Oration in ContextJames Steven ByrneIn the spring of 1464, the German astronomer, astrologer, and mathematician Johannes Müller (1436–76), known as Regiomontanus (a Latinization of the name of his hometown, Königsberg in Franconia), offered a course of lectures on the Arabic astronomer al-Farghani at the University of Padua. The only one of these to survive is his inaugural oration on the history and (...) utility of the mathematical arts.1 Regiomontanus tells his audience that the purpose of the oration is torelate first the origin of our arts, and among which nations they first began to be cultivated, in what way they were at last translated from various foreign tongues into Latin, which of our ancestors were famed in these disciplines, and to whom in our lifetimes recognition should be granted.2To this end, he offers a history of the quadrivial arts (arithmetic, geometry, music, and astronomy) and other important mathematical disciplines from [End Page 41] antiquity to his own time, praises their utility, and exhorts his audience to revive the languishing study of mathematics at Padua. Astrology, a discipline with which Regiomontanus himself was closely associated, is singled out for particular praise.Traditionally, Regiomontanus's Padua oration has been seen through the lens of its rather obvious humanism. In particular, the Padua oration has come to be understood as the rhetorical embodiment of the fifteenth-and-sixteenth-century revival of ancient (Greek) mathematics. Just as this revival is inextricable from the rise of humanism, so Regiomontanus has come to be seen as an exemplar of humanist mathematics.3 It is the aim of this paper to examine the Padua oration in the context both of contemporary humanist rhetoric and of Regiomontanus's own intellectual background in order to argue that, while the oration is stylistically consistent with humanist norms, the vision of mathematics presented in it is also deeply grounded in the university mathematical curriculum and in Regiomontanus's own reading of mathematical texts.Regiomontanus was educated primarily at the University of Vienna (he was also briefly at the University of Leipzig), where he enrolled in 1450, completed his baccalaureate in 1452 and became a master in 1457.4 He remained at Vienna until 1461, when the death of his friend and teacher Georg Peurbach prompted him to travel to Italy with his patron, Cardinal Bessarion.5 In Regiomontanus's day Vienna was probably the most important of the German universities, rivaled only by Prague, whose prestige had declined after it was stripped of its theology faculty in the aftermath of the Hussite Wars.6 The curriculum at the University of Vienna was modeled [End Page 42] after that of Paris, and Parisian scholars played a major role both in its founding in 1365 and in its re-establishment (this time with a theology faculty) in 1384.7Most importantly for the purposes of this paper, the Viennese mathematical curriculum of Regiomontanus's day included all of the traditional authorities taught at Paris in the fourteenth century. For arithmetic and algebra, various "algorisms" (prose or poetry instructions for carrying out arithmetical operations that often also included a small amount of number theory) were the basic texts, supplemented in the fourteenth century by the Quadripartitum numerorum of Jean de Murs. Jordanus de Nemorare's De numeris datis and al-Khwarizmi's Algebra were common sources for those engaged in more advanced studies (i.e., they were not normally the subject of ordinary lectures, but were readily available to interested students, and would perhaps have been the subject of occasional extraordinary lectures). Euclid's Elements, supplemented by the commentaries of Pappus and Campanus, was the central text for geometry, and a number of medieval texts on practical and speculative geometry were in circulation as well. For astronomy, the Sphere of Sacrobosco and the Theorica planetarum were the most commonly used teaching texts, sometimes supplemented by al-Farghani's Elements of Astronomy (the subject of Regiomontanus's Padua lectures). Advanced students could read numerous more specific treatises by Arabic and Latin authors. For optics, the Perspectiva communis of John Peckham was the most common basic text, with texts... (shrink)

If we want to understand why mathematical knowledge is extraordinarily reliable, we need to consider both the nature of mathematical arguments and mathematical practice as a social practice. Mathematical knowledge is extraordinarily reliable because arguments in mathematics take the form of deductive mathematical proofs. Deductive mathematical proofs are surveyable in the sense that they can be checked step by step by different experts, and a purported proof is only accepted as a proof by the mathematical community once a number (...) of experts have checked the proof. Hence, the reliability of the body of mathematical knowledge is in part obtained through the surveyability of proofs and the social process of proof validation. This chapter reviews work relating to (1) the norm in the mathematical community of only counting as argument deductive mathematical proof, and (2) the norm of only counting as deductive mathematical proof an argument that has been confirmed to be a deductive mathematical proof by a number of experts. The chapter also presents cases of unusual mathematical proofs or arguments that challenge these norms. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Handbook of Cognitive Mathematics ed. by Marcel DanesiNathan HaydonMarcel Danesi (Ed) Handbook of Cognitive Mathematics Cham, Switzerland: Springer International, 2022, vii + 1383, including indexFor one acquainted with C.S. Peirce, it is hard to see Springer's recent Handbook of Cognitive Mathematics (editor: Marcel Danesi) through none other than a Peircean lens. Short for the cognitive science of mathematics, such a modern, scientific pursuit into (...) the nature and study of mathematical practice would no doubt be found agreeable to Peirce. The fact that references to Peirce appear often throughout the Handbook is a welcome find, with Peirce's ideas being a key subject of half a dozen chapters, and where a reader of any other chapter may well find further connections to Peirce's ideas. After spending time with the Handbook, it is clear that cognitive mathematics has not only embraced some of Pierce's ideas but may be at an important forefront of Peirce studies. In the end, the field may well be an area a Peircean should pay attention to.The book itself is pitched as a reference volume to the field (p. v) with the necessary background to familiarize oneself with the aims and results. The connection to cognitive science may call to mind detailed cognitive models [Ch. 10–14], theories on the origins of numeracy and other theories behind the biological and evolutionary requirements of mathematical thought [Ch.15–18], and the like. These are all present. But a key theme of the Handbook is to situate mathematics not just within more traditional 'cognitive' faculties and the more formal, i.e. algebraic, presentations of mathematics, but also to place mathematics within other human faculties and practices, from the arts to language [Ch. 19–22], within education and learning more broadly [Ch. 23–26], and in relation to the significant, though at first perhaps less quantitative parts of mathematics, like the use of metaphor, gesture, analogy, [End Page 243] abstraction, as well as further cultural and ethnographic considerations [Ch. 5–8]. The Handbook has explicitly taken a broader, more interdisciplinary approach (p. vi–vii) towards the scientific aspects of mathematical practice—choosing to regulate the study not by antecedently drawn opinions about what mathematics is (or has traditionally been taken to be) but by what future quantifiable and diverse study may come to bear on the practice and have to say about those engaging in it.This broad interdisciplinarity has a pragmatist ring, where theory cannot so easily be separated from the normative, social, and, more generally, the more thoroughly human aspects that we encounter and employ when we engage in it. Two further commitments of cognitive mathematics steer us even closer towards Peirce's views. The first—going back, for example, to Lakoff and Núñez's Where Mathematics Comes From (2000), which is taken to be a key early work in shaping the field—is that mathematics is taken to be a language like any other and as such must be learned and situated within our other cognitive faculties (p. vi, Ch. 4). The second—and largely, one imagines, following from a concern for seeing how mathematics is actually practiced—is that mathematics is essentially diagrammatic, involving as it does experimenting in diagrams and employing other signs (one may think here even of the mathematician sketching equations or geometric figures on a sheet of paper). What is perhaps initially most noteworthy about Peirce's philosophy of mathematics is his early concern for both these aspects of the practice.The book (more like a tome of over 1300 pages) is too large to be covered here in all its aspects, hence the review will focus on those aspects a Peircean or Pragmatist may find of interest. In particular, this review focuses on several of the themes above—situating mathematics more broadly within our everyday (cognitive) lives, the necessarily diagrammatic, fallible, and creative aspects of the practice, and, finally, what these aspects may have to say about Peirce's philosophy more generally, particularly with respect to (scientific) inquiry.A Peircean reader may well begin with Pietarinen's "Pragmaticism as Philosophy of Cognitive Mathematics" [Ch. 39] and "Peirce on Mathematical... (shrink)

The history of modern logic is usually written as the history of mathematical or, more general, symbolic logic. As such it was created by mathematicians. Not regarding its anticipations in Scholastic logic and in the rationalistic era, its continuous development began with George Boole's The Mathematical Analysis of Logic of 1847, and it became a mathematical subdiscipline in the early 20th century. This style of presentation cuts off one eminent line of development, the philosophical development of logic, although logic is (...) evidently one of the basic disciplines of philosophy. One needs only to recall some of the standard 19th century definitions of logic as, e.g., the art and science of reasoning (Whateley) or as giving the normative rules of correct reasoning (Herbart). In the paper the relationship between the philosophical and the mathematical development of logic will be discussed. Answers to the following questions will be provided: 1. What were the reasons for the philosophers' lack of interest in formal logic? 2. What were the reasons for the mathematicians' interest in logic? 3. What did "logic reform" mean in the 19th century? Were the systems of mathematical logic initially regarded as contributions to a reform of logic? 4. Was mathematical logic regarded as art, as science or as both? (shrink)

In his book On What Matters, Derek Parfit defends a version of moral non-naturalism, a view according to which there are objective normative truths, some of which are moral truths, and we have a reliable way of discovering them. These moral truths do not exist, however, as parts of the natural universe nor in Plato’s heaven. While explaining in what way these truths exist and how we discover them, Parfit makes analogies between morality on the one hand, and (...) class='Hi'>mathematics and logic on the other. Moral truths “exist” in a way that numbers exist, and we discover these truths in a similar way as we discover truths about numbers. By the end of the second volume, Parfit also responds to a powerful objection against his view, an objection based on the phenomenon of moral disagreement. If people widely and deeply disagree about what is the moral truth, it is doubtful whether we have a reliable way of discovering it. In his reply, he claims that in ideal conditions for thinking about moral questions, we would all have sufficiently similar moral beliefs. However, we often find ourselves in less-than-ideal conditions due to various factors that distort our ability to agree. Therefore, differences in moral opinion can be expected. In this paper, I draw a connection between these parts of Parfit’s theory and comment on them. Firstly, I argue that Parfit’s analogy with mathematics and logic and his answer to the disagreement objection are in tension because there are important epistemic differences between morality and these fields. If one would try to account for the differences, one would have to sacrifice some measure of similarity between morality and them. Secondly, I comment on Parfit’s reply to the disagreement objection itself. I believe that, although his description of ideal conditions has some potential for reaching moral agreement, it may be difficult to tell if ideal conditions prevail. This obscurity spells further trouble for Parfit’s overall theory. (shrink)

This editorial, introducing the Journal for Theoretical & Marginal Mathematics Education, is historically situated in a moment when the field of mathematics education research is on the precipice of acknowledging that the old world is dying. That is to say, the way research has been done before is no longer adequate for operating within the White, Colonial, cis-hetero Patriarchal, Abled Capitalist dystopia we find ourselves. This inadequacy is, however, not a reason for despair but instead for celebration. Instead (...) of directing our resources towards reifying existing norms and structures, towards adopting exhausted methods and theories—as is the way of the old world—we can instead foster a ‘new aesthetics’ of mathematics education research, wherein we remake the very material that constitutes mathematics education research itself. In doing so, we engage with the politics of the margins of mathematics education research. We discuss the critical, philosophical, and psychoanalytic as three potential, but non-exhaustive, departures from mathematics education research as it has been. Each of these marginal approaches, in their own way, points to the ways that presuming a fixed mathematics education research enacts exclusionary politics and precludes change. Let this be our manifesto, written from the margins, for a more root-grasping, more self-reflective, and freer mathematics education research. (shrink)

Contemporary philosophy often chants the mantra, ‘Philosophy is continuous with science.’ Now Shepanski gives it a clear sense, by extracting from W. V. Quine’s writings an explicit normative epistemology – i.e. an explicit set of norms for theorizing – that applies to philosophy and science alike. It is recognizably a version of empiricism, yet it permits the kind of philosophical theorizing that Quine practised all his life. Indeed, it is that practice, more than any overt avowals, that justifies attributing (...) this set of norms to Quine. -/- The Quinean epistemology is supported by a metaphilosophy that judges epistemologies by the tenability of their consequences. Shepanski explores the Quinean epistemology’s consequences for inductive and abductive inference, for mathematical entities, for science and for common sense. Moreover, he finds that it continues to be fruitful, as illustrated by a case study in which Quinean methods lead to a new formal treatment of the propositional attitudes. Finally, there is critical discussion of popular alternative views, including foundationalism, the centrality of knowledge, and Quine’s own epistemological naturalism. -/- By focusing on Quine’s normative epistemology, Shepanski illuminates a part of Quine’s thought that has hitherto been insufficiently discussed, and provides a tractable starting point for readers who are new to Quine. Most importantly, he isolates the part of Quine’s thought that has the greatest potential impact outside epistemology, outside philosophy of language, and even outside philosophy. (shrink)