Since Benacerraf’s ‘What Numbers Could Not Be, ’ there has been a growing interest in mathematical structuralism. An influential form of mathematical structuralism, modal structuralism, uses logical possibility and second order logic to provide paraphrases of mathematical statements which don’t quantify over mathematical objects. These modal structuralist paraphrases are a useful tool for nominalists and realists alike. But their use of second order logic and quantification into the logical possibility operator raises concerns. In this paper, (...) I show that the work of both these elements can be done by a single natural generalization of the logical possibility operator. (shrink)

Modal structuralism promises an interpretation of set theory that avoids commitment to abstracta. This article investigates its underlying assumptions. In the first part, I start by highlighting some shortcomings of the standard axiomatisation of modal structuralism, and propose a new axiomatisation I call MSST (for Modal Structural Set Theory). The main theorem is that MSST interprets exactly Zermelo set theory plus the claim that every set is in some inaccessible rank of the cumulative hierarchy. In (...) the second part of the article, I look at the prospects for supplementing MSST with a modal structural reflection principle, as suggested in Hellman (2015). I show that Hellman’s principle is inconsistent (Theorem 5.32), and argue that modal structural reflection principles in general are either incompatible with modal structuralism or extremely weak. (shrink)

Drawing an analogy between modal structuralism about mathematics and theism, I o er a structuralist account that implicitly de nes theism in terms of three basic relations: logical and metaphysical priority, and epis- temic superiority. On this view, statements like `God is omniscient' have a hypothetical and a categorical component. The hypothetical component provides a translation pattern according to which statements in theistic language are converted into statements of second-order modal logic. The categorical component asserts the logical (...) possibility of the theism struc- ture on the basis of uncontroversial facts about the physical world. This structuralist reading of theism preserves objective truth-values for theistic statements while remaining neutral on the question of ontology. Thus, it o ers a way of understanding theism to which a naturalist cannot object, and it accommodates the fact that religious belief, for many theists, is an essentially relational matter. (shrink)

In this paper, we aim to explore connections between a Carnapian semantics of theoretical terms and an eliminative structuralist approach in the philosophy of mathematics. Specifically, we will interpret the language of Peano arithmetic by applying the modal semantics of theoretical terms introduced in Andreas (Synthese 174(3):367–383, 2010). We will thereby show that the application to Peano arithmetic yields a formal semantics of universal structuralism, i.e., the view that ordinary mathematical statements in arithmetic express general claims about all (...) admissible interpretations of the Peano axioms. Moreover, we compare this application with the modal structuralism by Hellman (Mathematics without numbers: towards a modal-structural interpretation. Oxford University Press: Oxford, 1989), arguing that it provides us with an easier epistemology of statements in arithmetic. (shrink)

How are we to understand the talk about properties of structures the existence of which is conditional upon the assumption of the reality of those structures? Mathematics is not about abstract objects, yet unlike fictionalism, modal-structuralism respects the truth of theorems and proofs. But it is nominalistic with respect to possibilia. The problem is that, for fear of reducing possibilia to actualities, the second-order modal logic that claims to axiomatise modal existence has no real semantics. There (...) is no cross-identification of higher-order mathematical entities and thus we cannot know what those entities are. I suggest that a scholastic notion of realism, interspersed with cross-identification of higher-order entities, can deliver the semantics without collapse. This semantics of modalities is related to Peirce's logic and his pragmaticist philosophy of mathematics. (shrink)

How are we to understand the talk about properties of structures the existence of which is conditional upon the assumption of the reality of those structures? Mathematics is not about abstract objects, yet unlike fictionalism, modal-structuralism respects the truth of theorems and proofs. But it is nominalistic with respect to possibilia. The problem is that, for fear of reducing possibilia to actualities, the second-order modal logic that claims to axiomatise modal existence has no real semantics. There (...) is no cross-identification of higher-order mathematical entities and thus we cannot know what those entities are. I suggest that a scholastic notion of realism, interspersed with cross-identification of higher-order entities, can deliver the semantics without collapse. This semantics of modalities is related to Peirce's logic and his pragmaticist philosophy of mathematics. (shrink)

The aim of this paper is to propose a philosophy of mathematics that takes structures to be basic. It distinguishes between mathematical structures and real structures. Mathematical structures are the propositional content either of consistent axiom systems or (algebraic or differential) equations. Thus, mathematical structures are logically possible structures. Real structures—and the mathematical structures that represent them—are related essentially to God’s plan in Christ and ultimately grounded in God’s awareness of his ability. However, not every mathematical structure has a correlative (...) real structure. Mathematical structures are either true or fictional, yet all are possible. (shrink)

Ontic Structural Realism (OSR) gives ontic priority to structures over objects. In its perhaps most extreme form (captured, admittedly, by a slogan) it states that “all that there is, is structure” (da Costa and French 2003, 189). If this is true, if there is nothing but structure(s) in the world, the very idea of contrasting structure to nonstructure loses any force it might have. Actually, if the slogan is right, the very idea of characterising what there is as structure—as opposed (...) to anything else—becomes incoherent. Traditionally, characterising something as a structure has made full sense —and has served excellent scientific and philosophical purposes—precisely because structure was understood as an entity with slots, which could be occupied by objects and whose individuation-conditions involved objects only qua slot-fillers. If objects altogether go, whatever remains can be called ‘structure’ only if we take ‘structure’ to be a term of art. Well, Ontic Structuralists are happy to ‘mimic’ talk of non-structure, or objects in particular, but they hasten to add that this mimicking does not imply any serious metaphysical commitment to them. Here are a couple of characteristic passages. (shrink)

According to Stewart Shapiro's coherence principle, structures exist whenever they can be coherently described. I argue that Shapiro's attempts to justify this principle are circular, as he relies on criticisms of modal nominalism which presuppose the coherence principle. I argue further that when the coherence principle is not presupposed, his reasoning more strongly supports modal nominalism than ante rem structuralism.

The original motivation of D. Gabbay’s concept of Fibring concerned the combination of logics, and initially it involved the syntactic introduction of modals into formulations of intuitionistic logic in which modals are syntactically absent. We show, using the notion of structural modals that there are many modals of intuitionism, and logics for subjunctive and epistemic conditionals which are not syntactically evident in our best formulations of them. We discuss some cases when the attempt to make them syntactically evident can have (...) undesirable consequences. (shrink)

Dispositionalism is the theory of modality that grounds all modal truths in powers: all metaphysically possible and necessary truths are to be explained by pointing to some actual power, or absence thereof. One of the main reasons to endorse dispositionalism is that it promises to deliver an especially desirable epistemology of modality. However, so far this issue has not be fully investigated with the care it is due. The aim of this paper is to fill this gap. We will (...) cast some doubts on whether the dispositionalist really is in a better position to explain our modal knowledge. In fact, we argue that there is a tension between some core tenets of a powers metaphysics and the very features that make dispositionalism the ideal backdrop for a desirable epistemology of modality. We conclude that this leaves dispositionalists who want to deliver the promised epistemology with a hard, currently unfulfilled, task. (shrink)

The chapter takes structuralism to be the thesis that if F and G are alike causally, then F and G are the same property. It follows that our beliefs about the world can be true in various brain-in-a-vat scenarios, giving us refuge from skeptical arguments. The trouble is that structuralism doesn’t do justice to certain metaphysical aspects of property identity having to do with fundamentality, intrinsicality, and the unity of the world. A closely related point is that the (...) relation…lies-at-some-spatial-distance-from…obeys necessary truths that need not apply to other relations with the same causal profile. This observation is especially important if, as David Lewis argued, the only alternatives to skepticism are structuralism and an anti-Humean stance toward modality. Some pertinent views of David Chalmers’s are discussed, and parallels are drawn between the structuralist response to skepticism and functionalism in the philosophy of mind. (shrink)

Recent technical developments in the logic of nominalism make it possible to improve and extend significantly the approach to mathematics developed in Mathematics without Numbers. After reviewing the intuitive ideas behind structuralism in general, the modal-structuralist approach as potentially class-free is contrasted broadly with other leading approaches. The machinery of nominalistic ordered pairing (Burgess-Hazen-Lewis) and plural quantification (Boolos) can then be utilized to extend the core systems of modal-structural arithmetic and analysis respectively to full, classical, polyadic third- (...) and fourthorder number theory. The mathenatics of many structures of central importance in functional analysis, measure theory, and topology can be recovered within essentially these frameworks. (shrink)

In this 1992 book, Professor Koslow advances an account of the basic concepts of logic. A central feature of the theory is that it does not require the elements of logic to be based on a formal language. Rather, it uses a general notion of implication as a way of organizing the formal results of various systems of logic in a simple, but insightful way. The study has four parts. In the first two parts the various sources of the general (...) concept of an implication structure and its forms are illustrated and explained. Part 3 defines the various logical operations and systematically explores their properties. A generalized account of extensionality and dual implication is given, and the extensionality of each of the operators, as well as the relation of negation and its dual, are given substantial treatment because of the novel results they yield. Part 4 considers modal operators and studies their interaction with logical operators. By obtaining the usual results without the usual assumptions this new approach allows one to give a very simple account of modal logic minus the excess baggage of possible world semantics. (shrink)

Three principal varieties of mathematical structuralism are compared: set-theoretic structuralism (‘STS’) using model theory, Shapiro's ante rem structuralism invoking sui generis universals (‘SGS’), and the author's modal-structuralism (‘MS’) invoking logical possibility. Several problems affecting STS are discussed concerning, e.g., multiplicity of universes. SGS overcomes these; but it faces further problems of its own, concerning, e.g., the very intelligibility of purely structural objects and relations. MS, in contrast, overcomes or avoids both sets of problems. Finally, it (...) is argued that the modality of MS or a close cousin appears at crucial junctures in both STS and SGS, so that the above outcome is not obviously tendentious. (shrink)

This article presents and argues for modal structuralism, which is loosely derived from a position described by Wilfrid Sellars. Modal structuralism holds that a fundamental property is identified by the role it plays in the structure of possibilities. It implies necessitarianism about laws, which holds that at least some laws of nature are metaphysically necessary. The argument for these positions derives from the following assumptions: the principle of the identity of indiscernible properties and a modest antiquidditism. (...) These assumptions are weaker than those of causal structuralism, which is a closely related view. (shrink)

The present work is a systematic study of five frameworks or perspectives articulating mathematical structuralism, whose core idea is that mathematics is concerned primarily with interrelations in abstraction from the nature of objects. The first two, set-theoretic and category-theoretic, arose within mathematics itself. After exposing a number of problems, the book considers three further perspectives formulated by logicians and philosophers of mathematics: sui generis, treating structures as abstract universals, modal, eliminating structures as objects in favor of freely entertained (...) logical possibilities, and finally, modal-set-theoretic, a sort of synthesis of the set-theoretic and modal perspectives. (shrink)

Mathematical structuralism can be understood as a theory of mathematical ontology, of the objects that mathematics is about. It can also be understood as a theory of the semantics for mathematical discourse, of how and to what mathematical terms refer. In this paper we propose an epistemological interpretation of mathematical structuralism. According to this interpretation, the main epistemological claim is that mathematical knowledge is purely structural in character; mathematical statements contain purely structural information. To make this more precise, (...) we invoke a notion that is central to mathematical epistemology, the notion of (informal) proof. Appealing to the notion of proof, an epistemological version of the structuralist thesis can be formulated as: Every mathematical statement that is provable expresses purely structural information. We introduce a bi-modal framework that formalizes the notions of structural information and informal provability in order to draw connections between them and confirm that the epistemological structuralist thesis holds. (shrink)

The lynch-pin of the structuralist account of logic endorsed by Koslow is the definition of logical and modal operators with respect to implication relations, i.e. relative to implication structures. Logical operators are depicted independently of any possible semantic of syntactic limitations. It turns out that it is possible to define conjunction as well as other logical operators much more generally than it has usually been, and items on which the logical operators may be applied need not be syntactic objects (...) and need not have truth values.In this paper I analyse Koslow’s structuralist theory and point out certain objectionable aspects to as well as reasons why such a theory does not fulfil the (possibly unjustified) expectation of getting defined a universal logical structure. (shrink)

Along with Frege, Russell maintained an absolutist stance regarding the subject matter of mathematics, revealed rather than imposed, or proposed, by logical analysis. The Fregean definition of cardinal number, for example, is viewed as (essentially) correct, not merely adequate for mathematics. And Dedekind’s “structuralist” views come in for criticism in the Principles. But, on reflection, Russell also flirted with views very close to a (different) version of structuralism. Main varieties of modern structuralism and their challenges are reviewed, taking (...) account of Russell’s insights. Problems of absolutism plague some versions, and, interestingly, Russell’s critique of Dedekind can be extended to one of them, ante rem structuralism. This leaves modal-structuralism and a category theoretic approach as remaining non-absolutist options. It is suggested that these should be combined. (shrink)

. On a structuralist account of logic, the logical operators, as well as modal operators are defined by the specific ways that they interact with respect to implication. As a consequence, the same logical operator (conjunction, negation etc.) can appear to be very different with a variation in the implication relation of a structure. We illustrate this idea by showing that certain operators that are usually regarded as extra-logical concepts (Tarskian algebraic operations on theories, mereological sum, products and negates (...) of individuals, intuitionistic operations on mathematical problems, epistemic operations on certain belief states) are simply the logical operators that are deployed in different implication structures. That makes certain logical notions more omnipresent than one would think. (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)

This clear and concise book investigates the relation between materiality and the subject in Marxism, (post-)structuralism, and material semiotics. It introduces the three approaches in an accessible way and serves as an introduction to different kinds of materialism and theories of the subject. For each approach, the modalities of materiality of the respective materialism are defined and the relationship between these multiple materialities and the subject are presented as specific to the theoretical approaches discussed. Beetz argues for a non-reductionist (...) materialism, which conceives of materiality as more than matter or matter in motion. In such a materialism the subject is seen as an effect of material conditions, relations, processes, and practices. He shows how the constitution and decentering of the subject is conceptualized in the approaches presented and highlights the role of material instances in these processes. (shrink)

Category theory and topos theory have been seen as providing a structuralist framework for mathematics autonomous vis-a-vis set theory. It is argued here that these theories require a background logic of relations and substantive assumptions addressing mathematical existence of categories themselves. We propose a synthesis of Bell's many-topoi view and modal-structuralism. Surprisingly, a combination of mereology and plural quantification suffices to describe hypothetical large domains, recovering the Grothendieck method of universes. Both topos theory and set theory can be (...) carried out relative to such domains; puzzles about ‘large categories’ and ‘proper classes’ are handled in a uniform way, by relativization, sustaining insights of Zermelo. (shrink)

Strong dispositional monism, the position that all fundamental physical properties consist in dispositional relations to other properties, is naturally construed as property structuralism. J. Lowe’s circularity/regress objection constitutes a serious challenge to SDM that questions the possibility of a purely relational determination of all property essences. The supervenience thesis of A. Bird’s graph-theoretic asymmetry reply to CRO can be rigorously proved. Yet the reply fails metaphysically, because it reveals neither a metaphysical determination of identities on a purely relational basis (...) nor a determination specifically of identities in the sense of essences. Asymmetry is thus not by itself sufficient for a solution to CRO. But it cannot even help to answer CRO when a model for the determination of essences is taken as a basis. Nor is asymmetry necessary for a reply, as property structures may well be symmetric. A metaphysics of dispositional properties as grounded in a purely relational structure faces serious obstacles, and the properties would not be fundamental. Since essence and grounding are notions of metaphysical priority, there can be no essentially dispositional metaphysically fundamental properties, and the prospects of a “coherentist” metaphysics of basic properties are dim. A modal retreat that refrains from a post-modal conception of essence and simply claims that fundamental properties play dispositional roles by metaphysical necessity is unsatisfactory. (shrink)

Develops a structuralist understanding of mathematics, as an alternative to set- or type-theoretic foundations, that respects classical mathematical truth while ...

Extending Lukasiewicz's approach of axiomatization to the modal syllogistic, McCall develops a system of fourteen axioms with decision procedure, in which exactly those necessity syllogisms recognized by Aristotle are provable. Primitives, besides those of propositional logic, are Necessity and the A and I statement forms. The approach thus contrasts with that of the "structuralists", who would analyze Aristotle's modal statements further in terms of contemporary logic systems. The seemingly insurmountable problems of the contingency syllogisms are circumvented by taking (...) contingency as an additional primitive requiring fourteen further axioms. In the resulting system, all of Aristotle's contingency syllogisms, as well as twenty-four which he overlooked, are provable. Although a "structuralist" analysis would seem indispensable for an ultimate understanding of the modal syllogistic, McCall's formalization is more faithful to Aristotle than any hitherto proposed.--J. B. B. (shrink)

The purpose of this study is to propose new similarity measures namely rough variational coefficient similarity measure under the rough neutrosophic environment. The weighted rough variational coefficient similarity measure has been also defined. The weighted rough variational coefficient similarity measures between the rough ideal alternative and each alternative are xxxxx calculated to find the best alternative. The ranking order of all the alternatives can be determined by using the numerical values of similarity measures. Finally, an illustrative example has been provided (...) to show the effectiveness and validity of the proposed approach. Comparisons of decision results of existing rough similarity measures have been provided. (shrink)

This paper is devoted to present Technique for Order Preference by Similarity to Ideal Solution (TOPSIS) method for multi-attribute group decision making under rough neutrosophic environment. The concept of rough neutrosophic set is a powerful mathematical tool to deal with uncertainty, indeterminacy and inconsistency. In this paper, a new approach for multi-attribute group decision making problems is proposed by extending the TOPSIS method under rough neutrosophic environment. Rough neutrosophic set is characterized by the upper and lower approximation operators and the (...) pair of neutrosophic sets that are characterized by truth-membership degree, indeterminacy membership degree, and falsity membership degree. In the decision situation, ratings of alternatives with respect to each attribute are characterized by rough neutrosophic sets that reflect the decision makers’ opinion. Rough neutrosophic weighted averaging operator has been used to aggregate the individual decision maker’s opinion into group opinion for rating the importance of attributes and alternatives. Finally, a numerical example has been provided to demonstrate the applicability and effectiveness of the proposed approach. (shrink)

A remarkable development in twentieth-century mathematics is smooth infinitesimal analysis ('SIA'), introducing nilsquare and nilpotent infinitesimals, recovering the bulk of scientifically applicable classical analysis ('CA') without resort to the method of limits. Formally, however, unlike Robinsonian 'nonstandard analysis', SIA conflicts with CA, deriving, e.g., 'not every quantity is either = 0 or not = 0.' Internally, consistency is maintained by using intuitionistic logic (without the law of excluded middle). This paper examines problems of interpretation resulting from this 'change of logic', (...) arguing that standard arguments based on 'smoothness' requirements are question-begging. Instead, it is suggested that recent philosophical work on the logic of vagueness is relevant, especially in the context of a Hilbertian structuralist view of mathematical axioms (as implicitly defining structures of interest). The relevance of both topos models for SIA and modal-structuralism as appled to this theory is clarified, sustaining this remarkable instance of mathematical pluralism. (shrink)

I defend Putnam’s modal structuralist view of mathematics but reject his claims that Wittgenstein’s remarks on Dedekind, Cantor, and set theory are verificationist. Putnam’s “realistic realism” showcases the plasticity of our “fitting” words to the world. The applications of this—in philosophy of language, mind, logic, and philosophy of computation—are robust. I defend Wittgenstein’s nonextensionalist understanding of the real numbers, showing how it fits Putnam’s view. Nonextensionalism and extensionalism about the real numbers are mathematically, philosophically, and logically robust, but the (...) two perspectives are often confused with one another. I separate them, using Turing’s work as an example. (shrink)

This note examines the mereological component of Geoffrey Hellman's most recent version of modal structuralism. There are plausible forms of agnosticism that benefit only a little from Hellman's mereological turn.