24 Jun 2016

Nolt, Logics, 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]

[John Nolt, entry directory]

 



Entry Directory for


John Nolt

 

Logics

 

 

Part 3: Classical Predicate Logic

 

Chapter 6: Classical Predicate Logic: Syntax

 

6.3 Identity

 

 

Chapter 8: Classical Predicate Logic: Inference

 

8.5 Identity

 

 

 

Part 4: Extensions of Classical Logic

 

Chapter 11: Leibnizian Modal Logic

 

11.1 Modal Operators

 

11.2.1 [basic set-up and evaluation of Leibnizian possible worlds]

 

11.2.2 [Possible worlds, actual worlds, redefining logical concepts for possible worlds, and some important theorems in possible world semantics]

 

11.3 A Natural Model?

 

11.4 Inference in Leibnizian Logic

 

 

Chapter 12: Kripkean Modal Logic

 

12.1 Kripkean Semantics

 

 

Chapter 13: Deontic and Tense Logics

 

13.2 A Modal Tense Logic

 

13.2.1 [Basic set-up and evaluation of modal tense logic]

 

 

Chapter 14: Higher-Order Logics

 

14.1 Higher-Order Logics: Syntax

 

 

 

Part 5: Nonclassical Logics

 

Chapter 15: Mildly Nonclassical Logics

 

15.1 Free Logics

 

15.2 Multivalued Logics

 

15.3 Supervaluations

 

15.3.1 [Basic technique of supervaluation]

 

 

 

 

Nolt, John. Logics. Belmont, CA: Wadsworth, 1997.

 

.

.

No comments:

Post a Comment