This paper presents an outline of a new theory of relevant deduction which arose from the purpose of solving paradoxes in various fields of analytic philosophy. In distinction to relevance logics, this approach does not replace classical logic by a new one, but distinguishes between relevance and validity. It is argued that irrelevant arguments are, although formally valid, nonsensical and even harmful in practical applications. The basic idea is this: a valid deduction is relevant iff no subformula of the conclusion (...) is replaceable on some of its occurrences by any other formula salva validitate of the deduction. The paper first motivates the approach by showing that four paradoxes seemingly very distant from each other have a common source. Then the exact definition of relevant deduction is given and its logical properties are investigated. An extension to relevance of premises is discussed. Finally the paper presents an overview of its applications in philosophy of science, ethics, cognitive psychology and artificial intelligence. (shrink)

This paper presents a drastically revised version of the theory of causality, based on analyses of causal processes and causal interactions, advocated in Salmon (1984). Relying heavily on modified versions of proposals by P. Dowe, this article answers penetrating objections by Dowe and P. Kitcher to the earlier theory. It shows how the new theory circumvents a host of difficulties that have been raised in the literature. The result is, I hope, a more satisfactory analysis of physical causality.

This paper discusses several distinct process theories of causality offered in recent years by Phil Dowe and me. It addresses problems concerning the explication of causal process, causal interaction, and causal transmission, whether given in terms of transmission of marks, transmission of invariant or conserved quantities, or mere possession of conserved quantities. Renouncing the mark-transmission and invariant quantity criteria, I accept a conserved quantity theory similar to Dowe's--differing basically with respect to causal transmission. This paper also responds to several fundamental (...) constructive criticisms contained in Christopher Hitchcock's discussion of both the mark-transmission and the conserved quantity theories. (shrink)

Achieving understanding of nature is one of the aims of science. In this paper we offer an analysis of the nature of scientific understanding that accords with actual scientific practice and accommodates the historical diversity of conceptions of understanding. Its core idea is a general criterion for the intelligibility of scientific theories that is essentially contextual: which theories conform to this criterion depends on contextual factors, and can change in the course of time. Our analysis provides a general account of (...) how understanding is provided by scientific explanations of diverse types. In this way, it reconciles conflicting views of explanatory understanding, such as the causal-mechanical and the unificationist conceptions. (shrink)

The concept of mechanism is analyzed in terms of entities and activities, organized such that they are productive of regular changes. Examples show how mechanisms work in neurobiology and molecular biology. Thinking in terms of mechanisms provides a new framework for addressing many traditional philosophical issues: causality, laws, explanation, reduction, and scientific change.

Modularity is a key concept in building and evaluating complex simulation models. My main claim is that in simulation modeling modularity degenerates for systematic methodological reasons. Consequently, it is hard, if not impossible, to accessing how representational structure and dynamical properties of a model are related. The resulting problem for validating models is one of holism. The argument will proceed by analyzing the techniques of parameterization, tuning, and kludging. They are – to a certain extent – inevitable when building complex (...) simulation models, but corrode modularity. As a result, the common account of validating simulations faces a major problem and testing the dynamical behavior of simulation models becomes all the more important. Finally, I will ask in what circumstances this might be sufficient for model validation. (shrink)

Like other mathematically intensive sciences, economics is becoming increasingly computerized. Despite the extent of the computation, however, there is very little true simulation. Simple computation is a form of theory articulation, whereas true simulation is analogous to an experimental procedure. Successful computation is faithful to an underlying mathematical model, whereas successful simulation directly mimics a process or a system. The computer is seen as a legitimate tool in economics only when traditional analytical solutions cannot be derived, i.e., only as a (...) purely computational aid. We argue that true simulation is seldom practiced because it does not fit the conception of understanding inherent in mainstream economics. According to this conception, understanding is constituted by analytical derivation from a set of fundamental economic axioms. We articulate this conception using the concept of economists' perfect model. Since the deductive links between the assumptions and the consequences are not transparent in ‘bottom‐up’ generative microsimulations, microsimulations cannot correspond to the perfect model and economists do not therefore consider them viable candidates for generating theories that enhance economic understanding. (shrink)

According to Woodward’s causal model of explanation, explanatory information is relevant for manipulation purposes and indicates by means of invariant causal relations how to change the value of certain target explanandum variables by intervening on others. Therefore, the depth of an explanation is evaluated through the size of the domain of invariance of the generalization involved. In this article, I argue that Woodward’s account of explanatory relevance is still unsatisfactory and claim that the depth of an explanation should be explicated (...) in terms of the size of the domain of circumstances which it designates as leaving the explanandum unchanged. (shrink)

ABSTRACT: Whereas relevance in scientific explanations is usually discussed as if it was a single problem, several criteria of relevance will be distinguished in this paper. Emphasis is laid upon the notion of intra-scientific relevance, which is illustrated using explanation of the law of areas as an example. Traditional accounts of explanation, such as the causal and unificationist accounts, are analyzed against these criteria of relevance. Particularly, it will be shown that these accounts fail to indicate which explanations fulfill the (...) condition of intra-scientific relevance. Finally, the significance of this latter criterion is emphasized, and the epistemic benefits of explanations that fulfill it are highlighted. (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.

Computational methods such as computer simulations, Monte Carlo methods, and agent-based modeling have become the dominant techniques in many areas of science. Extending Ourselves contains the first systematic philosophical account of these new methods, and how they require a different approach to scientific method. Paul Humphreys draws a parallel between the ways in which such computational methods have enhanced our abilities to mathematically model the world, and the more familiar ways in which scientific instruments have expanded our access to the (...) empirical world. This expansion forms the basis for a new kind of empiricism, better suited to the needs of science than the older anthropocentric forms of empiricism. Human abilities are no longer the ultimate standard of epistemological correctness.Humphreys also includes arguments for the primacy of properties rather than objects, the need to consider technological constraints when appraising scientific methods, and a detailed account of how the path from computational template to scientific application is constructed. This last feature allows us to hold a form of selective realism in which anti-realist arguments based on formal reconstructions of theories can be avoided. One important consequence of the rise of computational methods is that the traditional organization of the sciences is being replaced by an organization founded on computational templates.Extending Ourselves will be of interest to philosophers of science, epistemologists, and to anyone interested in the role played by computers in modern science. (shrink)

A twofold taxonomy for emergence is presented into which a variety of contemporary accounts of emergence fit. The first taxonomy consists of inferential, conceptual, and ontological emergence; the second of diachronic and synchronic emergence. The adequacy of weak emergence, a computational form of inferential emergence, is then examined and its relationship to conceptual emergence and ontological emergence is detailed. †To contact the author, please write to: Corcoran Department of Philosophy, 120 Cocke Hall, University of Virginia, Charlottesville, VA 22904‐4780; e‐mail: [email protected].

One of the motivations for Salmon's (1984) causal theory of explanation was the explanatory irrelevance exhibited by many arguments conforming to Hempel's covering-law models of explanation. However, the nexus of causal processes and interactions characterized by Salmon is not rich enough to supply the necessary conception of explanatory relevance. Salmon's (1994) revised theory, which is briefly criticized on independent grounds, fares no better. There is some possibility that the two-tiered structure of explanation described by Salmon (1984) may be pressed into (...) service, but more work would have to be done. Ironically, Salmon's difficulties are similar to those suffered by his seventeenth-century predecessors. (shrink)

The classic logical positivist account of historical explanation, putting forward what is variously called the "regularity interpretation" (#Gardiner, The Nature of Historical Explanation), the "covering law model" (#Dray, Laws and Explanation in History), or the "deductive model" (Michael #Scriven, "Truisms as Grounds for Historical Explanations"). See also #Danto, Narration and Knowledge, for further criticisms of the model. Hempel formalizes historical explanation as involving (a) statements of determining (initial and boundary) conditions for the event to be explained, and (b) statements of (...) general laws that imply that whenever events of the kind described in (a) occur, an event of the kind to be explained will take place. He admits that in practice historians rarely explain historical events in this way, but instead give only fragmentary "explanation sketches." Such sketches can, however, be "scientifically acceptable," providing it points to where "more specific statements" are to be found (351). An interesting aspect of the article is its "late" positivist, proto‑Kuhnian assertion that "the separation of 'pure description' and 'hypothetical generalization and theory construction' in empirical science is unwarranted" (356). But Hempel does not work out the wider implications of this important conclusion. It is also worth noting that he himself was not much interested in the philosophy of history; other authors took up his model and discussed it within that context. Usefully discussed by #Ricoeur, Time and Narrative, 1:112‑17. (shrink)

To explain the phenomena in the world of our experience, to answer the question “why?” rather than only the question “what?”, is one of the foremost objectives of all rational inquiry; and especially, scientific research in its various branches strives to go beyond a mere description of its subject matter by providing an explanation of the phenomena it investigates. While there is rather general agreement about this chief objective of science, there exists considerable difference of opinion as to the function (...) and the essential characteristics of scientific explanation. In the present essay, an attempt will be made to shed some light on these issues by means of an elementary survey of the basic pattern of scientific explanation and a subsequent more rigorous analysis of the concept of law and of the logical structure of explanatory arguments. (shrink)

Computer simulations are an exciting tool that plays important roles in many scientific disciplines. This has attracted the attention of a number of philosophers of science. The main tenor in this literature is that computer simulations not only constitute interesting and powerful new science , but that they also raise a host of new philosophical issues. The protagonists in this debate claim no less than that simulations call into question our philosophical understanding of scientific ontology, the epistemology and semantics of (...) models and theories, and the relation between experimentation and theorising, and submit that simulations demand a fundamentally new philosophy of science in many respects. The aim of this paper is to critically evaluate these claims. Our conclusion will be sober. We argue that these claims are overblown and that simulations, far from demanding a new metaphysics, epistemology, semantics and methodology, raise few if any new philosophical problems. The philosophical problems that do come up in connection with simulations are not specific to simulations and most of them are variants of problems that have been discussed in other contexts before. (shrink)

Whereas computer simulations involve no direct physical interaction between the machine they are run on and the physical systems they are used to investigate, they are often used as experiments and yield data about these systems. It is commonly argued that they do so because they are implemented on physical machines. We claim that physicality is not necessary for their representational and predictive capacities and that the explanation of why computer simulations generate desired information about their target system is only (...) to be found in the detailed analysis of their semantic levels. We provide such an analysis and we determine the actual consequences of physical implementation for simulations. (shrink)

When can macroscopic data about a system be used to set parameters in a microfoundational simulation? We examine the epistemic viability of tweaking parameter values to generate a better fit between the outcome of a simulation and the available observational data. We restrict our focus to microfoundational simulations—those simulations that attempt to replicate the macrobehavior of a target system by modeling interactions between microentities. We argue that tweaking can be effective but that there are two central risks. First, tweaking risks (...) overfitting the simulation to the data and thus compromising predictive accuracy; and second, it risks compromising the microfoundationality of the simulation. We evaluate standard responses to tweaking and propose strategies to guard against these risks. (shrink)

First, a comment on a pessimistic note: Salmon says we can't be sure there is any such thing as inductive inference: in demanding that some explanations have the form of correct inductive inferences, “we may be laying down a requirement which cannot be fulfilled.” To doubt that we can fulfill that requirement is to doubt that we can formalize inductive logic. It may be true, but why begin the fight by throwing in the sponge? It is also true that there (...) are difficulties involved in formalizing acceptance rules for inductive conclusions, but these difficulties may be overcome. It is false to claim that we ‘cannot claim to know exactly’ what these acceptance rules are. Only two years ago I did just that. It was true that my claim was shown to be erroneous a year later, but that fate can befall almost any worthwhile claim. (shrink)

This paper examines Wesley Salmon's "process" theory of causality, arguing in particular that there are four areas of inadequacy. These are that the theory is circular, that it is too vague at a crucial point, that statistical forks do not serve their intended purpose, and that Salmon has not adequately demonstrated that the theory avoids Hume's strictures about "hidden powers". A new theory is suggested, based on "conserved quantities", which fulfills Salmon's broad objectives, and which avoids the problems discussed.

In a recent paper (1994) Wesley Salmon has replied to criticisms (e.g., Dowe 1992c, Kitcher 1989) of his (1984) theory of causality, and has offered a revised theory which, he argues, is not open to those criticisms. The key change concerns the characterization of causal processes, where Salmon has traded "the capacity for mark transmission" for "the transmission of an invariant quantity." Salmon argues against the view presented in Dowe (1992c), namely that the concept of "possession of a conserved quantity" (...) is sufficient to account for the difference between causal and pseudo processes. Here that view is defended, and important questions are raised about the notion of transmission and about gerrymandered aggregates. (shrink)

In a recent paper Wesley Salmon has replied to criticisms of his theory of causality, and has offered a revised theory which, he argues, is not open to those criticisms. The key change concerns the characterization of causal processes, where Salmon has traded “the capacity for mark transmission” for “the transmission of an invariant quantity.” Salmon argues against the view presented in Dowe, namely that the concept of “possession of a conserved quantity” is sufficient to account for the difference between (...) causal and pseudo processes. Here that view is defended, and important questions are raised about the notion of transmission and about gerrymandered aggregates. (shrink)

It is often claimed that scientists can obtain new knowledge about nature by running computer simulations. How is this possible? I answer this question by arguing that computer simulations are arguments. This view parallels Norton’s argument view about thought experiments. I show that computer simulations can be reconstructed as arguments that fully capture the epistemic power of the simulations. Assuming the extended mind hypothesis, I furthermore argue that running the computer simulation is to execute the reconstructing argument. I discuss some (...) objections and reject the view that computer simulations produce knowledge because they are experiments. I conclude by comparing thought experiments and computer simulations, assuming that both are arguments. (shrink)

We analyze the effects of the introduction of new mathematical tools on an old branch of physics by focusing on lattice fluids, which are cellular automata -based hydrodynamical models. We examine the nature of these discrete models, the type of novelty they bring about within scientific practice and the role they play in the field of fluid dynamics. We critically analyze Rohrlich's, Fox Keller's and Hughes' claims about CA-based models. We distinguish between different senses of the predicates “phenomenological” and “theoretical” (...) for scientific models and argue that it is erroneous to conclude, as they do, that CA-based models are necessarily phenomenological in any sense of the term. We conversely claim that CA-based models of fluids, though at first sight blatantly misrepresenting fluids, are in fact conservative as far as the basic laws of statistical physics are concerned and not less theoretical than more traditional models in the field. Based on our case-study, we propose a general discussion of the prospect of CA for modeling in physics. We finally emphasize that lattice fluids are not just exotic oddities but do bring about new advantages in the investigation of fluids' behavior. (shrink)

This paper tries to answer the question why the epistemic value of so many social simulations is questionable. I consider the epistemic value of a social simulation as questionable if it contributes neither directly nor indirectly to the understanding of empirical reality. To examine this question, two classical social simulations are analyzed with respect to their possible epistemic justification: Schelling’s neighborhood segregation model and Axelrod’s reiterated Prisoner’s Dilemma simulations of the evolution of cooperation. It is argued that Schelling’s simulation is (...) useful because it can be related to empirical reality, while Axelrod’s simulations and those of his followers cannot and thus that their scientific value remains doubtful. I relate this findingto the background beliefs of modelers about the superiority of the modeling method as expressed in Joshua Epstein’s keynote address “Why model?”. (shrink)

Most traditional epistemologists see trust and knowledge as deeply antithetical: we cannot know by trusting in the opinions of others; knowledge must be based on evidence, not mere trust. I argue that this is badly mistaken. Modern knowers cannot be independent and self-reliant. In most disciplines, those who do not trust cannot know. Trust is thus often more epistemically basic than empirical evidence or logical argument, for the evidence and the argument are available only through trust. Finally, since the reliability (...) of testimonial evidence depends on the trustworthiness of the testifier, this implies that knowledge often rests on a foundation of ethics. The rationality of many of our beliefs depends not only on our own character, but on the character of others. (shrink)