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 Doing Better Statistics in Human-Computer Interaction by Peter Smith
Cover of the book How Social Movements Die by Peter Smith
Cover of the book Arvo Pärt's Resonant Texts by Peter Smith
Cover of the book Perils of Judicial Self-Government in Transitional Societies by Peter Smith
Cover of the book Voting Behavior in Indonesia since Democratization by Peter Smith
Cover of the book Putting Faith in Hate by Peter Smith
Cover of the book Risk and Uncertainty Assessment for Natural Hazards by Peter Smith
Cover of the book Statehood and Self-Determination by Peter Smith
Cover of the book The Cambridge Atlas of Herschel Objects by Peter Smith
Cover of the book Kant and Cosmopolitanism by Peter Smith
Cover of the book Cloud and Precipitation Microphysics by Peter Smith
Cover of the book The Regulation of the Global Water Services Market by Peter Smith
Cover of the book Legitimacy and International Courts by Peter Smith
Cover of the book Questions of Jurisdiction and Admissibility before International Courts by Peter Smith
Cover of the book Corporate Responsibility 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