Abstract
Despite a renewed interest in Richard Angell’s logic of analytic containment (\({\mathsf{AC}}\)), the first semantics for \({\mathsf{AC}}\) introduced by Fabrice Correia has remained largely unexamined. This paper describes a reasonable approach to Correia semantics by means of a correspondence with a nine-valued semantics for \({\mathsf{AC}}\). The present inquiry employs this correspondence to provide characterizations of a number of propositional logics intermediate between \({\mathsf{AC}}\) and classical logic. In particular, we examine Correia’s purported characterization of classical logic with respect to his semantics, showing the condition Correia cites in fact characterizes the “logic of paradox” \({\mathsf{LP}}\) and provide a correct characterization. Finally, we consider some remarks on related matters, such as the applicability of the present correspondence to the analysis of the system \({\mathsf{AC}^{\ast}}\) and an intriguing relationship between Correia’s models and articular models for first degree entailment.
Similar content being viewed by others
References
Angell R. B.: Three systems of first degree entailment. Journal of Symbolic Logic 42(1), 147 (1977)
Angell, R. B., Deducibility, entailment and analytic containment, in J. Norman, and R. Sylvan, (eds.), Directions in Relevant Logic, Reason and Argument, Kluwer Academic Publishers, Boston, MA, 1989, pp. 119–143.
Beall J. C.: Multiple-conclusion \({\mathsf{LP}}\) and default classicality. Review of Symbolic Logic 4(2), 326–336 (2011)
Belnap, N. D., Jr., How a computer should think, in G. Ryle, (ed.), Contemporary Aspects of Philosophy, Oriel Press, Stockfield, 1977, pp. 30–56.
Belnap, N. D., Jr., A useful four-valued logic, in J. M. Dunn, and G. Epstein, (eds.), Modern Uses of Multiple-valued Logic, Reidel, Dordrecht, 1977, pp. 8–37.
Belnap, N. D., Jr., Rescher’s Hypothetical Reasoning: an amendment, in E. Sosa, (ed.), The Philosophy of Nicholas Rescher, Philosophical Studies Series in Philosophy, R. Reidel Publishing Company, Boston, MA, 1979, pp. 19–28.
Bochvar D. A.: On a three-valued logical calculus and its application to the analysis of contradictions. Matematicheskii Sbornik 4(2), 287–308 (1938)
Bolc, L., and P. Borowik, Many-Valued Logics, Springer, New York, 1992.
Correia F.: Semantics for analytic containment. Studia Logica 77(1), 87–104 (2004)
Correia F.: Grounding and truth functions. Logique et Analyse 53(211), 251–279 (2010)
Daniels C.: A story semantics for implication. Notre Dame Journal of Formal Logic 27(2), 221–246 (1986)
Daniels C.: A note on negation. Erkenntnis 32(3), 423–429 (1990)
Deutsch H.: Relevant analytic entailment. The Relevance Logic Newsletter 2(1), 26–44 (1977)
Deutsch H.: The completeness of \({\mathsf{S}}\). Studia Logica 38(2), 137–147 (1979)
Dunn J. M.: Intuitive semantics for first-degree entailments and ‘coupled trees’. Philosophical Studies 29(3), 149–168 (1976)
Dunn, J. M., A Kripke-style semantics for \({\mathsf{R}}\)-Mingle using a binary accessibility relation, Studia Logica 35(2):163–172, 1976.
Ferguson T. M.: A computational interpretation of conceptivism. Journal of Applied Non-Classical Logics 24(4), 333–367 (2014)
Ferguson, T. M., Faulty Belnap computers and subsystems of \({\mathsf{FDE}}\), Journal of Logic and Computation 2014. To appear.
Ferguson T. M.: Logics of nonsense and Parry systems. Journal of Philosophical Logic 44(1), 65–80 (2015)
Fine K.: Analytic implication. Notre Dame Journal of Formal Logic 27(2), 169–179 (1986)
Fine, K., Angellic content, Journal of Philosophical Logic 2015. To appear.
Jennings, R. E., and Y. Chen, Articular models for first-degree paraconsistent systems, in Proceedings of the 9th IEEE International Conference on Cognitive Informatics (ICCI 2010), IEEE Computer Society, Los Alamitos, CA, 2010, pp. 904–907.
Jennings, R. E., Y. Chen, and J. Sahasrabudhe, On a new idiom in the study of entailment, Logica Universalis 5(1):101–113, 2011.
Kleene, S. C., Introduction to Metamathematics, North-Holland Publishing Company, Amsterdam, 1952.
Parry, W. T., Ein Axiomensystem für eine neue Art von Implikation (analytische Implikation), Ergebnisse eines mathematischen Kolloquiums 4:5–6, 1933.
Pohlers, W., Proof Theory, Springer, Berlin, 2008.
Priest, G., The logic of paradox, Journal of Philosophical Logic 8(1):219–241, 1979.
Priest G.: The logic of the catuskoti. Comparative Philosophy 1(2), 24–54 (2010)
Robinson J. A.: A machine-oriented logic based on the resolution principle. Journal of the ACM 12(1), 23–41 (1965)
Routley, R., and R. K. Meyer, Every sentential logic has a two-valued worlds semantics, Logique et Analyse 19(74–76):345–365, 1976.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Ferguson, T.M. Correia Semantics Revisited. Stud Logica 104, 145–173 (2016). https://doi.org/10.1007/s11225-015-9631-2
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-015-9631-2