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
formal reasoning
formula
introduction to logical systems
logical inference methods
Main Connective
Monadic Predicate
Natural Deduction
Natural Deduction Systems
Odd
Opaque Contexts
open
Open Branch
philosophical logic
predicate
Predicate Calculus
Predicate Logic
Present King
quantification theory
Russell's Analysis
Russell’s Analysis
Sheffer Stroke
symbolic analysis
table
Tree Rules
truth
Truth Tables
undergraduate logic course
Universal Quantifier
Vice Versa
Wo
Product details
- ISBN 9780415400671
- Weight: 420g
- Dimensions: 138 x 216mm
- Publication Date: 13 Dec 2005
- Publisher: Taylor & Francis Ltd
- Publication City/Country: GB
- Product Form: Hardback
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.
