Deductive Logic


Book Description

This text provides a straightforward, lively but rigorous, introduction to truth-functional and predicate logic, complete with lucid examples and incisive exercises, for which Warren Goldfarb is renowned.




Studying Deductive Logic


Book Description




Studies in Logic and Probability


Book Description

Authoritative account of the development of Boole's ideas in logic and probability theory ranges from The Mathematical Analysis of Logic to the end of his career. The Laws of Thought formed the most systematic statement of Boole's theories; this volume contains incomplete studies intended for a follow-up volume. 1952 edition.




Writings of Charles S. Peirce: 1879-1884


Book Description

This series contains large sections of previously unpublished material in addition to selected published works. Each volume includes a brief historical and biographical introduction, extensive editorial and textual notes, and a full chronological list of all of Peirce's writings, published and unpublished, during the period covered.




Introduction to Logic


Book Description

This classic undergraduate treatment examines the deductive method in its first part and explores applications of logic and methodology in constructing mathematical theories in its second part. Exercises appear throughout.




Deductive Reasoning and Strategies


Book Description

This book brings together both theoretical and empirical research directed toward the role of strategies in deductive reasoning. It offers the first systematic attempt to discuss the role of strategies for deductive reasoning. The empirical chapters correspond well with the main issues in the study of deduction, namely propositional reasoning, spatial reasoning, and syllogistic reasoning. In addition, several chapters present a theoretical analysis of deduction, related to the concept strategy. The book also presents data about the role of strategies for statistical and social reasoning. This book will be of interest to researchers and students of cognitive psychology. It will also be of value to people working in Artificial Intelligence, because it highlights results on how humans use strategies while tackling deductive puzzles.




Handbook of the Logic of Argument and Inference


Book Description

The Handbook of the Logic of Argument and Inference is an authoritative reference work in a single volume, designed for the attention of senior undergraduates, graduate students and researchers in all the leading research areas concerned with the logic of practical argument and inference. After an introductory chapter, the role of standard logics is surveyed in two chapters. These chapters can serve as a mini-course for interested readers, in deductive and inductive logic, or as a refresher. Then follow two chapters of criticism; one the internal critique and the other the empirical critique. The first deals with objections to standard logics (as theories of argument and inference) arising from the research programme in philosophical logic. The second canvasses criticisms arising from work in cognitive and experimental psychology. The next five chapters deal with developments in dialogue logic, interrogative logic, informal logic, probability logic and artificial intelligence. The last chapter surveys formal approaches to practical reasoning and anticipates possible future developments. Taken as a whole the Handbook is a single-volume indication of the present state of the logic of argument and inference at its conceptual and theoretical best. Future editions will periodically incorporate significant new developments.




Studies in Deductive Logic


Book Description




The Psychology of Proof


Book Description

Lance Rips describes a unified theory of natural deductive reasoning and fashions a working model of deduction, with strong experimental support, that is capable of playing a central role in mental life.




Deductive Logic in Natural Language


Book Description

This text offers an innovative approach to the teaching of logic, which is rigorous but entirely non-symbolic. By introducing students to deductive inferences in natural language, the book breaks new ground pedagogically. Cannon focuses on such topics as using a tableaux technique to assess inconsistency; using generative grammar; employing logical analyses of sentences; and dealing with quantifier expressions and syllogisms. An appendix covers truth-functional logic.