A01=Greg Restall
argument
Argument Forms
atomic
Atomic Formulas
Atomic Propositions
Author_Greg Restall
branch
Category=QDTL
Clark Kent
Definite Descriptions
Domain Element
Dyadic Predicate
eq_isMigrated=1
eq_isMigrated=2
eq_nobargain
existential
Follow
form
formula
Main Connective
Monadic Predicate
Natural Deduction
Natural Deduction Systems
Odd
Opaque Contexts
open
Open Branch
predicate
Predicate Calculus
Predicate Logic
Present King
Russell's Analysis
Russell’s Analysis
Sheffer Stroke
table
Tree Rules
truth
Truth Tables
Universal Quantifier
Vice Versa
Wo
Product details
- ISBN 9780415400688
- Dimensions: 138 x 216mm
- Publication Date: 13 Dec 2005
- Publisher: Taylor & Francis Ltd
- Publication City/Country: GB
- Product Form: Paperback
Secure
checkout
Fast Shipping
Easy returns
The methods of logic are essential to an understanding of philosophy and are crucial in the study of mathematics, computing, linguistics and many other subjects. Introducing the major concepts and techniques involved in the study of logic, this authoritative book explores both formal and philosophical logic, and the ways in which we can achieve good reasoning. Individual chapters include:
- Propositions and Arguments
- Truth Tables
- Trees
- Conditionality
- Natural Deduction
- Predicates, Names and Quantifiers
- Definite Descriptions
This exceptionally clear introduction to the subject is ideally suited to students taking introductory courses in logic.
