Es wird ausgegangen von den in den empirischen Wissenschaften vorkommenden Satzarten. Die Abhängigkeit der Kennzeichnungen "vollständig" bzw. "hinreichend verifiziert" von den Kriterien der benützten Überprüfungsverfahren wird untersucht. Die irrigen Voraussetzungen extremer Verallgemeinerungen, wie der "Verifikations-these" Wittgensteins und der "asymmetrischen Falsifikationstheorie" Poppers, werden aufgezeigt. Die methodologische Symmetrie von Verifikation und Falsifikation wird durch den Hinweis auf die gleicherweise unerläßliche Bedeutung der induktiven Schritte und des kontrollierenden Aufsuchens von Unverträglichkeiten für den wissenschaftlichen Fortschritt begründet. Unter Berücksichtigung dieser Kriterien werden empirische Allsätze als (...) die Beschreibung der realen Ordnung empirischer Phänomene gedeutet. (shrink)

Eliminative materialism is the thesis that our common-sense conception of psychological phenomena constitutes a radically false theory, a theory so fundamentally defective that both the principles and the ontology of that theory will eventually be displaced, rather than smoothly reduced, by completed neuroscience. Our mutual understanding and even our introspection may then be reconstituted within the conceptual framework of completed neuroscience, a theory we may expect to be more powerful by far than the common-sense psychology it displaces, and more substantially (...) integrated within physical science generally. My purpose in this paper is to explore these projections, especially as they bear on (1) the principal elements of common-sense psychology: the propositional attitudes (beliefs, desires, etc.), and (2) the conception of rationality in which these elements figure. (shrink)

The book can also be used as an excellent text for graduate-level courses in AI, operations research, or applied probability.

Determinism is a perennial topic of philosophical discussion. Very little acquaintance with the philosophical literature is needed to reveal the Tower of ...

Counterfactuals is David Lewis' forceful presentation of and sustained argument for a particular view about propositions which express contrary to fact conditionals, including his famous defense of realism about possible worlds and his theory of laws of nature.

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)

In this sequence of philosophical essays about natural science, the author argues that fundamental explanatory laws, the deepest and most admired successes of modern physics, do not in fact describe regularities that exist in nature. Cartwright draws from many real-life examples to propound a novel distinction: that theoretical entities, and the complex and localized laws that describe them, can be interpreted realistically, but the simple unifying laws of basic theory cannot.

The biological sciences employ a concept of normality that must be distinguished from statistical or value concepts. The concept of normality is presupposed in the standard explications of biological functions, and it is crucial to the strategy of explanation by approximations in, for example, physiology. Nevertheless, this concept of normality does not seem to be captured in the language of physics. Thus attempts at explaining the methodological relationship between the biological sciences and the physical sciences by concentrating only on the (...) concept of biological function cannot go very far. An analysis of the concept of normality is also necessary. (shrink)

The official model of explanation proposed by the logical empiricists, the covering law model, is subject to familiar objections. The goal of the present paper is to explore an unofficial view of explanation which logical empiricists have sometimes suggested, the view of explanation as unification. I try to show that this view can be developed so as to provide insight into major episodes in the history of science, and that it can overcome some of the most serious difficulties besetting the (...) covering law model. (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)

The main argument of this paper is that an evaluation of the overall explanatory power of a theory is less problematic and more relevant as an assessment of the state of knowledge than evaluation of statistical explanations of single occurrences in terms of likelihoods that are assigned to explananda.

Preface 1 Introduction: The Persistence of the Attitudes 2 Individualism and Supervenience 3 Meaning Holism 4 Meaning and the World Order Epilogue Creation Myth Appendix Why There Still Has to be a Language of Thought Notes References Author Index.

Through his S–R model of statistical relevance, Wesley Salmon offers a solution to the scientific explanation of objectively improbable events.

Princeton University Press, 1974. This book is out of print, but can be downloaded as a pdf file (5 MB).

The development of science does not proceed as a monotonous addition of information. A superior successor theory often contradicts its predecessor. The question as to what the logical relationship is between such theories, insofar as the transition from one to the other embodies continuity and progress, is the subject of this book. Proceeding from a discussion of intertheory reductions, the author proves that theories revision models from philosophical logic are fruitful for questions of scientific theory. Formal analyses of conditionals, autoepistemic (...) inferences, intertheoretical explanations and idealizations are carried out, as well as applications to the Kepler-Newton case and the case of the ideal gas law and van der Waals's law. (shrink)

As Aristotle stated, scientific explanation is based on deductive argument--yet, Wesley C. Salmon points out, not all deductive arguments are qualified explanations. The validity of the explanation must itself be examined. _Four Decades of Scientific Explanation_ provides a comprehensive account of the developments in scientific explanation that transpired in the last four decades of the twentieth century. It continues to stand as the most comprehensive treatment of the writings on the subject during these years. Building on the historic 1948 essay (...) by Carl G. Hempel and Paul Oppenheim, "Studies in the Logic of Explanation,” which introduced the deductive-nomological model on which most work on scientific explanation was based for the following four decades, Salmon goes beyond this model's inherent basis of describing empirical knowledge to tells us “not only _what,_ but also _why_.” Salmon examines the predominant models in chronological order and describes their development, refinement, and criticism or rejection. _Four Decades of Scientific Explanation_ underscores the need for a consensus of approach and ongoing evaluations of methodology in scientific explanation, with the goal of providing a better understanding of natural phenomena. (shrink)

Ever since David Hume, empiricists have barred powers and capacities from nature. In this book Cartwright argues that capacities are essential in our scientific world, and, contrary to empiricist orthodoxy, that they can meet sufficiently strict demands for testability. Econometrics is one discipline where probabilities are used to measure causal capacities, and the technology of modern physics provides several examples of testing capacities (such as lasers). Cartwright concludes by applying the lessons of the book about capacities and probabilities to the (...) explanation of the role of causality in quantum mechanics. (shrink)

From a philosophical standpoint, the work presented here is based on van Fraassen [26]. The bulk of that paper is organized around a series of arguments against the assumption, built into standard deontic logic, that moral dilemmas are impossible; and van Fraassen only briefly sketches his alternative approach. His paper ends with the conclusion that “the problem of possibly irresolvable moral conflict reveals serious flaws in the philosophical and semantic foundations of ‘orthodox’ deontic logic, but also suggests a rich set (...) of new problems and methods for such logic.” My goal has been to suggest that some of these methods might be found in current research on nonmonotonic reasoning, and that some of the problems may have been confronted there as well.I have shown that nonmonotonic logics provide a natural framework for reasoning about moral dilemmas, perhaps even more useful than the ordinary modal framework, and that the issues surrounding the treatment of exceptional information within these logics run parallel to some of the problems posed by conditional oughts. However, there is also another way in which deontic logic might benefit from a connection to nonmonotonic reasoning. A familiar criticism among ethicists of work in deontic logic is that it is too abstract, and too far removed from the kind of problems confronted by real agents in moral deliberation. It must be said that similar criticisms of abstraction and irrelevance are often lodged against work in nonmonotonic reasoning by more practically minded researchers in artificial intelligence; but here, at least, the criticisms are taken seriously. Nonmonotonic logic aims at a qualitative account of commonsense reasoning, which can be used to relate planning and action to defeasible goals and beliefs; and at least some of the theories developed in this area have been tested in realistic situations. By linking the subject of deontic logic to this research, it may be possible also to relate the idealized study of moral reasoning typical of the field to a more robust treatment of practical deliberation. (shrink)

The usual completeness theorem for first-order logic is extended in order to allow for a natural incorporation of real analysis. Essentially, this is achieved by building in the set of real numbers into the structures for the language, and by adjusting other semantical notions accordingly. We use many-sorted languages so that the resulting formal systems are general enough for axiomatic treatments of empirical theories without recourse to elements of set theory which are difficult to interprete empirically. Thus we provide a (...) way of applying model theory to empirical theories without tricky detours. Our frame is applied to axiomatizations of three empirical theories: classical mechanics, phenomenological thermodynamics, and exchange economics. (shrink)

An extended review of what is known about the formal behaviour of nonmonotonic inference operations, including those generated by the principal systems in the artificial intelligence literature. Directed towards computer scientists and others with some background in logic.

According to Hempel, all scientific explanations and predictions which are produced exclusively with deterministic laws must be deductive, in the sense that the explanandum or the prediction must be a logical consequence of the laws and the initial conditions in the explanans. This deducibility thesis has been attacked from several quarters. Some time ago Canfield and Lehrer presented a “refutation” of DT as applied to predictions, in which they tried to prove that “if the deductive reconstruction [DT for predictions] were (...) an adequate reconstruction, then scientific prediction would be impossible”. Their argument seems to have been uncontested except for an inconclusive rejoinder by Beard. Moreover, Stegmüller has recently argued that “it may turn out that all or at least most of the so-called deductive-nomological explanations are in truth inductive and not deductive arguments, in view of the difficulty which has been pointed out by Canfield and Lehrer”. It seems it would be worth investigating whether Canfield and Lehrer's argument is, indeed, correct. (shrink)