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)

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)

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)

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

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

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)

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)

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

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)

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)

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)

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)

In lieu of an abstract, here is a brief excerpt of the content:Republicanism, Religion, and Machiavelli’s Savonarolan MomentMarcia L. ColishMachiavelli’s readers often take at face value his claim that Christianity has weakened Italy’s civic spirit and martial valor, leaving it open to priestcraft and foreign invasion. Some scholars see this critique of Christianity as an expression of the irreligious, immoral, neopagan, or scientific Machiavelli, making it the chief index of his modernity. 1 One subset within this group treats Machiavelli’s [End (...) Page 597] anthropology as a secularized version of Augustine on original sin, absent an Eden behind it and a redemption before it. 2 Another view of Machiavelli on religion sees him as treating religion, whatever its teachings, functionally, as an instrument promoting desirable political behavior. 3 This is why they regard [End Page 598] Machiavelli as original and modern; although Maury D. Feld notes rightly that Machiavelli is here simply imitating the ancient Roman historians, who all treat religion in just this way. 4 For some proponents of the functionalist interpretation, it does not preclude Christian belief on Machiavelli’s part. For them his brief is not against Christianity itself but against clericalism, the papacy, and Christianity as it is currently interpreted. 5 Still others recognize Machiavelli’s acceptance of signs and portents, saintly behavior and miracles, and other indices of God’s existence and action in human history. They also note Machiavelli’s praise of biblical leaders seen as divinely inspired and his inclusion of them among the founders of religions and states who head his list of heroes. 6 Going farther, some scholars argue that Machiavelli was a conventional, if not an ardent or impeccable, Christian, who joined a religious confraternity before which he preached his Exhortation to Penitence, and the apparent recipient of the last rites of his church after a deathbed confession. 7 [End Page 599]Can these conflicting assessments of Machiavelli and religion be integrated? To some extent, yes. Once, that is, we consider a number of issues not always brought to bear on this question. Machiavelli recognizes that the foreigners who have overrun Italy and deprived Florence of the republic he had served are as Christian as the Italians. At home and abroad, their Christianity has not undermined their military strength or the civic virtue Machiavelli associates with republics. Within contemporary Florence there were three kinds of republicanism on offer, for those unhappy with the Medici restoration of 1512. One group sought to restore the pre-Medici governo stretto constitution dominated by the ottimati. Their opponents defended governo largo republicanism. Machiavelli advocated this type of polity, informed by his reading of ancient history and his assessment of human nature. But another, competing version of governo largo was put forth by Girolamo Savonarola during the Dominican friar’s stormy career as de facto head of the Florentine state from 1494 to 1498. Savonarola’s republican theory combined a number of ideas that Machiavelli loathed: the appeal to the Venetian Great Council as a model, the wish to purge Florence of her sins so that she could serve as the New Jerusalem in the coming apocalypse, and the notion that governo largo was a means to these religious ends, since the more broad-based the government, the more readily could it legislate and enforce moral reform. And, far from self-destructing after the friar’s ashes had been strewn on the Arno, Savonarolan republicanism continued to draw support from a diverse and substantial group of Florentines. Equally alarming, the agents [End Page 600] of this protracted Savonarolan moment seemed to have preempted Machiavelli’s own anticlerical, antipapal, antioligarchic, and antiMedicean positions, as well as a theory of governo largo. If we foreground Machiavelli’s desire to defend his own version of republicanism by undermining the Savonarolan alternative and if we recall that he treats Christianity positively in other contexts, it becomes possible to read those passages where he criticizes Christianity as practiced in Italy as texts with an antiSavonarolan subtext. Read this way, they are not incompatible with his acceptance of Christianity as true or as politically constructive elsewhere. In approaching this topic, we should also remember the longstanding associations that bound Christianity to politics and warfare.Addressing this last point... (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.

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

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)