Studia Logica 38 (2):113 - 135 (1979)
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)|
References found in this work BETA
Entailment: The Logic of Relevance and Neccessity, Vol. I.Alan R. Anderson & Nuel D. Belnap - 1975 - Princeton University Press.
The Semantics of Entailment—II.Richard Routley & Robert K. Meyer - 1972 - Journal of Philosophical Logic 1 (1):53 - 73.
Citations of this work BETA
No citations found.
Similar books and articles
A Relevant Theory of Conditionals.Edwin D. Mares & André Fuhrmann - 1995 - Journal of Philosophical Logic 24 (6):645 - 665.
A Routley-Meyer Type Semantics for Relevant Logics Including B R Plus the Disjunctive Syllogism.Gemma Robles & José M. Méndez - 2010 - Journal of Philosophical Logic 39 (2):139 - 158.
On When a Semantics is Not a Semantics: Some Reasons for Disliking the Routley-Meyer Semantics for Relevance Logic. [REVIEW]B. J. Copeland - 1979 - Journal of Philosophical Logic 8 (1):399 - 413.
Routley's Formulation of Transparency.B. H. Slater - 1992 - History and Philosophy of Logic 13 (2):215-224.
First- and Second-Order Logic of Mass Terms.Peter Roeper - 2004 - Journal of Philosophical Logic 33 (3):261-297.
Necessities and Necessary Truths: A Prolegomenon to the Use of Modal Logic in the Analysis of Intensional Notions.V. Halbach & P. Welch - 2009 - Mind 118 (469):71-100.
Completeness in the Theory of Properties, Relations, and Propositions.George Bealer - 1983 - Journal of Symbolic Logic 48 (2):415-426.
Added to index2009-01-28
Total downloads23 ( #218,651 of 2,169,136 )
Recent downloads (6 months)1 ( #345,573 of 2,169,136 )
How can I increase my downloads?