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]

[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



Propositional Logic
 

 
Mathematical Prolegomenon
 
Set-theoretic Notation
 
 

 
 
Classical Logic and the Material Conditional
 
Introduction
 
The Syntax of the Object Language
 
Semantic Validity
 
Tableaux

Conditionals

The Material Conditional

Subjunctive and Counterfactual Conditionals
 
More Counter-Examples
 
Arguments for ⊃
 
 
 

 
Basic Modal Logic
 
Introduction
 
Necessity and Possibility
 
Modal Semantics 

Modal Tableaux
 
Possible Worlds: Representation

Modal Realism

Modal Actualism

Meinongianism
 
 
 

 
Normal Modal Logics
 
Introduction
 
Semantics for Normal Modal Logics

Tableaux for Normal Modal Logics

S5

The Tense Logic Kt

Extensions of Kt
 




Non-Normal Modal Logics; Strict Conditionals
 
Introduction

Non-Normal Worlds

Tableaux for Non-Normal Modal Logics

The Properties of Non-Normal Logics

S0.5

Strict Conditionals

The Paradoxes of Strict Implication

The Explosion of Contradictions

Lewis’ Argument for Explosion





Conditional Logics
 
Introduction

Some More Problematic Inferences
 
 
 

 
Intuitionistic Logic
 
Introduction

Intuitionism: The Rationale
 
Possible Worlds Semantics for Intuitionism
 

6.4

Tableaux for Intuitionistic Logic

 
 
 

 
Many-valued Logics
 
Introduction
 
Many-valued Logic: The General Structure
 
The 3-valued Logics of Kleene and Łukasiewicz
 
LP and RM3 

Many-valued Logics and Conditionals

7.6
Truth-value Gluts: Inconsistent Laws

Truth-value Gluts: Paradoxes of Self-reference

Truth-value Gaps: Denotation Failure

Truth-value Gaps: Future Contingents
 
Supervaluations, Modality and Many-valued Logic
 
 



 
First Degree Entailment
 
Introduction

The Semantics of FDE

Tableaux for FDE

FDE and Many-valued Logics

The Routley Star

Paraconsistency and the Disjunctive Syllogism





Logics with Gaps, Gluts and Worlds
 
Introduction

Adding →

Tableaux for K4

Non-normal Worlds Again
                                 
Tableaux for N4

Star Again
                                 
Impossible Worlds and Relevant Logic

Logics of Constructible Negation
 

 
 

Relevant Logics
 
Introduction

The Logic B

The Ternary Relation





Fuzzy Logics
 
Introduction

Sorites Paradoxes

. . . and Responses to Them

The Continuum-valued Logic Ł
 
 
 
 

 
Appendix: Many-valued Modal Logics
 
Introduction
 
General Structure
 
Modal FDE


Future Contingents Revisited
 
 
 


Quantification and Identity
 

 
Classical First-order Logic
 
Introduction

Syntax

Semantics
 
Tableaux
 
Identity
 
Some Philosophical Issues
 
 

 
Free Logics
 
Introduction
 
Syntax and Semantics
 
Tableaux
 
Free Logics: Positive, Negative and Neutral
 
Quantification and Existence

Identity in Free Logic




Constant Domain Modal Logics
 
Introduction

Constant Domain K



Variable Domain Modal Logics
 
Introduction

Prolegomenon

Variable Domain K and its Normal Extensions





Necessary Identity in Modal Logic
 
Introduction

Necessary Identity

The Negativity Constraint

Rigid and Non-rigid Designators

Names and Descriptions



Many-valued Logics
 
Introduction

Quantified Many-valued Logics

∀ and ∃

Some 3-valued Logics

Their Free Versions

Existence and Quantification

Neutral Free Logics

Identity

Non-classical Identity





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



.

No comments:

Post a comment