Relevant Logics Obeying Component Homogeneity

Australasian Journal of Logic 15 (2):301-361 (2018)
Download Edit this record How to cite View on PhilPapers
This paper discusses three relevant logics that obey Component Homogeneity - a principle that Goddard and Routley introduce in their project of a logic of significance. The paper establishes two main results. First, it establishes a general characterization result for two families of logic that obey Component Homogeneity - that is, we provide a set of necessary and sufficient conditions for their consequence relations. From this, we derive characterization results for S*fde, dS*fde, crossS*fde. Second, the paper establishes complete sequent calculi for S*fde, dS*fde, crossS*fde. Among the other accomplishments of the paper, we generalize the semantics from Bochvar, Hallden, Deutsch and Daniels, we provide a general recipe to define containment logics, we explore the single-premise/single-conclusion fragment of S*fde, dS*fde, crossS*fdeand the connections between crossS*fde and the logic Eq of equality by Epstein. Also, we present S*fde as a relevant logic of meaninglessness that follows the main philosophical tenets of Goddard and Routley, and we briefly examine three further systems that are closely related to our main logics. Finally, we discuss Routley's criticism to containment logic in light of our results, and overview some open issues.
No keywords specified (fix it)
(categorize this paper)
PhilPapers/Archive ID
Revision history
Archival date: 2018-11-29
View upload history
References found in this work BETA
On Paraconsistent Weak Kleene Logic: Axiomatisation and Algebraic Analysis.Bonzio, Stefano; Gil-Férez, José; Paoli, Francesco & Peruzzi, Luisa
Logics of Nonsense and Parry Systems.Ferguson, Thomas Macaulay
Semantical Analysis of Weak Kleene Logics.Ciuni, Roberto & Carrara, Massimiliano

View all 18 references / Add more references

Citations of this work BETA
Proof Theory of Paraconsistent Weak Kleene Logic.Paoli, Francesco & Baldi, Michele Pra
Algebraic Analysis of Demodalised Analytic Implication.Ledda, Antonio; Paoli, Francesco & Baldi, Michele Pra

Add more citations

Added to PP index

Total views
127 ( #29,304 of 50,183 )

Recent downloads (6 months)
21 ( #27,965 of 50,183 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.