31 Mar 2016

Agler’s Symbolic Logic: Syntax, Semantics, and Proof, entry directory


by Corry Shores
[Search Blog Here. Index-tags are found on the bottom of the left column.]


[Central Entry Directory]
[Logic & Semantics, Entry Directory]
[David Agler, entry directory]

 

 

Entry Directory for

 

David W. Agler

 

Symbolic Logic: Syntax, Semantics, and Proof

 

Introduction / Ch.1:

 

Introduction
and
Ch.1: Propositions, Arguments, and Logical Properties
Sections 1.1-1.2: Propositions – Arguments

 

Section 1.3: Deductively Valid Arguments
and
Section 1.4: Summary

 

 

Ch.2: Language, Syntax, and Semantics


2.1 Truth Functions

 

2.2 The Symbols of PL and Truth-Functional Operators

 

2.3 Syntax of PL

 

2.4 Disjunction, Conditional, Biconditional

 

2.5 Advanced Translation

 

 

Ch.3: Truth Tables

 

3.1 Valuations (Truth-Value Assignments)

 

3.2 Truth Tables for Propositions

 

3.3 Truth Tables Analysis of Propositions

 

3.4 Truth Tables Analysis of Sets of Propositions

 

3.5 The Material Conditional Explained (Optional)

 

3.6 Truth Table Analysis of Arguments

 

3.7 Short Truth Table Test for Invalidity

 

 

Ch.4: Truth Trees

 

4.1 Truth-Tree Setup and Basics in Decomposition

 

4.2 Truth-Tree Decomposition Rules

 

4.3 The Remaining Decomposition Rules

 

4.4 Basic Strategies

 

4.5 Truth-Tree Walk Through

 

4.6 Logical Properties of Truth Trees

 

 

Ch.5: Propositional Logic Derivations

 

5.1 Proof Construction

 

5.2 Premises and the Goal Proposition

 

5.3 Intelim Derivation Rules

 

5.4 Strategies for Proofs

 

5.5 Additional Derivation Rules (PD+)

 

5.6 Additional Derivation Strategies

 

 

Ch.6: Predicate Language, Syntax, and Semantics

 

6.1 The Expressive Power of Predicate Logic

 

6.2 The Language of RL

 

6.3 The Syntax of RL

 

6.4 Predicate Semantics

 

6.5 Translation from English to Predicate Logic

 

6.6 Mixed and Overlapping Quantifiers

 

 

Ch.7: Predicate Logic Trees

 

7.1 Four New Decomposition Rules

 

7.2 Strategies for Decomposing Trees

 

7.3 Logical Properties

 

7.4 Undecidability and the Limits of the Predicate Tree Method

 

 

Ch.8: Predicate Logic Derivations

 

8.1 Four Quantifier Rules

 

8.2 Quantifier Negation (QN)

 

8.3 Sample Proofs

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Agler, David. Symbolic Logic: Syntax, Semantics, and Proof. New York: Rowman & Littlefield, 2013.

 

.

No comments:

Post a Comment