A second-order relevance logic with modality
Studia Logica 38 (2):113 - 135 (1979)
| Abstract | In this paper a system, RPF, of second-order relevance logic with S5 necessity is presented which contains a defined, notion of identity for propositions. A complete semantics is provided. It is shown that RPF allows for more than one necessary proposition. RPF contains primitive syntactic counterparts of the following semantic notions: (1) the reflexive, symmetrical, transitive binary alternativeness relation for S5 necessity, (2) the ternary Routley-Meyer alternativeness relation for implication, and (3) the Routley-Meyer notion of a prime intensional theory, as well as defined syntactic counterparts, of the semantic notions of a possible world and the Routley-Meyer * operator. | |||||||||
| 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,679 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesEdwin D. Mares & André Fuhrmann (1995). A Relevant Theory of Conditionals. Journal of Philosophical Logic 24 (6):645 - 665.
George Bealer (1983). Completeness in the Theory of Properties, Relations, and Propositions. Journal of Symbolic Logic 48 (2):415-426.
V. Halbach & P. Welch (2009). Necessities and Necessary Truths: A Prolegomenon to the Use of Modal Logic in the Analysis of Intensional Notions. Mind 118 (469):71-100.
Peter Roeper (2004). First- and Second-Order Logic of Mass Terms. Journal of Philosophical Logic 33 (3):261-297.
B. H. Slater (1992). Routley's Formulation of Transparency. History and Philosophy of Logic 13 (2):215-224.
B. J. Copeland (1979). On When a Semantics is Not a Semantics: Some Reasons for Disliking the Routley-Meyer Semantics for Relevance Logic. Journal of Philosophical Logic 8 (1):399 - 413.
Edwin D. Mares (1996). Relevant Logic and the Theory of Information. Synthese 109 (3):345 - 360.
Gemma Robles & José M. Méndez (2010). A Routley-Meyer Type Semantics for Relevant Logics Including B R Plus the Disjunctive Syllogism. Journal of Philosophical Logic 39 (2).
Edwin D. Mares (1995). A Star-Free Semantics for R. Journal of Symbolic Logic 60 (2):579 - 590.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads6 ( #145,615 of 549,087 )Recent downloads (6 months)1 ( #63,317 of 549,087 )How can I increase my downloads? |
My notes
Discussion
