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





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]


Chapter 16: Radically Nonclassical Logics


16.1 Infinite Valued and Fuzzy Logics





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




No comments:

Post a Comment