Abstract
The logic DAI of demodalised analytic implication has been introduced by J.M. Dunn (and independently investigated by R.D. Epstein) as a variation on a time-honoured logical system by C.I. Lewis’ student W.T. Parry. The main tenet underlying this logic is that no implication can be valid unless its consequent is “analytically contained” in its antecedent. DAI has been investigated both proof-theoretically and model-theoretically, but no study so far has focussed on DAI from the viewpoint of abstract algebraic logic. We provide several different algebraic semantics for DAI, showing their equivalence with the known semantics by Dunn and Epstein. We also show that DAI is algebraisable and we identify its equivalent quasivariety semantics. This class turns out to be a linguistic and axiomatic expansion of involutive bisemilattices, a subquasivariety of which forms the algebraic counterpart of Paraconsistent Weak Kleene logic (PWK). This fact sheds further light on the relationship between containment logics and logics of nonsense.
Article PDF
Similar content being viewed by others
References
Bonzio, S., Gil Férez, J., Paoli, F., Peruzzi, L. (2017). On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis. Studia Logica, 105(2), 253–297.
Bonzio, S., Moraschini, T., Pra Baldi, M. Logics of left variable inclusion and Płonka sums of matrices, submitted for publication.
Burris S., & Sankappanavar H.P. (2012). A course in universal algebra, the Millennium Edition. Available at https://www.math.uwaterloo.ca/~snburris/htdocs/ualg.html.
Cabrer, L., & Priestley, H. (2015). A general framework for product representations: bilattices and beyond. Logic Journal of IGPL, 23, 816–841.
Carnielli, W. (1987). Methods of proof for relatedness and dependence logic. Reports on Mathematical Logic, 21, 35–46.
Ciuni, R., Ferguson, T.M., Szmuc, D. (2018). Relevant logics obeying component homogeneity. Australasian Journal of Logic, 15(2), 301–361.
Ciuni, R., Ferguson, T.M., Szmuc, D. Logics based on linear orders of contaminating values. typescript.
Dunn, J.M. (1972). A modification of Parry’s analytic implication. Notre Dame Journal of Formal Logic, 13(2), 195–205.
Epstein, R.D. (1987). The algebra of dependence logic. Reports on Mathematical Logic, 21, 19–34.
Epstein R.D. (1995). The semantic foundations of logic: propositional logics, 2nd edn. New York: Oxford University Press.
Fariñas del Cerro, L., & Lugardon, V. (1991). Sequents for dependence logic. Logique et Analyse, 34(133-134), 57–71.
Ferguson, T.M. (2014). A computational interpretation of conceptivism. Journal of Applied Non-Classical Logics, 24(4), 333–367.
Ferguson, T.M. (2017). Meaning and proscription in formal logic. Berlin: Springer.
Fine, K. (1986). Analytic implication. Notre Dame Journal of Formal Logic, 27(2), 169–179.
Font, J.M. (2016). Abstract algebraic logic: an introductory textbook. London: College Publications.
Font, J.M., Jansana, R., Pigozzi, D. (2003). A survey of abstract algebraic logic. Studia Logica, 74, 13–97.
Kielkopf, C.F. (1977). Formal sentential entailment. Washington: University Press of America.
Meyer, R.K. (1974). New axiomatics for relevant logics I. Journal of Philosophical Logic, 3, 53–86.
Parry, W.T. (1932). Implication. PhD Thesis, Harvard University.
Parry, W.T. (1968). The logic of C. I. Lewis. In Schilpp, P.A. (Ed.) , The Philosophy of C. I. Lewis (pp. 115–154). London: Cambridge University Press.
Plonka J. (1967). On distributive quasilattices. Fundamenta Mathematicae, 60, 191–200.
Plonka J. (1967). On a method of construction of abstract algebras. Fundamenta Mathematicae, 61(2), 183–189.
Płonka J. (1968). Some remarks on direct systems of algebras. Fundamenta Mathematicae, 62(3), 301–308.
Romanowska, A. (1986). On regular and regularized varieties. Algebra Universalis, 23, 215–241.
Romanowska, A., & Smith, J. (2002). Modes. Singapore: World Scientific.
Sylvan, R. (2000). On reasoning: (Ponible) reason for (and also against) relevance. In Hyde, D., & Priest, G. (Eds.) , Sociative logics and their applications (pp. 175–188). Ashgate: Aldershot.
Urquhart, A. (1973). A semantical theory of analytic implication. Journal of Philosophical Logic, 2(2), 212–219.
Acknowledgments
Preliminary versions of this paper were presented at the workshops Nonclassical modalities (Mexico City, September 2018) and Logic in Bochum IV (Bochum, October 2018). Thanks are due to the audiences of these talks for their insightful suggestions. A. Ledda and F. Paoli gratefully acknowledge the support of the Horizon 2020 program of the European Commission: SYSMICS project, number: 689176, MSCA-RISE-2015. All authors express their gratitude for the support of Fondazione di Sardegna within the project Science and its Logics: The Representation’s Dilemma, Cagliari, CUP: F72 F16 003 220 002, and the Regione Autonoma della Sardegna within the projects: Le proprietà d’ordine in matematica e fisica, CUP: F72 F16 002 920 002, Per un’estensione semantica della Logica Computazionale Quantistica - Impatto teorico e ricadute implementative, RAS: SR40341.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made.
The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.
To view a copy of this licence, visit https://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Ledda, A., Paoli, F. & Pra Baldi, M. Algebraic Analysis of Demodalised Analytic Implication. J Philos Logic 48, 957–979 (2019). https://doi.org/10.1007/s10992-019-09502-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10992-019-09502-2