What is it about?
This paper explores the algebraic semantics that C.I. Lewis was developing for his logical sysems S2 and S3 in the 1930s and 1940s and reconstructs the semantics and then a completeness proof is given for both of those sysetms.
Featured Image
Why is it important?
The logics S2 and S3, because they are not normal modal logics, are often disregarded but this paper shows how they can be given an intepretation in terms of Lewis's own philosophy and, I think, be understood as reasonable systems of logic.
Perspectives
Read the Original
This page is a summary of: C. I. Lewis’s Intensional Semantics, Notre Dame Journal of Formal Logic, August 2023, Duke University Press,
DOI: 10.1215/00294527-2023-0006.
You can read the full text:
Contributors
The following have contributed to this page