Graduate studies at Western
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||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Edwin 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. [REVIEW] 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):139 - 158.
Edwin D. Mares (1995). A Star-Free Semantics for R. Journal of Symbolic Logic 60 (2):579 - 590.
Added to index2009-01-28
Total downloads7 ( #142,372 of 739,303 )
Recent downloads (6 months)1 ( #61,243 of 739,303 )
How can I increase my downloads?