James Ladyman ([2000]) argues that constructive empiricism is untenable because it cannot adequately account for modal statements about observability. In this paper, I attempt to resist Ladyman's conclusion, arguing that the constructive empiricist can grant his modal discourse objective, theory-independent truth-conditions, yet without compromising his empiricism.

In the literature over the Ramsey-sentence approach to structural realism, there is often debate over whether structural realists can legitimately restrict the range of the second-order quantifiers, in order to avoid the Newman problem. In this paper, I argue that even if they are allowed to, it won’t help: even if the Ramsey sentence is interpreted using such restricted quantifiers, it is still an implausible candidate to capture a theory’s structural content. To do so, I use the following observation: if (...) a Ramsey sentence did encode a theory’s structural content, then two theories would be structurally equivalent just in case they have logically equivalent Ramsey sentences. I then argue that this criterion for structural equivalence is implausible, even where frame or Henkin semantics are used. (shrink)

The issue of realism about the physical world is distinct from the semantic issue of correspondence truth. So it is an aberration to identify the two issues (Dummett), to dismiss the realism issue out of hostility to correspondence truth (Rorty, Fine), to think that that issue is one of interpretation, or to argue against realism by criticizing various claims about truth and reference (Putnam, Laudan). It is also an aberration to identify realism with nonskepticism, truth-as-the-aim-of-science, or scientific convergence. Realism is (...) an overarching metaphysical issue which should be settled before any of these epistemic and semantic issues. (shrink)

Proceedings of the 2016 "one word" colloquium of the The Philosophical Society of Finland. The word was "Possibility".

This is a collection of my essays in the philosophy of science which have been translated into Spanish.

Convincing disputes about explanatory reductionism in the philosophy of biology require a clear and precise understanding of what a reductive explanation in biology is. The central aim of this book is to provide such an account by revealing the features that determine the reductive character of a biological explanation. Chapters I-IV provide the ground, on which I can then, in Chapter V, develop my own account of explanatory reduction in biology: Chapter I reveals the meta-philosophical assumptions that underlie my analysis (...) of reduction, Chapter II introduces the previous debate about reduction in the philosophy of biology by pointing out the most crucial lessons one should learn from this debate, Chapter III critically discusses the two perspectives on explanatory reduction that have been proposed in the philosophy of biology so far, and Chapter IV clarifies in what ways the issue of reduction is entangled with the issue of explanation. In Chapter V I present my own account of explanatory reduction. My main claim is that reductive explanations in the biological sciences possess three main characteristics: they explain the behavior of a biological system S, first, exclusively in terms of factors that are located on a lower level of organization than S, second, by focusing on factors that are internal to S , and third, by describing the genuine parts of S only as “parts in isolation”. This account is ontic because it traces the reductivity of an explanation back to certain relations that exist in the world. (shrink)

This thesis considers the following problem: What methods should the epistemology of science use to gain insight into the structure and behaviour of scientific knowledge and method in actual scientific practice? After arguing that the elucidation of epistemological and methodological phenomena in science requires a method that is rooted in formal methods, I consider two alternative methods for epistemology of science. One approach is the classical approaches of the syntactic and semantic views of theories. I show that typical approaches of (...) this sort are inadequate and inaccurate in their representation of scientific knowledge by showing how they fail to account for and misrepresent important epistemological structure and behaviour in science. The other method for epistemology of science I consider is modeled on the methods used to construct valid models of natural phenomena in applied mathematics. This new epistemological method is itself a modeling method that is developed through the detailed consideration of two main examples of theory application in science: double pendulum systems and the modeling of near-Earth objects to compute probability of future Earth impact. I show that not only does this new method accurately represent actual methods used to apply theories in applied mathematics, it also reveals interesting structural and behavioural patterns in the application process and gives insight into what underlies the stability of methods of application. I therefore conclude that for epistemology of science to develop fully as a scientific discipline it must use methods from applied mathematics, not only methods from pure mathematics and metamathematics as traditional formal epistemology of science has done. (shrink)

This thesis offers a naturalist revision of Alain Badiou’s philosophy. This goal is pursued through an encounter of Badiou’s mathematical ontology and theory of truth with contemporary trends in philosophy of mathematics and philosophy of science. I take issue with Badiou’s inability to elucidate the link between the empirical and the ontological, and his residual reliance on a Heideggerian project of fundamental ontology, which undermines his own immanentist principles. I will argue for both a bottom-up naturalisation of Badiou’s philosophical approach (...) to mathematics and a top-down naturalisation. Articulating my particular understanding of what realism and naturalism should commit us to, I propose a creative fusion of Badiou’s attention to metamathematical results with a structural-informational metaphysics, proposing a ‘matherialism’ uniting the more daring speculative insights of the former with the naturalist and empiricist commitments motivating the latter. (shrink)

Modality and Anti-Metaphysics critically examines the most prominent approaches to modality among analytic philosophers in the twentieth century, including essentialism. Defending both the project of metaphysics and the essentialist position that metaphysical modality is conceptually and ontologically primitive, Stephen McLeod argues that the logical positivists did not succeed in banishing metaphysical modality from their own theoretical apparatus and he offers an original defence of metaphysics against their advocacy of its elimination. -/- Seeking to assuage the sceptical worries which underlie modal (...) anti-realism, McLeod provides an original contribution to essentialist epistemology, engaging with current debates about modality and suggesting that standard essentialist approaches to some issues in the philosophies of logic and language require revision. -/- This book offers valuable insights to professional philosophers, postgraduates and advanced undergraduates interested in metaphysics, philosophy of logic or the history of twentieth-century analytic philosophy. (shrink)

Peter Ludlow presents the first book on the philosophy of generative linguistics, including both Chomsky's government and binding theory and his minimalist ...

Karl Popper is famous for having proposed that science advances by a process of conjecture and refutation. He is also famous for defending the open society against what he saw as its arch enemies – Plato and Marx. Popper’s contributions to thought are of profound importance, but they are not the last word on the subject. They need to be improved. My concern in this book is to spell out what is of greatest importance in Popper’s work, what its failings (...) are, how it needs to be improved to overcome these failings, and what implications emerge as a result. The book consists of a collection of essays which dramatically develop Karl Popper’s views about natural and social science, and how we should go about trying to solve social problems. Criticism of Popper’s falsificationist philosophy of natural science leads to a conception of science that I call aim-oriented empiricism. This makes explicit metaphysical theses concerning the comprehensibility and knowability of the universe that are an implicit part of scientific knowledge – implicit in the way science excludes all theories that are not explanatory, even those that are more successful empirically than accepted theories. Aim-oriented empiricism has major implications, not just for the academic discipline of philosophy of science, but for science itself. Popper generalized his philosophy of science of falsificationism to arrive at a new conception of rationality – critical rationalism – the key methodological idea of Popper’s profound critical exploration of political and social issues in his The Open Society and Its Enemies, and The Poverty of Historicism. This path of Popper, from scientific method to rationality and social and political issues is followed here, but the starting point is aim-oriented empiricism rather than falsificationism. Aim-oriented empiricism is generalized to form a conception of rationality I call aim-oriented rationalism. This has far-reaching implications for political and social issues, for the nature of social inquiry and the humanities, and indeed for academic inquiry as a whole. The strategies for tackling social problems that arise from aim-oriented rationalism improve on Popper’s recommended strategies of piecemeal social engineering and critical rationalism, associated with Popper’s conception of the open society. This book thus sets out to develop Popper’s philosophy in new and fruitful directions. The theme of the book, in short, is to discover what can be learned from scientific progress about how to achieve social progress towards a better world. (shrink)

The 1994 US spectrum auction is now a paradigmatic case of the successful use of microeconomic theory for policy-making. We use a detailed analysis of it to review standard accounts in philosophy of science of how idealized models are connected to messy reality. We show that in order to understand what made the design of the spectrum auction successful, a new such account is required, and we present it here. Of especial interest is the light this sheds on the issue (...) of progress in economics. In particular, it enables us to get clear on exactly what has been progressing, and on exactly what theory has – and has not – contributed to that. This in turn has important implications for just what it is about economic theory that we should value. (shrink)

I use a contrastive theory of causal explanation to analyze the notion of a genetic trait. The resulting definition is relational, an implication of which is that no trait is genetic always and everywhere. Rather, every trait may be either genetic or non-genetic, depending on explanatory context. I also outline some other advantages of connecting the debate to the wider causation literature, including how that yields us an account of the distinction between genetic traits and genetic dispositions.

There are two ways of reading Newman’s objection to Russell’s structuralism. One assumes that according to Russell, our knowledge of a theory about the external world is captured by an existential generalization on all non-logical symbols of the theory. Under this reading, our knowledge amounts to a cardinality claim. Another reading assumes that our knowledge singles out a structure in Russell’s (and Newman’s) sense: a model theoretic structure that is determined up to isomorphism. Under this reading, our knowledge is far (...) from trivial, for it amounts to knowledge of the structure of the relations between objects, but not their identity. Newman’s objection is then but an expression of structural realism. Since therefore the content of theories is described by classes of structures closed under isomorphism, the most natural description of a theory in structural realism is syntactic. (shrink)

This paper surveys some ways in which epistemic reasons ascriptions (or ERAs) appear to be context-sensitive, and outlines a framework for thinking about the nature of this context-sensitivity that is intimately related to ERAs' explanatory function.

The essay is a partial investigation into the semantics of the explanatory connective ‘because’. After three independently plausible assumptions about ‘because’ are presented in some detail, it is shown how their interaction generates a puzzle about ‘because’, once they are combined with a common view on conceptual analysis. Four possible solutions to the puzzle are considered.

The phrase ‘in virtue of’ is a mainstay of metaphysical discourse. In recent years, many philosophers have argued that we should understand this phrase, as metaphysicians use it, in terms of a concept of metaphysical dependence called ‘grounding’.This dissertation explores a range of central issues in the theory of grounding. Chapter 1 introduces the intuitive concept of grounding and discusses some compulsory questions in the theory of grounding. Chapter 2 focusses on scepticism on grounding, according to which the recent philosophical (...) interest in the topic is misguided. In chapter 3 I discuss grounding’s explanatory roles. Chapter 4 focusses on the claim that if an entity is grounded then it is an ontological free lunch. Chapter 5 discusses and rejects the claim that groundingis a relation between facts. This conclusion raises a problem: if grounding is not a relation between facts it becomes difficult to specify the connections between grounding and explanation and grounding and necessity. But not only is it desirable to specify these relations, it is essential for establishing that grounding is able to play the explanatory roles that are discussed in chapter 3. Chapter 6 responds to this problem by outlining an approach to grounding based on David Lewis’s (2003) theory of truthmaking. Against this backdrop I discuss, in chapter 7, some issues in the logic of grounding. (shrink)

This thesis explores attempts to characterise the structure of reality. Three notions stand out: Lewisian naturalness, Sider’s ‘structure’, and grounding, where the latter has become the most popular way to characterise the structure of reality in the contemporary literature. I argue that none of these notions, as they are currently understood, are suited for limning the metaphysical structure of reality. In the first part of the thesis I argue that, by the lights of the relevant theories, both naturalness and structure (...) fall short of the theoretical role carved out for those posits. In the second part of the thesis I present two challenges to the ‘orthodox’ conception of grounding. The first contests the standard assumption that grounding is asymmetric, both by citing what I take to be best described as symmetric instances of grounding, and by developing and arguing for a new theory of metaphysical structure – ‘metaphysical interdependence’ – which takes grounding to be nonsymmetric. The second challenge concerns the relationship between grounding and explanation, and leads to a dilemma for the grounding theorist. My proposed resolution to the dilemma is to adopt an antirealist approach to grounding, which I further motivate and develop in the final chapter. (shrink)

Primitive, unanalysable grounding relations are considered by many to be indispensable constituents of the metaphysician’s toolkit. Yet, as a primitive ontological posit, grounding must earn its keep by explaining features of the world not explained by other tools already at our disposal. Those who defend grounding contend that grounding is required to play two interconnected roles: accounting for widespread intuitions regarding what is ontologically prior to what, and forming the backbone of a theory of metaphysical explanation, in much the same (...) way that causal relations have been thought to underpin theories of scientific explanation. This thesis undermines the need to posit grounding relations to perform either of these jobs. With regard to the first, it is argued that a pair of human psychological mechanisms—for which there is substantial empirical support—can provide a more theoretically virtuous explanation of why we have the intuitions that we do. With regard to the second, I begin by considering what we want from a theory of explanation, and go on to develop three attractive (yet grounding-free) theories of metaphysical explanation. I offer: i) a psychologistic theory that calls upon the aforementioned psychological mechanisms, as well as the modal relations of necessitation and supervenience, ii) a metaphysical variant of the deductive-nomological theory of scientific explanation, and iii) a metaphysical variant of the unificationist theory of scientific explanation. Furthermore, these theories draw upon mechanisms and relations (both logical and ontological) to which we are already committed. Thus, to posit grounding relations in order to explain our priority intuitions, or in order to develop a theory of metaphysical explanation, is ontologically profligate. I conclude that we should not posit relations of ground. (shrink)

In this thesis, I aim to motivate a particular philosophy of mathematics characterised by the following three claims. First, mathematical sentences are generally speaking false because mathematical objects do not exist. Second, people typically use mathematical sentences to communicate content that does not imply the existence of mathematical objects. Finally, in using mathematical language in this way, speakers are not doing anything out of the ordinary: they are performing straightforward assertions. In Part I, I argue that the role played by (...) mathematics in our scientific explanations is a purely expressive one, merely allowing us to say more about the physical world than we would otherwise be able to. Mathematical objects do not need to exist for mathematics to play this role. This proposal puts a normative constraint on our use of mathematical language: we ought to use mathematically presented theories to express belief only in the consequences they have for non-mathematical things. In Part II, I will argue that what the normative proposal recommends is in fact what people generally do in both pure and applied mathematical contexts. I motivate this claim by showing that it is predicted by our best general means of analysing natural language. I provide a semantic theory of applied arithmetical sentences that reveals they do not purport to refer to numbers, as well as a pragmatic theory for pure mathematical language use which reveals that pure mathematical utterances do not typically communicate content that implies the existence of mathematical objects. In conclusion, I show that the emerging hermeneutic fictionalist position is preferable to any alternative interpretation of mathematical discourse as aimed at describing a domain of independently existing abstract mathematical objects. (shrink)

In this paper we analyze the definition of quantum superpositions within orthodox Quantum Mechanics and their relation to physical reality. We will begin by discussing how the metaphysical presuppositions imposed by Bohr on the interpretation of QM have become not only interpretational dogmas which constrain the limits of the present Orthodox Line of Research, but also how these desiderata implicitly preclude the possibility of developing a physical representation of quantum superpositions. We will then continue analyzing how most interpretations of QM (...) argue against the existence of superpositions. Firstly, we will focus on those interpretations which attempt to recover a classical representation about ''what there is'', and secondly, we will concentrate on the arguments provided by Dieks and Griffiths who, staying close to the orthodox formalism, also attempt to ''get rid of the ghost of Schrodinger's cat''. Contrary to the OLR, we will argue -based on our definition of Meaningful Physical Statements - that from a representational realist perspective which stays close to the orthodox Hilbert space formalism, quantum superpositions are not only the key to the most important -present and future- technological and experimental developments in quantum information processing but also, they must be considered as the kernel of any interpretation of QM that attempts to provide a physical representation of reality. We will also argue that the price to pay for such representational realist development must be the abandonment of the idea that 'Actuality = Reality'. (shrink)

We provide a novel Bayesian justification of inference to the best explanation. More specifically, we present conditions under which explanatory considerations can provide a significant confirmatory boost for hypotheses that provide the best explanation of the relevant evidence. Furthermore, we show that the proposed Bayesian model of IBE is able to deal naturally with the best known criticisms of IBE such as van Fraassen?s?bad lot? argument.

Entropy is ubiquitous in physics, and it plays important roles in numerous other disciplines ranging from logic and statistics to biology and economics. However, a closer look reveals a complicated picture: entropy is defined differently in different contexts, and even within the same domain different notions of entropy are at work. Some of these are defined in terms of probabilities, others are not. The aim of this chapter is to arrive at an understanding of some of the most important notions (...) of entropy and to clarify the relations between them, After setting the stage by introducing the thermodynamic entropy, we discuss notions of entropy in information theory, statistical mechanics, dynamical systems theory and fractal geometry. (shrink)

The aim of this paper is to rebut two major criticisms of the No-Miracles Argument for Realism. The first comes from Musgrave. The second comes from Colin Howson. Interestingly enough, these criticisms are the mirror image of each other. Yet, they both point to the conclusion that NMA is fallacious. Musgrave’s misgiving against NMA is that if it is seen as an inference to the best explanation, it is deductively fallacious. Being a deductivist, he tries to correct it by turning (...) it into a valid deductive argument. Howson’s misgiving against NMA is that if it is seen as an inference to the best explanation, it is inductively fallacious. Being a subjective Bayesian, he tries to correct it by turning it into a sound subjective Bayesian argument. I will argue that both criticisms are unwarranted. (shrink)

Traditional approaches in philosophy of biology focus attention on biological concepts, explanations, and theories, on evidential support and inter-theoretical relations. Newer approaches shift attention from concepts to conceptual practices, from theories to practices of theorizing, and from theoretical reduction to reductive retooling. In this article, I describe the shift from theory-focused to practice-centered philosophy of science and explain how it is leading philosophers to abandon fundamentalist assumptions associated with traditional approaches in philosophy of science and to embrace scientific pluralism. This (...) article comes in three parts, each illustrating the shift from theory-focused to practice-centered epistemology. The first illustration shows how shifting philosophical attention to conceptual practice reveals how molecular biologists succeed in identifying coherent causal strands within systems of bewildering complexity. The second illustration suggests that analyzing how a multiplicity of alternative models function in practice provides an illuminating approach for understanding the nature of theoretical knowledge in evolutionary biology. The third illustration demonstrates how framing reductionism in terms of the reductive retooling of practice offers an informative perspective for understanding why putting DNA at the center of biological research has been incredibly productive throughout much of biology. Each illustration begins by describing how traditional theory-focused philosophical approaches are laden with fundamentalist assumptions and then proceeds to show that shifting attention to practice undermines these assumptions and motivates a philosophy of scientific pluralism. (shrink)

What should be the ontology of the world such that life and cognition are possible? In this essay, I undertake to outline an alternative ontological foundation which makes biological and cognitive phenomena possible. The foundation is built by defining a model, which is presented in the form of a description of a hypothetical but a logically possible world with a defined ontological base. Biology rests today on quite a few not so well connected foundations: molecular biology based on the genetic (...) dogma; evolutionary biology based on neo-Darwinian model; ecology based on systems view; developmental biology by morphogenetic models; connectionist models for neurophysiology and cognitive biology; pervasive teleonomic explanations for the goal-directed behavior across the discipline; etc. Can there be an underlying connecting theme or a model which could make these seemingly disparate domains interconnected? I shall atempt to answer this question. By following the semantic view of scientific theories, I tend to believe that the models employed by the present physical sciences are not rich enough to capture biological (and some of the non-biological) systems. A richer theory that could capture biological reality could also capture physical and chemical phenomena as limiting cases, but not vice versa. (shrink)

Thesis (Ph. D.)--University of Hawaii at Manoa, 1991.

In classical physics, probabilistic or statistical knowledge has been always related to ignorance or inaccurate subjective knowledge about an actual state of affairs. This idea has been extended to quantum mechanics through a completely incoherent interpretation of the Fermi-Dirac and Bose-Einstein statistics in terms of "strange" quantum particles. This interpretation, naturalized through a widespread "way of speaking" in the physics community, contradicts Born's physical account of Ψ as a "probability wave" which provides statistical information about outcomes that, in fact, cannot (...) be interpreted in terms of 'ignorance about an actual state of affairs'. In the present paper we discuss how the metaphysics of actuality has played an essential role in limiting the possibilities of understating things differently. We propose instead a metaphysical scheme in terms of powers with definite potentia which allows us to consider quantum probability in a new light, namely, as providing objective knowledge about a potential state of affairs. (shrink)

In this paper we discuss the representational realist stance as a pluralist ontic approach to inter-theoretic relationships. Our stance stresses the fact that physical theories require the necessary consideration of a conceptual level of discourse which determines and configures the specific field of phenomena discussed by each particular theory. We will criticize the orthodox line of research which has grounded the analysis about QM in two metaphysical presuppositions —accepted in the present as dogmas that all interpretations must follow. We will (...) also examine how the orthodox project of "bridging the gap" between the quantum and the classical domains has constrained the possibilities of research, producing only a limited set of interpretational problems which only focus in the justification of "classical reality" and exclude the possibility of analyzing the possibilities of non-classical conceptual representations of QM. The representational realist stance introduces two new problems, namely, the superposition problem and the contextuality problem, which consider explicitly the conceptual representation of orthodox QM beyond the mere reference to mathematical structures and measurement outcomes. In the final part of the paper, we revisit, from a representational realist perspective, the quantum to classical limit and the orthodox claim that this inter-theoretic relation can be explained through the principle of decoherence. (shrink)

In this paper we investigate the history of relationalism and its present use in some interpretations of quantum mechanics. In the first part of this article we will provide a conceptual analysis of the relation between substantivalism, relationalism and relativism in the history of both physics and philosophy. In the second part, we will address some relational interpretations of quantum mechanics, namely, Bohr’s relational approach, the modal interpretation by Kochen, the perspectival modal version by Bene and Dieks and the relational (...) interpretation by Rovelli. We will argue that all these interpretations ground their understanding of relations in epistemological terms. By taking into account the analysis on the first part of our work, we intend to highlight the fact that there is a different possibility for understanding quantum mechanics in relational terms which has not been yet considered within the foundational literature. This possibility is to consider relations in ontological terms. We will argue that such an understanding might be capable of providing a novel approach to the problem of representing what quantum mechanics is really talking about. (shrink)

In a recent paper Griffiths [38] has argued, based on the consistent histories interpretation, that Hilbert space quantum mechanics is noncontextual. According to Griffiths the problem of contextuality disappears if the apparatus is “designed and operated by a competent experimentalist” and we accept the Single Framework Rule. We will argue from a representational realist stance that the conclusion is incorrect due to the misleading understanding provided by Griffiths to the meaning of quantum contextuality and its relation to physical reality and (...) measurements. We will discuss how the quite general incomprehension of contextuality has its origin in the ''objective-subjective omelette'' created by Heisenberg and Bohr. We will argue that in order to unscramble the omelette we need to disentangle, firstly, representational realism from naive realism, secondly, ontology from epistemology, and thirdly, the different interpretational problems of QM. In this respect, we will analyze what should be considered as Meaningful Physical Statements within a theory and will argue that Counterfactual Reasoning -considered by Griffiths as ''tricky''- must be accepted as a necessary condition for any representational realist interpretation of QM. Finally we discuss what should be considered as a problem in QM from a representational realist perspective. (shrink)

In this paper we compare two different notions of 'power', both of which attempt to provide a realist understanding of quantum mechanics grounded on the potential mode of existence. For this propose we will begin by introducing two different notions of potentiality present already within Aristotelian metaphysics, namely, irrational potentiality and rational potentiality. After discussing the role played by potentiality within classical and quantum mechanics, we will address the notion of causal power which is directly related to irrational potentiality and (...) has been adopted by many interpretations of QM. We will then present the notion of immanent power which relates to rational potentiality and argue that this new concept presents important advantages regarding the possibilities it provides for understanding in a novel manner the theory of quanta. We end our paper with a comparison between both notions of 'power', stressing some radical differences between them. (shrink)

Quine has famously put forward the indispensability argument to force belief in the existence of mathematical objects (such as classes) due to their indispensability to our best theories of the world (Quine 1960). Quine has also advocated the indeterminacy of reference argument, according to which reference is dramatically indeterminate: given a language, there’s no unique reference relation for that language (see Quine 1969a). In this paper, I argue that these two arguments are in conflict with each other. Whereas the indispensability (...) argument supports realism about mathematics, the indeterminacy of reference argument, when applied to mathematics, provides a powerful strategy in support of mathematical anti-realism. I conclude the paper by indicating why the indeterminacy of reference phenomenon should be preferred over the considerations regarding indispensability. In the end, even the Quinean shouldn’t be a realist (platonist) about mathematics. (shrink)

Mechanisms have become much-discussed, yet there is still no consensus on how to characterise them. In this paper, we start with something everyone is agreed on – that mechanisms explain – and investigate what constraints this imposes on our metaphysics of mechanisms. We examine two widely shared premises about how to understand mechanistic explanation: (1) that mechanistic explanation offers a welcome alternative to traditional laws-based explanation and (2) that there are two senses of mechanistic explanation that we call ‘epistemic explanation’ (...) and ‘physical explanation’. We argue that mechanistic explanation requires that mechanisms are both real and local. We then go on to argue that real, local mechanisms require a broadly active metaphysics for mechanisms, such as a capacities metaphysics. (shrink)

Russell’s claim that only structural knowledge of the world is possible was influentially criticized by Newman as rendering scientific discoveries trivial. I show that a version of this criticism also applies to the “structural realism” more recently advocated by Worrall, which requires continuity of formal structure between predecessor and successor scientific theories. The problem is that structure, in its common set-theoretical construal, is radically underdetermined by the entities and relations over which it is defined, rendering intertheoretic continuity intolerably cheap. I (...) show that this problem may be overcome by supplementing the purely formal relation of intertheoretic isomorphism with the semiformal “Ontological Reductive Links” developed by Moulines and others of the German “structuralist” approach to the philosophy of science. (shrink)

A central component to scientific practice is the construction and use of scientific models. Scientists believe that the success of a model justifies making claims that go beyond the model itself. However, philosophical analysis of models suggests that drawing inferences about the world from successful models is more complex. In this dissertation I develop a framework that can help disentangle the related strands of evaluation of model success, model extendibility, and the ability to draw ampliative inferences about the world from (...) models. I present and critically assess two leading accounts of model assessment, arguing that neither is sufficient to provide a complete understanding of model evaluation. I introduce a more powerful framework incorporating elements of the two views, which can help answer these three questions: What is the target of evaluation in model assessment? How does that evaluation proceed? What licenses us in making inferences about the real world, based on the evaluation of our models as successful? The framework identifies two distinct targets of model evaluation: representational similarity between the model and target system, and the adequacy of the model as a tool to answer questions. Both assessments must be relativized to a purpose, of which there are three general kinds: descriptive, predictive, and explanatory. These purposes differ in the way they inform the similarity relation, which is relevant for the similarity assessment, and the output they produce, which is relevant for the adequacy assessment. Any model can be assessed relative to any purpose, however a model encodes certain decisions made during the model’s construction, which impact its ability to be applied to a new purpose or new domain. My framework shows that extending a model, and drawing inferences from it, depends on its representational similarity. I apply this framework to several examples taken from astrophysics showing in detail how it can help illuminate the structure of the models, as well as make the justification for inferences made from them clear. The final chapter is a detailed analysis of a contemporary debate surrounding the use of models in astrophysics, between proponents of MOND and the standard ΛCDM model. (shrink)

The aim of this dissertation is to clarify the debate over the explanation of quantum speedup and to submit, for the reader's consideration, a tentative resolution to it. In particular, I argue, in this dissertation, that the physical explanation for quantum speedup is precisely the fact that the phenomenon of quantum entanglement enables a quantum computer to fully exploit the representational capacity of Hilbert space. This is impossible for classical systems, joint states of which must always be representable as product (...) states. I begin the dissertation by considering, in Chapter 2, the most popular of the candidate physical explanations for quantum speedup: the many worlds explanation of quantum computation. I argue that, although it is inspired by the neo-Everettian interpretation of quantum mechanics, unlike the latter it does not have the conceptual resources required to overcome objections such as the so-called `preferred basis objection'. I further argue that the many worlds explanation, at best, can serve as a good description of the physical process which takes place in so-called network-based computation, but that it is incompatible with other models of computation such as cluster state quantum computing. I next consider, in Chapter 3, a common component of most other candidate explanations of quantum speedup: quantum entanglement. I investigate whether entanglement can be said to be a necessary component of any explanation for quantum speedup, and I consider two major purported counter-examples to this claim. I argue that neither of these, in fact, show that entanglement is unnecessary for speedup, and that, on the contrary, we should conclude that it is. In Chapters 4 and 5 I then ask whether entanglement can be said to be sufficient as well. In Chapter 4 I argue that despite a result that seems to indicate the contrary, entanglement, considered as a resource, can be seen as sufficient to enable quantum speedup. Finally, in Chapter 5 I argue that entanglement is sufficient to explain quantum speedup as well. (shrink)

The traditional use of the expression 'pseudoproblem' is analysed in order to clarify the talk of pseudoproblems and related phenomena. The goal is to produce a philosophically serviceable terminology that stays true to its historical roots. This explicative study is inspired by and makes use of the method of logical reconstruction. Since pseudoproblems are usually expressed by pseudoquestions a formal language of questions is presented as a possible reconstruction language for alleged pseudoproblems. The study yields an informal theory of pseudoproblems (...) whose presuppositions are critically investigated right away. At least one result remains: Claims of pseudoproblemship and their refutations must not be voiced casually - they are to be relativized and need substantial interpretive effort. (shrink)

I show that a theory may be empirically adequate according to van Fraassen's definition even though it can be observationally determined that the theory is false. I suggest a modification of empirical adequacy that avoids this result.

Some recent work by philosophers of mathematics has been aimed at showing that our knowledge of the existence of at least some mathematical objects and/or sets can be epistemically grounded by appealing to perceptual experience. The sensory capacity that they refer to in doing so is the ability to perceive numbers, mathematical properties and/or sets. The chief defense of this view as it applies to the perception of sets is found in Penelope Maddy’s Realism in Mathematics, but a number of (...) other philosophers have made similar, if more simple, appeals of this sort. For example, Jaegwon Kim (1981, 1982), John Bigelow (1988, 1990), and John Bigelow and Robert Pargetter (1990) have all defended such views. The main critical issue that will be raised here concerns the coherence of the notions of set perception and mathematical perception, and whether appeals to such perceptual faculties can really provide any justification for or explanation of belief in the existence of sets, mathematical properties and/or numbers. (shrink)

This work develops an epistemology of measurement, that is, an account of the conditions under which measurement and standardization methods produce knowledge as well as the nature, scope, and limits of this knowledge. I focus on three questions: (i) how is it possible to tell whether an instrument measures the quantity it is intended to? (ii) what do claims to measurement accuracy amount to, and how might such claims be justified? (iii) when is disagreement among instruments a sign of error, (...) and when does it imply that instruments measure different quantities? Based on a series of case studies conducted in collaboration with the US National Institute of Standards and Technology (NIST), I argue for a model-based approach to the epistemology of physical measurement. To measure a physical quantity, I argue, is to estimate the value of a parameter in an idealized model of a physical process. Such estimation involves inference from the final state (‘indication’) of a process to the value range of a parameter (‘outcome’) in light of theoretical and statistical assumptions. Contrary to contemporary philosophical views, measurement outcomes cannot be obtained by mapping the structure of indications. Instead, measurement outcomes as well as claims to accuracy, error and quantity individuation can only be adjudicated relative to a choice of idealized modelling assumptions. (shrink)

Recent work in the methodology of connectionist explanation has I'ocrrsccl on the notion of levels of explanation. Specific issucs in conncctionisrn hcrc intersect with rvider areas of debate in the philosophy of psychology and thc philosophy of science generally. The issues I raise in this chapter, then, are not unique to cognitive science; but they arise in new and important contexts when connectionism is taken seriously as a model of cognition. The general questions are the relation between levels and the (...) status of levels which have no obvious relation to others. In speaking of levels, what is the connection, if there is one, between explanation and ontology? Which, if any, conccpt of reduction is applicable to connectionist systems? What kind of legitinrtcy can the constructs of common sense psychology, or of that vclsion ol intentional realism represented by classical symbol-systems n I, hirvc irr ir full-scale connectionist theory of mind? (shrink)

Paradoxes have played an important role both in philosophy and in mathematics and paradox resolution is an important topic in both fields. Paradox resolution is deeply important because if such resolution cannot be achieved, we are threatened with the charge of debilitating irrationality. This is supposed to be the case for the following reason. Paradoxes consist of jointly contradictory sets of statements that are individually plausible or believable. These facts about paradoxes then give rise to a deeply troubling epistemic problem. (...) Specifically, if one believes all of the constitutive propositions that make up a paradox, then one is apparently committed to belief in every proposition. This is the result of the principle of classical logical known as ex contradictione (sequitur) quodlibetthat anything and everything follows from a contradiction, and the plausible idea that belief is closed under logical or material implication (i.e. the epistemic closure principle). But, it is manifestly and profoundly irrational to believe every proposition and so the presence of even one contradiction in one’s doxa appears to result in what seems to be total irrationality. This problem is the problem of paradox-induced explosion. In this paper it will be argued that in many cases this problem can plausibly be avoided in a purely epistemic manner, without having either to resort to non-classical logics for belief (e.g. paraconsistent logics) or to the denial of the standard closure principle for beliefs. The manner in which this result can be achieved depends on drawing an important distinction between the propositional attitude of belief and the weaker attitude of acceptance such that paradox constituting propositions are accepted but not believed. Paradox-induced explosion is then avoided by noting that while belief may well be closed under material implication or even under logical implication, these sorts of weaker commitments are not subject to closure principles of those sorts. So, this possibility provides us with a less radical way to deal with the existence of paradoxes and it preserves the idea that intelligent agents can actually entertain paradoxes. (shrink)

Cornea (2012) argues that I (2011) was wrong to use the analogy between morality and motion to defend cultural relativism. I reply that the analogy can be used to clarify what cultural relativism asserts and how a cultural relativist can reply to the criticisms against it. Ockham’s Razor favours the relativist view that there are no moral truths, and hence no culture is better than another. Contrary to what Cornea claims, cultural relativism does not entail that we cannot protect ourselves (...) from those who attack us, and that the ruling of an international court lacks moral legitimacy. (shrink)

As the title of this essay suggests, my concern is with the issue of what are economic models. However, the goal of the paper is not to offer an in-depth study on multiple approaches to modelling in economics, but rather to overcome the dichotomical divide between conceptualizing models as isolations and constructions. This is done by introducing the idea of economic models as believable worlds, precisely descriptions of mechanisms that refer to the essentials of the modelled targets. In doing so (...) I make use of the Woodward’s (2002) conceptualization of mechanisms. It is shown that such models do not offer the perfectly true descriptions of the actual world but justified beliefs about the modelled, precisely they aim at maximizing truth and minimizing falsity in a large body of belief about the real world. The analysis throughout the paper is supported by in-depth examination of the Varian’s (1980) model of sales that is here treated as a representative way of reasoning in neoclassical economics. (shrink)

In this paper we motivate and develop the analytic theory of measurement, in which autonomously specified algebras of quantities (together with the resources of mathematical analysis) are used as a unified mathematical framework for modeling (a) the time-dependent behavior of natural systems, (b) interactions between natural systems and measuring instruments, (c) error and uncertainty in measurement, and (d) the formal propositional language for describing and reasoning about measurement results. We also discuss how a celebrated theorem in analysis, known as Gelfand (...) representation, guarantees that autonomously specified algebras of quantities can be interpreted as algebras of observables on a suitable state space. Such an interpretation is then used to support (i) a realist conception of quantities as objective characteristics of natural systems, and (ii) a realist conception of measurement results (evaluations of quantities) as determined by and descriptive of the states of a target natural system. As a way of motivating the analytic approach to measurement, we begin with a discussion of some serious philosophical and theoretical problems facing the well-known representational theory of measurement. We then explain why we consider the analytic approach, which avoids all these problems, to be far more attractive on both philosophical and theoretical grounds. (shrink)

The Linda paradox is a key topic in current debates on the rationality of human reasoning and its limitations. We present a novel analysis of this paradox, based on the notion of verisimilitude as studied in the philosophy of science. The comparison with an alternative analysis based on probabilistic confirmation suggests how to overcome some problems of our account by introducing an adequately defined notion of verisimilitudinarian confirmation.