A theory of analogy must describe how the meaning of an analogy is derived from the meanings of its parts. In the structure‐mapping theory, the interpretation rules are characterized as implicit rules for mapping knowledge about a base domain into a target domain. Two important features of the theory are (a) the rules depend only on syntactic properties of the knowledge representation, and not on the specific content of the domains; and (b) the theoretical framework allows analogies to be distinguished (...) cleanly from literal similarity statements, applications of abstractions, and other kinds of comparisons.Two mapping principles are described: (a) Relations between objects, rather than attributes of objects, are mapped from base to target; and (b) The particular relations mapped are determined by systematicity, as defined by the existence of higher‐order relations. (shrink)

This two-volume work, first published in 1843, was John Stuart Mill's first major book. It reinvented the modern study of logic and laid the foundations for his later work in the areas of political economy, women's rights and representative government. In clear, systematic prose, Mill disentangles syllogistic logic from its origins in Aristotle and scholasticism and grounds it instead in processes of inductive reasoning. An important attempt at integrating empiricism within a more general theory of human knowledge, the work constitutes (...) essential reading for anyone seeking a full understanding of Mill's thought. Continuing the discussion of induction, Volume 2 concludes with Book VI, 'On the Logic of the Moral Sciences', in which Mill applies empirical reasoning to human behaviour. A crucial early formulation of his thinking regarding free will and necessity, this book establishes the centrality of 'the social science' to Mill's philosophy. (shrink)

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)

Objective Bayesianism is a methodological theory that is currently applied in statistics, philosophy, artificial intelligence, physics and other sciences. This book develops the formal and philosophical foundations of the theory, at a level accessible to a graduate student with some familiarity with mathematical notation.

Probabilistic models have much to offer to philosophy. We continually receive information from a variety of sources: from our senses, from witnesses, from scientific instruments. When considering whether we should believe this information, we assess whether the sources are independent, how reliable they are, and how plausible and coherent the information is. Bovens and Hartmann provide a systematic Bayesian account of these features of reasoning. Simple Bayesian Networks allow us to model alternative assumptions about the nature of the information sources. (...) Measurement of the coherence of information is a controversial matter: arguably, the more coherent a set of information is, the more confident we may be that its content is true, other things being equal. The authors offer a new treatment of coherence which respects this claim and shows its relevance to scientific theory choice. Bovens and Hartmann apply this methodology to a wide range of much discussed issues regarding evidence, testimony, scientific theories, and voting. Bayesian Epistemology is an essential tool for anyone working on probabilistic methods in philosophy, and has broad implications for many other disciplines. (shrink)

We are republishing these classic works in affordable, high quality, modern editions, using the original text and artwork.

Introduction to Logic is a proven textbook that has been honed through the collaborative efforts of many scholars over the last five decades. Its scrupulous attention to detail and precision in exposition and explanation is matched by the greatest accuracy in all associated detail. In addition, it continues to capture student interest through its personalized human setting and current examples. The 14th Edition of Introduction to Logic, written by Copi, Cohen & McMahon, is dedicated to the many thousands of students (...) and their teachers - at hundreds of universities in the United States and around the world - who have used its fundamental methods and techniques of correct reasoning in their everyday lives. (shrink)

2014 Reprint of 1954 American Edition. Full facsimile of the original edition, not reproduced with Optical Recognition Software. This two volume classic comprises two titles: "Patterns of Plausible Inference" and "Induction and Analogy in Mathematics." This is a guide to the practical art of plausible reasoning, particularly in mathematics, but also in every field of human activity. Using mathematics as the example par excellence, Polya shows how even the most rigorous deductive discipline is heavily dependent on techniques of guessing, inductive (...) reasoning, and reasoning by analogy. In solving a problem, the answer must be guessed at before a proof can be given, and guesses are usually made from a knowledge of facts, experience, and hunches. The truly creative mathematician must be a good guesser first and a good prover afterward; many important theorems have been guessed but no proved until much later. In the same way, solutions to problems can be guessed, and a god guesser is much more likely to find a correct solution. This work might have been called "How to Become a Good Guesser."-From the Dust Jacket. (shrink)

Here the author of How to Solve It explains how to become a "good guesser." Marked by G. Polya's simple, energetic prose and use of clever examples from a wide range of human activities, this two-volume work explores techniques of guessing, inductive reasoning, and reasoning by analogy, and the role they play in the most rigorous of deductive disciplines.

Reprint of the original, first published in 1919.

First published in 2000. Routledge is an imprint of Taylor & Francis, an informa company.

The New Rhetoric is founded on the idea that since “argumentation aims at securing the adherence of those to whom it is addressed, it is, in its entirety, relative to the audience to be influenced,” says Chaïm Perelman and L. Olbrechts-Tyteca, and they rely, in particular, for their theory of argumentation on the twin concepts of universal and particular audiences: while every argument is directed to a specific individual or group, the orator decides what information and what approaches will achieve (...) the greatest adherence according to an ideal audience. This ideal, Perelman explains, can be embodied, for example, "in God, in all reasonable and competent men, in the man deliberating or in an elite.” Like particular audiences, then, the universal audience is never fixed or absolute but depends on the orator, the content and goals of the argument, and the particular audience to whom the argument is addressed. These considerations determine what information constitutes "facts" and "reasonableness" and thus help to determine the universal audience that, in turn, shapes the orator's approach. /// The adherence of an audience is also determined by the orator's use of values, a further key concept of the New Rhetoric. Perelman's treatment of value and his view of epideictic rhetoric sets his approach apart from that of the ancients and of Aristotle in particular. Aristotle's division of rhetoric into three genres–forensic, deliberative, and epideictic–is largely motivated by the judgments required for each: forensic or legal arguments require verdicts on past action, deliberative or political rhetoric seeks judgment on future action, and epideictic or ceremonial rhetoric concerns values associated with praise or blame and seeks no specific decisions. For Aristotle, the epideictic genre was of limited importance in the civic realm since it did not concern facts or policies. Perelman, in contrast, believes not only that epideictic rhetoric warrants more attention, but that the values normally limited to that genre are in fact central to all argumentation. "Epideictic oratory," Perelman argues, "has significant and important argumentation for strengthening the disposition toward action by increasing adherence to the values it lauds.” These values are central to the persuasiveness of arguments in all rhetorical genres since the orator always attempts to "establish a sense of communion centered around particular values recognized by the audience.”. (shrink)

v. 1-2. Principles of philosophy and Elements of logic.--v. 3-4. Exact logic (published papers) and The simplest mathematics.--v. 5-6. Pragmatism and pragmaticism and Scientific metaphysics.--v. 7. Science and philosophy.--v. 8. Reviews, correspondence and bibliography.

An examination of the emergence of the phenomenon of deductive argument in classical Greek mathematics.

This book traces the development of formal logic from its origins inancient Greece to the present day. The authors first discuss the work oflogicians from Aristotle to Frege, showing how they were influenced by thephilosophical or mathematical ideas of their time. They then examinedevelopments in the present century.

Comprehensive account of constructive theory of first-order predicate calculus. Covers formal methods including algorithms and epi-theory, brief treatment of Markov’s approach to algorithms, elementary facts about lattices and similar algebraic systems, more. Philosophical and reflective as well as mathematical. Graduate-level course. 1963 ed. Exercises.

Another striking deviation with regard to philosophical tradition consists in the fact that contemporary schools in the philosophy of mathematics, with the exception again of Brouwer's intuitionism, hardly ever refer to mathematical thought.

The present text book is intended as an introduction to elementary logic. Its content, structure, and manner have been determined in large measure - perhaps 'caused' is the better word- by certain desiderata about which the reader should be informed at the outset. The leading idea is that even an introductory treatment of logic may profitably be fashioned around a rigorous framework.

David Miller is the foremost exponent of the purist critical rationalist doctrine and here presents his mature views, discussing the role that logic and argument play in the growth of knowledge, criticizing the common understanding of argument as an instrument of justification, persuasion or discovery and instead advocating the critical rationalist view that only criticism matters. Miller patiently and thoroughly undoes the damage done by those writers who attack critical rationalism by invoking the sterile mythology of induction and justification that (...) it seeks to sweep away. In addition his new material on the debate on verisimilitude is essential reading for all working in this field. (shrink)

By the middle of the seventeenth century we that find that algebra is able to offer proofs in its own right. That is, by that time algebraic argument had achieved the status of proof. How did this transformation come about?

The Aims of the Book -/- 1. To improve your skill in analyzing and evaluating arguments and presentations of the kind you find in everyday discourse (news media, discussions, advertisements), textbooks, and lectures. 2. To improve your skill in presenting arguments, reports and instructions clearly and persuasively. 3. To improve your critical instincts, that is, your immediate judgments of your attitudes toward the communications and behavior of others and yourself, so that you consistently approach them with the standards of reason (...) and the attitude of reasonableness. 4. To improve your knowledge about the facts and arguments relevant to a large number of important contemporary issues in politics, education, ethics, and several practical fields. -/- These are practical aims but not narrow practical aims: the third one, in particular, is very far-reaching and requires a whole shift of values for most of us. So this is intended to be a powerful, as well as practical, book using practical, everyday examples of the kind that a citizen, especially a citizen-student, runs into all the time. -/- The text starts with a short discussion of reasoning itself, then explores the details of this approach, and then gets down to practical procedures for improving one's reasoning skills. The discussions and examples always begin at a rather elementary level, but they get into harder material fairly quickly. If you are, or are hoping to be, a teacher or a lawyer, a scientist or an executive, what you learn here will be professional skills for you—vital professional skills. But for any citizen, they are also essential skills. (shrink)

Lawrence Powers advocates a one-fallacy theory in which the only real fallacies are fallacies of ambiguity. He defines a fallacy, in general, as a bad argument that appears good. He claims that the only legitimate way that an argument can appear valid, while being invalid, is when the invalid inference is covered by an ambiguity. Several different kinds of counterexamples have been offered from begging the question, to various forms of ad hominem fallacies. In this paper, I outline three potential (...) counterexamples to Powers' theory, including one that has been addressed already by Powers, and two which are well known problems, but until now have never been applied as counterexamples to Powers' theory. I argue that there is a simpler explanation of these 'hard' cases than positing ambiguities that are not obviously there. (shrink)

Increasingly, epistemologists are becoming interested in social structures and their effect on epistemic enterprises, but little attention has been paid to the proper distribution of experimental results among scientists. This paper will analyze a model first suggested by two economists, which nicely captures one type of learning situation faced by scientists. The results of a computer simulation study of this model provide two interesting conclusions. First, in some contexts, a community of scientists is, as a whole, more reliable when its (...) members are less aware of their colleagues' experimental results. Second, there is a robust tradeoff between the reliability of a community and the speed with which it reaches a correct conclusion. ‡The author would like to thank Brian Skyrms, Kyle Stanford, Jeffrey Barrett, Bruce Glymour, and the participants in the Social Dynamics Seminar at University of California–Irvine for their helpful comments. Generous financial support was provided by the School of Social Science and Institute for Mathematical Behavioral Sciences at UCI. †To contact the author, please write to: Department of Philosophy, Baker Hall 135, Carnegie Mellon University, Pittsburgh, PA 15213-3890; e-mail: [email protected]. (shrink)

In redefining logic, philosophers need to go back to the Aristotelian roots of the subject, to expand the boundaries of the subject to include informal logic and to give up false oppositions between informal and formal logic.

Toulmin’s scheme for the layout of arguments (1958, The Uses of Argument, Cambridge University Press, Cambridge) represents an influential tool for the analysis of arguments. The scheme enriches the traditional premises-conclusion model of arguments by distinguishing additional elements, like warrant, backing and rebuttal. The present paper contains a formal elaboration of Toulmin’s scheme, and extends it with a treatment of the formal evaluation of Toulmin-style arguments, which Toulmin did not discuss at all. Arguments are evaluated in terms of a so-called (...) dialectical interpretation of their assumptions. In such an interpretation, an argument’s assumptions can be evaluated as defeated, e.g., when there is a defeating reason against the assumption. The present work builds on recent research on defeasible argumentation (cf. e.g. the work of Pollock, Reiter, Loui, Vreeswijk, Prakken, Hage and Dung). More specifically, the author’s work on the dialectical logic DEFLOG and the argumentation tool ARGUMED serve as starting points. (shrink)

We explore aspects of an experimental approach to mathematical proof, most notably number crunching, or the verification of subsequent particular cases of universal propositions. Since the rise of the computer age, this technique has indeed conquered practice, although it implies the abandonment of the ideal of absolute certainty. It seems that also in mathematical research, the qualitative criterion of effectiveness, i.e. to reach one’s goals, gets increasingly balanced against the quantitative one of efficiency, i.e. to minimize one’s means/ends ratio. Our (...) story will lead to the consideration of some limit cases, opening up the possibility of proofs of infinite length being surveyed in a finite time. By means of example, this should show that mathematical practice in vital aspects depends upon what the actual world is like. (shrink)

Except in very poor mathematical contexts, mathematical arguments do not stand in isolation of other mathematical arguments. Rather, they form trains of formal and informal arguments, adding up to interconnected theorems, theories and eventually entire fields. This paper critically comments on some common views on the relation between formal and informal mathematical arguments, most particularly applications of Toulmin’s argumentation model, and launches a number of alternative ideas of presentation inviting the contextualization of pieces of mathematical reasoning within encompassing bodies of (...) explicit and implicit, formal and informal background knowledge. (shrink)

In the pragma-dialectical approach, fallacies are considered incorrect moves in a discussion for which the goal is successful resolution of a dispute. Ten rules are given for effective conduct at the various stages of such a critical discussion. Fallacies are discussed as violations of these rules, taking into account all speech acts which are traditionally recognized as fallacies. Special attention is paid to the role played by implicitness in fallacies in everyday language use. It is stressed that identifying and acknowledging (...) fallacies in ordinary discussions always has a conditional character. Differences between the pragma-dialectical perspective, the Standard Treatment, and the formal logic approach to fallacy analysis are discussed. (shrink)

Natural myside bias is the tendency to evaluate propositions from within one's own perspective when given no instructions or cues (such as within-participants conditions) to avoid doing so. We defined the participant's perspective as their previously existing status on four variables: their sex, whether they smoked, their alcohol consumption, and the strength of their religious beliefs. Participants then evaluated a contentious but ultimately factual proposition relevant to each of these demographic factors. Myside bias is defined between-participants as the mean difference (...) in the evaluation of the proposition between groups with differing prior status on the variable. Whether an individual difference variable (such as cognitive ability) is related to the magnitude of the myside bias is indicated by whether the individual difference variable interacts with the between-participants status variable. In two experiments involving a total of over 1400 university students ( n = 1484) and eight different comparisons, we found very little evidence that participants of higher cognitive ability displayed less natural myside bias. The degree of myside bias was also relatively independent of individual differences in thinking dispositions. We speculate that ideas from memetic theory and dual-process theory might help to explain why natural myside bias is quite dissociated from individual difference variables. (shrink)

This chapter provides a broadly sympathetic historical account of post-Kantian empiricist approaches to mathematics and logic. It focuses primarily but on John Stuart Mill’s radical empiricism and logical positivism, but also on Rudolf Carnap and Moritz Schlick. The later work of W. V. O. Quine is also treated.

Recent accounts of the role of diagrams in mathematical reasoning take a Platonic line, according to which the proof depends on the similarity between the perceived shape of the diagram and the shape of the abstract object. This approach is unable to explain proofs which share the same diagram in spite of drawing conclusions about different figures. Saccheri’s use of the bi-rectangular isosceles quadrilateral in Euclides Vindicatus provides three such proofs. By forsaking abstract objects it is possible to give a (...) natural explanation of Saccheri’s proofs as well as standard geometric proofs and even number-theoretic proofs. (shrink)