Definition and Induction


Book Description

Definition is an important scientific and philosophical method. In all kinds of scientific and philosophical inquiries definition is provided to make clear the characteristics of the things under investigation. Definition in this sense, sometimes called real definition, should state the essence of the thing defined, according to Aristotle. In another (currently popular) sense, sometimes called nominal definition, definition explicates the meaning of a term already in use in an ordinary language or the scientific discourse or specifies the meaning of a new term introduced in an ordinary language of the scientific discourse. Definition combines the purposes of both real and nominal definition and is promoted by the Nyaya philosophers of India. Another important method of science and philosophy is induction. In a narrow sense induction is a method of generalization to all cases from the observation of particular cases. In a broad sense induction is a method for reasoning from some observed fact to a different fact not involved in the former. We understand induction in the broad sense though more often we shall actually be concerned with induction in the narrow sense. How can our limited experience of nature provide the rational basis for making knowlege claims about unobserved phenomena?




An Aristotelian Account of Induction


Book Description

In An Aristotelian Account of Induction Groarke discusses the intellectual process through which we access the "first principles" of human thought - the most basic concepts, the laws of logic, the universal claims of science and metaphysics, and the deepest moral truths. Following Aristotle and others, Groarke situates the first stirrings of human understanding in a creative capacity for discernment that precedes knowledge, even logic. Relying on a new historical study of philosophical theories of inductive reasoning from Aristotle to the twenty-first century, Groarke explains how Aristotle offers a viable solution to the so-called problem of induction, while offering new contributions to contemporary accounts of reasoning and argument and challenging the conventional wisdom about induction.




A Short Guide to Writing about Science


Book Description

Advanced advice for students who want to read, write and learn about science in preparation for a career in that field.




An Introduction to Probability and Inductive Logic


Book Description

An introductory 2001 textbook on probability and induction written by a foremost philosopher of science.




Inductive Reasoning


Book Description

Without inductive reasoning, we couldn't generalize from one instance to another, derive scientific hypotheses, or predict that the sun will rise again tomorrow morning. Despite the widespread nature of inductive reasoning, books on this topic are rare. Indeed, this is the first book on the psychology of inductive reasoning in twenty years. The chapters survey recent advances in the study of inductive reasoning and address questions about how it develops, the role of knowledge in induction, how best to model people's reasoning, and how induction relates to other forms of thinking. Written by experts in philosophy, developmental science, cognitive psychology, and computational modeling, the contributions here will be of interest to a general cognitive science audience as well as to those with a more specialized interest in the study of thinking.




Classical Indian Philosophy of Induction


Book Description

Induction is a basic method of scientific and philosophical inquiry. The work seeks to show against the skeptical tide that the method is secure and reliable. The problem of induction has been a hotly debated issue in modern and contemporary philosophy since David Hume. However, long before the modern era Indian philosophers have addressed this problem for about two thousand years. This work examines some major Indian viewpoints including those of Jayarasi (7th century), Dharmakirti (7th century), Prabhakara (8th century), Udayana (11th century) and Prabhacandra (14th century). It also discusses some influential contemporary positions including those of Russell, Strawson, Popper, Reichenbach, Carnap, Goodman and Quine. The main focus is on the Nyaya view developed by Gangesa (13th century). A substantial part of the work is devoted to annotated translation of selected chapters from Gangesa's work dealing with the problem of induction with copious references to the later Nyaya philosophers including Raghunatha (15th century), Mathuranatha (16th century), Jagadisa (17th century) and Gadadhara (17th century). An annotated translation of selections from Sriharsa (12th century) of the Vedanta school, Prabhacandra of the Jaina school and Dharmakirti of the Buddhist school is also included. A solution is presented to the classical problem of induction and the Grue paradox based on the Nyaya perspective. The solution includes an argument from counterfactual reasoning, arguments in defense of causality, analyses of circularity and logical economy, arguments for objective universals and an argument from belief-behavior contradiction.




Medical Reasoning


Book Description

Modern medicine is one of humankind's greatest achievements.Yet today, frequent medical errors and irreproducibility in biomedical research suggest that tremendous challenges beset it. Understanding these challenges and trying to remedy them have driven considerable and thoughtful critical analyses, but the apparent intransigence of these problems suggests a different perspective is needed. Now more than ever, when we see options and opportunities for healthcare expanding while resources are diminishing, it is extremely important that healthcare professionals practice medicine wisely. In Medical Reasoning, neurologist Erwin B. Montgomery, Jr. offers a new and vital perspective. He begins with the idea that the need for certainty in medical decision-making has been the primary driving force in medical reasoning. Doctors must routinely confront countless manifestations of symptoms, diseases, or behaviors in their patients. Therefore, either there are as many different "diseases" as there are patients or some economical set of principles and facts can be combined to explain each patient's disease. The response to this epistemic conundrum has driven medicine throughout history: the challenge is to discover principles and facts and then to develop means to apply them to each unique patient in a manner that provides certainty. This book studies the nature of medical decision making systematically and rigorously in both an analytic and historical context, addressing medicine's unique need for certainty in the face of the enormous variety of diseases and in the manifestations of the same disease in different patients. The book also examines how the social, legal, and economic circumstances in which medical decision-making occurs greatly influence the nature of medical reasoning. Medical Reasoning is essential for those at the intersection of healthcare and philosophy.




Elementary Induction on Abstract Structures


Book Description

Well-written research monograph, recommended for students and professionals interested in model theory and definability theory. "Easy to use and a pleasure to read." — Bulletin of the American Mathematical Society. 1974 edition.




Logic, Induction and Sets


Book Description

Philosophical considerations, which are often ignored or treated casually, are given careful consideration in this introduction. Thomas Forster places the notion of inductively defined sets (recursive datatypes) at the center of his exposition resulting in an original analysis of well established topics. The presentation illustrates difficult points and includes many exercises. Little previous knowledge of logic is required and only a knowledge of standard undergraduate mathematics is assumed.




Certified Programming with Dependent Types


Book Description

A handbook to the Coq software for writing and checking mathematical proofs, with a practical engineering focus. The technology of mechanized program verification can play a supporting role in many kinds of research projects in computer science, and related tools for formal proof-checking are seeing increasing adoption in mathematics and engineering. This book provides an introduction to the Coq software for writing and checking mathematical proofs. It takes a practical engineering focus throughout, emphasizing techniques that will help users to build, understand, and maintain large Coq developments and minimize the cost of code change over time. Two topics, rarely discussed elsewhere, are covered in detail: effective dependently typed programming (making productive use of a feature at the heart of the Coq system) and construction of domain-specific proof tactics. Almost every subject covered is also relevant to interactive computer theorem proving in general, not just program verification, demonstrated through examples of verified programs applied in many different sorts of formalizations. The book develops a unique automated proof style and applies it throughout; even experienced Coq users may benefit from reading about basic Coq concepts from this novel perspective. The book also offers a library of tactics, or programs that find proofs, designed for use with examples in the book. Readers will acquire the necessary skills to reimplement these tactics in other settings by the end of the book. All of the code appearing in the book is freely available online.