Logic

ISBN-10: 0415166969

ISBN-13: 9780415166966

Edition: 1999

Authors: Paul Tomassi
List price: $49.95
30 day, 100% satisfaction guarantee

If an item you ordered from TextbookRush does not meet your expectations due to an error on our part, simply fill out a return request and then return it by mail within 30 days of ordering it for a full refund of item cost.

Learn more about our returns policy

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.

what's this?
Rush Rewards U
Members Receive:
coins
coins
You have reached 400 XP and carrot coins. That is the daily max!

Study Briefs

Limited time offer: Get the first one free! (?)

All the information you need in one place! Each Study Brief is a summary of one specific subject; facts, figures, and explanations to help you learn faster.

Add to cart
Study Briefs
SQL Online content $4.95 $1.99
Add to cart
Study Briefs
MS Excel® 2010 Online content $4.95 $1.99
Add to cart
Study Briefs
MS Word® 2010 Online content $4.95 $1.99
Add to cart
Study Briefs
MS PowerPoint® 2010 Online content $4.95 $1.99

Customers also bought

Loading
Loading
Loading
Loading
Loading
Loading
Loading
Loading
Loading
Loading

Book details

List price: $49.95
Copyright year: 1999
Publisher: Routledge
Publication date: 3/19/1999
Binding: Paperback
Pages: 432
Size: 7.00" wide x 9.75" long x 1.25" tall
Weight: 1.782
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
×
Free shipping on orders over $35*

*A minimum purchase of $35 is required. Shipping is provided via FedEx SmartPost® and FedEx Express Saver®. Average delivery time is 1 – 5 business days, but is not guaranteed in that timeframe. Also allow 1 - 2 days for processing. Free shipping is eligible only in the continental United States and excludes Hawaii, Alaska and Puerto Rico. FedEx service marks used by permission."Marketplace" orders are not eligible for free or discounted shipping.

Learn more about the TextbookRush Marketplace.

×