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)

Develops a logical analysis of dialogue in which two or more parties attempt to advance their own interests. It includes a classification of the major types of dialogues and a discussion of several important informal fallacies.

Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens / von Dr. Gottlob Frege,...Date de l'edition originale : 1879Ce livre est la reproduction fidele d'une oeuvre publiee avant 1920 et fait partie d'une collection de livres reimprimes a la demande editee par Hachette Livre, dans le cadre d'un partenariat avec la Bibliotheque nationale de France, offrant l'opportunite d'acceder a des ouvrages anciens et souvent rares issus des fonds patrimoniaux de la BnF.Les oeuvres faisant partie de cette collection ont ete numerisees (...) par la BnF et sont presentes sur Gallica, sa bibliotheque numerique.En entreprenant de redonner vie a ces ouvrages au travers d'une collection de livres reimprimes a la demande, nous leur donnons la possibilite de rencontrer un public elargi et participons a la transmission de connaissances et de savoirs parfois difficilement accessibles.Nous avons cherche a concilier la reproduction fidele d'un livre ancien a partir de sa version numerisee avec le souci d'un confort de lecture optimal. Nous esperons que les ouvrages de cette nouvelle collection vous apporteront entiere satisfaction.Pour plus d'informations, rendez-vous sur www.hachettebnf.frhttp://gallica.bnf.fr/ark:/12148/bpt6k65658c. (shrink)

This work has been selected by scholars as being culturally important and is part of the knowledge base of civilization as we know it. This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity has a copyright on the body of the work. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and (...) made generally available to the public. To ensure a quality reading experience, this work has been proofread and republished using a format that seamlessly blends the original graphical elements with text in an easy-to-read typeface. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

He further argues that it is necessary to rethink traditional conceptions of argument, and to find a position that avoids the limitations of both the highly abstract approach of formal logic and the highly contextualized approaches of rhetoric and communication theory.".

This book is Dewey's most fully developed treatment of logic as the theory of Inquiry. It is a later work which reflects, in part, Dewey's readings of C.S. Peirce during the 1930's. -/- Reprinted in Series: The collected works of John Dewey / ed. by Jo Ann Boydston, 3,12.; The later works, 1925 - 1953, Vol. 12.

Mathematicians tend to think of themselves as scientists investigating the features of real mathematical things, and the wildly successful application of mathematics in the physical sciences reinforces this picture of mathematics as an objective study. For philosophers, however, this realism about mathematics raises serious questions: What are mathematical things? Where are they? How do we know about them? Offering a scrupulously fair treatment of both mathematical and philosophical concerns, Penelope Maddy here delineates and defends a novel version of mathematical realism. (...) She answers the traditional questions and poses a challenging new one, refocusing philosophical attention on the pressing foundational issues of contemporary mathematics. (shrink)

This book provides a systematic analysis of many common argumentation schemes and a compendium of 96 schemes. The study of these schemes, or forms of argument that capture stereotypical patterns of human reasoning, is at the core of argumentation research. Surveying all aspects of argumentation schemes from the ground up, the book takes the reader from the elementary exposition in the first chapter to the latest state of the art in the research efforts to formalize and classify the schemes, outlined (...) in the last chapter. It provides a systematic and comprehensive account, with notation suitable for computational applications that increasingly make use of argumentation schemes. (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.

This massive two-volume reference presents a comprehensive selection of the most important works on the foundations of mathematics. While the volumes include important forerunners like Berkeley, MacLaurin, and D'Alembert, as well as such followers as Hilbert and Bourbaki, their emphasis is on the mathematical and philosophical developments of the nineteenth century. Besides reproducing reliable English translations of classics works by Bolzano, Riemann, Hamilton, Dedekind, and Poincare, William Ewald also includes selections from Gauss, Cantor, Kronecker, and Zermelo, all translated here for (...) the first time. (shrink)

In the seventeenth century, a vision arose which was to captivate the Western imagination for the next three hundred years: the vision of Cosmopolis, a society as rationally ordered as the Newtonian view of nature. While fueling extraordinary advances in all fields of human endeavor, this vision perpetuated a hidden yet persistent agenda: the delusion that human nature and society could be fitted into precise and manageable rational categories. Stephen Toulmin confronts that agenda—its illusions and its consequences for our present (...) and future world. "By showing how different the last three centuries would have been if Montaigne, rather than Descartes, had been taken as a starting point, Toulmin helps destroy the illusion that the Cartesian quest for certainty is intrinsic to the nature of science or philosophy."—Richard M. Rorty, University of Virginia "[Toulmin] has now tackled perhaps his most ambitious theme of all.... His aim is nothing less than to lay before us an account of both the origins and the prospects of our distinctively modern world. By charting the evolution of modernity, he hopes to show us what intellectual posture we ought to adopt as we confront the coming millennium."—Quentin Skinner, New York Review of Books. (shrink)

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)

Proofs and Refutations is essential reading for all those interested in the methodology, the philosophy and the history of mathematics. Much of the book takes the form of a discussion between a teacher and his students. They propose various solutions to some mathematical problems and investigate the strengths and weaknesses of these solutions. Their discussion raises some philosophical problems and some problems about the nature of mathematical discovery or creativity. Imre Lakatos is concerned throughout to combat the classical picture of (...) mathematical development as a steady accumulation of established truths. He shows that mathematics grows instead through a richer, more dramatic process of the successive improvement of creative hypotheses by attempts to 'prove' them and by criticism of these attempts: the logic of proofs and refutations. (shrink)

Dynamic Epistemic Logic is the logic of knowledge change. This book provides various logics to support such formal specifications, including proof systems. Concrete examples and epistemic puzzles enliven the exposition. The book also offers exercises with answers. It is suitable for graduate courses in logic. Many examples, exercises, and thorough completeness proofs and expressivity results are included. A companion web page offers slides for lecturers and exams for further practice.

This book analyzes the different ways mathematics is applicable in the physical sciences, and presents a startling thesis--the success of mathematical physics ...

No detailed description available for "From Axiom to Dialogue".

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

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.

One of the greatest revolutions in mathematics occurred when Georg Cantor (1845-1918) promulgated his theory of transfinite sets.

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)

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.

This volume presents the philosophical and heuristic framework Cantor developed and explores its lasting effect on modern mathematics. "Establishes a new plateau for historical comprehension of Cantor's monumental contribution to mathematics." --The American Mathematical Monthly.

There is an urgent need in philosophy of mathematics for new approaches which pay closer attention to mathematical practice. This book will blaze the trail: it offers philosophical analyses of important characteristics of contemporary mathematics and of many aspects of mathematical activity which escape purely formal logical treatment.

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)

By Parallel Reasoning is the first comprehensive philosophical examination of analogical reasoning in more than forty years designed to formulate and justify standards for the critical evaluation of analogical arguments. It proposes a normative theory with special focus on the use of analogies in mathematics and science. In recent decades, research on analogy has been dominated by computational theories whose objective has been to model analogical reasoning as a psychological process. These theories have devoted little attention to normative questions. In (...) this book Bartha proposes that a good analogical argument must articulate a clear relationship that is capable of generalization. This idea leads to a set of distinct models for the critical analysis of prominent forms of analogical argument. The same core principle makes it possible to relate analogical reasoning to norms and values of scientific practice. Reasoning by analogy is justified because it strikes an optimal balance between conservative values, such as simplicity and coherence, and progressive values, such as fruitfulness and theoretical unification. Analogical arguments are also justified by appeal to symmetry--like cases are to be treated alike. In elaborating the connection between analogy and these broad epistemic principles, By Parallel Reasoning offers a novel contribution to explaining how analogies can play an important role in the confirmation of scientific hypotheses. (shrink)

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)

Coalescent argumentation is a normative ideal that involves the joining together of two disparate claims through recognition and exploration of opposing positions. By uncovering the crucial connection between a claim and the attitudes, beliefs, feelings, values and needs to which it is connected dispute partners are able to identify points of agreement and disagreement. These points can then be utilized to effect coalescence, a joining or merging of divergent positions, by forming the basis for a mutual investigation of non-conflictual options (...) that might otherwise have remained unconsidered. The essay proceeds by defining and discussing ‘argument’, ‘position’ and ‘understanding’. These notions are then brought together to outline the concept of coalescent reasoning. (shrink)

§30. Significance of Desargues's theorem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64 CHAPTER VI. PASCAL'S THEOREM. §31. ...

In the Nicomachean Ethics Aristotle examines the nature of happiness, which he defines as a specially good kind of life. He considers the nature of practical reasoning, friendship, and the role and importance of the moral virtues in the best life. This new edition features a revised translation and valuable new introduction and notes.

This chapter gives a detailed study of diagram-based reasoning in Euclidean plane geometry (Books I, III), as well as an exploration how to characterise a geometric practice. First, an account is given of diagram attribution: basic geometrical claims are classified as exact (equalities, proportionalities) or co-exact (containments, contiguities); exact claims may only be inferred from prior entries in the demonstration text, but co-exact claims may be asserted based on what is seen in the diagram. Diagram control by constructions is necessary (...) for this to work. Case-branching occurs when a construction renders a diagram un-representative. The roles of diagrams in reductio arguments, and of objection in probing a demonstration, are discussed. (shrink)

We construct logical languages which allow one to represent a variety of possible types of changes affecting the information states of agents in a multi-agent setting. We formalize these changes by defining a notion of epistemic program. The languages are two-sorted sets that contain not only sentences but also actions or programs. This is as in dynamic logic, and indeed our languages are not significantly more complicated than dynamic logics. But the semantics is more complicated. In general, the semantics of (...) an epistemic program is what we call aprogram model. This is a Kripke model of ‘actions’,representing the agents' uncertainty about the current action in a similar way that Kripke models of ‘states’ are commonly used in epistemic logic to represent the agents' uncertainty about the current state of the system. Program models induce changes affecting agents' information, which we represent as changes of the state model, called epistemic updates. Formally, an update consists of two operations: the first is called the update map, and it takes every state model to another state model, called the updated model; the second gives, for each input state model, a transition relation between the states of that model and the states of the updated model. Each variety of epistemic actions, such as public announcements or completely private announcements to groups, gives what we call an action signature, and then each family of action signatures gives a logical language. The construction of these languages is the main topic of this paper. We also mention the systems that capture the valid sentences of our logics. But we defer to a separate paper the completeness proof. (shrink)