A common-sense introduction to the everyday use of logic, this book explains some of the rules of good argument and some of the ways in which arguments can fail, drawing illustrations from a variety of contemporary and international sources. A wide range of thought-provoking examples and exercises make this a readable and stimulating guide for the student and general reader alike. Diagrams.

This exploration of the scientific limits of knowledge challenges our deep-seated beliefs about our universe, our rationality, and ourselves. “A must-read for anyone studying information science.” —Publishers Weekly, starred review Many books explain what is known about the universe. This book investigates what cannot be known. Rather than exploring the amazing facts that science, mathematics, and reason have revealed to us, this work studies what science, mathematics, and reason tell us cannot be revealed. In The Outer Limits of Reason, Noson Yanofsky considers what cannot be predicted, described, or known, and what will never be understood. He discusses the limitations of computers, physics, logic, and our own intuitions about the world—including our ideas about space, time, and motion, and the complex relationship between the knower and the known. Yanofsky describes simple tasks that would take computers trillions of centuries to complete and other problems that computers can never solve: • perfectly formed English sentences that make no sense • different levels of infinity • the bizarre world of the quantum • the relevance of relativity theory • the causes of chaos theory • math problems that cannot be solved by normal means • statements that are true but cannot be proven Moving from the concrete to the abstract, from problems of everyday language to straightforward philosophical questions to the formalities of physics and mathematics, Yanofsky demonstrates a myriad of unsolvable problems and paradoxes. Exploring the various limitations of our knowledge, he shows that many of these limitations have a similar pattern and that by investigating these patterns, we can better understand the structure and limitations of reason itself. Yanofsky even attempts to look beyond the borders of reason to see what, if anything, is out there.

"Knowledge and Its Limits presents a systematic new conception of knowledge as a fundamental kind of mental state sensitive to the knower's environment. It makes a major contribution to the debate between externalist ad internalist philosophies of mind, and breaks radically with the epistemological tradition of analysing knowledge in terms of true belief. The theory casts light on a wide variety of philosophical issues: the problem of scepticism, the nature of evidence, probability and assertion, the dispute between realism and anti-realism and the paradox of the surprise examination. Williamson relates the new conception to structural limits on knowledge which imply that what can be known never exhausts what is true. The arguments are illustrated by rigorous models based on epistemic logic and probability theory. The result is a new way of doing epistemology for the twenty-first century."--BOOK JACKET.

This is an introduction to set theory and logic that starts completely from scratch. The text is accompanied by many methodological remarks and explanations. A rigorous axiomatic presentation of Zermelo-Fraenkel set theory is given, demonstrating how the basic concepts of mathematics have apparently been reduced to set theory. This is followed by a presentation of propositional and first-order logic. Concepts and results of recursion theory are explained in intuitive terms, and the author proves and explains the limitative results of Skolem, Tarski, Church and Gödel (the celebrated incompleteness theorems). For students of mathematics or philosophy this book provides an excellent introduction to logic and set theory.

The first beginning logic text to employ the tree method—a complete formal system of first-order logic that is remarkably easy to understand and use—this text allows students to take control of the nuts and bolts of formal logic quickly, and to move on to more complex and abstract problems.This new edition provides additional problems, solutions to selected problems, and two new Supplements: “Truth-Functional Equivalence” reinstates material on that topic from the second edition that was omitted in the third, and “Variant Methods, in which John Burgess provides a proof regarding the possibility of modifying the tree method so that it will always find a finite model when there is one, and another, which shows that a different modification—once contemplated by Jeffrey—can result in a dramatic speed-up of certain proofs.