Skip to content

Logic

Spend $50 to get a free DVD!

ISBN-10: 0415166969

ISBN-13: 9780415166966

Edition: 1999

Authors: Paul Tomassi

List price: $51.95
Shipping box This item qualifies for FREE shipping.
Blue ribbon 30 day, 100% satisfaction guarantee!
Rent eBooks
Buy eBooks
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!

Description:

This text aims to come to grips with the complexities of this subject. It includes exercises, summary boxes of key points and illustrations of all formal methods.
Customers also bought

Book details

List price: $51.95
Copyright year: 1999
Publisher: Routledge
Publication date: 3/19/1999
Binding: Paperback
Pages: 432
Size: 6.80" wide x 9.60" long x 1.10" tall
Weight: 1.760
Language: English

List of Figures
Preface
Acknowledgements
How to Think Logically
Validity and Soundness
Deduction and Induction
The Hardness of the Logical 'Must'
Formal Logic and Formal Validity
Identifying Logical Form
Invalidity
The Value of Formal Logic
A Brief Note on the History of Formal Logic
How to Prove that You Can Argue Logically #1
A Formal Language for Formal Logic
The Formal Language PL
Arguments and Sequents
Proof and the Rules of Natural Deduction
Defining: 'Proof-in-PL'
Conditionals 1: MP
Conditionals 2: CP
Augmentation: Conditional Proof for Exam Purposes
Theorems
The Biconditional
Entailment and Material Implication
How to Prove that You Can Argue Logically #2
Conditionals Again
Conditionals, Negation and Double Negation
Introducing Disjunction
vElimination
More on vElimination
Arguing Logically for Exam Purposes: How to Construct Formal Proofs
Reductio Ad Absurdum
The Golden Rule Completed
A Final Note on Rules of Inference for PL
Defining 'Formula of PL': Syntax, Structure and Recursive Definition
Examination 1 in Formal Logic
Formal Logic and Formal Semantics #1
Syntax and Semantics
The Principle of Bivalence
Truth-Functionality
Truth-Functions, Truth-Tables and the Logical Connectives
Constructing Truth-Tables
Tautologous, Inconsistent and Contingent Formulas in PL
Semantic Consequence
Guide to Further Reading
Truth-Tables Again: Four Alternative Ways to Test for Validity
Semantic Equivalence
Truth-Trees
More on Truth-Trees
The Adequacy of the Logical Connectives
Examination 2 in Formal Logic
An Introduction to First Order Predicate Logic
Logical Form Revisited: The Formal Language QL
More on the Formulas of QL
The Universal Quantifier and the Existential Quantifier
Introducing the Notion of a QL Interpretation
Valid and Invalid Sequents of QL
Negation and the Interdefinability of the Quantifiers
How to Think Logically about Relationships: Part One
How to Think Logically about Relationships: Part Two
How to Think Logically about Relationships: Part Three
How to Think Logically about Relationships: Part Four
Formal Properties of Relations
Introducing Identity
Identity and Numerically Definite Quantification
Russell #1: Names and Descriptions
Russell #2: On Existence
Examination 3 in Formal Logic
How to Argue Logically in QL
Introduction: Formal Logic and Science Fiction
Reasoning with the Universal Quantifier 1: The Rule UE
Reasoning with the Universal Quantifier 2: The Rule UI
Introducing the Existential Quantifier: The Rule EI
A Brief Note on Free Logic
Eliminating the Existential Quantifier: The Rule EE
Reasoning with Relations
Proof-Theory for Identity: The Rules =I and =E
Strategies for Proof-Construction in QL #1
Strategies for Proof-Construction in QL #2
Examination 4 in Formal Logic
Formal Logic and Formal Semantics #2
Truth-Trees Revisited
More on QL Truth-Trees
Relations Revisited: The Undecidability of First Order Logic
A Final Note on the Truth-Tree Method: Relations and Identity
Glossary
Bibliography
Index