Abstract
Logic-driven applications like knowledge representation typically operate with the tools of classical, first-order logic. In these applications’ standard, extensional domains—e.g., knowledge bases representing product features—these deductive tools are suitable. However, there remain many domains for which these tools seem overly strong. If, e.g., an artificial conversational agent maintains a knowledge base cataloging e.g. an interlocutor’s beliefs or goals, it is unlikely that the model’s contents are closed under Boolean logic. There exist propositional deductive systems whose notions of validity and equivalence more closely align with legitimate inferences over such intentional contexts. E.g., philosophers like Kit Fine and Stephen Yablo have made compelling cases that Richard Angell’s \(\mathsf {AC}\) characterizes synonymy, under which such intentional contexts should be closed. In this paper, we adapt several of these systems by introducing sufficient quantification theory to support e.g. subsumption reasoning. Given the close relationship between these systems and weak Kleene logic, we initially define a novel theory of restricted quantifiers for weak Kleene logic and describe a sound and complete tableau proof theory. We extend the account of quantification and tableau calculi to two related systems: Angell’s \(\mathsf {AC}\) and Charles Daniel’s \(\mathsf {S}^{\star }_{\mathtt {fde}}\), providing new tools for modeling and reasoning about agents’ mental states.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
Although not frequently encountered in the literature, Malinowski describes them in [15].
- 2.
One qualification is in order, namely, that the critique emphasizes the semantic interpretations. Recent work by Andreas Fjellstad in [10] provides a very elegant proof-theoretic analysis but explicitly declines to “engage in the discussion” of interpretation.
- 3.
N.b. that the criterion for closure is that a formula appears signed with distinct truth values and not distinct signs. E.g., \(\mathfrak {m}:\varphi \) is merely a notational device for potential branching, so both \(\mathfrak {m}:\varphi \) and \(\mathfrak {t}:\varphi \) may harmoniously appear in an open branch.
- 4.
A reviewer has observed that alternative definitions could be considered, e.g., requiring preservation of non-refutability in the second coordinate. Whether such alternatives determine distinct consequence relations is an interesting question.
References
Angell, R.B.: Three systems of first degree entailment. J. Symb. Log. 42(1), 147–148 (1977)
Bochvar, D.A.: On a three-valued logical calculus and its application to the analysis of contradictions. Matematicheskii Sbornik 4(2), 287–308 (1938)
Carnielli, W., Marcos, J., de Amo, S.: Formal inconsistency and evolutionary databases. Logic Log. Philos. 8, 115–152 (2000)
Carnielli, W.A.: Systematization of finite many-valued logics through the method of tableaux. J. Symb. Log. 52(2), 473–493 (1987)
Correia, F.: Grounding and truth functions. Logique et Anal. (N.S.) 53(211), 251–279 (2010)
Daniels, C.: A note on negation. Erkenntnis 32(3), 423–429 (1990)
Ferguson, T.M.: Faulty Belnap computers and subsystems of \({\sf FDE}\). J. Logic Comput. 26(5), 1617–1636 (2016)
Ferguson, T.M.: Secrecy, content, and quantification. Análisis Filosófico 1–14 (2021, to appear)
Fine, K.: Angellic content. J. Philos. Log. 45(2), 199–226 (2016)
Fjellstad, A.: Structural proof theory for first-order weak Kleene logics. J. Appl. Non-Classical Logics 30(3), 272–289 (2020)
Halldén, S.: The Logic of Nonsense. Lundequista Bokhandeln, Uppsala, Sweden (1949)
Kamide, N.: An embedding-based completeness proof for Nelson’s paraconsistent logic. Bull. Section Logic 39(3/4), 205–214 (2010)
Kapsner, A.: Logics and Falsifications. Springer, Cham (2014)
Kleene, S.C.: Introduction to Metamathematics. North-Holland Publishing Company, Amsterdam (1952)
Malinowski, G.: Many-valued logic. In: Jacquette, D. (ed.) A Companion to Philosophical Logic, pp. 545–561. Blackwell Publishing, Oxford (2002)
Nelson, D.: Negation and separation of concepts in constructive systems. In: Heyting, A. (ed.) Constructivity in Mathematics, pp. 208–225. North-Holland, Amsterdam (1959)
Szmuc, D., Da Re, B.: Immune logics. Australas. J. Log. 18(1), 29–52 (2021)
Yablo, S.: Aboutness. Princeton University Press, Princeton (2014)
Acknowledgements
I appreciate the insights and thoughtful input of four reviewers, whose suggestions were very helpful in revising this paper.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 Springer Nature Switzerland AG
About this paper
Cite this paper
Ferguson, T.M. (2021). Tableaux and Restricted Quantification for Systems Related to Weak Kleene Logic. In: Das, A., Negri, S. (eds) Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2021. Lecture Notes in Computer Science(), vol 12842. Springer, Cham. https://doi.org/10.1007/978-3-030-86059-2_1
Download citation
DOI: https://doi.org/10.1007/978-3-030-86059-2_1
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-86058-5
Online ISBN: 978-3-030-86059-2
eBook Packages: Computer ScienceComputer Science (R0)