Michael Resnik, the founder of modern structuralism in the philosophy of mathematics, changed his views and proposed a new non-ontological structuralism. Resnik is considered a prominent figure in modern structuralism within the realm of contemporary philosophy of mathematics, and his sui generis structuralism is regarded as one of the most significant and frequently discussed positions in the field. This article examines the motivations behind Resnik’s change of perspective. His new position is presented in (...) detail, and an attempt is made to contrast it with selected views in the philosophy of mathematics. The discussion is conducted in the context of the Frege-Hilbert Controversy, which centers on the status of mathematical theory axioms and the meaning attributed to primary terms. The three-stage concept of the development of deductive sciences, proposed by Kazimierz Ajdukiewicz, is also introduced. This concept, inspired by Hilbert’s ideas, outlines three stages in the evolution of deductive theories: (1) pre-axiomatic deductive, (2) axiomatic deductive, (3) abstract axiomatic. Each of these stages possesses unique characteristics that illuminate the nature of deductive theories, particularly in relation to the approach to sets of axioms and primary terms within these theories. Additionally, two styles of practicing deductive theories (assertive and hypothetical) are discussed. Ultimately, an exploration of Resnik’s non-ontological structuralism provides insight into how this novel structuralist concept should be understood and clarifies the author’s actual claims. Alongside these distinctions, a new conception of hypothetical structuralism, distinct from non-ontological structuralism, is formulated. This novel structuralism is rooted in the hypothetical approach to practicing deductive theories. (shrink)

ABSTRACT Historical structuralist views have been ontological. They either deny that there are any mathematical objects or they maintain that mathematical objects are structures or positions in them. Non-ontological structuralism offers no account of the nature of mathematical objects. My own structuralism has evolved from an early sui generis version to a non-ontological version that embraces Quine’s doctrine of ontological relativity. In this paper I further develop and explain this view.

M. Resnik (2019) suggests a new version of structuralism which he calls non-ontological structuralism. In the present short article I discuss this view-point in the context of the Frege-Hilbert controversy about meaning of primitive notions in deductive theory, with special regard to the original views of K. Ajdukiewicz, Hilbert’s student. Following the proposed differentiations, I introduce a new type of structuralism which I call hypothetical structuralism, close to Resnik’s non-ontological structuralism.

What is mathematics about? Does the subject-matter of mathematics exist independently of the mind or are they mental constructions? How do we know mathematics? Is mathematical knowledge logical knowledge? And how is mathematics applied to the material world? In this introduction to the philosophy of mathematics, Michele Friend examines these and other ontological and epistemological problems raised by the content and practice of mathematics. Aimed at a readership with limited proficiency in mathematics but with some experience of formal (...) logic it seeks to strike a balance between conceptual accessibility and correct representation of the issues. Friend examines the standard theories of mathematics - Platonism, realism, logicism, formalism, constructivism and structuralism - as well as some less standard theories such as psychologism, fictionalism and Meinongian philosophy of mathematics. In each case Friend explains what characterises the position and where the divisions between them lie, including some of the arguments in favour and against each. This book also explores particular questions that occupy present-day philosophers and mathematicians such as the problem of infinity, mathematical intuition and the relationship, if any, between the philosophy of mathematics and the practice of mathematics. Taking in the canonical ideas of Aristotle, Kant, Frege and Whitehead and Russell as well as the challenging and innovative work of recent philosophers like Benacerraf, Hellman, Maddy and Shapiro, Friend provides a balanced and accessible introduction suitable for upper-level undergraduate courses and the non-specialist. (shrink)

Structuralism, the view that mathematics is the science of structures, can be characterized as a philosophical response to a general structural turn in modern mathematics. Structuralists aim to understand the ontological, epistemological, and semantical implications of this structural approach in mathematics. Theories of structuralism began to develop following the publication of Paul Benacerraf’s paper ‘What numbers could not be’ in 1965. These theories include non-eliminative approaches, formulated in a background ontology of sui generis structures, such as Stewart (...) Shapiro’s ante rem structuralism and Michael Resnik’s pattern structuralism. In contrast, there are also eliminativist accounts of structuralism, such as Geoffrey Hellman’s modal structuralism, which avoids sui generis structures. These research projects have guided a more systematic focus on philosophical topics related to mathematical structuralism, including the identity criteria for objects in structures, dependence relations between objects and structures, and also, more recently, structural abstraction principles. Parallel to these developments are approaches that describe mathematical structure in category-theoretic terms. Category-theoretic approaches have been further developed using tools from homotopy type theory. Here we find a strong relationship between mathematical structuralism and the univalent foundations project, an approach to the foundations of mathematics based on higher category theory. (shrink)

Moving beyond both realist and anti-realist accounts of mathematics, Shapiro articulates a "structuralist" approach, arguing that the subject matter of a mathematical theory is not a fixed domain of numbers that exist independent of each other, but rather is the natural structure, the pattern common to any system of objects that has an initial object and successor relation satisfying the induction principle.

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)

I explore the relation between structuralism and other theses that I have presented in the rest of the book, in particular, my holism, realism about mathematical objects, and the disquotational account of truth. In developing my theory, I have claimed that there is no fact of the matter as to whether the patterns that the various mathematical theories describe are themselves mathematical objects, so I first try to explain what the locution ‘there is no fact of the matter’ means. (...) Next, I discuss the relativity of key structuralist concepts like sub‐pattern and pattern equivalence, and then explore the possibility of formulating structuralist versions of mathematical theories. Even if my holism precludes me from drawing a sharp distinction between philosophy and science I do not regard my structuralism as a mathematical theory but rather as a philosophical account of mathematics that tries to achieve a deeper understanding of the epistemology and ontology of mathematics. My structuralism is epistemic rather than ontic because it is not an ontological reduction or a foundation for mathematics but a philosophical view about the nature of its objects. So when it is combined with realism concerning mathematical objects, it need not commit one to the existence of structures. (shrink)

My aim in this chapter is to extend the Realist account of the foundations of linguistics offered by Postal, Katz and others. I first argue against the idea that naive Platonism can capture the necessary requirements on what I call a ‘mixed realist’ view of linguistics, which takes aspects of Platonism, Nominalism and Mentalism into consideration. I then advocate three desiderata for an appropriate ‘mixed realist’ account of linguistic ontology and foundations, namely (1) linguistic creativity and infinity, (2) linguistics as (...) a theory of types (and not tokens) and (3) independence but structural respect between language and the linguistic competence thereof. My own brand of mixed realism, what I call ante rem realism, is defended along the lines of an ante rem or non-eliminative structuralism, the likes of which has been offered for mathematics by Resnik (1997) and Shapiro (1997). In other words, grammars describe a mind-independent (but not necessarily unconnected) linguistic reality in terms of linguistic patterns or structures also known as natural languages. I further amend this picture to allow for the possibility of a naturalistic account of language acquisition and evolution by arguing against a particular view of the type-token distinction. (shrink)

In Science without numbers Hartry Field attempted to formulate a nominalist version of Newtonian physics?one free of ontic commitment to numbers, functions or sets?sufficiently strong to have the standard platonist version as a conservative extension. However, when uses for abstract entities kept popping up like hydra heads, Field enriched his logic to avoid them. This paper reviews some of Field's attempts to deflate his ontology by inflating his logic.

Mathematics is one of the most successful human endeavors—a paradigm of precision and objectivity. It is also one of our most puzzling endeavors, as it seems to deliver non-experiential knowledge of a non-physical reality consisting of numbers, sets, and functions. How can the success and objectivity of mathematics be reconciled with its puzzling features, which seem to set it apart from all the usual empirical sciences? This book offers a short but systematic introduction to the philosophy of mathematics. Readers (...) are introduced to all of the classical approaches to the field, including logicism, formalism, intuitionism, empiricism, and structuralism. The book also contains accessible introductions to some more specialized issues, such as mathematical intuition, potential infinity, the iterative conception of sets, and the search for new mathematical axioms. The exposition is always closely informed by ongoing research in the field and sometimes draws on the author’s own contributions to this research. This means that Gottlob Frege—a German mathematician and philosopher widely recognized as one of the founders of analytic philosophy—figures prominently in the book, both through his own views and his criticism of other thinkers. (shrink)

Linnebo and Pettigrew have recently developed a version of non-eliminative mathematical structuralism based on Fregean abstraction principles. They recognize that this version of structuralism is vulnerable to the well-known problem of non-rigid structures. This paper offers a solution to the problem for this version of structuralism. The solution involves expanding the languages used to describe mathematical structures. We then argue that this solution is philosophically acceptable to those who endorse mathematical structuralism based on Fregean abstraction principles.

What is the ontological status of mathematical structures? Michael Resnic, Stewart Shapiro and Gianluigi Oliveri, are contemporaries of American philosophers on mathematics, they give Platonic answers on this question.

Mathematical objects, if they exist at all, exist independently of our proofs, constructions and stipulations. For example, whether inaccessible cardinals exist or not, the very act of our proving or postulating that they do doesn’t make it so. This independence thesis is a central claim of mathematical realism. It is also one that many anti-realists acknowledge too. For they agree that we cannot create mathematical truths or objects, though, to be sure, they deny that mathematical objects exist at all. I (...) have defended a mathematical realism of sorts. I interpret the objects of mathematics as positions in patterns, and maintain that they exist independently of us, and our stipulations, proofs, and the like. (shrink)

Mathematics as a Science of Patterns is the definitive exposition of a system of ideas about the nature of mathematics which Michael Resnik has been elaborating for a number of years. In calling mathematics a science he implies that it has a factual subject-matter and that mathematical knowledge is on a par with other scientific knowledge; in calling it a science of patterns he expresses his commitment to a structuralist philosophy of mathematics. He links this to a defence of (...) realism about the metaphysics of mathematics--the view that mathematics is about things that really exist. Resnik's distinctive philosophy of mathematics is here presented in an accessible and systematic form: it will be of value not only to specialists in this area, but to philosophers, mathematicians, and logicians interested in the relationship between these three disciplines, or in truth, realism, and epistemology. (shrink)

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. (shrink)

The present paper concerns the Wittgenstein ontology project: an attempt to create a Semantic Web representation of Ludwig Wittgenstein’s philosophy. The project has been in development since 2006, and its current state enables users to search for information about Wittgenstein-related documents and the documents themselves. However, the developers have much more ambitious goals: they attempt to provide a philosophical subject matter knowledge base that would comprise the claims and concepts formulated by the philosopher. The current knowledge representation technology is (...) not well-suited for this task, and a non-standard approach is required. The creators of the Wittgenstein ontology project are aware of this fact; recently, they have been discussing conceptual devices adjusting the technology to their needs. The main goal of this paper is to present examples of a representation of philosophical content that make use of both the devices already proposed and some new inventions. The represented content comes from the Tractatus Logico-Philosophicus; more specifically, its theses concerning the problems in philosophy of mathematics. (shrink)

This book expounds a system of ideas about the nature of mathematics which Michael Resnik has been elaborating for a number of years. In calling mathematics a science he implies that it has a factual subject-matter and that mathematical knowledge is on a par with other scientific knowledge; in calling it a science of patterns he expresses his commitment to a structuralist philosophy of mathematics. He links this to a defense of realism about the metaphysics of mathematics--the view that (...) mathematics is about things that really exist. (shrink)

This chapter contains sections titled: Introduction Platonism in Mathematics Nominalism in Mathematics Conclusion References.

This paper defends a conceptualistic version of structuralism as the most convincing way of elaborating a philosophical understanding of structuralism in line with the classical tradition. The argument begins with a revision of the tradition of “conceptual mathematics”, incarnated in key figures of the period 1850 to 1940 like Riemann, Dedekind, Hilbert or Noether, showing how it led to a structuralist methodology. Then the tension between the ‘presuppositionless’ approach of those authors, and the platonism of some recent versions (...) of philosophical structuralism, is presented. In order to resolve this tension, we argue for the idea of ‘logical objects’ as a form of minimalist realism, again in the tradition of classical authors including Peirce and Cassirer, and we introduce the basic tenets of conceptual structuralism. The remainder of the paper is devoted to an open discussion of the assumptions behind conceptual structuralism, and—most importantly—an argument to show how the objectivity of mathematics can be explained from the adopted standpoint. This includes the idea that advanced mathematics builds on hypothetical assumptions (Riemann, Peirce, and others), which is presented and discussed in some detail. Finally, the ensuing notion of objectivity is interpreted as a form of particularly robust intersubjectivity, and it is distinguished from fictional or social ontology. (shrink)

Among the main concerns of 20th century philosophy was that of the foundations of mathematics. But usually not recognized is the relevance of the choice of a foundational approach to the other main problems of 20th century philosophy, i.e., the logical structure of language, the nature of scientific theories, and the architecture of the mind. The tools used to deal with the difficulties inherent in such problems have largely relied on set theory and its “received view”. There are (...) specific issues, in philosophy of language, epistemology and philosophy of mind, where this dependence turns out to be misleading. The same issues suggest the gain in understanding coming from category theory, which is, therefore, more than just the source of a “non-standard” approach to the foundations of mathematics. But, even so conceived, it is the very notion of what a foundation has to be that is called into question. The philosophical meaning of mathematics is no longer confined to which first principles are assumed and which “ontological” interpretation is given to them in terms of some possibly updated version of logicism, formalism or intuitionism. What is central to any foundational project proper is the role of universal constructions that serve to unify the different branches of mathematics, as already made clear in 1969 by Lawvere. Such universal constructions are best expressed by means of adjoint functors and representability up to isomorphism. In this lies the relevance of a category-theoretic perspective, which leads to wide-ranging consequences. One such is the presence of functorial constraints on the syntax–semantics relationships; another is an intrinsic view of (constructive) logic, as arises in topoi and, subsequently, in more general fibrations. But as soon as theories and their models are described accordingly, a new look at the main problems of 20th century’s philosophy becomes possible. The lack of any satisfactory solution to these problems in a purely logical and set-theoretic setting is the result of too circumscribed an approach, such as a static and punctiform view of objects and their elements, and a misconception of geometry and its historical changes before, during, and after the foundational “crisis”, as if algebraic geometry and synthetic differential geometry – not to mention algebraic topology – were secondary sources for what concerns foundational issues. The objectivity of basic geometrical intuitions also acts against the recent version of structuralism proposed as ‘the’ philosophy of category theory. On the other hand, the need for a consistent and adequate conceptual framework in facing the difficulties met by pre-categorical theories of language and scientific knowledge not only provides the basic concepts of category theory with specific applications but also suggests further directions for their development (e.g., in approaching the foundations of physics or the mathematical models in the cognitive sciences). This ‘virtuous’ circle is by now largely admitted in theoretical computer science; the time is ripe to realise that the same holds for classical topics of philosophy. (shrink)

In this book a non-realist philosophy of mathematics is presented. Two ideas are essential to its conception. These ideas are (i) that pure mathematics--taken in isolation from the use of mathematical signs in empirical judgement--is an activity for which a formalist account is roughly correct, and (ii) that mathematical signs nonetheless have a sense, but only in and through belonging to a system of signs with empirical application. This conception is argued by the two authors and is critically discussed (...) by three philosophers of mathematics. (shrink)

In this paper I argue for the view that structuralism offers the best perspective for an acceptable account of the applicability of mathematics in the empirical sciences. Structuralism, as I understand it, is the view that mathematics is not the science of a particular type of objects, but of structural properties of arbitrary domains of entities, regardless of whether they are actually existing, merely presupposed or only intentionally intended.

This paper argues against Logical Realism, in particular against the view that there are facts of matters of logic that obtain independently of us, our linguistic conventions and inferential practices. The paper challenges logical realists to provide a non-intuition based epistemology, one which would be compatible with the empiricist and naturalist convictions motivating much recent anti-realist philosophy of mathematics.

The various papers and short "discussions" contained in this latest addition to the "Studies in Logic" series were presented at the 1965 International Colloquium in the Philosophy of Science, in London. Of the nine "problems" considered in this symposium, seven have directly to do with philosophy, one is an historical study of the origins of Euclid's axiomatics, and the last is an interesting—if one-sided—discussion of the "new math" controversy in the pre-college curriculum. Happily, this book demonstrates that the (...) important issues in the philosophy of mathematics somewhat outrun the usual ism-mongering debate between representatives of various schools. Unhappily, it also demonstrates that a good deal of undeserving material seems to find its way between the covers of scholarly books. After reading certain of the articles in this volume one is left with the feeling that the authors have not come to grips with the issues which they raise, that a lot of effort has been expended on peripheral matters, and that, in some instances, a sledge hammer has been brought down upon an egg. Abraham Robinson's article, "The Metaphysics of the Calculus," deals with a series of important linguistic and ontological problems concerning the foundations of analysis. Moreover, these are problems which can no longer be ignored, especially in view of the evolution of non-standard analysis. But, unfortunately, the interested reader would do far better to turn to Robinson's recent book on the subject, and pay special attention to the second, third, and last chapters therein. "On a Fregean Dogma" by Fred Sommers gives a rather curious non-quantificational algorithm for the monadic fragment of syllogistic. This Sommers does in the interest of "a conservative effort to restore categorical statements to predicative status." Despite the heat and the occasional interesting remarks which the discussion generated, one is inclined to ask, "So what?" The sequence of three papers by Mostowski, Bernays, and Körner is best considered as a group, since each of these is concerned with the philosophical significance of recent results in set theory and logic. Students of the philosophy of mathematics would do well to read this part of the book very carefully, although one wishes that the authors would elaborate a bit on their specific philosophical views. Finally, there is Georg Kreisel's difficult and amazing paper, "Informal Rigor and Completeness Proofs," in which is presented a mathematical treatment of the problem of selecting the primitive rules and concepts of mathematical systems. Kreisel's ideas are refreshing, unorthodox, dubious, and a genuine contribution to the philosophy of mathematics. In sum, this book is a mixed bag, uneven in the quality of its contents, but worth reading.—H. P. K. (shrink)

This volume covers a wide range of topics in the most recent debates in the philosophy of mathematics, and is dedicated to how semantic, epistemological, ontological and logical issues interact in the attempt to give a satisfactory picture of mathematical knowledge. The essays collected here explore the semantic and epistemic problems raised by different kinds of mathematical objects, by their characterization in terms of axiomatic theories, and by the objectivity of both pure and applied mathematics. They investigate controversial (...) aspects of contemporary theories such as neo-logicist abstractionism, structuralism, or multiversism about sets, by discussing different conceptions of mathematical realism and rival relativistic views on the mathematical universe. They consider fundamental philosophical notions such as set, cardinal number, truth, ground, finiteness and infinity, examining how their informal conceptions can best be captured in formal theories. The philosophy of mathematics is an extremely lively field of inquiry, with extensive reaches in disciplines such as logic and philosophy of logic, semantics, ontology, epistemology, cognitive sciences, as well as history and philosophy of mathematics and science. By bringing together well-known scholars and younger researchers, the essays in this collection – prompted by the meetings of the Italian Network for the Philosophy of Mathematics (FilMat) – show how much valuable research is currently being pursued in this area, and how many roads ahead are still open for promising solutions to long-standing philosophical concerns. Promoted by the Italian Network for the Philosophy of Mathematics – FilMat. (shrink)

The author reviews and summarizes, in as jargon-free way as he is capable of, the form of anti-platonist anti-nominalism he has previously developed in works since the 1980s, and considers what additions and amendments are called for in the light of such recently much-discussed views on the existence and nature of mathematical objects as those known as hyperintensional metaphysics, natural language ontology, and mathematical structuralism.

This compact volume, belonging to the Cambridge Elements series, is a useful introduction to some of the most fundamental questions of philosophy and foundations of mathematics. What really distinguishes realist and platonist views of mathematics from anti-platonist views, including fictionalist and nominalist and modal-structuralist views?1 They seem to confront similar problems of justification, presenting tradeoffs between which it is difficult to adjudicate. For example, how do we gain access to the abstract posits of platonist accounts of arithmetic, analysis, geometry, (...) etc., including numbers, functions, sets, points, lines, spaces, etc., whether it be such objects themselves or the possibilities of such, as postulated by modal and modal structural accounts?2 What real difference does it make, whether it be the existence of such things or the mathematical possibility of such things? Even fictionalist views seem to confront analogous problems. After all, we rely on mathematics for myriad scientific applications; so such mathematics had better at least be coherent, even if not true. But coherence requires at least formal consistency; so we seem implicitly to be committed to things like formal derivations, viz. the absence of any such having contradictory consequences, framed within the appropriate system of axioms and rules. But derivations are themselves akin to mathematical objects, as derivations are strings of strings of symbols. Moreover, derivations provided by axioms and rules form an infinite class, such that, at any future time, infinitely many will not have been written down. Moreover, such strings, as Gödel famously showed, can be coded as natural numbers. Thus, even fictionalist accounts (such as that of Field in his Science without Numbers [2016]) seem to confront problems very much like those plaguing platonist accounts. (shrink)

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. (shrink)

Haskell Curry’s philosophy of mathematics is really a form of “structuralism” rather than “formalism” despite Curry’s own description of it as formalist (Seldin 2011). This paper explains Curry’s actual view by a formal analysis of a simple example. This analysis is extended to solve Keränen’s (2001) identity problem for structuralism, confirming Leitgeb’s (2020a, b) solution, and further clarifies structural ontology. Curry’s methods answer philosophical questions by employing a standard mathematical method, which is a virtue of the “methodological (...) autonomy” emphasized by Curry (1951, 1963) and more recently with greater clarity by Maddy (1997, 2007). (shrink)

The chapter presents a largely sympathetic account of W. V. O. Quine’s account of mathematics and logic. The themes of naturalism, confirmational holism, and ontological relativity are discussed in detail, along with the indispensability argument for the truth of mathematical theories and the existence of mathematical objects.

FAR FROM BEING A PURELY ESOTERIC CONCERN of theoretical mathematicians, the examination of the ontological status of mathematical entities, I submit, has far-reaching implications for a very practical area of knowledge, namely, the method of science in general, and of physics in particular. Although physics and mathematics have since Newton's second derivative been inextricably wedded, modern physics has a particularly mathematical dependence. Physics has moved and continues to move further away from the possibility of direct empirical verification, primarily because (...) of the increasingly complex logistical problems of experimentation within the parameters of the very large and of the very small. As certain areas become more and more theoretical, with developments of this century in astrophysics, cosmology, and quantum mechanics, and more specifically, with the postulation of new hypothetical elementary particles based almost exclusively upon mathematical data, physics is forced to depend increasingly upon mathematics as a method for verifying physical possibility. Typically, a mathematical formulation descriptive of an empirically established phenomenon x is manipulated and made subject to derivation on the assumption that the new formulation will continue to correspond with physical reality, and may even yield new information about the phenomenon's behavior. Why, however, should a coherence between the empirically-defined world and mathematical processes be assumed? This coherence is, above all, dependent upon a hidden metaphysically strong presupposition about the ontological status of mathematical entities and their systems. (shrink)

What and how should individuals resist in political situations? While this question, or versions of it, recurs regularly within Western political philosophy, answers to it have often relied on dyads founded upon dogmatically held ideals. In particular, there is a strain of idealist political philosophy, inaugurated by Plato and finding contemporary expression in the work of Alain Badiou, that employs dyads (such as the distinction between truth and doxa or the privilege of thought over sense) that tend to (...) reduce the complexities of practices of resistance to concepts of commitment. Although these dyads have been challenged by, amongst others, poststructuralist theorists, this has often been at the cost of losing their structuralist heritage. This thesis develops an ontology proper to structuralism that engenders non-idealist and non-dogmatic, yet ethical, practices of resistance against commitment orientated accounts of resistance and the return of classical ontological dyads. The thesis begins with an examination of the extent to which a dogmatic use of idealism grounds the work of a prominent contemporary theorist, Alain Badiou. In developing his neo-Maoist metapolitics, Badiou follows both Platonic ontology and the Marxist tradition of dialectics by claiming that political practice can only be carried out in truth by paying fidelity to an event that ruptures the presented order of things. Chapter one opens with an exploration of Badiou's mathematic meta-ontology to draw out its three foundational dyads (truth/doxa; sense/intelligibility; is/is not). It is argued that although Badiou makes important criticisms of the preponderant trends of political philosophy, he is unable to support his own account of politics due to his dogmatic reliance on idealist principles. Chapter two begins by developing two accounts: first, of the relations between Badiou's work and that of his former teacher Louis Althusser and, secondly, the relations between Althusser's thought and that of Gilles Deleuze, in particular his reading of David Hume. Discussion centres around the importance of the role that time plays within the works of all three authors, particularly in regard to the idea of the void. The chapter concludes with the argument that Hume's temporal idea of human nature is the key to a symptomatic reading of Althusser that accounts for the persistence of ideas in the latter's social theory. In chapter three, Deleuze's reading of Hume's idea of relations is developed to take into account Bergson's theory of time. Read in contrast to Quentin Meillassoux's speculative realism, the chapter argues that Deleuze's account of temporal relations informs Althusser's social theory to create the ontological grounds for non-dogmatic and non-idealist practices of resistance. These practices are developed in chapter four with an unlikely turn to John Stuart Mill's idea of genius, the metaphysical property of the individual that signifies the discovery of new truth. The chapter begins with an argument that there is an under-developed account of ethics in Deleuze's work. Distinguishing the idea of genius from both Mill's moral philosophy, as well as from utilitarian thought more generally, the idea of genius is sutured onto Deleuze's ontological account of individuation. Read alongside Althusser's social theory, which accounts for the non-idealist conceptualisation of situations, this suture creates an ethically oriented structuralist ontology. The thesis concludes with the argument that the idea of genius is the ethical imperative that motivates practices of resistance. When individuals are understood as embodied within situations, practices of resistance are conceptualised not against other components of a situation, but contra them, taking them into account in order to amplify, multiply and transform the individual's potential within a situation. (shrink)

This paper examines four arguments in support of Frege's theory of incomplete entities, the heart of his semantics and ontology. Two of these arguments are based upon Frege's contributions to the foundations of mathematics. These are shown to be question-begging. Two are based upon Frege's solution to the problem of the relation of language to thought and reality. They are metaphysical in nature and they force Frege to maintain a theory of types. The latter puts his theory of incomplete entities (...) in the paradoxical position of maintaining that it is no theory at all. Moreover, his metaphysics rules out well-known suggestions for avoiding this difficulty. (shrink)

This book develops a new approach to plural arbitrary reference and examines mereology, including considering four theses on the alleged innocence of mereology. The authors have advanced the notion of plural arbitrary reference in terms of idealized plural acts of choice, performed by a suitable team of agents. In the first part of the book, readers will discover a revision of Boolosʼ interpretation of second order logic in terms of plural quantification and a sketched structuralist reconstruction of second-order arithmetic based (...) on the axiom of infinite, a la Dedekind, as the unique non-logical axiom. The work goes on to analyse the pros and cons of the new interpretation, also with respect to Linneboʼs objections to the thesis that second order logic is genuine logic. A theory of concepts that can be labelled as a theory of logical concepts is expounded. In the second part of the book, the authors consider grounding megethology on plural arbitrary reference and argue that the arguments for the ontological innocence of mereology are not conclusive and that – for a certain use of mereology – a thesis of innocence, similar to that of plural arbitrary reference, is defensible. The work proposes a virtual theory of mereology in which the role of individuals is played by plural choices of atoms. This considered work will appeal to scholars from branches of analytic philosophy, logic and the philosophy of mathematics in particular. (shrink)

The nature of this book is fourfold: First, it provides comprehensive education in ontology, epistemology, logic, and ethics. From this perspective, it can be treated as a philosophical textbook. Second, it provides comprehensive education in mathematical analysis and analytic geometry, including significant aspects of set theory, topology, mathematical logic, number systems, abstract algebra, linear algebra, and the theory of differential equations. From this perspective, it can be treated as a mathematical textbook. Third, it makes a student and a researcher in (...) philosophy and/or mathematics capable of developing a holistic approach to reality, of undertaking interdisciplinary endeavors, of understanding (and possibly contributing to) advances and research projects in different academic disciplines, and of having more sources of inspiration and pleasure. From this perspective, it can be treated as a contribution to pedagogy and as an attempt to refresh and, indeed, revitalize modern philosophy. Fourth, it seeks to defend, refresh, and enrich philosophical and scientific structuralism and dynamical philosophy (known also as dynamism). From this perspective, this book can be treated as a research monograph on structuralism and dynamism, tackling the fundamental problems of reality, truth, and consciousness. In this context, Nicolas Laos expounds and proposes: (i) the concepts of dynamized time and dynamized space; (ii) a theory and method that he calls the "dialectic of rational dynamicity"; and (iii) his attempt to consider the fundamental problems of philosophy and science from the perspective of the dialectic of rational dynamicity. Thus, this book pertains to every field that is controlled by the function of consciousness, namely, being, knowing, and acting. The philosophy of rational dynamicity, as the author explains in this book, is a way of contemplating the laws of motion of nature, history, and spirit. (shrink)

Words form a fundamental basis for our understanding of linguistic practice. However, the precise ontology of words has eluded many philosophers and linguists. A persistent difficulty for most accounts of words is the type-token distinction [Bromberger, S. 1989. “Types and Tokens in Linguistics.” In Reflections on Chomsky, edited by A. George, 58–90. Basil Blackwell; Kaplan, D. 1990. “Words.” Aristotelian Society Supplementary Volume LXIV: 93–119]. In this paper, I present a novel account of words which differs from the atomistic and platonistic (...) conceptions of previous accounts which I argue fall prey to this problem. Specifically, I proffer a structuralist account of linguistic items, along the lines of structuralism in the philosophy of mathematics [Shapiro, S. 1997. Philosophy of Mathematics: Structure and Ontology. Oxford University Press], in which words are defined in part as positions in larger linguistic structures. I then follow Szabò [1999. “Expressions and Their Representations.” The Philosophical Quarterly 49 (195): 145–163] and Parsons [1990. “The Structuralist View of Mathematical Objects.” Synthese 84: 303–346] in further defining words as quasi-concrete objects according to a representation relation. This view aims for general correspondence with contemporary generative linguistic approaches to the study of language. (shrink)

Caramuels’ proof of non-existence of God is compared with Gödel’s proof of existence.

Giorgio Prodi was an important Italian scientist who developed an original philosophy based on two basic assumptions: 1. life is mainly a semiotic phenomenon; 2. matter is somewhat a semiotic phenomenon. Prodi applies Peirce's cenopythagorean categories to all phenomena of life and matter: Firstness, Secondness, and Thirdness. They are interconnected meaning that the very ontology of the world, according to Prodi, is somewhat semiotic. In fact, when one describes matter as “made of” Firstness and Secondness, this means that matter (...) ‘intrinsically’ implies semiotics. At the very heart of Prodi’s theory lies a metaphysical hypothesis which is an ambitious theoretical gesture that places Prodi in an awkward position with respect to the customary philosophical tradition. In fact, his own ontology is neither dualistic nor monistic. Such a conclusion is unusual and weird, but much less unusual in present time than it was when it was first introduced. The actual resurgence of various “realisms” make Prodi’s semiotic realism much more interesting than when he first proposed his philosophical approach. What is uncommon, in Prodi perspective, is that he never separated semiotics from the materiality of the world. Prodi does not agree with the “standard” structuralist view of semiosis as an artificial and unnatural activity. On the contrary, Prodi believed semiosis lies at the very bottom of life. On one hand, Prodi maintains a strong realist stance; on the other, a realism that includes semiosis as ‘natural’ phenomena. This last view is very unusual because all forms, more or less, of realism exclude semiosis from nature but they frequently “reduce” semiosis to non-semiotic elements. According to Prodi, semiosis is a completely natural phenomenon. (shrink)

Since the turn of the century, however, a double upheaval has occurred, the formulation of the quantum theory and the theory of relativity, providing the ground for the development of modern physics. These theories issued from the problems of light that, in their strict forms, could not be assimilated by Newtonian physics. Before the turn of the century the wave theory had been victorious over the emission theory, and an hypothetical ether was assumed which was intended ultimately to represent (...) absolute space and to play a role similar to that of Anaximander's apeiron or Aristotle's prima materia. This last role seemed required since many philosophers of nature believed that they should see in matter and its elementary components the singularities, the exceptional peculiarities of the ether. However, since the ether held itself strictly incognito, Albert Einstein renounced it and declared that all systems in uniform, rectilinear motion are equivalent. The first portentous ontological consequence of this renunciation was that statements concerning spatial and temporal separation become relative. True relativity means, however, that objectivity and subjectivity enter equally into all statements, for to everything relative, as Max Planck once said, an absolute belongs. In this case the absolute was the combination of space and time into a four-dimensional spatio-temporal unity, which observers in different systems split into different space and time determinations. Our statements concerning space and time are thus neither merely subjective nor merely objective; rather a subject-object relation enters into them and makes them all relative. There is, to be sure, within the four-dimensional spatio-temporal unity a region of a spatial type within which the space-axes of the different observers lie, and the same is true for the temporal region. But even if there is no one universal time or simultaneity, temporality nevertheless plays its own role in contradistinction to spatiality, though both are expressible mathematically. We can say in the sense of critical realism that our spatial and temporal measurements are commensurate with the ordering relations of things and events. (shrink)

In this paper, I shall provide a defence of second-order logic in the context of its use in the philosophy of mathematics. This shall be done by considering three problems that have been recently posed against this logic: (1) According to Resnik [1988], by adopting second-order quantifiers, we become ontologically committed to classes. (2) As opposed to what is claimed by defenders of second-order logic (such as Shapiro [1985]), the existence of non-standard models of first-order theories does not establish (...) the inadequacy of first—order axiomatisations (Melia [1995]). (3) In contrast with Shapiro’s suggestion (in his [1985]), second-order logic does not help us to establish referential access to mathematical objects (Azzouni [1994]). As I shall argue, each of these problems can be neatly solved by the second-order theorist. As a result, a case for second-order logic can be made. The first two problems will beconsidered rather briefly in the next section. The rest of the paper is dedicate to a discussion of the third. (shrink)

The structuralist Andre-Weil–Claude-Levi-Strauss transformation formula (CF), initially applied to kinship systems, mythology, ritual, artistic design and architecture, was rightfully criticized for its rationalism and tendency to reduce complex transformations to analogical structures. I present a revised non-mathematical revision of the CF, a general transformation formula (rCF) applicable to networks of complementary semantic binaries in conceptual value-fields of culture, including comparative religion and mythology, ritual, art, literature and philosophy. The rCF is a rule-guided formula for combinatorial conceptualizing in non-representational, presentational (...) mythopoetics and other cultural symbolizations. I consider poststructuralist category-theoretic and algebraic mathematical interpretations of the CF as themselves only mathematical analogies, which serve to stimulate further revision of the logic model of the rCF. The rCF can be used in hypothesis-making to advance understanding of the evolution and prehistory of human symbolic behaviour in cultural space, philosophical ontologies and categories, definitions and concepts in art, religion, psychotherapy, and other cultural-value forms. (shrink)

The structuralist approach represents the relation between a model and physical system as a relation between two mathematical structures. However, since a physical system is _prima facie_ _not_ a mathematical structure, the structuralist approach seemingly fails to represent the fact that science is about concrete, physical reality. In this paper, I take up this _problem of lost reality_ and suggest how it may be solved in a purely structuralist fashion. I start by briefly introducing both the structuralist approach and the (...) problem of lost reality and discussing the various (non-structuralist) solutions that have been proposed in the literature. Following this, I decompose the problem into the _ontological mismatch_ and _specification_ problems. In response to the former, I present a _metascientific dissolution argument_, according to which the difference in kind between mathematical structures and physical systems poses no deep obstacle to the structuralist approach, and consider some upshots of this argument for our views on representation. By way of conclusion, I argue that the metascientific dissolution argument paves the way for a solution to the specification problem as well. (shrink)

I discuss here the pragmatic problem in the philosophy of mathematics, that is, the applicability of mathematics, particularly in empirical science, in its many variants. My point of depart is that all sciences are formal, descriptions of formal-structural properties instantiated in their domain of interest regardless of their material specificity. It is, then, possible and methodologically justified as far as science is concerned to substitute scientific domains proper by whatever domains —mathematical domains in particular— whose formal structures bear relevant (...) formal similarities with them. I also discuss the consequences to the ontology of mathematics and empirical science of this structuralist approach. (shrink)

Bertrand Russell’s _Principles of Mathematics_ (1903) gives rise to several interpretational challenges, especially concerning the theory of denoting concepts. Only relatively recently, for instance, has it been properly realised that Russell accepted denoting concepts that do not denote anything. Such empty denoting concepts are sometimes thought to enable Russell, whether he was aware of it or not, to avoid commitment to some of the problematic non-existent entities he seems to accept, such as the Homeric gods and chimeras. In this paper, (...) I argue first that the theory of denoting concepts in _Principles of __Mathematics_ has been generally misunderstood. According to the interpretation I defend, if a denoting concept shifts what a proposition is about, then the aggregate of the denoted terms will also be a constituent of the proposition. I then show that Russell therefore could not have avoided commitment to the Homeric gods and chimeras by appealing to empty denoting concepts. Finally, I develop what I think is the best understanding of the ontology of _Principles of __Mathematics_ by interpreting some difficult passages. (shrink)

The indispensability thesis maintains both that using mathematical terms and assertions is an indispensable part of scientific practice and that this practice commits science to mathematical objects and truths. Anti‐realists have used several methods for attacking this thesis: Hartry Field has tried to show how science can do without mathematics by showing that it is possible to replace analytic mathematical scientific theories with synthetic versions that make no reference to mathematical objects. Phillip Kitcher and Charles Chichara have tried, instead, to (...) maintain the mathematical formalism in science without being committed to mathematical realism, by giving a non‐realist account of mathematical objects. Finally, Geoffrey Hellman devised a modal structuralism that uses modal operators to translate standard mathematical language into a ‘structuralist’ language. In this chapter I discuss these positions and claim that, on the one hand, they have failed to show that science can do without mathematical objects, and on the other, that these approaches to mathematics do not represent an ontic and epistemic gain over standard realism. (shrink)

Recent work in the philosophy of mathematics has suggested that mathematical structuralism is not committed to a strong form of the Identity of Indiscernibles (II). José Bermúdez demurs, and argues that a strong form of II can be warranted on structuralist grounds by countenancing identity properties, or haecceities, as legitimately structural. Typically, structuralists dismiss such properties as obviously non-structural. I will argue to the contrary that haecceities can be viewed as structural but that this concession does not warrant (...) Bermúdez’s version of II but, rather, another easily falsified version. I close with some reflections on reference vis-à-vis structurally indiscernible objects. (shrink)

We investigate the form of mathematical structuralism that acknowledges the existence of structures and their distinctive structural elements. This form of structuralism has been subject to criticisms recently, and our view is that the problems raised are resolved by proper, mathematics-free theoretical foundations. Starting with an axiomatic theory of abstract objects, we identify a mathematical structure as an abstract object encoding the truths of a mathematical theory. From such foundations, we derive consequences that address the main questions and (...) issues that have arisen. Namely, elements of different structures are different. A structure and its elements ontologically depend on each other. There are no haecceities and each element of a structure must be discernible within the theory. These consequences are not developed piecemeal but rather follow from our definitions of basic structuralist concepts. (shrink)