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 Closure of Space in Roman Poetics by Peter Smith
Cover of the book The Cauchy-Schwarz Master Class by Peter Smith
Cover of the book The Rise and Fall of Political Orders by Peter Smith
Cover of the book Advanced Mechanics and General Relativity by Peter Smith
Cover of the book Aenesidemus of Cnossus by Peter Smith
Cover of the book Networks of Nations by Peter Smith
Cover of the book Best Practice in Labour and Delivery by Peter Smith
Cover of the book Candidates and Voters by Peter Smith
Cover of the book The Hellenistic World from Alexander to the Roman Conquest by Peter Smith
Cover of the book The Social Evolution of Human Nature by Peter Smith
Cover of the book Applied Computational Aerodynamics by Peter Smith
Cover of the book Transition to Hydrogen by Peter Smith
Cover of the book International Law Documents by Peter Smith
Cover of the book Statistics in Corpus Linguistics by Peter Smith
Cover of the book Consuls and Res Publica 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