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.

An Introduction to Formal Logic

  • Filename: an-introduction-to-formal-logic.
  • ISBN: 0521810337
  • Release Date: 2003
  • Number of pages: 357
  • Author: Peter Smith
  • Publisher:



A highly accessible guide to the fundamental aims and basic elements of formal 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 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 Formal Logic

  • Filename: an-introduction-to-formal-logic.
  • ISBN: 1938421272
  • Release Date: 2016-01-27
  • Number of pages: 220
  • Author: Richard L Epstein
  • Publisher:



Intended for a course for beginning students in philosophy, mathematics, linguistics, or computer science. Motivation for each formal concept and each step in building a formal logic in terms of formalizing reasoning. Provides a conception of formal logic and not just a collection of results. Summaries at important junctures in the book keep students aware of what they're doing and where they're going. Hundreds of exercises that teach. Criteria of formalization with many examples of formalizing ordinary language reasoning in an example-analysis format. A complete course: syntax, semantics, and completeness theorems for classical propositional logic and classical predicate logic, and syntax and semantics for second-order classical predicate 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 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.

Meaning and Argument

  • Filename: meaning-and-argument.
  • ISBN: 9781405196734
  • Release Date: 2009-08-24
  • Number of pages: 427
  • Author: Ernest Lepore
  • Publisher: John Wiley & Sons



This book shifts introductory logic from the traditional emphasis on proofs to the symbolization of arguments.

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.

Modal Logic

  • Filename: modal-logic.
  • ISBN: 0521295157
  • Release Date: 1980
  • Number of pages: 295
  • Author: Brian F. Chellas
  • Publisher: Cambridge University Press



A textbook on modal logic, intended for readers already acquainted with the elements of formal logic, containing nearly 500 exercises. Brian F. Chellas provides a systematic introduction to the principal ideas and results in contemporary treatments of modality, including theorems on completeness and decidability. Illustrative chapters focus on deontic logic and conditionality. Modality is a rapidly expanding branch of logic, and familiarity with the subject is now regarded as a necessary part of every philosopher's technical equipment. Chellas here offers an up-to-date and reliable guide essential for the student.

DMCA - Contact