An Introduction to Formal Logic

Nonfiction, Science & Nature, Mathematics, Logic, Religion & Spirituality, Philosophy
Cover of the book An Introduction to Formal Logic by Peter Smith, Cambridge University Press
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Peter Smith ISBN: 9781107485709
Publisher: Cambridge University Press Publication: November 6, 2003
Imprint: Cambridge University Press Language: English
Author: Peter Smith
ISBN: 9781107485709
Publisher: Cambridge University Press
Publication: November 6, 2003
Imprint: Cambridge University Press
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Cambridge University Press

Cover of the book The Fall of the House of Labor by Peter Smith
Cover of the book A History of English Autobiography by Peter Smith
Cover of the book White Identity Politics by Peter Smith
Cover of the book Global Energy Assessment by Peter Smith
Cover of the book Biomedical Engineering for Global Health by Peter Smith
Cover of the book Sugar and the Making of International Trade Law by Peter Smith
Cover of the book The Cambridge Companion to American Judaism by Peter Smith
Cover of the book Arabic Thought beyond the Liberal Age by Peter Smith
Cover of the book Morality at the Ballot by Peter Smith
Cover of the book Polynomials and the mod 2 Steenrod Algebra: Volume 2, Representations of GL (n,F2) by Peter Smith
Cover of the book The Rule of Moderation by Peter Smith
Cover of the book Automorphic Representations and L-Functions for the General Linear Group: Volume 2 by Peter Smith
Cover of the book The First Modern Risk by Peter Smith
Cover of the book European Environmental Law by Peter Smith
Cover of the book Managing the Risks of Extreme Events and Disasters to Advance Climate Change Adaptation by Peter Smith
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy