This essay develops an inferential account of model explanation, based on Mauricio Suárez’s inferential conception of scientific representation and Alisa Bokulich’s counterfactual account of model explanation. It is suggested that the fact that a scientific model can explain is essentially linked to how a modeler uses an established model to make various inferences about the target system on the basis of results derived from the model. The inference practice is understood as a two-step activity, with the first step involving making (...) counterfactual statements about the model itself and the second step involving making hypothetical statements transferring over claims derived from the model onto the target. To illustrate how this two-step activity proceeds, an agent-based simulation model is discussed. (shrink)

Science provides us with representations of atoms, elementary particles, polymers, populations, genetic trees, economies, rational decisions, aeroplanes, earthquakes, forest fires, irrigation systems, and the world’s climate. It's through these representations that we learn about the world. This entry explores various different accounts of scientific representation, with a particular focus on how scientific models represent their target systems. As philosophers of science are increasingly acknowledging the importance, if not the primacy, of scientific models as representational units of science, it's important to (...) stress that how they represent plays a fundamental role in how we are to answer other questions in the philosophy of science. This entry begins by disentangling ‘the’ problem of scientific representation, before critically evaluating the current options available in the literature. (shrink)

I argue that an adequate semantics for physical theories must be grounded on an account of the way that a theory provides formal and conceptual resources appropriate for---that have propriety in---the construction of representations of the physical systems the theory purports to treat. I sketch a precise, rigorous definition of the required forms of propriety, and argue that semantic content accrues to scientific representations of physical systems primarily in virtue of the propriety of its resources. In particular, neither the adequacy (...) of those representations nor any referential relations their terms may enter into play any fundamental role in the determination of the representation's semantic content. One consequence is that anything like traditional Tarskian semantics is inadequate for the task. (shrink)

I review prominent historical arguments against scientific realism to indicate how they display a systematic overshooting in the conclusions drawn from the historical evidence. The root of the overshooting can be located in some critical, undue presuppositions regarding realism. I will highlight these presuppositions in connection with both Laudan’s ‘Old induction’ and Stanford’s New induction, and then delineate a minimal realist view that does without the problematic presuppositions.

This essay explores the possibility of constructing a structural realist interpretation of spacetime theories that can resolve the ontological debate between substantivalists and relationists. Drawing on various structuralist approaches in the philosophy of mathematics, as well as on the theoretical complexities of general relativity, our investigation will reveal that a structuralist approach can be beneficial to the spacetime theorist as a means of deflating some of the ontological disputes regarding similarly structured spacetimes.

The aim of this paper is to defend the structural concept of representation, as defined by homomorphisms, against its main objections, namely: logical objections, the objection from misrepresentation, theobjection from failing necessity, and the copy theory objection. The logical objections can be met by reserving the relation.

One central aim of science is to provide explanations of natural phenomena. What role(s) does mathematics play in achieving this aim? How does mathematics contribute to the explanatory power of science? Rules to Infinity defends the thesis, common though perhaps inchoate among many members of the Vienna Circle, that mathematics contributes to the explanatory power of science by expressing conceptual rules, rules which allow the transformation of empirical descriptions. Mathematics should not be thought of as describing, in any substantive sense, (...) an abstract realm of eternal mathematical objects, as traditional platonists have thought. In Rules to Infinity, this view, which I call mathematical normativism, is updated with contemporary philosophical tools, and it is argued that normativism is compatible with mainstream semantic theory. This allows the normativist to accept that there are mathematical truths, while resisting the platonistic idea that there exist abstract mathematical objects that explain such truths. Furthermore, Rules to Infinity defends a particular account of the distinction between scientific explanations that are in some sense distinctively mathematical – those that explain natural phenomena in some uniquely mathematical way – and those that are only standardly mathematical, and it lays out desiderata for any account of this distinction. Normativism is compared with other prominent views in the philosophy of mathematics such as neo-Fregeanism, fictionalism, conventionalism, and structuralism. Rules to Infinity serves as an entry point into debates at the forefront of philosophy of science and mathematics, and it defends novel positions in these debates. (shrink)

I develop an account of scientific representations building on Charles S. Peirce's rich, and still underexplored, notion of iconicity. Iconic representations occupy a central place in Peirce's philosophy, in his innovative approach to logic and in his practice as a scientist. Starting from a discussion of Peirce's approach to diagrams, I claim that Peirce's own representations are in line with his formulation of iconicity, and that they are more broadly connected to the pragmatist philosophy he developed in parallel with his (...) scientific work. I then defend the contemporary relevance of Peirce's approach to iconic representations, and specifically argue that Peirce offers a useful ‘third way’ between what Mauricio Suárez has recently described as the ‘analytical’ and ‘practical’ inquiries into the concept of representation. As a philosophically minded scientist and an experimentally inclined philosopher, Peirce never divorced the practice of representing from questions about what counts as a representation... (shrink)

Work on analogy has been done from a number of disciplinary perspectives throughout the history of Western thought. This work is a multidisciplinary guide to theorizing about analogy. It contains 1,406 references, primarily to journal articles and monographs, and primarily to English language material. classical through to contemporary sources are included. The work is classified into eight different sections (with a number of subsections). A brief introduction to each section is provided. Keywords and key expressions of importance to research on (...) analogy are discussed in the introductory material. Electronic resources for conducting research on analogy are listed as well. (shrink)

The purpose of this paper is to present a paraconsistent formal system and a corresponding intended interpretation according to which true contradictions are not tolerated. Contradictions are, instead, epistemically understood as conflicting evidence, where evidence for a proposition A is understood as reasons for believing that A is true. The paper defines a paraconsistent and paracomplete natural deduction system, called the Basic Logic of Evidence, and extends it to the Logic of Evidence and Truth. The latter is a logic of (...) formal inconsistency and undeterminedness that is able to express not only preservation of evidence but also preservation of truth. LETj is anti-dialetheist in the sense that, according to the intuitive interpretation proposed here, its consequence relation is trivial in the presence of any true contradiction. Adequate semantics and a decision method are presented for both BLE and LETj, as well as some technical results that fit the intended interpretation. (shrink)

RESUMEN La sección 1 introduce lo que llamo la tesis del colapso de las estructuras matemáticas y las estructuras físicas. La sección 2 examina si acaso la indispensabilidad de las matemáticas para la física fundamental involucra la adopción del platonismo matemático, en este caso acerca de estructuras matemáticas, como argumenta el realismo estructural óntico. La sección 3 muestra que la adopción de la tesis del colapso arriesga introducir la hipótesis del universo matemático. Desde la perspectiva de la concepción inferencial en (...) filosofía de las matemáticas aplicadas, la sección 4 examina aspectos epistémicos del rol de las matemáticas en la teorización científica, derivando distinciones entre estructuras matemáticas y estructuras físicas. El argumento concluye en la sección 5 indicando algunos límites para la presente estrategia. ABSTRACT Section 1 introduces what I call the collapse thesis, which holds that the boundaries of mathematical and physical structures blur or even vanish in certain areas of fundamental physics. Section 2 examines the claim that the indispensability of mathematics to fundamental physics requires the adoption of mathematical Platonism, this time concerning the reality of mathematical structures, as ontic structural realism contends. Section 3 demonstrates that the collapse thesis introduces the threat of the mathematical universe hypothesis. Then, from the perspective of the inferential conception in the philosophy of applied mathematics, section 4 examines epistemic features of the role of mathematics in scientific theorizing, drawing distinctions between mathematical and physical structures. Lastly, the argument closes in section 5 pointing out some of the limits of the proposed strategy for a distinction. (shrink)

The ontological status of theories themselves has recently re-emerged as a live topic in the philosophy of science. We consider whether a recent approach within the philosophy of art can shed some light on this issue. For many years philosophers of aesthetics have debated a paradox in the (meta)ontology of musical works (e.g. Levinson [1980]). Taken individually, there are good reasons to accept each of the following three propositions: (i) musical works are created; (ii) musical works are abstract objects; (iii) (...) abstract objects cannot be created. However it seems clear that, if one wants to avoid inconsistency, one cannot commit to all three. Following up recent developments courtesy of Cameron ([2008a]), we consider how one might respond to the corresponding set of propositions in the (meta)ontology of scientific theories. 1 Introduction2 Setting up the Problem3 What to Reject? 3.1 Scientific theories are not created? 3.2 Scientific theories are not abstract objects? 3.3 Abstract objects can be created?4 A Fourth Way: Truth-maker Theory5 Objections and Replies 5.1 What are the truth-makers? 5.2 Objections from World 3 5.3 Fictionalism 5.4 Concrete/abstract6 Conclusion. (shrink)