The King and Ace Puzzle: A Proposal of Solution from a Term Logic
Vol.26,No.1(2025)
What I call the ‘king and ace puzzle’ here is an inference whose correct conclusion is hard to infer for people. There are reasoning theories offering explanations about this fact, including relevant frameworks such as the mental logic theory and the theory of mental models. In this paper, I claim that a term logic such as Inheritance Logic can also give us its account of that cognitive phenomenon. The key is the assumption of an equivalence: conditionals can be deemed as inheritance copulas.
conditional; inheritance copula; Inheritance Logic; Propositional Logic; term logic
Braine, M. D. S. – O’Brien, D. P. (eds.) (1998): Mental Logic, Mahwah: Lawrence Erlbaum Associates.
Bringsjord, S. – Noel, R. – Bringsjord, E. (1998): In defense of logical minds, in Gernsbacher, M. A. – Derry, S. J. (eds.), Proceedings of the Twentieth Annual Conference of the Cognitive Science Society, Mahwah: Lawrence Erlbaum Associates, 173–178.
Johnson-Laird, P. N. (1997): An end to the controversy? A reply to Rips, Minds and Machines 7(3), 425–432, available here.
Johnson-Laird, P. N. (2023): Possibilities and human reasoning, Possibility Studies & Society 1(1–2), 105–112, available here.
Johnson-Laird, P. N. – Byrne, R. M. J. – Khemlani, S. (2023): Human verifications: Computable with truth tables outside logic, Proceedings of the National Academy of Sciences 120(40), e2310488120, available at: here.
Khemlani, S. – Johnson-Laird, P. N. (2022): Reasoning about properties: A computational theory, Psychological Review 129(2), 289–312, available at: here.
López-Astorga, M. (2024): Hintikka’s theorem does not hold in Non-Axiomatic Logic, Analele Universității din Craiova, Seria Filosofie 54(2), 183–193, available here.
O’Brien, D. P. (2014): Conditionals and disjunctions in mental-logic theory: A response to Liu and Chou (2012) and to López-Astorga (2013), Universum 29(2), 221–235, available here.
O’Brien, D. P. (2021): Natural logic, in Knauff, M. – Spohn, W. (eds.), The Handbook of Rationality, Cambridge: MIT Press, 215–224, available here.
Russell, S. – Norvig, P. (2010): Artificial Intelligence: A Modern Approach, Upper Saddle River: Prentice Hall.
Wang, P. (2013): Non-Axiomatic Logic: A Model of Intelligent Reasoning, Singapore: World Scientific, available here.
Wang, P. (2023): The role of copulas in reasoning, Technical Report #17, Temple AGI Team, Temple University, [accessed 2025-03-07], available here.
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.
Copyright © 2025 Miguel López-Astorga