Conjoining Mathematical Empiricism with Mathematical Realism: Maddy’s Account of Set Perception Revisited

Penelope Maddy’s original solution to the dilemma posed by Benacerraf in his (1973) ‘Mathematical Truth’ was to reconcile mathematical empiricism with mathematical realism by arguing that we can perceive realistically construed sets. Though her hypothesis has attracted considerable critical attention, much of it, in my view, misses the point. In this paper I vigorously defend Maddy’s (1990) account against published criticisms, not because I think it is true, but because these criticisms have functioned to obscure a more fundamental issue that is well worth addressing: in general – and not only in the mathematical domain – empiricism and realism simply cannot be reconciled by means of an account of perception anything like Maddy’s. But because Maddy’s account of perception is so plausible, this conclusion raises the specter of the broader incompatibility of realism and empiricism, which contemporary philosophers are frequently at pains to forget.     

Wigner’s Puzzle for Mathematical Naturalism

I argue that a recent version of the doctrine of mathematical naturalism faces difficulties arising in connection with Wigner’s old puzzle about the applicability of mathematics to natural science. I discuss the strategies to solve the puzzle and I show that they may not be available to the naturalist.     

A Critique of Resnik’s Mathematical Realism

This paper attempts to motivate skepticism about the reality of mathematical objects. The aim of the paper is not to provide a general critique of mathematical realism, but to demonstrate the insufficiency of the arguments advanced by Michael Resnik. I argue that Resnik’s use of the concept of immanent truth is inconsistent with the treatment of mathematical objects as ontologically and epistemically continuous with the objects posited by the natural sciences. In addition, Resnik’s structuralist program, and his denial of relational properties, is incompatible with a realist metaphysics about mathematical objects.     

Are Mathematical Theories Reducible to Non-analytic Foundations?

In this article I intend to show that certain aspects of the axiomatical structure of mathematical theories can be, by a phenomenologically motivated approach, reduced to two distinct types of idealization, the first-level idealization associated with the concrete intuition of the objects of mathematical theories as discrete, finite sign-configurations and the second-level idealization associated with the intuition of infinite mathematical objects as extensions over constituted temporality. This is the main standpoint from which I review Cantor’s conception of infinite cardinalities and also the metatheoretical content of some later well-known theorems of mathematical foundations. These are, the Skolem-Löwenheim Theorem which, except for its importance as such, it is also chosen for an interpretation of the associated metatheoretical paradox (Skolem Paradox), and Gödel’s (first) incompleteness result which, notwithstanding its obvious influence in the mathematical foundations, is still open to philosophical inquiry. On the phenomenological level, first-level and second-level idealizations, as above, are associated respectively with intentional acts carried out in actual present and with certain modes of a temporal constitution process.     

Do Ante Rem Mathematical Structures Instantiate Themselves?

Ante rem structuralists claim that mathematical objects are places in ante rem structural universals. They also hold that the places in these structural universals instantiate themselves. This paper is an investigation of this self-instantiation thesis. I begin by pointing out that this thesis is of central importance: unless the places of a mathematical structure, such as the places of the natural number structure, themselves instantiate the structure, they cannot have any arithmetical properties. But if places do not have arithmetical properties, then they cannot be the natural numbers. The self-instantiation thesis turns out to be crucial for the identification of mathematical objects with places in structures. Unfortunately, we have no reason to believe that the self-instantiation thesis is true.     

Mathematical logic in the soviet union, 1917–1980

This essay describes a variety of contributions which relate to the connection of probability with logic. Some are grand attempts at providing a logical foundation for probability and inductive inference. Others are concerned with probabilistic inference or, more generally, with the transmittance of probability through the structure (logical syntax) of language. In this latter context probability is considered as a semantic notion playing the same role as does truth value in conventional logic. At the conclusion of the essay two fully elaborated semantically based constructions of probability logic are presented.     

Graham Priest's Mathematical Analysis of the Concept of Emptiness†

In his article ‘The Structure of Emptiness’ (cf. Priest 2009 Priest, G. 2009. ‘The structure of emptiness’, Philosophy East and West, 59 (4), 467–80. doi: 10.1353/pew.0.0069[Crossref], [Web of Science ®] , [Google Scholar]) Graham Priest examines the concept of emptiness in the Mādhyamaka school of Nāgārjuna and his commentators Candrakī?rti and Tsongkhapa from a mathematical point of view. The approach attempted in this article does not involve any commitment to Priest's more controversial dialethic Mādhyamaka interpretation. The purpose of the present paper is to explain Priest's sketchy but very insightful interpretation of objects as non-well-founded sets in greater detail. Some problems concerning his idea to model the Mādhyamaka claim of the emptiness of emptiness by means of this kind of framework will be noted. Moreover, we will also discuss the possibility to represent the Mādhyamika's denial of the existence of irreducible constituents of empirical reality within a well-founded system of set theory. Finally, some slight mistakes in Priest's mathematical construction need to be pointed out.     

On Certainty,Change, and “Mathematical Hinges”

Annalisa Coliva (Int J Study Skept 10(3–4):346–366, 2020) asks, “Are there mathematical hinges?” I argue here, against Coliva’s own conclusion, that there are. I further claim that this affirmative answer allows a case to be made for taking the concept of a hinge to be a useful and general-purpose tool for studying mathematical practice in its real complexity. Seeing how Wittgenstein can, and why he would, countenance mathematical hinges additionally gives us a deeper understanding of some of his latest thoughts on mathematics. For example, a view of how mathematical hinges relate to Wittgenstein’s well-known river-bed analogy enables us to see how his way of thinking about mathematics can account nicely for a “dynamics of change” within mathematical research—something his philosophy of mathematics has been accused of missing (e.g., by Robert Ackermann (Wittgenstein’s city, The University of Massachusetts Press, Amherst, 1988) and Mark Wilson (Wandering significance: an essay on conceptual behavior, Oxford University Press, Oxford, 2006). Finally, the perspective on mathematical hinges ultimately arrived at will be seen to provide us with illuminating examples of how our conceptual choices and theories can be ungrounded but nevertheless the right ones (in a sense to be explained).

     

Mathematical Fuzzy Logic – What It Can Learn from Mostowski and Rasiowa

Important works of Mostowski and Rasiowa dealing with many-valued logic are analyzed from the point of view of contemporary mathematical fuzzy logic.A version of this paper has been presented during the conference Trends in Logic III, dedicated to the memory of A. MOSTOWSKI, H. RASIOWA and C. RAUSZER, and held in Warsaw and Ruciane-Nida from 23rd to 25th September 2005.     

A Developing Approach to Studying Students’ Learning through Their Mathematical Activity

We discuss an emerging program of research on a particular aspect of mathematics learning, students’ learning through their own mathematical activity as they engage in particular mathematical tasks. Prior research in mathematics education has characterized learning trajectories of students by specifying a series of conceptual steps through which students pass in the context of particular instructional approaches or learning environments. Generally missing from the literature is research that examines the process by which students progress from one of these conceptual steps to a subsequent one. We provide a conceptualization of a program of research designed to elucidate students’ learning processes and describe an emerging methodology for this work. We present data and analysis from an initial teaching experiment that illustrates the methodology and demonstrates the learning that can be fostered using the approach, the data that can be generated, and the analyses that can be done. The approach involves the use of a carefully designed sequence of mathematical tasks intended to promote particular activity that is expected to result in a new concept. Through analysis of students’ activity in the context of the task sequence, accounts of students’ learning processes are developed. Ultimately a large set of such accounts would allow for a cross-account analysis aimed at articulating mechanisms of learning.     

Curves in Gödel-Space: Towards a Structuralist Ontology of Mathematical Signs

I propose an account of the metaphysics of the expressions of a mathematical language which brings together the structuralist construal of a mathematical object as a place in a structure, the semantic notion of indexicality and Kit Fine’s ontological theory of qua objects. By contrasting this indexical qua objects account with several other accounts of the metaphysics of mathematical expressions, I show that it does justice both to the abstractness that mathematical expressions have because they are mathematical objects and to the element of concreteness that they have because they are also used as signs. In a concluding section, I comment on the pragmatic element that has entered ontology by way of the notion of indexicality and use it to give an answer to a question Stewart Shapiro has recently posed about the status of meta-mathematics in the structuralist philosophy of mathematics.     

What is the Basis for Self-assessment of Comprehension when Reading Mathematical Expository Texts?

The purpose of this study was to characterize students’ self-assessments when reading mathematical texts, in particular regarding what students use as a basis for evaluations of their own reading comprehension. A total of 91 students read two mathematical texts, and for each text, they performed a self-assessment of their comprehension and completed a test of reading comprehension. Students’ self-assessments were to a lesser degree based on their comprehension of the specific text read but based more on prior experiences. However, the study also produced different results for different types of texts and for different components (or levels) of reading comprehension.     

Mathematical models in Newton's Principia: A new view of the ‘Newtonian Style’

In this essay I argue against I. Bernard Cohen's influential account of Newton's methodology in the Principia: the ‘Newtonian Style’. The crux of Cohen's account is the successive adaptation of ‘mental constructs’ through comparisons with nature. In Cohen's view there is a direct dynamic between the mental constructs and physical systems. I argue that his account is essentially hypothetical‐deductive, which is at odds with Newton's rejection of the hypothetical‐deductive method. An adequate account of Newton's methodology needs to show how Newton's method proceeds differently from the hypothetical‐deductive method. In the constructive part I argue for my own account, which is model based: it focuses on how Newton constructed his models in Book I of the Principia. I will show that Newton understood Book I as an exercise in determining the mathematical consequences of certain force functions. The growing complexity of Newton's models is a result of exploring increasingly complex force functions (intra‐theoretical dynamics) rather than a successive comparison with nature (extra‐theoretical dynamics). Nature did not enter the scene here. This intra‐theoretical dynamics is related to the ‘autonomy of the models’.     

‘Women are Bad at Math,but I'm Not,am I?’ Fragile Mathematical Self‐concept Predicts Vulnerability to a Stereotype Threat Effect on Mathematical Performance

The present research reports the results of three studies showing that individuals with a fragile self‐concept in the domain of performance are particularly vulnerable to stereotype threat effects. Specifically, women who explicitly described themselves as rather mathematical but whose implicit self‐concepts contradicted these claims were vulnerable to stereotype threat effects on mathematical performance. This effect was robust across three studies, independent of the subtleness or content of the stereotype threat manipulation. Additionally, it was shown that the effect was mediated by anxious worrying (Study 3). Copyright © 2012 John Wiley & Sons, Ltd.     

Why do Mathematicians Need Different Ways of Presenting Mathematical Objects? The Case of Cayley Graphs

This paper investigates the role of pictures in mathematics in the particular case of Cayley graphs—the graphic representations of groups. I shall argue that their principal function in that theory—to provide insight into the abstract structure of groups—is performed employing their visual aspect. I suggest that the application of a visual graph theory in the purely non-visual theory of groups resulted in a new effective approach in which pictures have an essential role. Cayley graphs were initially developed as exact mathematical constructions. Therefore, they are legitimate components of the theory (combinatorial and geometric group theory) and the pictures of Cayley graphs are a part of practical mathematical procedures.     

Quantifying Inner Experience?—Kant's Mathematical Principles in the Context of Empirical Psychology

This paper shows why Kant's critique of empirical psychology should not be read as a scathing criticism of quantitative scientific psychology, but has valuable lessons to teach in support of it. By analysing Kant's alleged objections in the light of his critical theory of cognition, it provides a fresh look at the problem of quantifying first‐person experiences, such as emotions and sense‐perceptions. An in‐depth discussion of applying the mathematical principles, which are defined in the Critique of Pure Reason as the constitutive conditions for mathematical‐numerical experience in general, to inner sense will demonstrate why it is in principle possible to justify a quantitative structure of psychological judgments on the grounds of Kant's critical thinking. In conclusion, it will propose how Kant's critique could be used in a constructive way to develop first steps towards a transcendental foundation of psychological knowledge.