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 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)

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)

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)

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 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.

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)

A debate over the theoretical capabilities of formal methods in computer science has raged for more than two years now. The function of this paper is to summarize the key elements of this debate and to respond to important criticisms others have advanced by placing these issues within a broader context of philosophical considerations about the nature of hardware and of software and about the kinds of knowledge that we have the capacity to acquire concerning their performance.

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)

The social exchange theory of reasoning, which is championed by Leda Cosmides and John Tooby, falls under the general rubric “evolutionary psychology” and asserts that human reasoning is governed by content-dependent, domain-specific, evolutionarily-derived algorithms. According to Cosmides and Tooby, the presumptive existence of what they call “cheater-detection” algorithms disconfirms the claim that we reason via general-purpose mechanisms or via inductively acquired principles. We contend that the Cosmides/Tooby arguments in favor of domain-specific algorithms or evolutionarily-derived mechanisms fail and that the notion (...) of a social exchange rule, which is central to their theory, is not correctly characterized. As a consequence, whether or not their conclusion is true cannot be established on the basis of the arguments they have presented. (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)

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.

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)

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)

Explains terms and concepts related to the nature and theory of knowledge, and identifies important individuals in the field.

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)

Hempel was one of the most influential philosophers of science in the 20th century, along with Thomas Kuhn and Sir Karl Popper. His work defined the central problems of the field and its proper methods of investigation. By presenting an analytical and historical introduction and a comprehensive bibliography together with a selection of many of Carl G. Hempel's most important studies, this volume provides an ideal opportunity for students and scholars to appreciate the enduring contributions of one of the most (...) important philosophers of science of the 20th century. (shrink)

The purpose of this paper is to provide a systematic appraisal of the covering law and statistical relevance theories of statistical explanation advanced by Carl G. Hempel and by Wesley C. Salmon, respectively. The analysis is intended to show that the difference between these accounts is inprinciple analogous to the distinction between truth and confirmation, where Hempel's analysis applies to what is taken to be the case and Salmon's analysis applies to what is the case. Specifically, it is argued (a) (...) that statistical explanations exhibit the nomic expectability of their explanandum events, which in some cases may be strong but in other cases will not be; (b) that the statistical relevance criterion is more fundamental than the requirement of maximal specificity and should therefore displace it; and, (c) that if statistical explanations are to be envisioned as inductive arguments at all, then only in a qualified sense since, in particular, the requirement of high inductive probability between explanans and explanandum must be abandoned. (shrink)

My purpose here is to elaborate the reasons I maintain that Salmon has not been completely successful in reporting the history of work on explanation. The most important limitation of his account is that it does not emphasize the critical necessity to embrace a suitable conception of probability in the development of the theory of probabilistic explanation.

The thesis of this paper is that extensional language alone provides an essentially inadequate foundation for the logical formalization of any lawlike statement. The arguments presented are intended to demonstrate that lawlike sentences are logically general dispositional statements requiring an essentially intensional reduction sentence formulation. By introducing a non-extensional logical operator, the 'fork', the difference between universal and statistical laws emerges in a distinction between dispositional predicates of universal strength as opposed to those of merely statistical strength. While the logical (...) form of universal and statistical laws appears to be fundamentally dissimilar on the standard account, from this point of view their syntactical structure is basically the same. (shrink)

Luciano Floridi (2003) offers a theory of information as a strongly semantic notion, according to which information encapsulates truth, thereby making truth a necessary condition for a sentence to qualify as information. While Floridi provides an impressive development of this position, the aspects of his approach of greatest philosophical significance are its foundations rather than its formalization. He rejects the conception of information as meaningful data, which entails at least three theses – that information can be false; that tautologies are (...) information; and, that It is true that ... is non-redundant – appear to be defensible. This inquiry offers various logical, epistemic, and ordinary-language grounds to demonstrate that an account of his kind is too narrow to be true and that its adoption would hopelessly obscure crucial differences between information, misinformation, and disinformation. (shrink)

The prelims comprise: Historical Background The Turing Test Physical Machines Symbol Systems The Chinese Room Weak AI Strong AI Folk Psychology Eliminative Materialism Processing Syntax Semantic Engines The Language of Thought Formal Systems Mental Propensities The Frame Problem Minds and Brains Semiotic Systems Critical Differences The Hermeneutic Critique Conventions and Communication Other Minds Intelligent Machines.

Science aims at the discovery of general principles of special kinds that are applicable for the explanation and prediction of the phenomena of the world in the form of theories and laws. When the phenomena themselves happen to be general, the principlesinvolved assume the form of theories; and when they are p- ticular, they assume the form of general laws. Theories themselves are sets of laws and de nitions that apply to a common domain, which makes laws indispensable to science. (...) Understanding science thus depends upon understanding the nature of theories and laws, the logical structure of explanations and predictions based upon them, and the principles of inference and decision that apply to theories and laws. Laws and theories can differ in their form as well as in their content. The laws of quantum mechanics are indeterministic, for example, while those of classical mechanics are deterministic instead. The history of science re ects an increasing role for probabilities as properties of the world but also as measures of evidential support and as degrees of subjective belief. Our purpose is to clarify and illuminate the place of probability in science. (shrink)