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)

Is it possible to maintain classical logic, stay close to classical semantics, and yet accept that language might be semantically indeterminate? The article gives an affirmative answer by Ramsifying classical semantics, which yields a new semantic theory that remains much closer to classical semantics than supervaluationism but which at the same time avoids the problematic classical presupposition of semantic determinacy. The resulting Ramsey semantics is developed in detail, it is shown to supply a classical concept of truth and to fully (...) support the rules and metarules of classical logic, and it is applied to vague terms as well as to theoretical or open-ended terms from mathematics and science. The theory also demonstrates how diachronic or synchronic interpretational continuity across languages is compatible with semantic indeterminacy. (shrink)

This is Part B of an article that defends non-eliminative structuralism about mathematics by means of a concrete case study: a theory of unlabeled graphs. Part A motivated an understanding of unlabeled graphs as structures sui generis and developed a corresponding axiomatic theory of unlabeled graphs. Part B turns to the philosophical interpretation and assessment of the theory: it points out how the theory avoids well-known problems concerning identity, objecthood, and reference that have been attributed to non-eliminative structuralism. The part (...) concludes by explaining how the theory relates to set theory, and what remains to be accomplished for non-eliminative structuralists. (shrink)

Mark Wilson presents a highly original account of conceptual behavior that challenges many received views about concepts in analytic philosophy. Few attempts have been made to rationally reconstruct Wilson’s framework of patches and facades within a precise semantic framework. I will show how a modified version of the structuralist framework offers a semantic reconstruction of scientific theories capable of modeling Wilson’s ideas about conceptual behavior. Specifically, I will argue that Theory-Elements and a modified version of Theory-Nets explicate respectively Wilson’s patches (...) and facades. I will also demonstrate how several wandering phenomena described by Wilson can be adequately reconstructed within my framework. (shrink)

This work is an analysis of F. P. Ramsey's philosophy of science. Twentieth-century philosophy of science was marked by attempts to consider the relation between scientific theories and our knowledge of the empirical world through considerations of abstract mathematical structure. Such considerations led Bertrand Russell to an account of the relation between our theoretical picture of the world and its real nature as a relation of structural similarity. Subsequently, Max Newman gave what has become a well-known logico-mathematical objection to this (...) account. William Demopoulos recently showed that Newman's problem applied not only to Russell's realist account, but also to a variety of otherwise disparate accounts of theoretical knowledge. The common element underlying these accounts is a conception of theories as abstract formal structures. Many such accounts have incorporated key elements of Ramsey's views, most notably the Ramsey-sentence. Moreover, Demopoulos has interpreted Ramsey's own view of theories as sharing the essential features of those abstract views, and therefore their common problem. My analysis aims to show that this abstract conception of theories does not adequately characterize Ramsey's view. Namely, his account of theories was not an attempt to do the epistemology of science in the fashion of Russell or Eddington, or of subsequent structuralist views that have adopted the Ramsey-sentence. I show this by a broader exposition of Ramsey's work on the nature of theories, comparing his seminal paper with his many other remarks on the nature and purpose of theories. I begin by discussing the historical context of Newman's objection, and a generalization of it that shows its broad applicability to abstract characterizations of theoretical knowledge. I then reconstruct Ramsey's view of theories, to show how far it extends beyond the Ramsey-sentence picture. Finally, I discuss the relevance of this view to contemporary debates concerning realism and instrumentalism. I characterize Ramsey's view as focused not on grounding our theoretical knowledge in abstract structure, but instead on demystifying the role of theoretical language and concepts in a theory's application to the world. (shrink)

This paper compares Hilbert’s -terms and Russell’s approach to indefinite descriptions, Russell’s indefinites for short. Despite the fact that both accounts are usually taken to express indefinite descriptions, there is a number of dissimilarities. Specifically, it can be shown that Russell indefinites - expressed in terms of a logical ρ-operator - are not directly representable in terms of their corresponding -terms. Nevertheless, there are two possible translations of Russell indefinites into epsilon logic. The first one is given in a language (...) with classical -terms. The second translation is based on a refined account of epsilon terms, namely indexed -terms. In what follows we briefly outline these approaches both syntactically and semantically and discuss their respective connections; in particular, we establish two equivalence results between the epsilon calculus and the proposed ρ-term approach to Russell’s indefinites. (shrink)