Some realists claim that theoretical entities like numbers and electrons are indispensable for describing the empirical world. Motivated by the meta-ontology of Quine, I take this claim to imply that, for some first-order theory T and formula δ(x) such that T ⊢ ∃xδ ∧ ∃x¬δ, where δ(x) is intended to apply to all and only empirical entities, there is no first-order theory T′ such that (a) T and T′ describe the δ:s in the same way, (b) T′ ⊢ ∀xδ, and (...) (c) T′ is at least as attractive as T in terms of other theoretical virtues. In an attempt to refute the realist claim, I try to solve the general problem of nominalizing T (with respect to δ), namely to find a theory T′ satisfying conditions (a)–(c) under various precisifications thereof. In particular, I note that condition (a) can be understood either in terms of syntactic or semantic equivalence, where the latter is strictly stronger than the former. The results are somewhat mixed. On the positive side, even under the stronger precisification of (a), I establish that (1) if the vocabulary of T is finite, a nominalizing theory can always be found that is recursive if T is, and (2) if T postulates infinitely many δ:s, a nominalizing theory can always be found that is no more computationally complex than T. On the negative side, even under the weaker precisification of (a), I establish that (3) certain finite theories cannot be nominalized by a finite theory. (shrink)

According to epistemic structural realism scientific theories provide us only with knowledge about the structure of the unobservable world, but not about its nature. The most significant objection that this posi- tion has faced is the so-called Newman’s problem. In this paper I offer an alternative objection to EER. I argue that its formulation leads to undesirable skeptical positions in two fields close to scientific realism: the debates on modality and laws of nature. I also show that there is an (...) interesting sense in which my objection is stronger than the one offered by Newman. (shrink)

This is a personal, incomplete, and very informal take on the role of logic in general philosophy of science, which is aimed at a broader audience. We defend and advertise the application of logical methods in philosophy of science, starting with the beginnings in the Vienna Circle and ending with some more recent logical developments.

Marian Przełęcki’s semantics for the Received View is a good explication of Carnap’s position on the subject, anticipates many discussions and results from both proponents and opponents of the Received View, and can be the basis for a thriving research program.

Syntactic approaches in the philosophy of science, which are based on formalizations in predicate logic, are often considered in principle inferior to semantic approaches, which are based on formalizations with the help of structures. To compare the two kinds of approach, I identify some ambiguities in common semantic accounts and explicate the concept of a structure in a way that avoids hidden references to a specific vocabulary. From there, I argue that contrary to common opinion (i) unintended models do not (...) pose a significant problem for syntactic approaches to scientific theories, (ii) syntactic approaches can be at least as language-independent as semantic ones, and (iii) in syntactic approaches, scientific theories can be as well connected to the world as in semantic ones. Based on these results, I argue that syntactic and semantic approaches fare equally well when it comes to (iv) ease of application, (v) accommodating the use of models in the sciences, and (vi) capturing the theory-observation relation. (shrink)

In this dissertation, I examine a view called ‘Epistemic Structural Realism’, which holds that we can, at best, have knowledge of the structure of the physical world. Put crudely, we can know physical objects only to the extent that they are nodes in a structure. In the spirit of Occam’s razor, I argue that, given certain minimal assumptions, epistemic structural realism provides a viable and reasonable scientific realist position that is less vulnerable to anti-realist arguments than any of its rivals.

The central concern of this article is whether the semantic approach has the resources to appropriately capture the core tenets of structural realism. Chakravartty (2001) has argued that a realist notion of correspondence cannot be accommodated without introducing a linguistic component, which undermines the approach itself. We suggest that this worry can be addressed by an appropriate understanding of the role of language in this context. The real challenge, however, is how to incorporate the core notion of `explanatory approximate truth' (...) in such a way that the emphasis on structure is retained. (shrink)

Theoria, Volume 88, Issue 4, Page 733-742, August 2022.

A Série Investigação Filosófica é uma série de livros de traduções de verbetes da Enciclopédia de Filosofia da Stanford (Stanford Encyclopedia of Philosophy) e de outras plataformas internacionalmente reconhecidas, que intenciona servir tanto como material didático para os professores das diferentes sub-áreas e níveis da Filosofia quanto como material de estudo para a pesquisa e para concursos da área. Nós, professores, sabemos o quão difícil é encontrar bom material em português para indicarmos. E há uma certa deficiência na graduação brasileira (...) de filosofia, principalmente em localizações menos favorecidas, com relação ao conhecimento de outras línguas, como o inglês e o francês. Tentamos, então, suprir essa deficiência, ao introduzirmos essas traduções ao público de língua portuguesa, sem nenhuma finalidade comercial e meramente pela glória da filosofia. (shrink)

Scientific models are important, if not the sole, units of science. This thesis addresses the following question: in virtue of what do scientific models represent their target systems? In Part i I motivate the question, and lay out some important desiderata that any successful answer must meet. This provides a novel conceptual framework in which to think about the question of scientific representation. I then argue against Callender and Cohen’s attempt to diffuse the question. In Part ii I investigate the (...) ideas that scientific models are ‘similar’, or structurally morphic, to their target systems. I argue that these approaches are misguided, and that at best these relationships concern the accuracy of a pre-existing representational relationship. I also pay particular attention to the sense in which target systems can be appropriately taken to exhibit a ‘structure’, and van Fraassen’s recent argument concerning the pragmatic equivalence between representing phenomena and data. My next target is the idea that models should not be seen as objects in their own right, but rather what look like descriptions of them are actually direct descriptions of target systems, albeit not ones that should be understood literally. I argue that these approaches fail to do justice to the practice of scientific modelling. Finally I turn to the idea that how models represent is grounded, in some sense, in their inferential capacity. I compare this approach to anti-representationalism in the philosophy of language and argue that analogous issues arise in the context of scientific representation. Part iii contains my positive proposal. I provide an account of scientific representation based on Goodman and Elgin’s notion of representation-as. The result is a highly conventional account which is the appropriate level of generality to capture all of its instances, whilst remaining informative about the notion. I illustrate it with reference to the Phillips-Newlyn machine, models of proteins, and the Lotka-Volterra model of predator-prey systems. These examples demonstrate how the account must be understood, and how it sheds light on our understanding of how models are used. I finally demonstrate how the account meets the desiderata laid out at the beginning of the thesis, and outline its implications for further questions from the philosophy of science; not limited to issues surrounding the applicability of mathematics, idealisation, and what it takes for a model to be ‘true’. (shrink)

A central topic in the logic of science concerns the proper semantic analysis of theoretical sentences, that is sentences containing theoretical terms. In this paper, we present a novel choice-semantical account of theoretical truth based on the epsilon-term definition of theoretical terms. Specifically, we develop two ways of specifying the truth conditions of theoretical statements in a choice functional semantics, each giving rise to a corresponding logic of such statements. In order to investigate the inferential strength of these logical systems, (...) we provide a translation of each truth definition into a modal definition of theoretical truth. Based on this, we show that the stronger notion of choice-semantical truth captures more adequately our informal semantic understanding of scientific statements. (shrink)

Model theoretic considerations purportedly show that a certain version of structural realism, one which articulates the nvtion of structure via Ramsey sentences, is in fact trivially true. In this paper we argue that the structural realist is by no means forced to Ramseyfy in the manner assumed in the formal proof. However, the structural realist's reprise is short-lived. For, as we show, there are related versions of the model theoretic argument which cannot be so easily blocked by the structural realist. (...) We examine various ways in which the structural realist may respond, and conclude that the best way of blocking the model theoretic argument involves formulating his Ramseyfied theories using intensional operators. Introduction The model theoretic arguments On Ramseyfying away predicates The model theoretic argument bites back Restricting the second order quantifiers 5.1 Naturalness 5.2 Intrinsic 5.3 Qualitative 5.4 Contingent and causal Intensional operators and relations between properties Conclusion. (shrink)

Structural realism has recently re-entered mainstream discussions in the philosophy of science. The central notion of structure, however, is contested by both advocates and critics. This paper briefly reviews currently prominent structuralist accounts en route to proposing a metaphysics of structure that is capable of supporting the epistemic aspirations of realists, and that is immune to the charge most commonly levelled against structuralism. This account provides an alternative to the existing epistemic and ontic forms of the position, incorporating elements of (...) both. Structures are here identified with relations between first order, causal properties: properties that confer specific dispositions for relations. This form of structuralism constitutes an explicit proposal for what seem implicit structuralist tendencies in sophisticated but more traditional characterizations of realism. An outline of the proposal's response to the anti-realist's pessimistic induction on the history of scientific theories is considered. (shrink)

The property of being the implementation of a computational structure has been argued to be vacuously instantiated. This claim provides the basis for most antirealist arguments in the field of the philosophy of computation. Standard manoeuvres for combating these antirealist arguments treat the problem as endogenous to computational theories. The contrastive analysis of computational and other mathematical representations put forward here reveals that the problem should instead be treated within the more general framework of the Newman problem in structuralist accounts (...) of mathematical representation. It is argued that purely structuralist and purely functionalist accounts of implementation are inadequate to tackle the problem. An extensive evaluation of semantic accounts is provided, arguing that semantic properties are, unlike structural and functional ones, suitable to restrict the intended domain of implementation of computational properties in such a way as to block the Newman problem. The semantic hypothesis is defended from a number of recent objections. (shrink)

Newman’s objection is sometimes taken to be a fatal objection to structural realism (SR). However, ambiguity in the definition of “structure” allows for versions that do not succumb to Newman’s objection. In this paper, I consider some versions of SR that maintain an abstract notion of structure yet avoid Newman’s objection. In particular, I consider versions suggested by Melia and Saatsi. They reject a solution that restricts the domain of the second-order quantifiers, and argue in favor of buttressing the language (...) with intensional operators such as “it is physically necessary that...”. I argue that their favored solution effectively requires the former suggestion that they reject. This argument suggests that a notion of natural properties may be indispensable to SR. (shrink)

The present paper offers some remarks on the significance of first order model theory for our understanding of theories, and more generally, for our understanding of the “structuralist” accounts of the nature of theoretical knowledge that we associate with Russell, Ramsey and Carnap. What is unique about the presentation is the prominence it assigns to Craig’s Interpolation Lemma, some of its corollaries, and the manner of their demonstration. They form the underlying logical basis of the analysis.

Structural realists claim that structure is preserved across instances of radical theory change, and that this preservation provides an argument in favor of realism about structure. In this paper, I use the shift from Newtonian gravity to Einstein’s general relativity as a case study for structural preservation, and I demonstrate that two prominent views of structural preservation fail to provide a solid basis for realism about structure. The case study demonstrates that (i) structural realists must be epistemically precise about the (...) concrete structure that is being preserved, and (ii) they must provide a metaphysical account of how structure is preserved through re-interpretation in light of a new theory. Regarding (i), I describe a means of epistemic access to the unobservable that I call “thick detection” of structure, which isolates the structure that will be preserved. Regarding (ii), I argue that thickly detectable structure is preserved across theory change through a process of extracting the old structure from the new structure, much like what has been done with geometrized versions of Newtonian gravity. With these two responses in hand, the structural realist can adequately account for the preservation of structure and can provide a strong argument in favor of structural realism. (shrink)

Instrumentalist nominalism responds to the indispensability arguments by rejecting the demand that successful mathematicized scientific theories be nominalized, and instead claiming merely that such theories are nominalistically adequate: the concreta behave ‘as if’ the theory is true. This article examines some definitions of the concept of nominalistic adequacy and concludes with some considerations against instrumentalist nominalism.

Several recent authors identify structural realism about scientific theories with the claim that the content of a scientific theory is expressible using its Ramsey sentence. Many of these authors have also argued that so understood, the view collapses into empiricist anti-realism, since an argument originally proposed by Max Newman in a review of Bertrand Russell’s The analysis of matter demonstrates that Ramsey sentences are trivially satisfied, and cannot make any significant claims about unobservables. In this paper I argue against both (...) of these claims. Structural realism and Ramsey sentence realism are, in their most defensible versions, importantly different doctrines, and neither is committed to the premises required to demonstrate that they collapse into anti-realism.Keywords: Ramsey sentence; Structural realism; Structuralism; Scientific realism. (shrink)

-/- Although much of its history has been neglected or misunderstood, a structuralist ‘tendency’ has re-emerged within the philosophy of science. Broadly speaking, it consists of two fundamental strands: on the one hand, there is the identification of structural commonalities between theories; on the other, there is the metaphysical decomposition of objects in structural terms. Both have been pressed into service for the realist cause: the former has been identified primarily with Worrall's ‘epistemic’ structural realism; the latter with Ladyman's ‘ontic’ (...) form. And both raise important issues of general interest within the philosophy of science and metaphysics, respectively. The former invites questions regarding the identification and appropriate representation of these commonalities; the latter touches on different views regarding the nature of objects, the constitutive role of properties and the seat of causal powers. Both strands have recently come under critical fire. It is my intention to present a unified account of the 'structuralist tendency’ which emphasizes the dual roles of structure as representational and constitutive, and to indicate how the more acute critical remarks can be dealt with. (shrink)

We canvas a number of past uses of Ramsey sentences which have yielded disappointing results, and then consider three very interesting recent attempts to deploy them for a Ramseyan Dialetheist theory of truth, a modal account of laws and theories, and a criterion for the existence of factual properties. We think that once attention is given to the specific kinds of theories that Ramsey had in mind, it becomes evident that their Ramsey sentences are not the best ways of presenting (...) those theories. (shrink)

Structural realism is an attempt to balance the competing demands of the No Miracles Argument and the Pessimistic Meta-Induction. In this paper I trace the development of the structuralist idea through the work of one of its leading advocates, John Worrall. I suggest that properly thought through what the structuralist is offering or should be offering is not an account of how to divide up a theory into two parts—structure and ontology—but (perhaps surprisingly) a certain kind of theory of meaning—semantic (...) holism. I explain how a version of structural realism can be developed using Davidson’s theory of meaning and some advantages this has over the Ramsey-sentence version of structuralism. (shrink)

Contemporary decision theory places crucial emphasis on a family of mathematical results called representation theorems, which relate criteria for evaluating the available options to axioms pertaining to the decision-maker’s preferences. Various claims have been made concerning the reasons for the importance of these results. The goal of this article is to assess their semantic role: representation theorems are purported to provide definitions of the decision-theoretic concepts involved in the evaluation criteria. In particular, this claim shall be examined from the perspective (...) of philosophical theories of the meaning of theoretical terms. (shrink)

In this paper, I discuss the prospects of nominalistic scientific realism and show that it fails on many counts. In section 2, I discuss what is required for NSR to get off the ground. In section 3, I question the idea that theories have well-defined nominalistic content and the idea that causal activity is a necessary condition for commitment to the reality of an entity. In section 4, I challenge the notion of nominalistic adequacy of theories.

"Partial realism" is a common position in the contemporary philosophy of science literature. It states that the "essential" elements of empirically successful scientific theories accurately represent corresponding features the world. This thesis makes several novel contributions related to this position. Firstly, it offers a new definition of the concept of “empirical success”, representing a principled merger between the use-novelty and unification accounts. Secondly, it provides a comparative critical analysis of various accounts of which elements are "essential" to the success of (...) a theory, including structural realism and the divide et impera strategy. A novel account of essentialness, entitled the “empirically successful sub-theory "account", is defended. Thirdly, it is argued that the realism/anti-realism debate should put to the side metaphysical questions and focus instead on partial realism's commitment to the continuity of science. Because this commitment lacks metaphysical implications, it is referred to as "deflationary realism". Anti-realists cannot reject deflationary realism as a matter of a priori principle; its overall viability can therefore only be assessed by a careful examination of the history of science. Finally, another consequence of partial realism, named "partial rationalism", is defended. Partial rationalism states that, in cases where several competing theories have been suggested, scientists are rational just in case they accept the essential elements of each of the scientific theories on offer. This novel position subverts the existing literature on scientific "revolutions", as it sometimes demands that scientists devise a synthesis between competing scientific theories, instead of "choosing" only one. The philosophical points defended in this thesis are illustrated and supported by case studies from the history of science, including Fresnel’s wave theory of light, the Copernican revolution, the "neo-Darwinian synthesis" in evolutionary biology, the "prion revolution" in molecular biology, the miasma theory of disease, and the chemical revolution. (shrink)