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.

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.

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.

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.

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.