An Introduction to Formal Logic

  • Filename: an-introduction-to-formal-logic.
  • ISBN: 0521008042
  • Release Date: 2003-11-06
  • Number of pages: 357
  • Author: Peter Smith
  • Publisher: Cambridge University Press

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.

The Languages of Logic

  • Filename: the-languages-of-logic.
  • ISBN: 155786988X
  • Release Date: 1997-05-28
  • Number of pages: 448
  • Author: Samuel Guttenplan
  • Publisher: Wiley-Blackwell

With the same intellectual goals as the first edition, this innovative introductory logic textbook explores the relationship between natural language and logic, motivating the student to acquire skills and techniques of formal logic. This new and revised edition includes substantial additions which make the text even more useful to students and instructors alike. Central to these changes is an Appendix, 'How to Learn Logic', which takes the student through fourteen compact and sharply directed lessons with exercises and answers.

Proof and Disproof in Formal Logic

  • Filename: proof-and-disproof-in-formal-logic.
  • ISBN: 9780198530275
  • Release Date: 2005
  • Number of pages: 243
  • Author: Richard Bornat
  • Publisher: Oxford University Press on Demand

Proof and Disproof in Formal Logic is a lively and entertaining introduction to formal logic providing an excellent insight into how a simple logic works. This book concentrates on using logic as a tool: making and using formal proofs and disproofs of particular logical claims. The logic it uses - natural deduction - is very simple and shows how large mathematical universes can be built on small foundations. Aimed at undergraduates and graduates in computerscience, logic, mathematics, and philosophy, the text includes reference to...

An Introduction to G del s Theorems

  • Filename: an-introduction-to-g-del-s-theorems.
  • ISBN: 9781107328488
  • Release Date: 2013-02-21
  • Number of pages:
  • Author: Peter Smith
  • Publisher: Cambridge University Press

In 1931, the young Kurt Gödel published his First Incompleteness Theorem, which tells us that, for any sufficiently rich theory of arithmetic, there are some arithmetical truths the theory cannot prove. This remarkable result is among the most intriguing (and most misunderstood) in logic. Gödel also outlined an equally significant Second Incompleteness Theorem. How are these Theorems established, and why do they matter? Peter Smith answers these questions by presenting an unusual variety of proofs for the First Theorem, showing how to prove the Second Theorem, and exploring a family of related results (including some not easily available elsewhere). The formal explanations are interwoven with discussions of the wider significance of the two Theorems. This book - extensively rewritten for its second edition - will be accessible to philosophy students with a limited formal background. It is equally suitable for mathematics students taking a first course in mathematical logic.

The Discovery of Deduction

  • Filename: the-discovery-of-deduction.
  • ISBN: 1600510337
  • Release Date: 2010-03
  • Number of pages: 324
  • Author: Joelle Hodge
  • Publisher:

Provides an introduction to formal, deductive logic using Socratic dialogue and discussion.

An Introduction to Symbolic Logic

  • Filename: an-introduction-to-symbolic-logic.
  • ISBN: 0486601641
  • Release Date: 2011-11
  • Number of pages: 384
  • Author: Langer
  • Publisher: Courier Corporation

Famous classic has introduced countless readers to symbolic logic with its thorough and precise exposition. Starts with simple symbols and conventions and concludes with the Boole-Schroeder and Russell-Whitehead systems. No special knowledge of mathematics necessary. "One of the clearest and simplest introductions to a subject which is very much alive." — Mathematics Gazette.

An Introduction to Practical Formal Methods Using Temporal Logic

  • Filename: an-introduction-to-practical-formal-methods-using-temporal-logic.
  • ISBN: 1119991463
  • Release Date: 2011-03-16
  • Number of pages: 368
  • Author: Michael Fisher
  • Publisher: John Wiley & Sons

The name "temporal logic" may sound complex and daunting; but while they describe potentially complex scenarios, temporal logics are often based on a few simple, and fundamental, concepts - highlighted in this book. An Introduction to Practical Formal Methods Using Temporal Logic provides an introduction to formal methods based on temporal logic, for developing and testing complex computational systems. These methods are supported by many well-developed tools, techniques and results that can be applied to a wide range of systems. Fisher begins with a full introduction to the subject, covering the basics of temporal logic and using a variety of examples, exercises and pointers to more advanced work to help clarify and illustrate the topics discussed. He goes on to describe how this logic can be used to specify a variety of computational systems, looking at issues of linking specifications, concurrency, communication and composition ability. He then analyses temporal specification techniques such as deductive verification, algorithmic verification, and direct execution to develop and verify computational systems. The final chapter on case studies analyses the potential problems that can occur in a range of engineering applications in the areas of robotics, railway signalling, hardware design, ubiquitous computing, intelligent agents, and information security, and explains how temporal logic can improve their accuracy and reliability. Models temporal notions and uses them to analyze computational systems Provides a broad approach to temporal logic across many formal methods - including specification, verification and implementation Introduces and explains freely available tools based on temporal logics and shows how these can be applied Presents exercises and pointers to further study in each chapter, as well as an accompanying website providing links to additional systems based upon temporal logic as well as additional material related to the book.

Forall X

  • Filename: forall-x.
  • ISBN: 1616100354
  • Release Date: 2009-09-01
  • Number of pages: 160
  • Author: P. D. Magnus
  • Publisher: Orange Groove Books

Meaning and Argument

  • Filename: meaning-and-argument.
  • ISBN: 9781118455210
  • Release Date: 2012-09-14
  • Number of pages: 496
  • Author: Ernest Lepore
  • Publisher: John Wiley & Sons

Meaning and Argument is a popular introduction to philosophy of logic and philosophy of language. Offers a distinctive philosophical, rather than mathematical, approach to logic Concentrates on symbolization and works out all the technical logic with truth tables instead of derivations Incorporates the insights of half a century's work in philosophy and linguistics on anaphora by Peter Geach, Gareth Evans, Hans Kamp, and Irene Heim among others Contains numerous exercises and a corresponding answer key An extensive appendix allows readers to explore subjects that go beyond what is usually covered in an introductory logic course Updated edition includes over a dozen new problem sets and revisions throughout Features an accompanying website at

Logic A Very Short Introduction

  • Filename: logic-a-very-short-introduction.
  • ISBN: 9780191579486
  • Release Date: 2000-10-12
  • Number of pages: 160
  • Author: Graham Priest
  • Publisher: OUP Oxford

Logic is often perceived as having little to do with the rest of philosophy, and even less to do with real life. In this lively and accessible introduction, Graham Priest shows how wrong this conception is. He explores the philosophical roots of the subject, explaining how modern formal logic deals with issues ranging from the existence of God and the reality of time to paradoxes of probability and decision theory. Along the way, the basics of formal logic are explained in simple, non-technical terms, showing that logic is a powerful and exciting part of modern philosophy. ABOUT THE SERIES: The Very Short Introductions series from Oxford University Press contains hundreds of titles in almost every subject area. These pocket-sized books are the perfect way to get ahead in a new subject quickly. Our expert authors combine facts, analysis, perspective, new ideas, and enthusiasm to make interesting and challenging topics highly readable.

An Introduction to Philosophical Logic

  • Filename: an-introduction-to-philosophical-logic.
  • ISBN: 0631199829
  • Release Date: 2001-05-08
  • Number of pages: 352
  • Author: Anthony C. Grayling
  • Publisher: Wiley-Blackwell

An Introduction to Philosophical Logic has been a popular mainstay among students taking courses in philosophical logic and the philosophy of language since it was first published in 1982.

A Concise Introduction to Logic

  • Filename: a-concise-introduction-to-logic.
  • ISBN: 9780840034175
  • Release Date: 2011-01-01
  • Number of pages: 720
  • Author: Patrick Hurley
  • Publisher: Cengage Learning

Unsurpassed for its clarity and comprehensiveness, Hurley’s, A CONCISE INTRODUCTION TO LOGIC is the #1 introductory logic textbook in the market. In this Eleventh Edition, Hurley continues to build upon the tradition of a lucid, focused, and accessible presentation of the basic subject matter of logic, both formal and informal. Hurley’s extensive, carefully sequenced collection of exercises continue to guide students toward greater proficiency with the skills they are learning. This edition includes an expanded array of technology supplements, including Aplia, an online homework solution, and Logic CourseMate which includes additional practice and study tools, video clips covering topics that students find difficult, the complete text in eBook format, and the popular Learning Logic multimedia tutorial program. In response to market feedback and the success of Wadsworth’s Logical Choice custom program, this book continues to offer multiple options to customize your course content. Finally, innovative tools including a PowerLecture presentation tool and a Community Website are designed to help you manage, create, and teach your course more efficiently and effectively. Important Notice: Media content referenced within the product description or the product text may not be available in the ebook version.

Introduction to Logic

  • Filename: introduction-to-logic.
  • ISBN: 9780486318899
  • Release Date: 2013-07-04
  • Number of pages: 272
  • Author: Alfred Tarski
  • Publisher: Courier Corporation

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. A thought-provoking introduction to the fundamentals and the perfect adjunct to courses in logic and the foundations of mathematics. Exercises appear throughout.

DMCA - Contact