Logic An Introduction 1st edition by Greg Restall ISBN 0415400686 978-0415400688
Original price was: $50.00.$35.00Current price is: $35.00.
Logic An Introduction 1st edition by Greg Restall – Ebook PDF Instant Download/Delivery: 0415400686 , 978-0415400688
Full download Logic An Introduction 1st edition after payment
Product details:
ISBN 10: 0415400686
ISBN 13: 978-0415400688
Author: Greg Restall
Logic An Introduction 1st Table of contents:
Part 1 Propositional logic
Chapter 1 Propositions and arguments
Propositions
Arguments
Argument forms
Summary
Further reading
Exercises
Basic
Advanced
Note
Chapter 2 Connectives and argument forms
Conjunction and disjunction
Conditionals and biconditionals
Negation
A Language of forms
More argument forms
Summary
Exercises
Note
Chapter 3 Truth tables
Truth tables
Truth tables for arguments
Finding evaluations quickly
Summary
Exercises
Basic
Advanced
Chapter 4 Trees
The idea behind trees
Tree rules
Double negation
Conjunction
Negated conjunction
Disjunction
Negated disjunction
Conditional
Negated conditional
Biconditional
Negated biconditional
Closure
Partially developed trees
Completed trees
New notation
Why the tree method works
Fact 1
Fact 2
Proof of fact 1
Proof of fact 2
Summary
Exercises
Basic
Advanced
Chapter 5 Vagueness and bivalence
The problem of vagueness
Alternatives
Other problems with bivalence
Paradox
Non-denoting terms
Presupposition failure
Future contingents
Further reading
Exercises
Basic
Advanced
Note
Chapter 6 Conditionality
The paradoxes of material implication
Truth and assertibility
Possibilities
Relevance
Further reading
Exercises
Basic
Advanced
Note
Chapter 7 Natural deduction
Conjunction, disjunction and negation
Negation
Exercises
Basic
Part 2 Predicate logic
Chapter 8 Predicates, names and quantifiers
Names and predicates
Quantifiers
Translation
Chapter 9 Models for predicate logic
Domains and extensions
Quantifiers
Constructing models
Existential
Negated existential
Universal
Negated universal
When finite domains suffice
Summary
Exercises
Basic
Advanced
Chapter 10 Trees for predicate logic
Tree rules for quantifiers
Existential
Negated existential
Universal
Negated universal
When trees don’t close
Why the tree method works
Fact 1
Proof of fact 1
Proof of fact 2
Exercises
Basic
Advanced
Chapter 11 Identity and functions
Clark Kent is Superman.
Identity
Translating some common quantifiers
Functions
Summary
Exercises
Note
Chapter 12 Definite descriptions
Failures of bivalence
Non-existence claims
Russell’s solution
Failures of bivalence
Nonexistence claims
Nuances
Limited domains
Referential uses
Further reading
Exercises
Chapter 13 Some things do not exist
Existential import and predicates
Existential import and names
Models
Tree rules
Existential
Negated existential
Universal
Negated universal
Nuances
Bivalence
Definite descriptions
Inner and outer quantification
The intended interpretation
Further reading
Exercises
Basic
Advanced
Chapter 14 What is a predicate?
An argument
Premise 1
Premise 2
Understanding the argument
Opaque contexts
Further reading
Exercises
Basic
Advanced
Chapter 15 What is logic?
Logic as invariance under permutation
A good fit with logical practice
No mysterious necessity
Topic neutrality
Logic as necessary truth preservation
No need for a logical/non-logical distinction
Closer fit with pre-theoretical practice
Further Reading
Bibliography
People also search for Logic An Introduction 1st :
greg restall 2006 logic an introduction
logic an introduction
greg restall logic an introduction pdf
logic an introduction by greg restall
greg restall logic
Tags: Greg Restall, Logic, An Introduction