An alternative rule of disjunction in modal logic

Notre Dame Journal of Formal Logic 33 (1):89-100 (1991)
Abstract
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
Options
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 27,606
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é - 2008 - 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.

Monthly downloads

Added to index

2010-08-24

Total downloads

13 ( #353,285 of 2,168,616 )

Recent downloads (6 months)

1 ( #346,816 of 2,168,616 )

How can I increase my downloads?

My notes
Sign in to use this feature


Discussion
Order:
There  are no threads in this forum
Nothing in this forum yet.

Other forums