An alternative rule of disjunction in modal logic

Notre Dame Journal of Formal Logic 33 (1):89-100 (1991)
Lemmon and Scott introduced the notion of a modal system's providing the rule of disjunction. No consistent normal extension of KB provides this rule. An alternative rule is defined, which KDB, KTB, and other systems are shown to provide, while K and other systems provide the Lemmon-Scott rule but not the alternative rule. If S provides the alternative rule then either —A is a theorem of S or A is whenever A -> ΠA is a theorem; the converse fails. It is suggested that systems with this property are appropriate for handling sorites paradoxes, where D is read as 'clearly*. The S4 axiom fails in such systems
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Reprint years 1992
DOI 10.1305/ndjfl/1093636011
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 29,820
Through your library
References found in this work BETA

No references found.

Add more references

Citations of this work BETA
Inexact Knowledge with Introspection.Denis Bonnay & Paul Égré - 2009 - Journal of Philosophical Logic 38 (2):179-227.
On Rules.Rosalie Iemhoff - forthcoming - Journal of Philosophical Logic:1-15.
Modal Logics with the MacIntosh Rule.Brian F. Chellas & Krister Segerberg - 1994 - Journal of Philosophical Logic 23 (1):67 - 86.
Non-Genuine MacIntosh Logics.Timothy Williamson - 1994 - Journal of Philosophical Logic 23 (1):87 - 101.

Add more citations

Similar books and articles
The True Modal Logic.Christopher Menzel - 1991 - Journal of Philosophical Logic 20 (4):331 - 374.
Elementary Definability and Completeness in General and Positive Modal Logic.Ernst Zimmermann - 2003 - Journal of Logic, Language and Information 12 (1):99-117.
The Semantics of HOARE's Iteration Rule.Robert Goldblatt - 1982 - Studia Logica 41 (2-3):141 - 158.
Deviant Logic: Some Philosophical Issues.Susan Haack - 1974 - Cambridge University Press.
Primitive Worlds.Takashi Yagisawa - 2002 - Acta Analytica 17 (1):19-37.
Barcan Formulas in Second-Order Modal Logic.Timothy Williamson - 2015 - In Michael Frauchiger (ed.), Themes From Barcan Marcus. Ontos Verlag. pp. 51-74.
Added to PP index

Total downloads
14 ( #364,790 of 2,210,137 )

Recent downloads (6 months)
1 ( #382,810 of 2,210,137 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature