Skip to content

Introduction to Formal Logic

Best in textbook rentals since 2012!

ISBN-10: 0521008042

ISBN-13: 9780521008044

Edition: 2003

Authors: Peter Smith

List price: $37.99
Blue ribbon 30 day, 100% satisfaction guarantee!
what's this?
Rush Rewards U
Members Receive:
Carrot Coin icon
XP icon
You have reached 400 XP and carrot coins. That is the daily max!

Peter Smith 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 commentary is supplemented with examples and exercises, making the text appropriate for a first logic course. The book will also provide a basis for further research in formal and philosophical logic.
Customers also bought

Book details

List price: $37.99
Copyright year: 2003
Publisher: Cambridge University Press
Publication date: 11/6/2003
Binding: Paperback
Pages: 364
Size: 6.85" wide x 9.65" long x 0.91" tall
Weight: 1.584
Language: English

Pete Smith is a Technical Architect and data warehouse specialist with a wide range of expertise from application analysis, design and development through to database design, administration and tuning. This experience covers 19 years in the IT industry, 14 of which are specifically on Oracle platforms and demonstrates a high degree of longevity and familiarity with the Oracle database server and associated products. Qualified to degree level, Pete has worked for many years as an independent Oracle consultant and, more recently, in a senior position as a Principal consultant with Oracle UK; Pete now works for a specialist UK IT consultancy.

What is logic?
Validity and soundness
Patterns of inference
The counterexample technique
Proofs
Validity and arguments
Three propositional connectives
The syntax of PL
The semantics of PL
'A's and 'B's, 'P's and 'Q's
Truth functions
Tautologies
Tautological entailment
PLC and the material conditional
More on the material conditional
Introducing PL trees
Rules for PL trees
PLC trees
PL trees vindicated
Trees and proofs
Quantifiers
QL introduced
QL explored
More QL translations
Introducing QL trees
The syntax of QL
Q-valuations
Q-validity
More on QL trees
QL trees vindicated
Extensionality
Identity
The language QL=
Descriptions and existence
Trees for identity
Functions