The underconsideration argument against inference to the best explanation and scientific realism holds that scientists are not warranted in inferring that the best theory is true, because scientists only ever conceive of a small handful of theories at one time, and as a result, they may not have considered a true theory. However, antirealists have not developed a detailed alternative account of why explanatory inference nevertheless appears so central to scientific practice. In this paper, I provide new defences against some (...) recent objections to the underconsideration argument, while also developing an account of explanatory inference that both survives these criticisms and does not entail realism. (shrink)

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

Structural realism has been proposed as an epistemological position interpolating between realism and sceptical anti-realism about scientific theories. The structural realist who accepts a scientific theory thinks that is empirically correct, and furthermore is a realist about the ‘structural content’ of . But what exactly is ‘structural content’? One proposal is that the ‘structural content’ of a scientific theory may be associated with its Ramsey sentence (). However, Demopoulos and Friedman have argued, using ideas drawn from Newman's earlier criticism of (...) Russell's structuralism, that this move fails to achieve an interesting intermediate position between realism and anti-realism. Rather, () adds little content beyond the instrumentalistically acceptable claim that the theory is empirically adequate. Here, I formulate carefully the crucial claim of Demopoulos and Friedman, and show that the Ramsey sentence () is true just in case possesses a full model which is empirically correct and satisfies a certain cardinality condition on its theoretical domain. This suggests that structural realism is not a position significantly different from the anti-realism it attempts to distinguish itself from. Introduction Technical framework Ramsification Empirical adequacy Ramsification empirical adequacy + cardinality constraint Conclusion. (shrink)

The premise of biological modularity is an ontological claim that appears to come out of practice. We understand that the biological world is modular because we can manipulate different parts of organisms in ways that would only work if there were discrete parts that were interchangeable. This is the foundation of the BioBrick assembly method widely used in synthetic biology. It is one of a number of methods that allows practitioners to construct and reconstruct biological pathways and devices using DNA (...) libraries of standardized parts with known functions. In this paper, we investigate how the practice of synthetic biology reconfigures biological understanding of the key concepts of modularity and evolvability. We illustrate how this practice approach takes engineering knowledge and uses it to try to understand biological organization by showing how the construction of functional parts and processes can be used in synthetic experimental evolution. We introduce a new approach within synthetic biology that uses the premise of a parts-based ontology together with that of organismal self-organization to optimize orthogonal metabolic pathways in E. coli. We then use this and other examples to help characterize semisynthetic categories of modularity, parthood, and evolvability within the discipline. (shrink)

Explaining the connection, if any, between simplicity and truth is among the deepest problems facing the philosophy of science, statistics, and machine learning. Say that an efficient truth finding method minimizes worst case costs en route to converging to the true answer to a theory choice problem. Let the costs considered include the number of times a false answer is selected, the number of times opinion is reversed, and the times at which the reversals occur. It is demonstrated that (1) (...) always choosing the simplest theory compatible with experience, and (2) hanging onto it while it remains simplest, is both necessary and sufficient for efficiency. †To contact the author, please write to: Department of Philosophy, Carnegie Mellon University, Baker Hall 135, Pittsburgh, PA 15213-3890; e-mail: [email protected]. (shrink)

Craig casts doubt upon the project of trying to give the traditional sort of necessary and sufficient conditions for A knows that p. He interprets the inadequacy of existing analyses of knowledge as evidence that our concept of knowledge is complex and diffuse, and concludes that we should aim to understand it by thinking about the rôle the concept plays in our lives, rather than by trying to find necessary and sufficient conditions for the truth of knowledge ascriptions.There is surely (...) something right about Craig's view: we are unlikely to succeed in any attempt to analyse away the intricacies in our concept of knowledge. We cannot realistically hope to uncover a set of necessary and sufficient conditions for A knows that p which are in all cases either clearly satisfied or clearly not satisfied. Nor, I suspect, is it possible to offer necessary and sufficient conditions for knowledge which are widely accepted as being more securely understood than knowledge itself. (shrink)

Because they contain idealizations, scientific models are often considered to be misrepresentations of their target systems. An important question is therefore how models can explain the behaviours of these systems. Most of the answers to this question are representationalist in nature. Proponents of this view are generally committed to the claim that models are explanatory if they represent their target systems to some degree of accuracy; in other words, they try to determine the conditions under which idealizations can be made (...) without jeopardizing the representational function of models. In this article, we first outline several forms of this representationalist view. We then argue that this view, in each of these forms, omits an important role of idealizations: that of facilitating the identification of the explanatory components within a model. Via examination of a case study from contemporary astrophysics, we show that one way in which idealizations can do this is by creating a comparison case that s... (shrink)

El objeto de este artículo es mostrar las similitudes que existen entre el estructuralismo metateórico sneedeano y la que considero es la propuesta teórica más desarrollada del estructuralismo francés, la teoría antropológica de Claude Lévi-Strauss, en particular, su teoría de los sistemas elementales de parentesco. Aunque entre el estructuralismo francés de Lévi-Strauss y el estructuralismo metateórico sneedeano sólo existe, como diría Wittgenstein, un “aire de familia”, sin embargo, quiero mostrar que gracias al trabajo algebraico de André Weil y, en particular, (...) a su clarificación de la noción de estructura, existe un “puente” entre la propuesta teórica de Lévi-Strauss y la metateórica del estructuralismo inaugurada por J. D. Sneed en 1971 con la publicación de su libro The logical structure of mathematical physics. (shrink)

David Lewis has proposed an analysis of lawhood in terms of membership of a system of regularities optimizing simplicity and strength in information content. This article studies his proposal against the broader background of the project of Humean supervenience. In particular, I claim that, in Lewis's account of lawhood, his intuition about small deviations from a given law in nearby worlds (in order to avoid backtracking and epiphenomena) leads to the conclusion that laws do not support (certain) counterfactuals and do (...) not bestow nomic necessity on (certain) facts induced by these laws. Support of counterfactuals and nomic necessity, however, are widely held to be important aspects of the concept of lawhood. In my view, therefore, it is not possible to abandon these criteria in any satisfactory analysis of the notion of laws of nature. In a final section, I suggest that the whole project of Humean supervenience is misleading. It does not sufficiently take notice of the important role that reasoning about contrary-to-fact situations plays in modern scientific practice. (shrink)

Although there is universal consensus both in the science education literature and in the science standards documents to the effect that students should learn not only the content of science but also its nature, there is little agreement about what that nature is. This led many science educators to adopt what is sometimes called “the consensus view” about the nature of science (NOS), whose goal is to teach students only those characteristics of science on which there is wide consensus. This (...) is an attractive view, but it has some shortcomings and weaknesses. In this article we present and defend an alternative approach based on the notion of family resemblance. We argue that the family resemblance approach is superior to the consensus view in several ways, which we discuss in some detail. (shrink)

International Relations's intellectual history is almost always treated as a history of ideas in isolation from both those discursive and political economies which provide its disciplinary and wider context. This paper contributes to this wider analysis by focusing on the impact of the field's discursive economy. Specifically, using Foucaultian archaeologico-genealogical strategy of problematization to analyse the emergence and disciplinary trajectories of Constructivism in IR, this paper argues that Constructivism has been brought gradually closer to its mainstream Neo-utilitarian counterpart through a (...) process of normalization, and investigates how it was possible for Constructivism to be purged of its early critical potential, both theoretical and practical. The first part of the paper shows how the intellectual configuration of Constructivism and its disciplinary fortunes are inseparable from far-from-unproblematic readings of the Philosophy of Social Science: the choices made at this level are neither as intellectually neutral nor as disciplinarily inconsequential as they are presented. The second and third parts chart the genealogies of Constructivism, showing how its overall normalization occurred in two stages, each revolving around particular practices and events. The second part concentrates on older genealogies, analysing the politics of early classificatory practices regarding Constructivism, and showing how these permitted the distillation and immunization of Constructivism – and thus of the rest of the mainstream scholarship which it was depicted as compatible with – against more radical Postmodernist/Post-structuralist critiques. Finally, the third part focuses attention on recent genealogies, revealing new attempts to reconstruct and reformulate Constructivism: here, indirect neutralization practices such as the elaboration of ‘Pragmatist’ Constructivism, as well as the direct neutralization such as the formulation of ‘Realist’ Constructivism, are key events in Constructivism's normalization. These apparently ‘critical’ alternatives that aim to ‘provide the identity variable’ in fact remain close to Neo-utilitarianism, but their successful representation as ‘critical’ help neutralize calls for greater openness in mainstream IR. Rather than a simple intellectual history, it is this complex process of reading and producing that counts as ‘Constructivism’, which explains both the normalization of Constructivism and the continued marginalization of Postmodernist/Post-structuralist approaches in mainstream IR's infra-disciplinary balance of intellectual power. (shrink)

The concept of approximate truth plays a prominent role in most versions of scientific realism. However, adequately conceptualizing ?approximate truth? has proved challenging. This article argues that the goal of articulating the concept of approximate truth can be advanced by first investigating the processes by which science accords theories the status of accepted or rejected. Accordingly, this article uses a path diagram model as a visual heuristic for the purpose of showing the processes in science that are involved in determining (...) a theory's status. This ?inductive realist? model of theory status then serves as a starting point for explicating an inductive realist view of approximate truth that, it is argued, can explain instances of the success of science, but does not (1) require science's theories to be strictly true in any world or (2) require a metric for measuring how close an approximately true theory is to some strictly true theory. To show the advantages of the inductive realist approach to approximate truth, an example of a major success story of science, the successful eradication of smallpox, is reviewed and then explained. (shrink)

Reasons are given to justify the claim that computer simulations and computational science constitute a distinctively new set of scientific methods and that these methods introduce new issues in the philosophy of science. These issues are both epistemological and methodological in kind.

In this paper I will argue that what makes our ordinary judgements about token causation true can be explicated in terms of interferences into quasi-inertial processes. These interferences and quasi-inertial processes can in turn be fully explicated in scientific terms. In this sense the account presented here is reductive. I will furthermore argue that this version of a process-theory of causation can deal with the traditional problems that process theories have to face, such as the problem of misconnection and the (...) problem of disconnection as well as with a problem concerning the mis-classification of pre-emption cases. (shrink)

In this paper, I will show that the Miracle Argument is unsound if one assumes a certain form of transient underdetermination. For this aim, I will first discuss and formalize several variants of underdetermination, especially that of transient underdetermination, by means of measure theory. I will then formalize a popular and persuasive form of the Miracle Argument that is based on "use novelty". I will then proceed to the proof that the miracle argument is unsound by means of a mathematical (...) example. Finally, I will expose two hidden presuppositions of the Miracle Argument that make it so immensely though deceptively persuasive. (shrink)

My title is intended to recall Terence Fine's excellent survey, Theories of Probability [1973]. I shall consider some developments that have occurred in the intervening years, and try to place some of the theories he discussed in what is now a slightly longer perspective. Completeness is not something one can reasonably hope to achieve in a journal article, and any selection is bound to reflect a view of what is salient. In a subject as prone to dispute as this, there (...) will inevitably be many who will disagree with any author's views, and I take the opportunity to apologize in advance to all such people for what they will see as the narrowness and distortion of mine. (shrink)

Kitcher urges us to think of mathematics as an idealized science of human operations, rather than a theory describing abstract mathematical objects. I argue that Kitcher's invocation of idealization cannot save mathematical truth and avoid platonism. Nevertheless, what is left of Kitcher's view is worth holding onto. I propose that Kitcher's account should be fictionalized, making use of Walton's and Currie's make-believe theory of fiction, and argue that the resulting ideal-agent fictionalism has advantages over mathematical-object fictionalism.

One currently popular view about the nature of objective probabilities, or objective chances, is that they – or some of them, at least – are primitive features of the physical world, not reducible to anything else nor explicable in terms of frequencies, degrees of belief, or anything else. In this paper I explore the question of what the semantic content of primitive chance claims could be. Every attempt I look at to supply such content either comes up empty-handed, or begs (...) important questions against the skeptic who doubts the meaningfulness of primitive chance claims. In the second half of the paper I show that, by contrast, there are clear, and clearly contentful, ways to understand objective chance claims if we ground them on deterministic physical underpinnings. (shrink)

It has commonly been argued that certain types of mental descriptions, specifically those characterized in terms of propositional attitudes, are part of a folk psychological understanding of the mind. Recently, however, it has also been argued that this is the case even when such descriptions are employed as part of scientific theories in domains like social psychology and comparative psychology. In this paper, I argue that there is no plausible way to understand the distinction between folk and scientific psychology that (...) can support such claims. Moreover, these sorts of claims can have adverse consequences for the neuroscientific study of the brain by downplaying the value of many psychological theories that provide information neuroscientists need in order to build and test neurological models. (shrink)

There are many ways of attaching two objects together: for example, they can be connected, linked, tied or bound together; and the connection, link, tie or bind can be made of chain, rope, or cement. Every one of these binding methods has been used as a metaphor for causation. What is the real significance of these metaphors? They express a commitment to a certain way of thinking about causation, summarized in the following thesis: ‘In any concrete situation, there is an (...) objective fact of the matter as to whether two events are in fact bound by the causal relation. It is the aim of philosophical inquiry to analyze this objective relation.’ Through a variety of examples, I hope to cast doubt on this seemingly innocuous thesis. The problem lies not with the word ‘objective’, but with the word ‘the’. The goal of a philosophical account of causation should not be to capture the causal relation, but rather to capture the many ways in which the events of the world can be bound together. 1 The metaphors 2 Unpacking the metaphors 3 Theories of causation 4 The two assassins 5 The birth control pills 6 The smoker-protector gene 7 The bicycle thief 8 Further examples 8.1 Indeterminism 8.2 Probability-lowering causes 8.3 Parts vs wholes 8.4 Symmetric overdetermination 8.5 Delayers 8.6 Causation by omission 8.7 Double prevention/disconnection 8.8 Preemptive prevention 8.9 Quantitative variables 9 Conclusion. (shrink)

It it tempting to think that if an outcome had some probability of not occurring, then we cannot explain why that outcome in fact occurred. Despite this intuition, most philosophers of science have come to admit the possibility of indeterministic explanation. Yet some of them continue to hold that if an outcome was not determined, it cannot be explained why that outcome rather than some other occurred. I argue that this is an untenable compromise: if indeterministic explanation is possible, then (...) indeterministic contrastive explanation is possible too. In order to defend this conclusion, I develop an account of contrastive explanation. (shrink)

Concerning any object of philosophical analysis, we can ask several questions, including the two posed in the title of this paper. Despite difficulties in formulating a precise criterion to distinguish causal processes from pseudoprocesses, and causal interactions from mere spatiotemporal intersections, I argue that Salmon answered the first of these questions with extraordinary clarity. The second question, by contrast, has received very little attention. I will present two problems: in the first, it seems that Salmon has provided exactly the conceptual (...) resources needed to solve the problem; in the second, it is difficult to see how causal processes and interactions may be used to shed any light. In general, the way to carry Salmon's program forward will be to demonstrate that these resources can be made to do real philosophical work. (shrink)

The controversy over the old ideal of “value-free science” has cooled significantly over the past decade. Many philosophers of science now agree that even ethical and political values may play a substantial role in all aspects of scientific inquiry. Consequently, in the last few years, work in science and values has become more specific: Which values may influence science, and in which ways? Or, how do we distinguish illegitimate from illegitimate kinds of influence? In this paper, I argue that this (...) problem requires philosophers of science to take a new direction. I present two case studies in the influence of values on scientific inquiry: feminist values in archaeology and commercial values in pharmaceutical research. I offer a preliminary assessment of these cases, that the influence of values was legitimate in the feminist case, but not in the pharmaceutical case. I then turn to three major approaches to distinguish legitimate from illegitimate influences of values, including the distinction between epistemic and non-epistemic values and Heather Douglas’ distinction between direct and indirect roles for values. I argue that none of these three approaches gives an adequate analysis of the two cases. In the concluding section, I briefly sketch my own approach, which draws more heavily on ethics than the others, and is more promising as a solution to the current problem. This is the new direction in which I think science and values should move. (shrink)

Following Birkhoff and von Neumann, quantum logic has traditionally been based on the lattice of closed linear subspaces of some Hubert space, or, more generally, on the lattice of projections in a von Neumann algebra A. Unfortunately, the logical interpretation of these lattices is impaired by their nondistributivity and by various other problems. We show that a possible resolution of these difficulties, suggested by the ideas of Bohr, emerges if instead of single projections one considers elementary propositions to be families (...) of projections indexed by a partially ordered set C(A) of appropriate commutative subalgebras of A. In fact, to achieve both maximal generality and ease of use within topos theory, we assume that A is a so-called Rickart C*-algebra and that C(A) consists of all unital commutative Rickart C*-subalgebras of A. Such families of projections form a Hey ting algebra in a natural way, so that the associated propositional logic is intuitionistic: distributivity is recovered at the expense of the law of the excluded middle. Subsequently, generalizing an earlier computation for n x n matrices, we prove that the Heyting algebra thus associated to A arises as a basis for the internal Gelfand spectrum (in the sense of Banaschewski-Mulvey) of the "Bohrification" A̱ of A, which is a commutative Rickart C*-algebra in the topos of functors from C(A) to the category of sets. We explain the relationship of this construction to partial Boolean algebras and Bruns-Lakser completions. Finally, we establish a connection between probability measures on the lattice of projections on a Hubert space H and probability valuations on the internal Gelfand spectrum of A̱ for A = B(H). (shrink)

Two of the most influential theories about scientific inference are inference to the best explanation and Bayesianism. How are they related? Bas van Fraassen has claimed that IBE and Bayesianism are incompatible rival theories, as any probabilistic version of IBE would violate Bayesian conditionalization. In response, several authors have defended the view that IBE is compatible with Bayesian updating. They claim that the explanatory considerations in IBE are taken into account by the Bayesian because the Bayesian either does or should (...) make use of them in assigning probabilities to hypotheses. I argue that van Fraassen has not succeeded in establishing that IBE and Bayesianism are incompatible, but that the existing compatibilist response is also not satisfactory. I suggest that a more promising approach to the problem is to investigate whether explanatory considerations are taken into account by a Bayesian who assigns priors and likelihoods on his or her own terms. In this case, IBE would emerge from the Bayesian account, rather than being used to constrain priors and likelihoods. I provide a detailed discussion of the case of how the Copernican and Ptolemaic theories explain retrograde motion, and suggest that one of the key explanatory considerations is the extent to which the explanation a theory provides depends on its core elements rather than on auxiliary hypotheses. I then suggest that this type of consideration is reflected in the Bayesian likelihood, given priors that a Bayesian might be inclined to adopt even without explicit guidance by IBE. The aim is to show that IBE and Bayesianism may be compatible, not because they can be amalgamated, but rather because they capture substantially similar epistemic considerations. 1 Introduction2 Preliminaries3 Inference to the Best Explanation4 Bayesianism5 The Incompatibilist View : Inference to the Best Explanation Contradicts Bayesianism5. 1 Criticism of the incompatibilist view6 Constraint - Based Compatibilism6. 1 Criticism of constraint - based compatibilism7 Emergent Compatibilism7. 1 Analysis of inference to the best explanation7. 1. 1 Inference to the best explanation on specific hypotheses7. 1. 2 Inference to the best explanation on general theories7. 1. 3 Copernicus versus Ptolemy7. 1. 4 Explanatory virtues7. 1. 5 Summary7. 2 Bayesian account8 Conclusion. (shrink)

To what extent can constructive mathematics based on intuitionistc logic recover the mathematics needed for spacetime physics? Certain aspects of this important question are examined, both technical and philosophical. On the technical side, order, connectivity, and extremization properties of the continuum are reviewed, and attention is called to certain striking results concerning causal structure in General Relativity Theory, in particular the singularity theorems of Hawking and Penrose. As they stand, these results appear to elude constructivization. On the philosophical side, it (...) is argued that any mentalist-based radical constructivism suffers from a kind of neo-Kantian apriorism. It would be at best a lucky accident if objective spacetime structure mirrored mentalist mathematics. the latter would seem implicitly committed to a Leibnizian relationist view of spacetime, but is it doubtful if implementation of such a view would overcome the objection. As a result, an anti-realist view of physics seems forced on the radical constructivist. (shrink)

A philosophically useful account of social structure must accommodate the fact that social structures play an important role in structural explanation. But what is a structural explanation? How do structural explanations function in the social sciences? This paper offers a way of thinking about structural explanation and sketches an account of social structure that connects social structures with structural explanation.

This paper challenges a central tenet of constructive empiricism, namely that empirical adequacy has a privileged epistemic status. I argue that perceptions of observables are theory-wrought, and theory-wrought in the same ways as the observation sentences we use to describe those perceptions, van Fraassen can draw no privileged or fundamental distinction between what we observe and interpreting those observations through theory. Since empirical adequacy depends upon accurately describing what we observe, and we have no theory-independent reason to believe that what (...) we ‘observe’ is a reflection of what is true, then empirical adequacy can inherit no special connection to what is real via what we observe. The epistemological significance of empirical adequacy is thereby reduced. (shrink)

The most influential arguments for scientific realism remain centrally concerned with an inference from scientific success to the approximate truth of successful theories. Recently, however, and in response to antirealists' objections from radical discontinuity within the history of science, the arguments have been refined. Rather than target entire theories, realists narrow their commitments to only certain parts of theories. Despite an initial plausibility, the selective realist strategy faces significant challenges. In this article, I outline four prerequisites for a successful selective (...) realist defence and argue that adopting a comparative sense of success both satisfies those requirements and partially in consequence provides a more compelling, albeit more modest, realist thesis. (shrink)

there be an objective modal distinction between the observable and the unobservable.’ My intent is to counter Ladyman's claim that the irreducibly modal character of empirical adequacy is something that is ‘really wrong with constructive empiricism’. I argue that disposition concepts refer to non-modal properties of types rather than to modal properties of tokens of those types. Solubility, for example, is an ‘occurrent’, though unobservable, property of a type of substance (involving the structure of associated atoms); and observability is, similarly, (...) an ‘occurrent’, though unobservable, property of a type of event (involving the structure of associated physical systems). Empirical adequacy, like truth, is an objective, semantic notion; the empirical adequacy of a theory depends upon all actual tokens of the relevant observable type, not just upon the tokens that have actually been observed. Introduction The typical character of disposition concepts Confirmational versus semantic empirical adequacy Conclusion. (shrink)

According to the semantic view of scientific theories, theories are classes of models. I show that this view -- if taken seriously as a formal explication -- leads to absurdities. In particular, this view equates theories that are truly distinct, and it distinguishes theories that are truly equivalent. Furthermore, the semantic view lacks the resources to explicate interesting theoretical relations, such as embeddability of one theory into another. The untenability of the semantic view -- as currently formulated -- threatens to (...) undermine scientific structuralism. (shrink)

Several advocates of the lively field of “metaphysics of science” have recently argued that a naturalistic metaphysics should be based solely on current science, and that it should replace more traditional, intuition-based, forms of metaphysics. The aim of the present paper is to assess that claim by examining the relations between metaphysics of science and general metaphysics. We show that the current metaphysical battlefield is richer and more complex than a simple dichotomy between “metaphysics of science” and “traditional metaphysics”, and (...) that it should instead be understood as a three dimensional “box”, with one axis distinguishing “descriptive metaphysics” from “revisionary metaphysics”, a second axis distinguishing a priori from a posteriori metaphysics, and a third axis distinguishing “commonsense metaphysics”, “traditional metaphysics” and “metaphysics of science”. We use this three-dimensional figure to shed light on the project of current metaphysics of science, and to demonstrate that, in many instances, the target of that project is not defined with enough precision and clarity. (shrink)

Philosophers have postulated the existence of God to explain (I) why any contingent objects exist at all rather than nothing contingent, and (II) why the fundamental laws of nature and basic facts of the world are exactly what they are. Therefore, we ask: (a) Does (I) pose a well-conceived question which calls for an answer? and (b) Can God's presumed will (or intention) provide a cogent explanation of the basic laws and facts of the world, as claimed by (II)? We (...) shall address both (a) and (b). To the extent that they yield an unfavourable verdict, the afore-stated reasons for postulating the existence of God are undermined. As for question (I), in 1714, G. W. Leibniz posed the Primordial Existential Question (hereafter 'PEQ'): 'Why is there something contingent at all, rather than just nothing contingent?' This question has two major presuppositions: (1) A state of affairs in which nothing contingent exists is indeed genuinely possible ('the Null Possibility'), the notion of nothingness being both intelligible and free from contradiction; and (2) De jure, there should be nothing contingent at all, and indeed there would be nothing contingent in the absence of an overriding external cause (or reason), because that state of affairs is 'most natural' or 'normal'. The putative world containing nothing contingent is the so-called 'Null World'. As for (1), the logical robustness of the Null Possibility of there being nothing contingent needs to be demonstrated. But even if the Null Possibility is demonstrably genuine, there is an issue: Does that possibility require us to explain why it is not actualized by the Null World, which contains nothing contingent? And, as for (2), it originated as a corollary of the distinctly Christian precept (going back to the second century) that the very existence of any and every contingent entity is utterly dependent on God at any and all times. Like (1), (2) calls for scrutiny. Clearly, if either of these presuppositions of Leibniz's PEQ is ill founded or demonstrably false, then PEQ is aborted as a non-starter, because in that case, it is posing an ill-conceived question. In earlier writings (Grünbaum [2000], p. 5), I have introduced the designation 'SoN' for the ontological 'spontaneity of nothingness' asserted in presupposition (2) of PEQ. Clearly, in response to PEQ, (2) can be challenged by asking the counter-question, 'But why should there be nothing contingent, rather than something contingent?' Leibniz offered an a priori argument for SoN. Yet it will emerge that a priori defences of it fail, and that it has no empirical legitimacy either. Indeed physical cosmology spells an important relevant moral: As against any a priori dictum on what is the 'natural' status of the universe, the verdict on that status depends crucially on empirical evidence. Thus PEQ turns out to be a non-starter, because its presupposed SoN is ill founded! Hence PEQ cannot serve as a springboard for creationist theism. Yet Leibniz and the English theist Richard Swinburne offered divine creation ex nihilo as their answer to the ill-conceived PEQ. But being predicated on SoN, their cosmological arguments for the existence of God are fundamentally unsuccessful. The axiomatically topmost laws of nature (the 'nomology') in a scientific theory are themselves unexplained explainors, and are thus thought to be true as a matter of brute fact. But theists have offered a theological explanation of the specifics of these laws as having been willed or intended by God in the mode of agent causation to be exactly what they are. A whole array of considerations are offered in Section 2 to show that the proposed theistic explanation of the nomology fails multiply to transform scientific brute facts into specifically explained regularities. Thus, I argue for The Poverty of Theistic Cosmology in two major respects. (shrink)

This paper concerns local yet systematic problems of contrastive underdetermination of model choice in cognitive neuroscience debates about the so-called two visual systems hypothesis. The underdetermination problem is systematically generated by the way certain assumptions about the representationalist nature of computation are translated into experimental practice. The problem is that behavioural data underdetermine the choice between competing representational models. In this paper, I diagnose how these assumptions generate underdetermination problems in the choice between competing functional models of perception–action. Using the (...) tools of philosophy of science, I describe the type of underdetermination and sketch a possible cure. (shrink)

Selectionist evolutionary theory has often been faulted for not making novel predictions that are surprising, risky, and correct. I argue that it in fact exhibits the theoretical virtue of predictive capacity in addition to two other virtues: explanatory unification and model fitting. Two case studies show the predictive capacity of selectionist evolutionary theory: parallel evolutionary change in E. coli, and the origin of eukaryotic cells through endosymbiosis.

‘The problem with simulations is that they are doomed to succeed.’ So runs a common criticism of simulations—that they can be used to ‘prove’ anything and are thus of little or no scientific value. While this particular objection represents a minority view, especially among those who work with simulations in a scientific context, it raises a difficult question: what standards should we use to differentiate a simulation that fails from one that succeeds? In this paper we build on a structural (...) analysis of simulation developed in previous work to provide an evaluative account of the variety of ways in which simulations do fail. We expand the structural analysis in terms of the relationship between a simulation and its real-world target emphasizing the important role of aspects intended to correspond and also those specifically intended not to correspond to reality. The result is an outline both of the ways in which simulations can fail and the scientific importance of those various forms of failure. (shrink)

Explanatory inquiry characteristically begins with a certain puzzlement about the world. But why do certain situations elicit our puzzlement while others leave us, in some epistemically relevant sense, cold? Moreover, what exactly is involved in the move from a state of puzzlement to a state where one's puzzlement is satisfied? In this paper I try to answer both of these questions. I also suggest ways in which our account of scientific rationality might benefit from having a better sense of the (...) kind of epistemic goal we are trying to realize, when we engage in our explanatory inquiries. Two Senses The Need for Explanation An Example Proto-understanding Conclusion CiteULike Connotea Del.icio.us What's this? (shrink)

Epistemologists and philosophers of mind both ask questions about belief. Epistemologists ask normative questions about belief—which beliefs ought we to have? Philosophers of mind ask metaphysical questions about belief—what are beliefs, and what does it take to have them? While these issues might seem independent of one another, there is potential for an interesting sort of conflict: the epistemologist might think we ought to have beliefs that, according to the philosopher of mind, it is impossible to have. This essay argues (...) that this conflict does arise and that it creates problems for traditional skeptical views in epistemology. In particular, it argues that on certain popular views about the nature of belief, it is impossible to adopt the near-global agnosticism recommended by the skeptical epistemologist. On other plausible views, it is possible only in special circumstances, and this limitation undermines skeptical epistemological claims. The only views about the nature of belief on which there are no metaphysical hurdles to adopting the agnosticism recommended by the skeptic are views that face powerful objections—objections that are completely independent of antiskeptical epistemological considerations. (shrink)