Contemporary historians of logic tend to credit Bernard Bolzano with the invention of the semantic notion of consequence, a full century before Tarski. Nevertheless, Bolzano's work played no significant rôle in the genesis of modern logical semantics. The purpose of this paper is to point out three highly original, and still quite relevant themes in Bolzano's work, being a systematic study of possible types of inference, of consistency, as well as their meta-theory. There are certain analogies with Tarski's concerns here, (...) although the main thrust seems to be different, both philosophically and technically. Thus, if only obliquely, we also provide some additional historical perspective on Tarski's achievement. (shrink)

Charles Sanders Peirce has been characterized as the greatest American philosophic genius. He is the creator of pragmatism and one of the founders of modern logic. James, Royce, Schroder, and Dewey have acknowledged their great indebtedness to him. A laboratory scientist, he made notable contributions to geodesy, astronomy, psychology, induction, probability, and scientific method. He introduced into modern philosophy the doctrine of scholastic realism, developed the concepts of chance, continuity, and objective law, and showed the philosophical significance of the theory (...) of signs and mathematical logic. The present series is the first published edition of his systematic works. (shrink)

Investigates the application of logic to problem solving and computer programming. Requires no previous knowledge in this field, and therefore can be used as an introduction to logic, the theory of problem-solving and computer programming. Annotation copyrighted by Book News, Inc., Portland, OR.

In informal terms, abductive reasoning involves inferring the best or most plausible explanation from a given set of facts or data. It is a common occurrence in everyday life and crops up in such diverse places as medical diagnosis, scientific theory formation, accident investigation, language understanding, and jury deliberation. In recent years, it has become a popular and fruitful topic in artificial intelligence research. This volume breaks new ground in the scientific, philosophical, and technological study of abduction. It presents new (...) ideas about inferential and information-processing foundations for knowledge and certainty. The authors argue that knowledge arises from experience by processes of abductive inference, in contrast to the view that it arises non-inferentially, or that deduction and inductive generalization are enough to account for knowledge. Much AI research is hypothetical, so the importance of this book is that it reports key discoveries about abduction that have been made as a result of designing, building, testing, and analyzing actual working knowledge-based systems for medical diagnosis and other abductive tasks. The book tells the story of six generations of increasingly sophisticated generic abduction machines, RED-1, RED-2, PEIRCE, MDX2, TIPS, QUAWDS, and the discovery of reasoning strategies that make it computationally feasible to form well-justified composite explanatory hypotheses, despite the threat of combinatorial explosion. The final chapter argues that perception is logically abductive and presents a layered-abduction computational model of perceptual information processing. This book will be of great interest to researchers in AI, cognitive science, and philosophy of science. (shrink)

This volume tackles the slippery subject of 'meaning'.

Artificial Intelligence and Scientific Method examines the remarkable advances made in the field of AI over the past twenty years, discussing their profound implications for philosophy. Taking a clear, non-technical approach, Donald Gillies shows how current views on scientific method are challenged by this recent research, and suggests a new framework for the study of logic. Finally, he draws on work by such seminal thinkers as Bacon, Gdel, Popper, Penrose, and Lucas, to address the hotly-contested question of whether computers might (...) become intellectually superior to human beings. (shrink)

By applying research in artificial intelligence to problems in the philosophy of science, Paul Thagard develops an exciting new approach to the study of scientific reasoning. This approach uses computational ideas to shed light on how scientific theories are discovered, evaluated, and used in explanations. Thagard describes a detailed computational model of problem solving and discovery that provides a conceptually rich yet rigorous alternative to accounts of scientific knowledge based on formal logic, and he uses it to illuminate such topics (...) as the nature of concepts, hypothesis formation, analogy, and theory justification. (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)

In this path-breaking work, Paul Thagard draws on history and philosophy of science, cognitive psychology, and the field of artificial intelligence to develop a ...

Surprisingly, modified versions of the confirmation theory (Carnap and Hempel) and truth approximation theory (Popper) turn out to be smoothly sythesizable. The glue between the two appears to be the instrumentalist methodology, rather than that of the falsificationalist. The instrumentalist methodology, used in the separate, comparative evaluation of theories in terms of their successes and problems (hence, even if already falsified), provides in theory and practice the straight road to short-term empirical progress in science ( à la Laudan). It is (...) also argued that such progress is also functional for all kinds of truth approximation: observational, referential, and theoretical. This sheds new light on the long-term dynamics of science and hence on the relation between the main epistemological positions, viz., instrumentalism (Toulmin, Laudan), constructive empiricism (Van Fraassen), referential realism (Hacking, Cartwright), and theory realism of a non-essentialist nature (constructive realism à la Popper). Readership: Open minded philosophers and scientists. The book explains and justifies the scientist's intuition that the debate among philosophers about instrumentalism and realism has almost no practical consequences. (shrink)

Reviewed Work: Explaining Explanation by David-Hillel Ruben .

he formalization of abductive reasoning is still an open question: there is no general agreement on the boundary of some basic concepts, such as preference criteria for explanations, and the extension to first order logic has not been settled.Investigating the nature of abduction outside the context of resolution based logic programming still deserves attention, in order to characterize abductive explanations without tailoring them to any fixed method of computation. In fact, resolution is surely not the best tool for facing meta-logical (...) and proof-theoretical questions.In this work the analysis of the concepts involved in abductive reasoning is based on analytical proof systems, i.e. tableaux and Gentzen-type systems. A proof theoretical abduction method for first order classical logic is defined, based on the sequent calculus and a dual one, based on semantic tableaux. The methods are sound and complete and work for full first order logic, without requiring any preliminary reduction of formulae into normal forms. In the propositional case, two different characterizations are given for abductive explanations, each of them being the declarative counterpart of a different algorithm for the generation of explanations. The first one corresponds the generation of the whole set of minimal and consistent explanations, where minimality is checked by comparison with the other elements of the set. The second characterization corresponds to a algorithm for generating a single minimal explanation that is consistent with the theory.The first order versions of the abductive systems make use of unification and dynamic herbrandization/skolemization of formulae. The construction of the abduced formula is pursued by means of de-skolemization. The first order methods are very loose in discarding explanations that are not minimal In fact, the question of minimality in first order abduction is a main issue. As usually defined, minimality is undecidable, for two different reasons: determining whether an explanation is better than another one is in general undecidable; the set of explanations may be infinite. Moreover, because of , a minimal element may not exist. Such problems suggest that the minimality requirement should be relaxed, possibly defining it w.r.t. a stronger relation than logical consequence. (shrink)

In this paper I argue that Bolzano's concept of deducibility and Tarski's concept of logical consequence differ with respect to their philosophical intent. I distinguish between epistemic and ontic approaches to logic, and argue that Bolzano's deducibility presupposes an epistemic approach, while Tarski's logical consequence presupposes an ontic approach.

In this paper I address the question of the dynamics of empirical progress, both in theory evaluation and in theory improvement. I meet the challenge laid down by Theo Kuipers in Kuipers (1999), namely to operationalize the task of "instrumentalist abduction," that is, theory revision aiming at empirical progress. I offer a reformulation of Kuipers' account of empirical progress in the framework of (extended) semantic tableaux and show that this is indeed an appealing method by which to account for some (...) specific kind of empirical progress, that of lacunae. (shrink)