Perhaps the most significant contemporary theory of lawhood is the Best System (/MRL) view on which laws are true generalizations that best systematize knowledge. Our question in this paper will be how best to formulate a theory of this kind. We’ll argue that an acceptable MRL should (i) avoid inter-system comparisons of simplicity, strength, and balance, (ii) make lawhood epistemically accessible, and (iii) allow for laws in the special sciences. Attention to these problems will bring into focus a useful menu (...) of novel MRL theories, some of which solve problems the original MRL theory could not. Hence we conceive of the paper as moving toward a better Best System theory of laws. (shrink)

A number of recent authors (Galles and Pearl, Found Sci 3 (1):151–182, 1998; Hiddleston, Noûs 39 (4):232–257, 2005; Halpern, J Artif Intell Res 12:317–337, 2000) advocate a causal modeling semantics for counterfactuals. But the precise logical significance of the causal modeling semantics remains murky. Particularly important, yet particularly under-explored, is its relationship to the similarity-based semantics for counterfactuals developed by Lewis (Counterfactuals. Harvard University Press, 1973b). The causal modeling semantics is both an account of the truth conditions of counterfactuals, and (...) an account of which inferences involving counterfactuals are valid. As an account of truth conditions, it is incomplete. While Lewis's similarity semantics lets us evaluate counterfactuals with arbitrarily complex antecedents and consequents, the causal modeling semantics makes it hard to ascertain the truth conditions of all but a highly restricted class of counterfactuals. I explain how to extend the causal modeling language to encompass a wider range of sentences, and provide a sound and complete axiomatization for the extended language. Extending the truth conditions for counterfactuals has serious consequences concerning valid inference. The extended language is unlike any logic of Lewis's: modus ponens is invalid, and classical logical equivalents cannot be freely substituted in the antecedents of conditionals. (shrink)

The aim of this paper is to argue that logic can play an important role in the “toolbox” of molecular biology. We show how biochemical pathways, i.e., transitions from a molecular aggregate to another molecular aggregate, can be viewed as deductive processes. In particular, our logical approach to molecular biology — developed in the form of a natural deduction system — is centered on the notion of Curry-Howard isomorphism, a cornerstone in nineteenth-century proof-theory.

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 2 BASIC MODAL LOGIC . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.

This modern, advanced textbook reviews modal logic, a field which caught the attention of computer scientists in the late 1970's.

Metaphysicians speak of laws of nature in terms of necessity and universality; scientists, in terms of symmetry and invariance. In this book van Fraassen argues that no metaphysical account of laws can succeed. He analyzes and rejects the arguments that there are laws of nature, or that we must believe there are, and argues that we should disregard the idea of law as an adequate clue to science. After exploring what this means for general epistemology, the author develops the empiricist (...) view of science as a construction of models to represent the phenomena. (shrink)

Reductionism encompasses a set of ontological, epistemological, and methodological claims about the relation of different scientific domains. The basic question of reduction is whether the properties, concepts, explanations, or methods from one scientific domain (typically at higher levels of organization) can be deduced from or explained by the properties, concepts, explanations, or methods from another domain of science (typically one about lower levels of organization). Reduction is germane to a variety of issues in philosophy of science, including the structure of (...) scientific theories, the relations between different scientific disciplines, the nature of explanation, the diversity of methodology, and the very idea of theoretical progress, as well as to numerous topics in metaphysics and philosophy of mind, such as emergence, mereology, and supervenience. (shrink)

INTRODUCTION I. CETERIS PARIBUS LAWS An alleged law of nature—like Newton's law of gravitation—is said to be a ceteris paribus law if it does not hold under ...

Unlike in physics, the category of thought experiment is not very common in biology. At least there are no classic examples that are as important and as well-known as the most famous thought experiments in physics, such as Galileo’s, Maxwell’s or Einstein’s. The reasons for this are far from obvious; maybe it has to do with the fact that modern biology for the most part sees itself as a thoroughly empirical discipline that engages either in real natural history or in (...) experimenting on real organisms rather than fictive ones. While theoretical biology does exist and is recognized as part of biology, its role within biology appears to be more marginal than the role of theoretical physics within physics. It could be that this marginality of theory also affects thought experiments as sources of theoretical knowledge. Of course, none of this provides a sufficient reason for thinking that thought experiments are really unimportant in biology. It is quite possible that the common perception of this matter is wrong and that there are important theoretical considerations in biology, past or present, that deserve the title of thought experiment just as much as the standard examples from physics. Some such considerations may even be widely known and considered to be important, but were not recognized as thought experiments. In fact, as we shall see, there are reasons for thinking that what is arguably the single most important biological work ever, Charles Darwin’s On the Origin of Species, contains a number of thought experiments. There are also more recent examples both in evolutionary and non-evolutionary biology, as we will show. Part of the problem in identifying positive examples in the history of biology is the lack of agreement as to what exactly a thought experiment is. Even worse, there may not be more than a family resemblance that unifies this epistemic category. We take it that classical thought experiments show the following characteristics: They serve directly or indirectly in the non-empirical epistemic evaluation of theoretical propositions, explanations or hypotheses. Thought experiments somehow appeal to the imagination. They involve hypothetical scenarios, which may or may not be fictive. In other words, thought experiments suppose that certain states of affairs hold and then try to intuit what would happen in a world where these suppositions are true. We want to examine in the following sections if there are episodes in the history of biology that satisfy these criteria. As we will show, there are a few episodes that might satisfy all three of these criteria, and many more if the imagination criterion is dropped or understood in a lose sense. In any case, this criterion is somewhat vague in the first place, unless a specific account of the imagination is presupposed. There will also be issues as to what exactly “non-empirical” means. In general, for the sake of discussion we propose to understand the term “thought experiment” here in a broad rather than a narrow sense here. We would rather be guilty of having too wide a conception of thought experiment than of missing a whole range of really interesting examples. (shrink)

Thomas S. Kuhn's classic book is now available with a new index.

Human existence and its temporal limits are central themes of western culture. In addition to discussing fundamental metaphysical questions and ethical questions, this book examines questions surrounding the possibility of radically extending one's life through new a anti-aging therapies. Does adding years to one's life make one happier?

Two families of many-valued modal logics are investigated. Semantically, one family is characterized using Kripke models that allow formulas to take values in a finite many-valued logic, at each possible world. The second family generalizes this to allow the accessibility relation between worlds also to be many-valued. Gentzen sequent calculi are given for both versions, and soundness and completeness are established.

Stathis Psillos divides his account into three sections: causation, laws of nature, and explanation. He begins the causation section with Hume's classic "reductive" account and then focuses on the subsequent division between Humean and non-Humean accounts, examining topics such as regularities and singular causation, causation and counterfactuals, and causation and mechanism.

Woodward's long awaited book is an attempt to construct a comprehensive account of causation explanation that applies to a wide variety of causal and explanatory claims in different areas of science and everyday life. The book engages some of the relevant literature from other disciplines, as Woodward weaves together examples, counterexamples, criticisms, defenses, objections, and replies into a convincing defense of the core of his theory, which is that we can analyze causation by appeal to the notion of manipulation.

A satisfactory account of the nature of health is important for a wide range of theoretical and practical reasons. No theory offered in the literature thus far has been able to meet all the desiderata for an adequate theory of health. This article introduces a new theory of health, according to which health is best defined in terms of dispositions at the level of the organism as a whole. After outlining the main features of the account and providing formal definitions (...) of ‘health’, ‘healthy’, and ‘healthier than’, I present the main strengths of the proposed account. I argue that the proposed dispositional theory accounts for all paradigm cases of health and pathology, that it circumvents a number of problems faced by rival theories, and that it makes for a naturalistic theory of health with a rigorous metaphysical underpinning. 1Introduction 2The Dispositional Account 3Further Specification of the Dispositional Account 3.1Reference classes 3.2Comparison classes 3.3Which dispositions? 4Advantages of the Dispositional view 5Three Objections and Replies 5.1Objection 1: Counter-examples 5.2Objection 2: Issues with holism 5.3Objection 3: Expediting medicalization 6Final Remarks. (shrink)

This paper is concerned with the question of the truth conditions of nomological statements. My fundamental thesis is that it is possible to set out an acceptable, noncircular account of the truth conditions of laws and nomological statements if and only if relations among universals - that is, among properties and relations, construed realistically - are taken as the truth-makers for such statements. My discussion will be restricted to strictly universal, nonstatistical laws. The reason for this limitation is not that (...) I feel there is anything dubious about the concept of a statistical law, nor that I feel that basic laws cannot be statistical. The reason is methodological. The case of strictly universal, nonstatistical laws would seem to be the simplest case. If the problem of the truth conditions of laws can be solved for this simple subcase, one can then investigate whether the solution can be extended to the more complex cases. I believe that the solution I propose here does have that property, though I shall not pursue that question here.1. (shrink)

The genetic code has been regarded as arbitrary in the sense that the codon-amino acid assignments could be different than they actually are. This general idea has been spelled out differently by previous, often rather implicit accounts of arbitrariness. They have drawn on the frozen accident theory, on evolutionary contingency, on alternative causal pathways, and on the absence of direct stereochemical interactions between codons and amino acids. It has also been suggested that the arbitrariness of the genetic code justifies attributing (...) semantic information to macromolecules, notably to DNA. I argue that these accounts of arbitrariness are unsatisfactory. I propose that the code is arbitrary in the sense of Jacques Monod's concept of chemical arbitrariness: the genetic code is arbitrary in that any codon requires certain chemical and structural properties to specify a particular amino acid, but these properties are not required in virtue of a principle of chemistry. This notion of arbitrariness is compatible with several recent hypotheses about code evolution. I maintain that the code's chemical arbitrariness is neither sufficient nor necessary for attributing semantic information to nucleic acids. (shrink)

According to James Woodward’s influential interventionist account of causation, X is a cause of Y iff, roughly, there is a possible intervention on X that changes Y. Woodward requires that interventions be merely logically possible. I will argue for two claims against this modal character of interventions: First, merely logically possible interventions are dispensable for the semantic project of providing an account of the meaning of causal statements. If interventions are indeed dispensable, the interventionist theory collapses into a counterfactual theory (...) of causation. Thus, the interventionist theory is not tenable as a theory of causation in its own right. Second, if one maintains that merely logically possible interventions are indispensable, then interventions with this modal character lead to the fatal result that interventionist counterfactuals are evaluated inadequately. Consequently, interventionists offer an inadequate theory of causation. I suggest that if we are concerned with explicating causal concepts and stating the truth-conditions of causal claims we best get rid of Woodwardian interventions. (shrink)

What is the nature of causation? How is causation linked with explanation? And can there be an adequate theory of explanation? These questions and many others are addressed in this unified and rigorous examination of the philosophical problems surrounding causation, laws and explanation. Part 1 of this book explores Hume's views on causation, theories of singular causation, and counterfactual and mechanistic approaches. Part 2 considers the regularity view of laws and laws as relations among universals, as well as recent alternative (...) approaches to laws. Part 3 examines the issues arising from deductive-nomological explanation, statistical explanation, the explanation of laws and the metaphysics of explanation. Accessible to readers of all levels, this book provides an excellent introduction to one of the most enduring problems of philosophy. (shrink)

The function of a trait token is usually defined in terms of some properties of other (past, present, future) tokens of the same trait type. I argue that this strategy is problematic, as trait types are (at least partly) individuated by their functional properties, which would lead to circularity. In order to avoid this problem, I suggest a way to define the function of a trait token in terms of the properties of the very same trait token. To able to (...) allow for the possibility of malfunctioning, some of these properties need to be modal ones: a function of a trait is to do F just in case its doing F would contribute to the inclusive fitness of the organism whose trait it is. Function attributions have modal force. Finally, I explore whether and how this theory of biological function could be modified to cover artifact function. (shrink)

This collection of essays serves both as an introduction to Ruth Millikan’s much-discussed volume Language, Thought, and Other Biological Categories and as an extension and application of Millikan’s central themes, especially in the philosophy of psychology. The title essay discusses meaning rationalism and argues that rationality is not in the head, indeed, that there is no legitimate interpretation under which logical possibility and necessity are known a priori. In other essays, Millikan clarifies her views on the nature of mental representation, (...) explores whether human thought is a product of natural selection, examines the nature of behavior as studied by the behavioral sciences, and discusses the issues of individualism in psychology, psychological explanation, indexicality in thought, what knowledge is, and the realism/antirealism debate. Table of Contents Preface Acknowledgments Introduction 1 In Defense of Proper Functions 2 Propensities, Exaptations, and the Brain 3 Thoughts without Laws 4 Biosemantics 5 On Mentalese Orthography, Part 1 6 Compare and Contrast Dretske, Fodor, and Millikan on Teleosemantics 7 What Is Behavior? A Philosophical Essay on Ethology and Individualism in Psychology, Part 1 8 The Green Grass Growing All Around: A Philosophical Essay on Ethology and Individualism in Psychology, Part 2 9 Explanation in Biopsychology 10 Metaphysical Antirealism? 11 Truth Rules, Hoverflies, and the Kripke-Wittgenstein Paradox 12 Naturalist Reflections on Knowledge 13 The Myth of the Essential Indexical 14 White Queen Psychology; or, The Last Myth of the Given References Index. (shrink)

In this article, I propose a new way of thinking about natural necessity and a new way of thinking about biological laws. I suggest that much of the lack of progress in making a positive case for distinctively biological laws is that we’ve been looking for necessity in the wrong place. The trend has been to look for exceptionlessness at the level of the outcomes of biological processes and to build one’s claims about necessity off of that. However, as Beatty (...) (1995) observed, even when we are lucky enough to find a biological ‘rule’ of some sort, that rule is apt to be a victim of ‘the rule-breaking capabilities of evolutionary change’. If indeed no distinctively biological generalization—even an exceptionless one—is safe, we need to locate necessity elsewhere. A good place to start is, I think, precisely the point at which Beatty sees the possibility of lawhood as breaking down—namely, at the level of chances. 1 The ‘Necessity’ Objection to Biological Laws2 Necessary Chances2.1 Necessary chances: random drift2.2 Necessary chances: fitness3 But is it Biological?4 Conclusion. (shrink)

Ever since Saul Kripke and others developed a semantic interpretation for modal logic, 'possible worlds' has been a much debated issue in contemporary metaphysics. To propose the idea of a possible world that differs in some way from our actual world - for example a world where the grass is red or where no people exist - can help us to analyse and understand a wide range of philosophical concepts, such as counterfactuals, properties, modality, and of course, the notions of (...) possibility and necessity. This book examines the ways in which possible worlds have been used as a framework for considering problems in logic and argument analysis. The book begins with a non-technical introduction to the basic ideas of modal logic in terms of Kripke's possible worlds and then moves on to a discussion of 'possible for' and 'possible that'. The central chapters examine questions of meaning, epistemic possibility, temporal logic, metaphysics, and impossibility. Girle also investigates how the idea of a possible world can be put to use in different areas of philosophy, the problems it may raise, and the benefits that can be gained. (shrink)

Ever since Saul Kripke and others developed a semantic interpretation for modal logic, 'possible worlds' has been a much debated issue in contemporary metaphysics. To propose the idea of a possible world that differs in some way from our actual world - for example a world where the grass is red or where no people exist - can help us to analyse and understand a wide range of philosophical concepts, such as counterfactuals, properties, modality, and of course, the notions of (...) possibility and necessity. This book examines the ways in which possible worlds have been used as a framework for considering problems in logic and argument analysis. The book begins with a non-technical introduction to the basic ideas of modal logic in terms of Kripke's possible worlds and then moves on to a discussion of 'possible for' and 'possible that'. The central chapters examine questions of meaning, epistemic possibility, temporal logic, metaphysics, and impossibility. Girle also investigates how the idea of a possible world can be put to use in different areas of philosophy, the problems it may raise, and the benefits that can be gained. (shrink)

John Carroll undertakes a careful philosophical examination of laws of nature, causation, and other related topics. He argues that laws of nature are not susceptible to the sort of philosophical treatment preferred by empiricists. Indeed he shows that emperically pure matters of fact need not even determine what the laws are. Similar, even stronger, conclusions are drawn about causation. Replacing the traditional view of laws and causation requiring some kind of foundational legitimacy, the author argues that these phenomena are inextricably (...) intertwined with everything else. This distinctively clear and detailed discussion of what it is to be a law will be valuable to a broad swathe of philosophers in metaphysics, the philosophy of mind, and the philosophy of science. (shrink)

David Lewis ([1986b]) gives an attractive and familiar account of counterfactual dependence in the standard context. This account has recently been subject to a counterexample from Adam Elga ([2000]). In this article, I formulate a Lewisian response to Elga’s counterexample. The strategy is to add an extra criterion to Lewis’s similarity metric, which determines the comparative similarity of worlds. This extra criterion instructs us to take special science laws into consideration as well as fundamental laws. I argue that the Second (...) Law of Thermodynamics should be seen as a special science law, and give a brief account of what Lewisian special science laws should look like. If successful, this proposal blocks Elga’s counterexample. (shrink)

It is a traditional empiricist doctrine that natural laws are universal truths. In order to overcome the obvious difficulties with this equation most empiricists qualify it by proposing to equate laws with universal truths that play a certain role, or have a certain function, within the larger scientific enterprise. This view is examined in detail and rejected; it fails to account for a variety of features that laws are acknowledged to have. An alternative view is advanced in which laws are (...) expressed by singular statements of fact describing the relationship between universal properties and magnitudes. (shrink)

First published in 1985, D. M. Armstrong's original work on what laws of nature are has continued to be influential in the areas of metaphysics and philosophy of science. Presenting a definitive attack on the sceptical Humean view, that laws are no more than a regularity of coincidence between stances of properties, Armstrong establishes his own theory and defends it concisely and systematically against objections. Presented in a fresh twenty-first-century series livery, and including a specially commissioned preface written by Marc (...) Lange, illuminating its continuing importance and relevance to philosophical enquiry, this influential work is available for a new generation of readers. (shrink)

The distinction between essential versus accidental properties has been characterized in various ways, but it is currently most commonly understood in modal terms: an essential property of an object is a property that it must have, while an accidental property of an object is one that it happens to have but that it could lack. Let’s call this the basic modal characterization, where a modal characterization of a notion is one that explains the notion in terms of necessity/possibility. In the (...) characterization just given of the distinction between essential and accidental properties, the use of the word “must” reflects the fact that necessity is invoked, while the use of the word “could” reflects that possibility is invoked. The notions of necessity and possibility are interdefinable: to say that something is necessary is to say that its negation is not possible; to say that something is possible is to say that its negation is not necessary; to say that an object must have a certain property is to say that it could not lack it; and to say that an object could have a certain property is to say that it is not the case that it must lack it. (shrink)

The distinction between phenotype and genotype is fundamental to the understanding of heredity and development of organisms. The genotype of an organism is the class to which that organism belongs as determined by the description of the actual physical material made up of DNA that was passed to the organism by its parents at the organism's conception. For sexually reproducing organisms that physical material consists of the DNA contributed to the fertilized egg by the sperm and egg of its two (...) parents. For asexually reproducing organisms, for example bacteria, the inherited material is a direct copy of the DNA of its parent. The phenotype of an organism is the class to which that organism belongs as determined by the description of the physical and behavioral characteristics of the organism, for example its size and shape, its metabolic activities and its pattern of movement. (shrink)

An influential position in the philosophy of biology claims that there are no biological laws, since any apparently biological generalization is either too accidental, fact-like or contingent to be named a law, or is simply reducible to physical laws that regulate electrical and chemical interactions taking place between merely physical systems. In the following I will stress a neglected aspect of the debate that emerges directly from the growing importance of mathematical models of biological phenomena. My main aim is to (...) defend, as well as reinforce, the view that there are indeed laws also in biology, and that their difference in stability, contingency or resilience with respect to physical laws is one of degrees, and not of kind . (shrink)