The development of science has been a distinctive feature of human history in recent times, especially in the seventeenth and eighteenth centuries. In light of the problems that define the philosophy of science today, James Fetzer provides a foundation for inquiry into the nature of science, the history of science, and the relationship between the two. In Philosophy of Science, Fetzer investigates the aim and methods of empirical science and examines the importance of methodological commitments to the study (...) of science and the significance of interpretations of probability for understanding laws of nature and scientific explanations. This book offers a welcome framework for investigating the most recent work and the most promising solutions to the central problems that arise within this discipline. The result is a timely introduction to an increasingly important field. -- Publisher description. (shrink)

1. WHAT IS ARTIFICIAL INTELLIGENCE? One of the fascinating aspects of the field of artificial intelligence (AI) is that the precise nature of its subject ..

The purpose of this paper is to explore three alternative frameworks for understanding the nature of language and mentality, which accent syntactical, semantical, and pragmatical aspects of the phenomena with which they are concerned, respectively. Although the computational conception currently exerts considerable appeal, its defensibility appears to hinge upon an extremely implausible theory of the relation of form to content. Similarly, while the representational approach has much to recommend it, its range is essentially restricted to those units of language that (...) can be understood in terms of undefined units. Thus, the only alternative among these three that can account for the meaning of primitive units of language is one emphasizing the basic role of skills, habits, and tendencies in relating signs and dispositions. (shrink)

If the decades of the forties through the sixties were dominated by discussion of Hempel's “covering law“ explication of explanation, that of the seventies was preoccupied with Salmon's “statistical relevance” conception, which emerged as the principal alternative to Hempel's enormously influential account. Readers of Wesley C. Salmon's Scientific Explanation and the Causal Structure of the World, therefore, ought to find it refreshing to discover that its author has not remained content with a facile defense of his previous investigations; on the (...) contrary, Salmon offers an original account of different kinds of explications, advances additional criticisms of various alternative theories, and elaborates a novel “two-tiered“ analysis of explanation that tacitly depends upon a “two-tiered” account of homogeneity. Indeed, if the considerations that follow are correct, Salmon has not merely refined his statistical relevance account but has actually abandoned it in favor of a “causal/mechanistic“ construction. This striking development suggests that the theory of explanation is likely to remain as lively an arena of debate in the eighties as it has been in the past. (shrink)

Taking Brian Cantwell Smith’s study, “Limits of Correctness in Computers,” as its point of departure, this article explores the role of models in computer science. Smith identifies two kinds of models that play an important role, where specifications are models of problems and programs are models of possible solutions. Both presuppose the existence of conceptualizations as ways of conceiving the world “in certain delimited ways.” But high-level programming languages also function as models of virtual (or abstract) machines, while low-level programming (...) languages function as models of causal (or physical) machines. The resulting account suggests that sets of models embedded within models are indispensable for computer programming. (shrink)

Perhaps no technological innovation has so dominated the second half of the twentieth century as has the introduction of the programmable computer. It is quite difficult if not impossible to imagine how contemporary affairs—in business and science, communications and transportation, governmental and military activities, for example—could be conducted without the use of computing machines, whose principal contribution has been to relieve us of the necessity for certain kinds of mental exertion. The computer revolution has reduced our mental labors by means (...) of these machines, just as the Industrial Revolution reduced our physical labor by means of other machines. (shrink)

The distinguished theologian, David Ray Griffin, has advanced a set of thirteen theses intended to characterize (what he calls) "Neo-Darwinism" and which he contrasts with "Intelligent Design". Griffin maintains that Neo-Darwinism is "atheistic" in forgoing a creator but suggests that, by adopting a more modest scientific naturalism and embracing a more naturalistic theology, it is possible to find "a third way" that reconciles religion and science. The considerations adduced here suggest that Griffin has promised more than he can deliver. On (...) his account, God is in laws of nature; therefore, any influence He exerts is natural rather than supernatural. But if the differences God makes are not empirically detectable, then Griffin's account is just as objectionable as a theory of supernatural intervention. And Griffin has not shown that evolution as distinct from his idiosyncratic sense of Neo-Darwinism is incompatible with theism. (shrink)

This collection of essays is the definitive version of a widely discussed debate over the origins of the New Theory of Reference. In new articles, written especially for this volume, Quentin Smith and Scott Soames, the original participants in the debate, elaborate their positions on who was responsible for the ideas that Saul Kripke presented in his Naming and Necessity. They are joined by John Burgess, who weighs in on the side of Soames, while Smith adds a further dimension in (...) discussing the contributions of philosophers such as Follesdal, Geach, Hintikka, and Plantinga. Also included are lengthy excerpts from Follesdal's 1961 Harvard dissertation and a careful examination by Sten Lindstrom of the respective contributions of Kripke and Stig Kanger to the development of modal semantics. The collection will be essential reading for anyone acquainted with these influential ideas. (shrink)

The purpose of this paper is to provide a systematic defense of the single-case propensity account of probabilistic explanation from the criticisms advanced by Hanna and by Humphreys and to offer a critical appraisal of the aleatory conception advanced by Humphreys and of the deductive-nomological-probabilistic approach Railton has proposed. The principal conclusion supported by this analysis is that the Requirements of Maximal Specificity and of Strict Maximal Specificity afford the foundation for completely objective explanations of probabilistic explananda, so long as (...) they are employed on the basis of propensity criteria of explanatory relevance. (shrink)

This paper pursues the question, To what extent does the propensity approach to probability contribute to plausible solutions to various anomalies which occur in quantum mechanics? The position I shall defend is that of the three interpretations — the frequency, the subjective, and the propensity — only the third accommodates the possibility, in principle, of providing a realistic interpretation of ontic indeterminism. If these considerations are correct, then they lend support to Popper's contention that the propensity construction tends to remove (...) (at least some of) the mystery from quantum phenomena. (shrink)

This series will include monographs and collections of studies devoted to the investigation and exploration of knowledge, information, and data-processing systems of all kinds, no matter whether human, (other) animal, or machine. Its scope is intended to span the full range of interest from classical problems in the philosophy of mind and philosophical psychology through issues in cognitive psychology and sociobiology (concerning the mental powers of other species) to ideas related to artificial intelligence and computer science. While primary emphasis will (...) be placed upon theoretical, conceptual, and epistemological aspects of these problems and domains, empirical, experimen tal, and methodological studies will also appear from time to time. The present volume reflects the kind of insights that can be obtained when research workers in philosophy, artificial intelligence, and computer science explore problems of common concern. The issues here tend to fall into two broad but varied sets, namely: those concerned with content and concepts, on the one hand, and those concerned with semantics and epistemology, on the other. The collection begins with a prologue that focuses upon the relations between connectionism and alternative conceptions of nativism and ends with an epilogue that examines the significance of alternative conceptions of the Frame Problem for artificial intelligence. Because these papers are rich and diverse, they ought to appeal to a wide and heterogeneous audience. J.H.F. (shrink)

The purpose of this essay is to investigate the properties of singular causal systems and their population manifestations, with special concern for the thesis of methodological individualism, which claims that there are no properties of social groups that cannot be adequately explained exclusively by reference to properties of individual members of those groups, i.e., at the level of individuals. Individuals, however, may be viewed as singular causal systems, i.e., as instantiations of (arrangements of) dispositional properties. From this perspective, methodological individualism (...) appears to be an ambiguous thesis: some properties of collections of (independent) systems of the same kind are reducible, but other properties of collections of (dependent) systems of the same kind are not. In cases of the first kind, therefore, methodological individualism is true, but trivial; while in cases of the second kind, it is significant, but false. Hence, if the arguments that follow are correct, at least some of the properties of social groups should qualify as emergent. (shrink)

Carl G. Hempel exerted greater influence upon philosophers of science than any other figure during the 20th century. In this far-reaching collection, distinguished philosophers contribute valuable studies that illuminate and clarify the central problems to which Hempel was devoted. The essays enhance our understanding of the development of logical empiricism as the major intellectual influence for scientifically-oriented philosophers and philosophically-minded scientists of the 20th century.

The idea that human thought requires the execution of mental algorithms provides a foundation for research programs in cognitive science, which are largely based upon the computational conception of language and mentality. Consideration is given to recent work by Penrose, Searle, and Cleland, who supply various grounds for disputing computationalism. These grounds in turn qualify as reasons for preferring a non-computational, semiotic approach, which can account for them as predictable manifestations of a more adquate conception. Thinking does not ordinarily require (...) the execution of mental algorithms, which appears to be at best no more than one rather special kind of thinking. (shrink)

The contributions to this special collection concern issues and problems discussed in or related to the work of Wesley C. Salmon. Salmon has long been noted for his important work in the philosophy of science, which has included research on the interpretation of probability, the nature of explanation, the character of reasoning, the justification of induction, the structure of space/time and the paradoxes of Zeno, to mention only some of the most prominent. During a time of increasing preoccupation with historical (...) and sociological approaches to under standing science (which characterize scientific developments as though they could be adequately analysed from the perspective of political movements, even mistaking the phenomena of conversion for the rational appraisal of scientific theories), Salmon has remained stead fastly devoted to isolating and justifying those normative standards distinguishing science from non-science - especially through the vindi cation of general principles of scientific procedure and the validation of specific examples of scientific theories - without which science itself cannot be (even remotely) adequately understood. In this respect, Salmon exemplifies and strengthens a splendid tradi tion whose most remarkable representatives include Hans Reichenbach, Rudolf Carnap and Carl G. Hempel, all of whom exerted a profound influence upon his own development. (shrink)

Cosmides, Wason, and Johnson-Laird, among others, have suggested evidence that reasoning abilities tend to be domain specific, insofar as humans do not appear to acquire capacities for logical reasoning that are applicable across different contexts. Unfortunately, the significance of these findings depends upon the specific variety of logical reasoning under consideration. Indeed, there seem to be at least three grounds for doubting such conclusions, since: (1) tests of reasoning involving the use of material conditionals may not be appropriate for representing (...) ordinary thinking, especially when it concerns causal processes involving the use of causal conditionals instead; (2) tests of domain specificity may fail to acknowledge the crucial role fulfilled by rules of inference, such as modus ponens and modus tollens, which appear to be completely general across different contexts; and, (3) tests that focus exclusively upon deductive reasoning may misinterpret findings involving the use of inductive reasoning, which is of primary importance for human evolution. (shrink)

The notion of program verification appears to trade upon an equivocation. Algorithms, as logical structures, are appropriate subjects for deductive verification. Programs, as causal models of those structures, are not. The success of program verification as a generally applicable and completely reliable method for guaranteeing program performance is not even a theoretical possibility.

In traditional linguistic accounts of context, one thinks of the immediate features of a speech situation, that is, a situation in which an expression is uttered. Thus, features such as time, location, speaker, hearer and preceding discourse are all parts of context. But context is a wider and more transcendental notion than what these accounts imply. For one thing, context is a relational concept relating social actions and their surroundings, relating social actions, relating individual actors and their surroundings, and relating (...) the set of individual actors and their social actions to their surroundings. (shrink)

An approach to inference to the best explanation integrating a Popperianconception of natural laws together with a modified Hempelian account of explanation, one the one hand, and Hacking's law of likelihood (in its nomicguise), on the other, which provides a robust abductivist model of sciencethat appears to overcome the obstacles that confront its inductivist,deductivist, and hypothetico-deductivist alternatives.This philosophy of scienceclarifies and illuminates some fundamental aspects of ontology and epistemology, especially concerning the relations between frequencies and propensities. Among the most important (...) elements of this conception is thecentral role of degrees of nomic expectability in explanation, prediction,and inference, for which this investigation provides a theoretical defense. (shrink)