|
Logical Options: An Introduction to Classical and Alternative Logics | 
 enlarge | Authors: John L. Bell, David Devidi, Graham Solomon
Publisher: Broadview Press
Category: Book
List Price: $49.95
Buy New: $44.95
You Save: $5.00 (10%)
New (6) Used (5) from $26.97
Rating:  1 reviews
Sales Rank: 1226939
Media: Paperback
Pages: 300
Shipping Weight (lbs): 1
Dimensions (in): 8.9 x 6.5 x 0.7
ISBN: 1551112973
Dewey Decimal Number: 160
EAN: 9781551112978
Publication Date: March 30, 2001
Availability: Usually ships in 1-2 business days
Condition: SHIPS FAST! via UPS(AK/HI Priority Mail) within 24 hours/ NEW book
| |
| Editorial Reviews:
Book Description
'Logical Options' introduces the extensions and alternatives to classical logic which are most discussed in the philosophical literature: many-sorted logic, second-order logic, modal logics, intuitionistic logic, three-valued logic, fuzzy logic, and free logic. Each logic is introduced with a brief description of some aspect of its philosophical significance, and wherever possible semantic and proof methods are employed to facilitate comparison of the various systems. The book is designed to be useful for philosophy students and professional philosophers who have learned some classical first-order logic and would like to learn about other logics important to their philosophical work. Also included are an introduction to the elementary set theory that is necessary for the rest of the book, and many exercises, of varying levels of difficulty. To facilitate independent study, solutions to approximately half the exercises are provided.
|
| Customer Reviews:
Table of Contents April 19, 2007
booklover (Arlington, MA USA)
1 out of 3 found this review helpful
I have not read this book yet, but I got the table of contents from the book's Website. This will be helpful to anyone deciding whether to buy this book.
Table of Contents:
Preface
1. Classical Propositional Logic
1.1. Introductory Remarks
1.1.1. Some Basic Concepts
1.1.2. Formal Logics
1.2. Propositional Logic
1.2.1. Preliminaries
1.2.2. Truth Values, Valuations, and validity
1.2.3. Implication, Tautology, and Other Important
Concepts
1.2.4. Equivalence and Expressive Completeness
1.2.5. Arithmetical Representation of Statements and
Logical Operations
1.3. Trees for Classical Propositional Logic
1.3.1. Tree Rules for Classical Propositional Logic
1.3.2. Trees as a Test for Validity
1.3.3. Further Applications of the Tree Method
1.4. Metatheorems
1.5. Other Proof Methods
1.5.1. Classical Propositional Calculus
1.5.2. Natural Deduction
1.5.3. Sequent Calculus
2. Classical Predicate Logic
2.1. Introductory Remarks
2.2. Tree Rules for Classical Predicate Logic
2.2.1. Rules for Quantifiers
2.2.2. Identity
2.2.3. Functions
2.3. Predicate Languages and Their Interpretations
2.3.1. The Languages
2.3.2. Interpretations: Preliminary Remarks
2.4. Set Theory
2.4.1. Sets
2.4.2. Relations
2.4.3. Equivalence Relations
2.4.4. Orderings
2.4.5. Functions
2.5. Interpretations of Languages for Predicate Logic
2.6. Validity, Satisfiability, and Models
2.7. Correctness and Adequacy
2.7.1. Some Difficulties
2.7.2. Dealing with Difficulties
2.7.3. The Proofs
3. Using and Extending Predicate Logic
3.1. Postulate Systems
3.1.1. Postulate Systems for Arithmetic
3.1.2. Noncategoricity of First-Order Peano Arithmetic
3.2. Many Sorted Logic
3.2.1. Introductory Remarks
3.2.2. Many Sorted Languages and Interpretations
3.2.3. Reducing Many Sorted to Unsorted Logic
3.3. Second-Order Logic
3.3.1. Languages and Interpretations
3.3.2. Second-Order Trees
3.3.3. The Strength of Second-Order Logic
3.3.4. Metatheory of Second-Order Logic
4. Introducing Contextual Operators: Modal Logics
4.1. The Propositional Modal Language and Models
4.1.1. The Language
4.1.2. Interpretations
4.1.3. Classes of Frames and Different Logics
4.2. Trees for Contextual Logics
4.2.1. Proving Correctness for
4.2.2. Counterexamples
4.2.3. Proving Adequacy for
4.3. Other Systems of Contextual (Modal) Logic
4.3.1. Correctness and Adequacy for Trees
4.4. Provability Logic
4.4.1. Arithmetic Provability and Contextual Logic
4.4.2. Frames and Provability Logic
4.4.3. Trees for Provability Logic
4.5. Multi-Modal Logic
4.6. Quantificational Contextual Logic
4.6.1. The Languages
4.6.2. Introduction
4.6.3. Semantics for Contextual Predicate Logic
4.6.4. Concluding Remarks
5. Getting Away From Bivalence: Three-Valued and Intuitionistic Logic
5.1. Three-Valued Logics
5.1.1. Trees for Three-Valued Logic
5.2. Intuitionistic Logic
5.2.1. Introduction - Constructivism
5.2.2. A More General Account
5.2.3. Semantics and Countermodels
5.2.4. Metatheorems for Intuitionistic Propositional Logic
5.2.5. Comparing Intutionistic Logic to Other Logics
5.3. Intuitionistic Predicate Logic
5.3.1. Interpretations
5.3.2. Trees for Intuitionistic Predicate Logic
5.3.3. Intuitionistic Identity
6. A Sampling of Other Logics
6.1. Fuzzy Logic
6.2. Algebraic Logic
6.3. Term Forming Operators and Free Logics
6.3.1. Term Forming Operators
6.3.2. Free Logics
7. Solutions to *-ed Exercises
7.1. Solutions for Chapter 1
7.2. Solutions for Chapter 2
7.3. Solutions for Chapter 3
7.4. Solutions for Chapter 4
7.5. Solutions for Chapter 5
7.6. Solutions for Chapter 6
|
|
|
| |
