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]

[A directory with the brief summaries included can be found here:
http://piratesandrevolutionaries.blogspot.com/2018/08/priest-cbs-introduction-to-non.html
]

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 K^t

3.6b

Extensions of K^t

 

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

 

6.4

Tableaux for Intuitionistic Logic

 

 

 

 

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 RM₃ 

7.5

Many-valued Logics and Conditionals

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

 

7.10

Supervaluations, Modality and Many-valued Logic

 

 

 

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 K₄

9.4

Non-normal Worlds Again

                                 

9.5

Tableaux for N₄

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

 

11a.2

General Structure

 

11a.4

Modal FDE

11a.7

Future Contingents Revisited

 

 

 

Part II

Quantification and Identity

 

 

ch.12

Classical First-order Logic

 

12.1

Introduction

12.2

Syntax

12.3

Semantics

 

12.4

Tableaux

 

12.5

Identity

 

12.6

Some Philosophical Issues

 

 

 

13.

Free Logics

 

13.1

Introduction

 

13.2

Syntax and Semantics

 

13.3

Tableaux

 

13.4

Free Logics: Positive, Negative and Neutral

 

13.5

Quantification and Existence

13.6

Identity in Free Logic

ch.14

Constant Domain Modal Logics

 

14.1

Introduction

14.2

Constant Domain K

ch.15

Variable Domain Modal Logics

 

15.1

Introduction

15.2

Prolegomenon

15.3

Variable Domain K and its Normal Extensions

ch.16

Necessary Identity in Modal Logic

 

16.1

Introduction

16.2

Necessary Identity

16.3

The Negativity Constraint

16.4

Rigid and Non-rigid Designators

16.5

Names and Descriptions

ch.21

Many-valued Logics

 

21.1

Introduction

21.2

Quantified Many-valued Logics

21.3

∀ and ∃

21.4

Some 3-valued Logics

21.5

Their Free Versions

21.6

Existence and Quantification

21.7

Neutral Free Logics

21.8

Identity

21.9

Non-classical Identity

 

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

.