The King and Ace Puzzle: A Proposal of Solution from a Term Logic
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 t...
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Masaryk University
2025-06-01
|
| Series: | Profil |
| Subjects: | |
| Online Access: | https://journals.phil.muni.cz/profil/article/view/40436/34127 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1849329549791199232 |
|---|---|
| author | Miguel López-Astroga |
| author_facet | Miguel López-Astroga |
| author_sort | Miguel López-Astroga |
| collection | DOAJ |
| description | 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. |
| format | Article |
| id | doaj-art-9504610e776c4e93ab3831dc5d9c96e2 |
| institution | Kabale University |
| issn | 1212-9097 |
| language | English |
| publishDate | 2025-06-01 |
| publisher | Masaryk University |
| record_format | Article |
| series | Profil |
| spelling | doaj-art-9504610e776c4e93ab3831dc5d9c96e22025-08-20T03:47:13ZengMasaryk UniversityProfil1212-90972025-06-012613038https://doi.org/10.5817/pf25-1-40436The King and Ace Puzzle: A Proposal of Solution from a Term LogicMiguel López-Astroga0https://orcid.org/0000-0002-6004-0587Institute of Humanistic Studies, Research Center on Cognitive Science, University of Talca, Talca Campus, ChileWhat 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.https://journals.phil.muni.cz/profil/article/view/40436/34127conditionalinheritance copulainheritance logicpropositional logicterm logic |
| spellingShingle | Miguel López-Astroga The King and Ace Puzzle: A Proposal of Solution from a Term Logic Profil conditional inheritance copula inheritance logic propositional logic term logic |
| title | The King and Ace Puzzle: A Proposal of Solution from a Term Logic |
| title_full | The King and Ace Puzzle: A Proposal of Solution from a Term Logic |
| title_fullStr | The King and Ace Puzzle: A Proposal of Solution from a Term Logic |
| title_full_unstemmed | The King and Ace Puzzle: A Proposal of Solution from a Term Logic |
| title_short | The King and Ace Puzzle: A Proposal of Solution from a Term Logic |
| title_sort | king and ace puzzle a proposal of solution from a term logic |
| topic | conditional inheritance copula inheritance logic propositional logic term logic |
| url | https://journals.phil.muni.cz/profil/article/view/40436/34127 |
| work_keys_str_mv | AT miguellopezastroga thekingandacepuzzleaproposalofsolutionfromatermlogic AT miguellopezastroga kingandacepuzzleaproposalofsolutionfromatermlogic |