The Semantic Foundations of Logic Volume 1: Propositional Logics
This book grew out of my confusion. If logic is objective how can there be so many logics? Is there one right logic, or many right ones? Is there some underlying unity that connects them? What is the significance of the mathematical theorems about logic which I've learned if they have no connec...
Main Author: | |
---|---|
Format: | eBook |
Language: | English |
Published: |
Dordrecht
Springer Netherlands
1990, 1990
|
Edition: | 1st ed. 1990 |
Series: | Nijhoff International Philosophy Series
|
Subjects: | |
Online Access: | |
Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- The Basic Assumptions of Propositional Logic
- Classical Propositional Logic - PC -
- Relatedness Logic: The Subject Matter of a Proposition - S and R -
- A General Framework for Semantics for Propositional Logics
- Dependence Logics - D, Dual D, Eq, DPC -
- Modal Logics - S4, S5, S4Grz, T, B, K, QT, MSI, ML, G, G* -
- Intuitionism - Int and J -
- Many-Valued Logics - L3, Ln, L?, K3, G3, Gn, G?, S5 -
- A Paraconsistent Logic: J3
- Translations Between Logics
- The Semantic Foundations of Logic
- Summary of Logics