An Introduction to Formal Logic

An Introduction to Formal Logic
Author: Peter Smith
Publisher: Cambridge University Press
Total Pages: 370
Release: 2003-11-06
Genre: Mathematics
ISBN: 9780521008044

Formal logic provides us with a powerful set of techniques for criticizing some arguments and showing others to be valid. These techniques are relevant to all of us with an interest in being skilful and accurate reasoners. In this highly accessible book, Peter Smith presents a guide to the fundamental aims and basic elements of formal logic. He introduces the reader to the languages of propositional and predicate logic, and then develops formal systems for evaluating arguments translated into these languages, concentrating on the easily comprehensible 'tree' method. His discussion is richly illustrated with worked examples and exercises. A distinctive feature is that, alongside the formal work, there is illuminating philosophical commentary. This book will make an ideal text for a first logic course, and will provide a firm basis for further work in formal and philosophical logic.

Revival: A Modern Introduction to Logic (1950)

Revival: A Modern Introduction to Logic (1950)
Author: Lizzie Susan Stebbing
Publisher: Routledge
Total Pages: 548
Release: 2018-05-08
Genre: Philosophy
ISBN: 1351349082

As the author of this volume states, "the science of logic does not stand still." This book was intended to cover the advances made in the study of logic in the first half of the nineteenth century, during which time the author felt there to have been greater advances made than in the whole of the preceding period from the time of Aristotle. Advances which, in her eyes, were not present in contemporary text books. As such, this book offers a valuable insight into the progress of the subject, tracing this frenetic period in its development with a first-hand awareness of its documentary value.

Modern Logic

Modern Logic
Author: Graeme Forbes
Publisher: Oxford University Press, USA
Total Pages: 397
Release: 1994
Genre: Computers
ISBN: 9780195080292

Modern Logic fills the strong need for a highly accessible, carefully structured introductory text in symbolic logic. The natural deduction system Forbes uses will be easy for students to understand, and the material is carefully structured, with graded exercises at the end of each section, selected answers to which are provided at the back of the book. The book's emphasis is on giving the student a thorough understanding of the concepts rather than just a facilitywith formal procedures.

Introduction to Logic

Introduction to Logic
Author: Patrick Suppes
Publisher: Courier Corporation
Total Pages: 340
Release: 2012-07-12
Genre: Mathematics
ISBN: 0486138054

Part I of this coherent, well-organized text deals with formal principles of inference and definition. Part II explores elementary intuitive set theory, with separate chapters on sets, relations, and functions. Ideal for undergraduates.

Modern Mathematical Logic

Modern Mathematical Logic
Author: Joseph Mileti
Publisher: Cambridge University Press
Total Pages: 517
Release: 2022-09-22
Genre: Mathematics
ISBN: 1108833144

This textbook gives a comprehensive and modern introduction to mathematical logic at the upper-undergraduate and beginning graduate level.

Introduction to Logic

Introduction to Logic
Author: Alfred Tarski
Publisher: Courier Corporation
Total Pages: 271
Release: 2013-07-04
Genre: Mathematics
ISBN: 0486318893

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.

Sweet Reason

Sweet Reason
Author: James M. Henle
Publisher: John Wiley & Sons
Total Pages: 436
Release: 2011-10-07
Genre: Philosophy
ISBN: 1118078683

Sweet Reason: A Field Guide to Modern Logic, 2nd Edition offers an innovative, friendly, and effective introduction to logic. It integrates formal first order, modal, and non-classical logic with natural language reasoning, analytical writing, critical thinking, set theory, and the philosophy of logic and mathematics. An innovative introduction to the field of logic designed to entertain as it informs Integrates formal first order, modal, and non-classical logic with natural language reasoning, analytical writing, critical thinking, set theory, and the philosophy of logic and mathematics Addresses contemporary applications of logic in fields such as computer science and linguistics A web-site (www.wiley.com/go/henle) linked to the text features numerous supplemental exercises and examples, enlightening puzzles and cartoons, and insightful essays

Introduction to Logic

Introduction to Logic
Author: Irving M. Copi
Publisher: Routledge
Total Pages: 897
Release: 2016-09-09
Genre: Philosophy
ISBN: 1315510871

Introduction to Logic is a proven textbook that has been honed through the collaborative efforts of many scholars over the last five decades. Its scrupulous attention to detail and precision in exposition and explanation is matched by the greatest accuracy in all associated detail. In addition, it continues to capture student interest through its personalized human setting and current examples. The 14th Edition of Introduction to Logic, written by Copi, Cohen & McMahon, is dedicated to the many thousands of students and their teachers - at hundreds of universities in the United States and around the world - who have used its fundamental methods and techniques of correct reasoning in their everyday lives.

Logic for Philosophy

Logic for Philosophy
Author: Theodore Sider
Publisher: Oxford University Press
Total Pages: 305
Release: 2010-01-07
Genre: Philosophy
ISBN: 0192658816

Logic for Philosophy is an introduction to logic for students of contemporary philosophy. It is suitable both for advanced undergraduates and for beginning graduate students in philosophy. It covers (i) basic approaches to logic, including proof theory and especially model theory, (ii) extensions of standard logic that are important in philosophy, and (iii) some elementary philosophy of logic. It emphasizes breadth rather than depth. For example, it discusses modal logic and counterfactuals, but does not prove the central metalogical results for predicate logic (completeness, undecidability, etc.) Its goal is to introduce students to the logic they need to know in order to read contemporary philosophical work. It is very user-friendly for students without an extensive background in mathematics. In short, this book gives you the understanding of logic that you need to do philosophy.