Australasian Journal of Logic 15 (2):381-406 (2018)
Authors |
|
Abstract |
The Routley star, an involutive function between possible worlds or set-ups against which negation is evaluated, is a hallmark feature of Richard Sylvan and Val Plumwood's set-up semantics for the logic of first-degree entailment. Less frequently acknowledged is the weaker mate function described by Sylvan and his collaborators, which results from stripping the requirement of involutivity from the Routley star. Between the mate function and the Routley star, however, lies an broad field of intermediate semantical conditions characterizing an infinite number of consequence relations closely related to first-degree entailment. In this paper, we consider the semantics and proof theory for deductive systems corresponding to set-up models in which the mate function is cyclical. We describe modifications to Anderson and Belnap's consecution calculus LE_fde2 that correspond to these constraints, for which we prove soundness and completeness with respect to the set-up semantics. Finally, we show that a number of familiar metalogical properties are coordinated with the parity of a mate function's period, including refined versions of the variable-sharing property and the property of gentle explosiveness.
|
Keywords | No keywords specified (fix it) |
Categories | (categorize this paper) |
ISBN(s) | |
DOI | 10.26686/ajl.v15i2.4071 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
Relevant Logics and Their Rivals.Richard Routley, Val Plumwood, Robert K. Meyer & Ross T. Brady - 1982 - Ridgeview.
The Non-Involutive Routley Star: Relevant Logics Without Weak Double Negation.Gemma Robles - 2010 - Teorema: International Journal of Philosophy 29 (3):103-116.
A Note on the Non-Involutive Routley Star.Gemma Robles - 2008 - Bulletin of the Section of Logic 37 (1):19-27.
Citations of this work BETA
No citations found.
Similar books and articles
Two in the Bush: The Environmental Philosophy of Val Routley/Plumwood and Richard Routley/Sylvan.Hyde Dominic - 2009 - Southerly 69 (1):57+.
Is 'Function' a Deontic Modal Word?Michael Beebe & Michael University of British Columbia Emeritus Beebe - manuscript
Alternative Semantics for Quantified First Degree Relevant Logic.Richard Routley - 1979 - Studia Logica 38 (2):211 - 231.
Mitonuclear Mate Choice: A Missing Component of Sexual Selection Theory?Geoffrey E. Hill - 2018 - Bioessays 40 (3):1700191.
Negation And Contradiction.Richard Routley Val Routley, Richard Sylvan & Richard Routley - 1985 - Revista Columbiana de Mathematicas:201 - 231.
Mate Guarding and Frequent in-Pair Copulation in Humans.Todd K. Shackelford, Aaron T. Goetz, Faith E. Guta & David P. Schmitt - 2006 - Human Nature 17 (3):239-252.
The Non-Relevant De Morgan Minimal Logic in Routley-Meyer Semantics with No Designated Points.Gemma Robles & José M. Méndez - 2014 - Journal of Applied Non-Classical Logics 24 (4):321-332.
Trade-Offs in Low-Income Women’s Mate Preferences.Jacob M. Vigil, David C. Geary & Jennifer Byrd-Craven - 2006 - Human Nature 17 (3):319-336.
Sex and Age Differences in Mate-Selection Preferences.Sascha Schwarz & Manfred Hassebrauck - 2012 - Human Nature 23 (4):447-466.
Mate Preference is Not Mate Selection.Ada Zohar & Ruth Guttman - 1989 - Behavioral and Brain Sciences 12 (1):38-39.
A Routley–Meyer Semantics for Gödel 3-Valued Logic and Its Paraconsistent Counterpart.Gemma Robles - 2013 - Logica Universalis 7 (4):507-532.
Analytics
Added to PP index
2018-08-04
Total views
11 ( #855,936 of 2,519,687 )
Recent downloads (6 months)
1 ( #406,314 of 2,519,687 )
2018-08-04
Total views
11 ( #855,936 of 2,519,687 )
Recent downloads (6 months)
1 ( #406,314 of 2,519,687 )
How can I increase my downloads?
Downloads