25 Mar 2016

Priest (ED) An Introduction to Non-Classical Logic, entry directory

 

by Corry Shores

 

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

 

[Central Entry Directory]

[Logic and Semantics, entry directory]

[Graham Priest, entry directory]

 

 

 

 

Entry Directory for

 

Graham Priest

 

An Introduction to Non-Classical Logic:

From If to Is

 

 

Part I

Propositional Logic

 

 

ch.0

Mathematical Prolegomenon

 

0.1

Set-theoretic Notation

 

 

 

 

ch.1

Classical Logic and the Material Conditional

 

1.1

Introduction

 

1.2

The Syntax of the Object Language

 

1.3

Semantic Validity

 

1.4

Tableaux

 

1.6

Conditionals

 

1.7

The Material Conditional

 

1.8

Subjunctive and Counterfactual Conditionals

 

1.9

More Counter-Examples

 

1.10

Arguments for ⊃

 

 

 

 

ch.2

Basic Modal Logic

 

2.1

Introduction

 

2.2

Necessity and Possibility

 

2.3

Modal Semantics 

 

2.4

Modal Tableaux

 

2.5

Possible Worlds: Representation

 

2.6

Modal Realism

 

2.7

Modal Actualism

 

2.8

Meinongianism

 

 

 

 

ch.3

Normal Modal Logics

 

3.1

Introduction

 

3.2

Semantics for Normal Modal Logics

 

3.3

Tableaux for Normal Modal Logics

 

3.5

S5

 

3.6a

The Tense Logic Kt

 

3.6b

Extensions of Kt

 

 

 

 

ch.4

Non-Normal Modal Logics; Strict Conditionals

 

4.1

Introduction

 

4.2

Non-Normal Worlds

 

4.3

Tableaux for Non-Normal Modal Logics

 

4.4

The Properties of Non-Normal Logics

 

4.4a

S0.5

 

4.5

Strict Conditionals

 

4.6

The Paradoxes of Strict Implication

 

4.8

The Explosion of Contradictions

 

4.9

Lewis’ Argument for Explosion

 

 

 

 

ch.5

Conditional Logics

 

5.1

Introduction

 

5.2

Some More Problematic Inferences

 

 

 

 

ch.6

Intuitionistic Logic

 

6.1

Introduction

 

6.2

Intuitionism: The Rationale

 

6.3

Possible Worlds Semantics for Intuitionism

 

 

 

 

ch.7

Many-valued Logics

 

7.1

Introduction

 

7.2

Many-valued Logic: The General Structure

 

7.3

The 3-valued Logics of Kleene and Łukasiewicz

 

7.4

LP and RM3 

 

7.6

Truth-value Gluts: Inconsistent Laws

 

7.7

Truth-value Gluts: Paradoxes of Self-reference

 

7.8

Truth-value Gaps: Denotation Failure

 

7.9

Truth-value Gaps: Future Contingents

 

 

 

 

ch.8

First Degree Entailment

 

8.1

Introduction

 

8.2

The Semantics of FDE

 

8.3

Tableaux for FDE

 

8.4

FDE and Many-valued Logics

 

8.5

The Routley Star

 

8.6

Paraconsistency and the Disjunctive Syllogism

 

 

 

 

ch.9

Logics with Gaps, Gluts and Worlds

 

9.1

Introduction

 

9.2

Adding →

 

9.3

Tableaux for K4

 

9.4

Non-normal Worlds Again

                         

9.5

Tableaux for N4

 

9.6

Star Again

                         

9.7

Impossible Worlds and Relevant Logic

 

9.7a

Logics of Constructible Negation

 

 

 

 

ch.10

Relevant Logics

 

10.1

Introduction

 

10.2

The Logic B

 

10.6

The Ternary Relation

 

 

 

 

ch.11

Fuzzy Logics

 

11.1

Introduction

 

11.2

Sorites Paradoxes

 

11.3

. . . and Responses to Them

 

11.4

The Continuum-valued Logic Ł

 

 

 

 

 

ch.11a

Appendix: Many-valued Modal Logics

 

 

11a.1

Introduction

 

 

 

 

Part II

Quantification and Identity

 

 

ch.12

Classical First-order Logic

 

12.1

Introduction

 

12.2

Syntax

 

12.3

Semantics

 

 

 

 

 

 

 

Priest, Graham. 2008 [2001]. An Introduction to Non-Classical Logic: From If to Is, 2nd edn. Cambridge: Cambridge University.

 

 

 

.

No comments:

Post a Comment