This paper explores various functions of idealizations in quantum field theory. To this end it is important to first distinguish between different kinds of theories and models of or inspired by quantum field theory. Idealizations have pragmatic and cognitive functions. Analyzing a case-study from hadron physics, I demonstrate the virtues of studying highly idealized models for exploring the features of theories with an extremely rich structure such as quantum field theory and for gaining some understanding of the physical processes in (...) the system under consideration. (shrink)

Ontology is the study of what there is, what kinds of things make up reality. Ontology seems to be a very difficult, rather speculative discipline. However, it is trivial to conclude that there are properties, propositions and numbers, starting from only necessarily true or analytic premises. This gives rise to a puzzle about how hard ontological questions are, and relates to a puzzle about how important they are. And it produces the ontologyobjectivity dilemma: either (certain) ontological questions can be trivially (...) answered using only uncontroversial premises, or the uncertainties of ontology are really a threat to the truth of basically everything we say or believe. The main aim of this dissertation is to resolve these puzzles and to shed some light on the discipline of ontology. I defend a view inspired by Carnap’s internal-external distinction about what there is, but one according to which both internal and external questions are fully factual and meaningful. In particular, I argue that the trivial arguments are valid, but they do not answer any ontological questions. Furthermore, I propose an account of the function of our talk about properties, propositions and natural numbers. According to this account our talk about them has no ontological presuppositions for its literal and objective truth. This avoids the ontology-objectivity dilemma, and solves the puzzles about ontology. To do this I look at quantification and noun phrases in general, and at their relation to ontology. I argue that quantifiers are semantically underspecified in a certain respect, and play two different roles in communication. I discuss the relation between syntactic form and information structure, the function of certain non-referential, non-quantificational noun phrases, the uses of bare number determiners, and how arithmetic truths are learned and taught. The more metaphysical issues discussed include: inexpressible properties, logicism about arithmetic, nominalism, Carnap’s view about ontology, the problem of universals, the relationship between ontology and objectivity, different projects within ontology, non-existent.... (shrink)

""Kelly’s constructive epistemology needs to transcend its background of instrumentalism arising from Dewey’s influence. What enables us to well avoid instrumentalism is a notion of truth that incorporates both coherence and correspondence. If we were to abandon coherence, we would have to embrace the naïve conception of realism, while by abandoning correspondence we would have to embrace instrumentalism because we would have to consider the workability of a theory or a construction system and its coherence with previously successful ones as (...) constituting the truth of a given theory or construction system. Such a realistic constructivism provides a more satisfactory conception of personal constructs. According to this view, we no longer think that personal constructs are either true or false, rather they are divided into true and false in accordance with the grasp of reality reflected in our best theories. In other words, having provided a theory of truth, we are ready to compare different personal constructs with the grasp of reality involved in the theory in terms of their correspondence with that grasp. Furthermore, this conception of constructivism makes it possible to talk of the approximation of personal constructs to reality. Having provided a conception of correspondence, not only have we avoided instrumentalism, but also talking of approximation makes more sense. This is because our best theories provide an account of the world with reference to which we can talk of more or less approximate personal constructs. In this sense, more valid personal constructs are those that are more approximate, that is, more correspondent to the reality. (shrink)

I develop a technique for specifying truth-conditions.

In the following we will investigate whether von Mises’ frequency interpretation of probability can be modified to make it philosophically acceptable. We will reject certain elements of von Mises’ theory, but retain others. In the interpretation we propose we do not use von Mises’ often criticized ‘infinite collectives’ but we retain two essential claims of his interpretation, stating that probability can only be defined for events that can be repeated in similar conditions, and that exhibit frequency stabilization. The central idea (...) of the present article is that the mentioned ‘conditions’ should be well-defined and ‘partitioned’. More precisely, we will divide probabilistic systems into object, initializing, and probing subsystem, and show that such partitioning allows to solve problems. Moreover we will argue that a key idea of the Copenhagen interpretation of quantum mechanics (the determinant role of the observing system) can be seen as deriving from an analytic definition of probability as frequency. Thus a secondary aim of the article is to illustrate the virtues of analytic definition of concepts, consisting of making explicit what is implicit. (shrink)

This chapter examines issues surrounding inference to the best explanation, its justification, and its role in different arguments for scientific realism, as well as more general issues concerning explanations’ ontological commitments. Defending the reliability of inference to the best explanation has been a central plank in various realist arguments, and realists have drawn various ontological conclusions from the premise that a given scientific explanation best explains some phenomenon. This chapter stresses the importance of thinking carefully about the nature of explanation (...) in connection with evaluating realists’ appeals to explanatory reasoning and inference to the best explanation. (shrink)

This thesis aims to propose and defend a new way of analysing and understanding the origin of genetics (from Mendel to Bateson). Traditionally philosophers used to analyse the history of genetics in terms of theories. However, I will argue that this theory-based approach is highly problematic. In Chapter 1, I shall critically review the theory-driven approach to analysisng the history of genetics and diagnose its problems. In Chapter 2, inspired by Kuhn’s concept “exemplar”, I shall make a new interpretation of (...) exemplar and introduce an exemplar-based approach. Before introducing my exemplar-based analysis, I find it necessary to scrutinise the origin of genetics from Mendel to Bateson. In Chapter 3, I shall reinterpret Mendel’s work on Pisum by re-examining Mendel’s paper (1865) and its historical research context. In Chapter 4, by carefully examining the conceptual changes, I argue that the rediscovery event in 1900 should be better characterised as attempts of incorporating Mendel’s work with the work of “rediscoverers” (i.e. de Vries, Correns, Tschermak, and Bateson) rather than a mere reintroduction to Mendel’s work. In Chapter 5, I shall use the exemplar-based approach to analysing and interpreting the origin of genetics from Mendel to Bateson. In Chapter 6, I shall defend my exemplar-based characterisation of the origin of genetics by dismissing the potential responses from the theory-driven one, critically examining a potential mechanism-based analysis, and making the further notes on the implication of taking the exemplar-based approach to investigate scientific practice. (shrink)

This paper critically reviews Philip Kitcher's most recent epistemology of science, real realism . I argue that this view is unstable under different understandings of the term 'representation', and that the arguments offered for the position are either unsound or invalid depending on the understanding employed. Suitably modified those arguments are however convincing in favor of a deflationary version of real realism, which I refer to as the bare view . The bare view accepts Kitcher's Galilean strategy, and the ensuing (...) commitment to the existence of unobservables; but it does not trade on a correspondence or copy theory of representation. So the bare view, unlike real realism, does not entail that our representations match reality even approximately. (shrink)

In this text the ancient philosophical question of determinism (“Does every event have a cause ?”) will be re-examined. In the philosophy of science and physics communities the orthodox position states that the physical world is indeterministic: quantum events would have no causes but happen by irreducible chance. Arguably the clearest theorem that leads to this conclusion is Bell’s theorem. The commonly accepted ‘solution’ to the theorem is ‘indeterminism’, in agreement with the Copenhagen interpretation. Here it is recalled that indeterminism (...) is not really a physical but rather a philosophical hypothesis, and that it has counterintuitive and far-reaching implications. At the same time another solution to Bell’s theorem exists, often termed ‘superdeterminism’ or ‘total determinism’. Superdeterminism appears to be a philosophical position that is centuries and probably millennia old: it is for instance Spinoza’s determinism. If Bell’s theorem has both indeterministic and deterministic solutions, choosing between determinism and indeterminism is a philosophical question, not a matter of physical experimentation, as is widely believed. If it is impossible to use physics for deciding between both positions, it is legitimate to ask which philosophical theories are of help. Here it is argued that probability theory – more precisely the interpretation of probability – is instrumental for advancing the debate. It appears that the hypothesis of determinism allows to answer a series of precise questions from probability theory, while indeterminism remains silent for these questions. From this point of view determinism appears to be the more reasonable assumption, after all. (shrink)

Externalist theories in natural language semantics have become the orthodoxy since Kripke is widely thought to have refuted descriptive theories involving internal cognitive representation of meaning. This shift may be seen in developments in philosophy of language of the 1970s – the direct reference “revolution against Frege”. I consider Fodor’s heretical thought that something has gone “awfully wrong” in this philosophical consensus, perhaps confirming Chomsky’s view that the whole field of philosophical semantics is “utterly wrongheaded” and “crazy” by virtue of (...) its non-naturalist assumptions and “methodological dualism.” Kripke acknowledges that he was led to his views by his “natural intuition”. Accordingly, I take up the aetiological question Chomsky poses, suggesting that we may go beyond the usual analysis of those doctrines that have been assumed too uncritically “to ask why they seem so compelling”. I suggest that the externalist orthodoxy is a kind of cognitive illusion seen elsewhere in philosophy and cognitive science. (shrink)

A computer simulation runs a model generating a phenomenon under investigation. For the simulation to be explanatory, the model has to be explanatory. The model must be isomorphic to the natural system that realizes the phenomenon. This paper elaborates the method of assessing a simulation's explanatory power. Then it illustrates the method by applying it to two simulations in game theory. The first is Brian Skyrms's (1990) simulation of interactive deliberations. It is intended to explain the emergence of a Nash (...) equilibrium in a noncooperative game. The second is Skyrms's (2004) simulation of the evolution of cooperation. It is intended to explain cooperation in assurance games. The final section suggests ways of enhancing the explanatory power of these simulations. (shrink)

This article presents a reconstruction of the so-called classical, formal or Mendelian genetics, which is intended to be more complete and adequate than existing reconstructions. This reconstruction has been carried out with the instruments, duly modified and extended with respect to the case under consideration, of the structuralist conception of theories. The so-called Mendel’s Laws, as well as linkage genetics and gene mapping are formulated in a precise manner while the global structure of genetics is represented as a theory-net. These (...) results are of methodological, philosophical and didactical relevance. (shrink)

Metaphysicians sometimes appeal to physics to establish claims about the fundamental nature of the world. But given the current state of inquiry in physics, where there are two most fundamental theories that are incompatible, such arguments of physics-based metaphysics are problematic. I support this line of thought by focussing on two sorts of problematic arguments, special-relativity-based arguments against presentism and big-bang-based arguments in favor of the existence of God. I am not arguing that physics-based metaphysics can’t be done; I am (...) just arguing that extant examples of physics-based metaphysics are flawed. I close by considering various ways that future versions of physics-based metaphysics could potentially be successful. (shrink)

We introduce an ontology of objects and events that is particularly well suited for several interpretations of quantum mechanics. It leads to an important revision of the notion of matter and its implications. Within this context one can show that systems in entangled states present emergent new properties and downward causation where certain behavior of parts of the system are only determined by the state of the whole. Interpretations of quantum mechanics that admit such an event ontology solve the problem (...) of emergence. (shrink)

Nickles (2017) advocates scientific antirealism by appealing to the pessimistic induction over scientific theories, the illusion hypothesis (Quoidbach, Gilbert, and Wilson, 2013), and Darwin’s evolutionary theory. He rejects Putnam’s (1975: 73) no-miracles argument on the grounds that it uses inference to the best explanation. I object that both the illusion hypothesis and evolutionary theory clash with the pessimistic induction and with his negative attitude towards inference to the best explanation. I also argue that Nickles’s positive philosophical theories are subject to (...) Park’s (2017a) pessimistic induction over antirealists. (shrink)

I present a case for a rapprochement between aspects of rationalism and scientific realism, by way of a general framework employing modal epistemology and elements of 2-dimensional semantics (2DS). My overall argument strategy is meta-inductive: The bulk of this paper establishes a “base case,” i.e., a concretely constructive example by which I demonstrate this linkage. The base case or constructive example acts as the exemplar for generating, in a constructively ‘bottom-up’ fashion, a more generally rigorous case for rationalism-realism qua modal (...) epistemology. The exemple I choose in D. Chalmers’ (2002) modal rationalism and R. Giere’s (1985, 1988) constructive realism. I show by way of a thorough analysis how Giere’s claims concerning modal scope are characterized as instances of Chalmers’ modal rationalism, both weak and strong. In essence, as I demonstrate via Chalmers’ notions, ceteris paribus the constructive realist ultimately opts for a comparatively wider gate, characterized by modal reasoning, to lead from the rooms of conceivability qua thought experiments and models, to the pastures of metaphysical possibility. Chalmers likewise tries to erect such a wider gate, in his general conceivability-possibility theses. Anti-realists, on the other hand, see a narrower passage and my contention herein is that they suffer from modal myopia, which hopefully the ‘corrective vision’ of Chalmers’ modal rationalism can restore. In the introduction and concluding sections I sketch out suggestions of constructing ‘inductive steps’ from my base case, to generate more extensively general claims regarding realism qua rationalism. -/- . (shrink)

Saatsi’s minimal realism holds that science makes theoretical progress. It is designed to get around the pessimistic induction, to fall between scientific realism and instrumentalism, and to explain the success of scientific theories. I raise the following two objections to it. First, it is not clear whether minimal realism lies between realism and instrumentalism, given that minimal realism does not entail instrumentalism. Second, it is not clear whether minimal realism can explain the success of scientific theories, given that it is (...) doubtful that theoretical progress makes success likely. In addition to raising these two objections, I develop and criticize a new position that truly falls between realism and instrumentalism. (shrink)

I defend a new position in philosophy of mathematics that I call mathematical inferentialism. It holds that a mathematical sentence can perform the function of facilitating deductive inferences from some concrete sentences to other concrete sentences, that a mathematical sentence is true if and only if all of its concrete consequences are true, that the abstract world does not exist, and that we acquire mathematical knowledge by confirming concrete sentences. Mathematical inferentialism has several advantages over mathematical realism and fictionalism.

The topic of truth has long been thought to be connected to scientific realism and its opposition. In this essay, I discuss the various ways that truth might be related to realism. First, I consider how truth might be of use when defining scientific realism and its opposition. Second, I consider whether various stances regarding realism require specific stances on the nature of truth. I survey "neutralist" views that argue that one's stance on realism is independent of one's view on (...) truth, and partisan positions that claim that one's attitude on realism is, in part, determined by one's theory of truth. Though partisan views have been popular, and defended by seminal figures such as Thomas Kuhn, Richard Rorty, Hilary Putnam, and Arthur Fine, I raise a number of objections for them. (shrink)

The metaphysics of representation poses questions such as: in virtue of what does a sentence, picture, or mental state represent that the world is a certain way? In the first instance, I have focused on the semantic properties of language: for example, what is it for a name such as ‘London’ to refer to something? Interpretationism concerning what it is for linguistic expressions to have meaning, says that constitutively, semantic facts are fixed by best semantic theory. As here developed, it (...) promises to give a reductive, universal and non-revisionary account of the nature of linguistic representation. -/- Interpretationism in general, however, is threatened by severe internal tension, due to arguments for radical inscrutability. These contend that, given the interpretationist setting, there can be no fact of the matter what object an individual word refers to: for example, that there is no fact of the matter as to whether “London” refers to London or to Sydney. -/- A series of challenges emerge, forming the basis for this thesis. 1. What sort of properties is the interpretationist trying to reduce, and what kind of reductive story is she offering? 2. How are inscrutability theses best formulated? Are arguments for inscrutability effective in their own terms? What kinds of inscrutability arise? 3. Is endorsing radical inscrutability a stable position? 4. Are there theoretical virtues—such as simplicity—that can be appealed to in discrediting the rival (empirically equivalent) theories that underpin inscrutability arguments? -/- In addressing these questions, I concentrate on diagnosing the source of inscrutability, mapping the space of ways of resisting the arguments for radical inscrutability, and examining the challenges faced in developing a principled account of linguistic content that avoids radical inscrutability. -/- The effect is not to close down the original puzzles, but rather to sharpen them into a set of new and deeper challenges. (shrink)

Väitöskirjassani Understanding Interests and Causal Explanation (2001) hahmottelin teoriaa yksittäisten tapahtumien kausaalisesta selittämisestä. Tässä kirjoituksessa tarkastelen niitä haasteita tai vaatimuksia, joihin teoriani yritti vastata. Alustavien huomioiden jälkeen esittelen ensiksi erityisesti selittämisen teoriaan liittyviä haasteita ja sen jälkeen yleisempiä filosofisia vaatimuksia hyväksyttävälle selittämisen teorialle.

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)

En este trabajo argumento a favor de la idea de que una explicación científica es una respuesta a una pregunta, aunque no necesariamente a una pregunta-por-qué. Esto no quiere decir que las preguntas-por-qué no sean elementos fundamentales de toda investigación científica: su importancia radica en que son capaces de organizar y sistematizar un conjunto dado de creencias. Para justificar esta afirmación, comienzo por identificar tres estadios básicos en los cuales pueden surgir preguntas-por-qué, y luego procedo a caracterizar su estructura. Muestro (...) finalmente cómo usar este análisis para elucidar la noción de poder de unificación de hipótesis rivales. Entiendo que esta última noción, a su vez, constituye uno de los criterios que debemos considerar a la hora de evaluar cuál de dichas hipótesis rivales es la mejor explicación disponible, comparativamente hablando. In this paper I take scientific explanations to be answers to questions, though not necessarily to why-questions. This, however, is not meant to imply that why-questions are not fundamental in their own peculiar way. As I understand it, why-questions are crucial elements in any research process because they are able to organize and systematize an agent's belief set. In order to justify my claim I start by identifying three basic stages in which whyquestions can arise, and then I proceed to characterize their structure. I also show how to use this analysis to elucidate the notion of comparative unification power of rival hypotheses. The notion of comparative unification power, in turn, can be thought of as one of the criteria that we should take into account at the time of assessing which of such rival hypotheses is the best explanation available, comparatively speaking. (shrink)

This dissertation starts with a concise overview of what philosophers of science have written about unification and its role in scientific explanation during the last 50 years to provide the reader with some background knowledge. In order to bring unification back into the picture, I have followed two strategies, resulting respectively in Parts I and II of this dissertation. In Part I the idea of unification is used to refine and enrich the dominant causalmechanist and causal-interventionist accounts of scientific explanation. (...) In this part of the dissertation I bracket the classical ideas about unification: deduction and derivation. I do grant, for the sake of argument, that explanations are causal and argue that unification is important from within this causalist perspective. In Part II I continue my strategy of digging into scientific practice to find cases of ontological unification. But here I distance myself from the dominant literature that all explanations must be causal. I will investigate whether explanatory unification is possible in non-causal explanations. Part III contains some further reflections and conclusions. I will formulate my primary results, and I will elaborate on their implications for thinking about unification and explanation. The different forms of ontological unification were quite diverse. This relates to the method I have used. Throughout this dissertation the types of unification that were discussed emerged from digging into scientific practice. This philosophy-of-science-practice approach steered me towards a pluralistic view on unification and on explanation. In this dissertation I do not try to develop a new model of explanation and compare it to existing models. The aim is to show that there are important types of explanatory practice which cannot be properly analyzed if we neglect unification as a desideratum for explanations. (shrink)

Many commentators suppose that morality, objectively construed, must possess a minimal sort of explanatory relevance if moral realism is to be plausible. To the extent that moral realists are unable to secure explanatory relevance for moral facts, moral realism faces a problem. Call this general objection an “explanatory objection” to moral realism. Despite the prevalence of explanatory objections in the literature, the connection between morality’s explanatory powers and moral realism’s truth is not clear. This paper considers several different reasons for (...) subjecting morality to explanatory scrutiny and concludes that none of them uncover a special or compelling explanatory problem for realism. In light of these difficulties, an alternative account of the connection between moral realism and moral explanation is developed. Not only does this account make sense of explanatory objections to realism, it turns out that realists may have the resources to defend themselves against this explanatory concern, properly understood. (shrink)

This paper is a conceptual analysis of the theory debate in psychology, as carried out by cognitivists and radical behaviorists. The debate has focused on the necessity of theories in psychology. However, the logically primary issue is the nature of theories, or what theories are. This claim stems from the fact that cognitivists and radical behaviorists adopt disparate accounts of the nature of theories. The cognitivists' account is closely akin to the received view from logical positivism, where theories are collections (...) of statements and theoretical terms are restricted to designate unobservable entities. Radical behaviorists also conceive theories as collections of statements, but restrict theoretical terms in psychology to designate observable entities. If each side approaches the necessity issue with its preferred account, both agree that theories are necessary in psychology. Hence, there is no disagreement over the necessity of theories in psychology per se, only over the nature of theories. The received view, however, has been shown to suffer from irreparable difficulties that have led to its total rejection in post-positivistic philosophy of science. Alternative accounts, like the structuralist and semantic views, do not raise the issue of whether theories are necessary in psychology. (shrink)

This dissertation argues that we have no good reason to accept any one theory of properties as correct. To show this, I present three possible bases for theory-choice in the properties debate: coherence, explanatory adequacy, and explanatory value. Then I argue that none of these bases resolve the underdetermination of our choice between theories of properties. First, I argue considerations about coherence cannot resolve the underdetermination, because no traditional theory of properties is obviously incoherent. Second, I argue considerations of explanatory (...) adequacy cannot resolve the underdetermination, because every traditional theory of properties lacks the theoretical resources to adequately explain resemblance, causal powers, and predication. However, these inadequacies are easily remedied with theoretical modifications. But this results in an overabundance of modified, but adequate, theories of properties. Third, I argue explanatory virtues cannot resolve the underdetermination, because we have no reason to think explanatory virtues make theories of properties more likely to be true. I reject the common argument that explanatory virtues are truth-conducive in theories of properties because they are truth-conducive in scientific theories. Since none of the three bases for theory choice can resolve the underdetermination, I conclude that we have no good reason to accept any one theory of properties as correct. Finally, I consider the possibility of choosing one theory over the others on pragmatic grounds. But I argue that pragmatic grounds cannot resolve the underdetermination either. Instead, I suggest we accept the view I call 'instrumental pluralism,' which allows practitioners to use whatever theory of properties they find useful. Adviser: Jennifer McKitrick. (shrink)

If dispositions are conceived as properties of systems that refer to possible causal relations, dispositions can be used in singular causal explanations. By means of these dispositional explanations, we can explain behavior B of a system x by (i) referring to a situation of type S that triggered B, given that x has a disposition D to do B in S, or (ii) by referring to a disposition D of x to do B in S, given that x is in (...) a situation of type S. Dispositional explanations are adequate and indispensable explanations: they can explain behavior B without explicitly referring to the underlying causal basis in x that constitutes a disposition to do B. Radical Behaviorist explanations are a sort of dispositional explanations, but the dispositional model is not restricted to these explanations. The dispositional model is compatible with, or can be applied to, several research programs. (shrink)

Accounts of modal knowledge are many and varied. How should we choose between them? I propose that we employ inference to the best explanation, and I suggest that there are three desiderata that we should use to rank hypotheses: conservatism, simplicity, and the ability to handle disagreement. After examining these desiderata, I contend that they can’t be used to justify belief in the modal epistemology that fares best, but that they can justify our accepting it in an epistemically significant sense. (...) Finally, I outline a modal epistemology that seems to do well by the standards I’ve recommended. (shrink)

Many scientific models are non-representational in that they refer to merely possible processes, background conditions and results. The paper shows how such non-representational models can be appraised, beyond the weak role that they might play as heuristic tools. Using conceptual distinctions from the discussion of how-possibly explanations, six types of models are distinguished by their modal qualities of their background conditions, model processes and model results. For each of these types, an actual model example – drawn from economics, biology, psychology (...) or sociology – is discussed. For each case, contexts and purposes are identified in which the use of such a model offers a genuine opportunity to learn – i.e. justifies changing one’s confidence in a hypothesis about the world. These cases then offer novel justifications for modelling practices that fall between the cracks of standard representational accounts of models. (shrink)

This article explores the view that computational models of cognition may constitute valid theories of cognition, often in the full sense of the term ‘‘theory”. In this discussion, this article examines various (existent or possible) positions on this issue and argues in favor of the view above. It also connects this issue with a number of other relevant issues, such as the general relationship between theory and data, the validation of models, and the practical benefits of computational modeling. All the (...) discussions point to the position that computational cognitive models can be true theories of cognition. Ó 2008 Elsevier B.V. All rights reserved. (shrink)

For any normative domain, we can theorize about what is good in that domain. Such theories include utilitarianism, a view about what is good morally. But there are many domains other than the moral; these include the prudential, the aesthetic, and the intellectual or epistemic. In this last domain, it is good to be knowledgeable and bad to ignore evidence, quite apart from the morality, prudence, and aesthetics of these things. This dissertation builds a theory that stands to the epistemic (...) domain as utilitarianism stands to the moral domain. It builds an epistemic value theory. (shrink)

Economists use various models to explain why it is that firms are capable of pricing above marginal cost. In this paper, we will examine two of them: the Cournot and Bertrand duopoly models. Economists generally accept both models as good explanations of the phenomenon, but the two models contradict each other in various important ways. The puzzle is that two inconsistent explanations are both regarded as good explanations for the same phenomenon. This becomes especially worrisome when the two models are (...) offering divergent policy recommendations. This report presents that puzzle by laying out how the two models contradict each other in a myriad of ways and then offers five possible solutions to that puzzle from various economists, philosophers of science, and philosophers of economics. (shrink)

A pressing problem for many non-realist1 theories concerning various specific subject matters is the challenge of making sense of our ordinary propositional attitude claims related to the subject in question. Famously in the case of ethics, to take one example, we have in ordinary language prima facie ascriptions of beliefs and desires involving moral properties and relationships. In the case, for instance, of “Jason believes that Kylie is virtuous”, we appear to have a belief which takes Kylie to be a (...) certain way. If Jason desires that Kylie acts as she ought, he appears to have a desire which has as its content that Kylie perform actions of a certain sort (i.e. the actions that she ought to perform). However, for non-cognitivists in ethics who reject the idea that sentences such as “Kylie is virtuous” or “Kylie acts as she ought” are in the business of making truth-apt claims, or representing that certain moral features are possessed by objects or events, or even, in extreme cases, that such claims express propositions at all, the semantic analysis of the example propositional attitude claims made about Jason will have to be non-standard. (This is merely an application of the well-known “Frege-Geach problem” (see Geach 1965) to the case of embedding moral vocabulary in propositional-attitude ascriptions.). (shrink)

This dissertation is a defence of metaphysical ethical naturalism according to which there is a moral reality which is part of the natural world. The implication of this view is that moral properties, such as moral goodness, justice, compassion and so forth are part of the natural world, and inquiries concerning these moral entities are conducted in similar empirical ways of reasoning to that in which scientific inquiries are conducted. I defend metaphysical ethical naturalism by a variety of explanationist argument (...) in the tradition of Cornell realism. I examine preceding proposals for this argument, and focus on one version of it, which I call ‘the abductive argument for moral realism’. Although there was a suggestion about the abductive argument, the argument has not been discussed enough in the literature. This dissertation is a defence and discussion about the abductive argument which has not been properly examined. The defence of the argument requires the examination of how first-order ethical theory can be developed in the similar empirical ways scientific theories are developed. This will be an attempt to show the analogy between scientific inquiries and ethical inquiries. Describing the analogy between science and ethics, I will argue that the analogy can be best explained in terms of the approximate truth of normative theory which implies the existence of mind-independent natural moral properties. (shrink)

The broad aim of this thesis is to explore fruitful connections between ideology theory and the philosophy of possible worlds. Ideologies are full of modal concepts, such as possibility, potential, necessity, essence, contingency and accident. Typically, PWs are articulated for the analysis and illumination of modal concepts. That naturally suggests a method for theorising ideological modality, utilising PW theory. The specific conclusions of the thesis proffer a number of original contributions to knowledge: 1) PWs should only be used for explication (...) and not as evidence or criteria of assessment in ideology theory. The estimation of utopian possibilities, human essences and freedoms must be determined by extrinsic criteria. PWs can serve only as a window or means of expression but not as a set of evaluative premises. 2) For this purpose, a modified version of Lewisian genuine realism, with its device of counterpart theory, is the best approach; the alternative theories risk constricting possibilities or smuggling in assumptions that ought to be objects of analysis in ideology theory. This is instructive, since ideology theorists are prone to pick and choose favoured aspects of modal philosophy without further argument. 3) Conclusions and suggest the adoption of GR or fictionalist GR. Overall, the actualist options are less adequate. Fictionalism, by contrast, is a worthwhile contender, but it too presents comparative weaknesses which reinforce GR’s standing as a potent challenger to the modal metaphysician. Therefore, this thesis presents additional reasons to think GR true. The conclusions are not knockdown, and I draw out incentives and consequences for adopting alternative stances. The various chapters also provide specific details for comprehending and debating ideological modals. (shrink)

In my dissertation I define historical disciplines as disciplines that aim to give a historical interpretation of the evidence. Phylogenetic systematics is a historical discipline and therefore in my definition phylogenies should be thought of as historical interpretations of relationships between taxa.

Elliott Sober has suggested his criterion of contrastive testability as an improvement over previous criteria of empirical significance like falsifiability. I argue that his criterion renders almost any theory empirically significant because its restrictions on auxiliary assumptions are to weak. Even when the criterion is modified to avoid this trivialization, it fails to meet other conditions of adequacy for a criterion of empirical significance that follow from Sober's position. I suggest to define empirical significance as empirical non-equivalence to a tautology, (...) because this definition does meet the conditions of adequacy. Specifically, it is equivalent to the standard Bayesian criterion of empirical significance whenever all probabilities are defined and contains falsifiability as a special case. This latter feature is important because those conditions of adequacy that apply to criteria of deductive empirical significance single out falsifiability. (shrink)

Einstein considered general covariance to characterize the novelty of his General Theory of Relativity (GTR), but Kretschmann thought it merely a formal feature that any theory could have. The claim that GTR is ``already parametrized'' suggests analyzing substantive general covariance as formal general covariance achieved without hiding preferred coordinates as scalar ``clock fields,'' much as Einstein construed general covariance as the lack of preferred coordinates. Physicists often install gauge symmetries artificially with additional fields, as in the transition from Proca's to (...) Stueckelberg's electromagnetism. Some post-positivist philosophers, due to realist sympathies, are committed to judging Stueckelberg's electromagnetism distinct from and inferior to Proca's. By contrast, physicists identify them, the differences being gauge-dependent and hence unreal. It is often useful to install gauge freedom in theories with broken gauge symmetries (second-class constraints) using a modified Batalin-Fradkin-Tyutin (BFT) procedure. Massive GTR, for which parametrization and a Lagrangian BFT-like procedure appear to coincide, mimics GTR's general covariance apart from telltale clock fields. A generalized procedure for installing artificial gauge freedom subsumes parametrization and BFT, while being more Lagrangian-friendly than BFT, leaving any primary constraints unchanged and using a non-BFT boundary condition. Artificial gauge freedom licenses a generalized Kretschmann objection. However, features of paradigm cases of artificial gauge freedom might help to demonstrate a principled distinction between substantive and merely formal gauge symmetry. (shrink)

Though some influentially critical objections have been raised during the ‘classical’ pre-computational simulation philosophy of science tradition, suggesting a more nuanced methodological category for experiments, it safe to say such critical objections have greatly proliferated in philosophical studies dedicated to the role played by computational simulations in science. For instance, Eric Winsberg suggests that computer simulations are methodologically unique in the development of a theory’s models suggesting new epistemic notions of application. This is also echoed in Jeffrey Ramsey’s notions of (...) “transformation reduction,”—i.e., a notion of reduction of a more highly constructive variety. Computer simulations create a broadly continuous arena spanned by normative and descriptive aspects of theory-articulation, as entailed by the notion of transformation reductions occupying a continuous region demarcated by Ernest Nagel’s logical-explanatory “domain-combining reduction” on the one hand, and Thomas Nickels’ heuristic “domain-preserving reduction,” on the other. I extend Winsberg’s and Ramsey’s points here, by arguing that in the field of computational fluid dynamics as well as in other branches of applied physics, the computer plays a constitutively experimental role—supplanting in many cases the more traditional experimental methods such as flow-visualization, etc. In this case, however CFD algorithms act as substitutes, not supplements when it comes to experimental practices. I bring up the constructive example involving the Clifford-Algebraic algorithms for modeling singular phenomena in CFD by Gerik Scheuermann and Steven Mann & Alyn Rockwood who demonstrate that their algorithms offer greater descriptive and explanatory scope than the standard Navier-Stokes approaches. The mathematical distinction between Navier-Stokes-based and Clifford-Algebraic based CFD has essentially to do with the regularization features exhibited to a far greater extent by the latter, than the former. Hence, CACFD indicate that the utilization of computational techniques can be based on principled reasons, as opposed to merely practical. CACFD hence exhibit a new generative role in the field of fluid mechanics, by offering categories of experimental evidence that are optimally descriptive and explanatory—i.e., pace Batterman can be both ontologically and epistemically fundamental. (shrink)

In Science, Truth, and Democracy (2001a), Kitcher moderates the strongest ontological realist thesis he defended in The Advancement of Science (1993a), with the aim of making compatible the correspondence theory of truth with conceptual relativity. However, it is not clear that both things could be harmonized. If our knowledge of the world is mediated by our categories and concepts; if the selection of these categories and concepts may vary according to our interests, and they are not the consequence of the (...) existence of certain supposed natural kinds or some intrinsic structure of the world, it is very problematic to establish what our true statements correspond to. This paper analyzes the transformation in Kitcher's realism and expounds the main difficulties in this project. Finally, a modality of moderate ontological realism will be proposed that, despite of keeping the sprit of the conceptual relativity, is strong enough to support the correspondence theory of truth. (shrink)