A Lewisian Semantics for S2
History and Philosophy of Logic 34 (1):53-67 (2013)
| 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 | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,672 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesPietro Galliani (2013). General Models and Entailment Semantics for Independence Logic. Notre Dame Journal of Formal Logic 54 (2):253-275.
Igor Sedlar (2009). C. I. Lewis on Possible Worlds. History and Philosophy of Logic 30 (3):283-291.
Edwin D. Mares (1992). Semantics for Relevance Logic with Identity. Studia Logica 51 (1):1 - 20.
Arnold Nat (1979). First-Order Indefinite and Uniform Neighbourhood Semantics. Studia Logica 38 (3):277 - 296.
Alexander R. Pruss (2007). Conjunctions, Disjunctions and Lewisian Semantics for Counterfactuals. Synthese 156 (1):33 - 52.
W. J. Blok & J. Rebagliato (2003). Algebraic Semantics for Deductive Systems. Studia Logica 74 (1-2):153 - 180.
Allard Tamminga & Koji Tanaka (1999). A Natural Deduction System for First Degree Entailment. Notre Dame Journal of Formal Logic 40 (2):258-272.
Takashi Yagisawa (1992). Possible Worlds as Shifting Domains. Erkenntnis 36 (1):83 - 101.
Lou Goble (2003). Neighborhoods for Entailment. Journal of Philosophical Logic 32 (5):483-529.
Edwin D. Mares (2004). “Four-Valued” Semantics for the Relevant Logic R. Journal of Philosophical Logic 33 (3):327-341.
Jiji Zhang (2013). A Lewisian Logic of Causal Counterfactuals. Minds and Machines 23 (1):77-93.
Seiki Akama (1990). Subformula Semantics for Strong Negation Systems. Journal of Philosophical Logic 19 (2):217 - 226.
Michał Walicki (2012). Introduction to Mathematical Logic. World Scientific.
Edwin D. Mares (1994). Why We Need a Relevant Theory of Conditionals. Topoi 13 (1):31-36.
M. J. Cresswell (1982). Urn Models: A Classical Exposition. Studia Logica 41 (2-3):109 - 130.
Analytics
Monthly downloads |
Added to index2012-11-09Total downloads3 ( #201,838 of 549,065 )Recent downloads (6 months)1 ( #63,185 of 549,065 )How can I increase my downloads? |
My notes
Discussion
