History and Philosophy of Logic 34 (1):53-67 (2013)
Authors |
|
Abstract |
This paper sets out a semantics for C.I. Lewis's logic S2 based on the ontology of his 1923 paper ‘Facts, Systems, and the Unity of the World’. In that article, worlds are taken to be maximal consistent systems. A system, moreover, is a collection of facts that is closed under logical entailment and conjunction. In this paper, instead of defining systems in terms of logical entailment, I use certain ideas in Lewis's epistemology and philosophy of logic to define a class of models in which systems are taken to be primitive elements but bear certain relations to one another. I prove soundness and completeness for S2 over this class of models and argue that this semantics makes sense of at least a substantial fragment of Lewis's logical theory.
|
Keywords | No keywords specified (fix it) |
Categories | (categorize this paper) |
ISBN(s) | |
DOI | 10.1080/01445340.2012.733269 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
Meaning and Necessity: A Study in Semantics and Modal Logic.Rudolf Carnap - 1947 - Chicago, IL, USA: University of Chicago Press.
Meaning and Necessity: A Study in Semantics and Modal Logic.Rudolf Carnap - 1947 - Chicago, IL, USA: University of Chicago Press.
An Introduction to Non-Classical Logic: From If to Is.Graham Priest - 2008 - Cambridge University Press.
An Analysis of Knowledge and Valuation.Clarence Irving Lewis - 1946 - La Salle, IL, USA: Open Court.
View all 37 references / Add more references
Citations of this work BETA
No citations found.
Similar books and articles
General Models and Entailment Semantics for Independence Logic.Pietro Galliani - 2013 - Notre Dame Journal of Formal Logic 54 (2):253-275.
First-Order Indefinite and Uniform Neighbourhood Semantics.Arnold Nat - 1979 - Studia Logica 38 (3):277 - 296.
Algebraic Semantics for Deductive Systems.W. J. Blok & J. Rebagliato - 2003 - Studia Logica 74 (1-2):153 - 180.
A Natural Deduction System for First Degree Entailment.Allard M. Tamminga & Koji Tanaka - 1999 - Notre Dame Journal of Formal Logic 40 (2):258-272.
“Four-Valued” Semantics for the Relevant Logic R.Edwin D. Mares - 2004 - Journal of Philosophical Logic 33 (3):327-341.
Subformula Semantics for Strong Negation Systems.Seiki Akama - 1990 - Journal of Philosophical Logic 19 (2):217 - 226.
Analytics
Added to PP index
2012-11-09
Total views
14 ( #732,010 of 2,506,474 )
Recent downloads (6 months)
1 ( #416,791 of 2,506,474 )
2012-11-09
Total views
14 ( #732,010 of 2,506,474 )
Recent downloads (6 months)
1 ( #416,791 of 2,506,474 )
How can I increase my downloads?
Downloads