Deep ST
Uloženo v:
| Název: | Deep ST |
|---|---|
| Autoři: | Thomas Macaulay Ferguson, Elisángela Ramírez-Cámara |
| Zdroj: | Journal of Philosophical Logic. 51:1261-1293 |
| Informace o vydavateli: | Springer Science and Business Media LLC, 2021. |
| Rok vydání: | 2021 |
| Témata: | Artificial intelligence, Separation Logic, Economics, Abstract Interpretation, 0603 philosophy, ethics and religion, 01 natural sciences, Description Logics, Theoretical computer science, Logic Programming and Knowledge Representation, Artificial Intelligence, Hierarchy, Classical logic, Market economy, Fuzzy Logic and Residuated Lattices, FOS: Mathematics, 0101 mathematics, Nonmonotonic Reasoning, Mathematical economics, Semantics (computer science), 06 humanities and the arts, Computer science, Programming language, Computational Theory and Mathematics, Constraint Logic Programming, Combinatorics, Computer Science, Physical Sciences, Program Analysis and Verification Techniques, Transitive relation, Mathematics |
| Popis: | Many analyses of notion of metainferences in the non-transitive logic have tackled the question of whether can be identified with classical logic. In this paper, we argue that the primary analyses are overly restrictive of the notion of metainference. We offer a more elegant and tractable semantics for the strict-tolerant hierarchy based on the three-valued function for the material conditional. This semantics can be shown to easily handle the introduction of mixed inferences, i.e., inferences involving objects belonging to more than one (meta)inferential level and solves several other limitations of the hierarchies introduced by Barrio, Pailos, and Szmuc. |
| Druh dokumentu: | Article Other literature type |
| Popis souboru: | application/pdf |
| Jazyk: | English |
| ISSN: | 1573-0433 0022-3611 |
| DOI: | 10.1007/s10992-021-09630-8 |
| DOI: | 10.60692/06ddn-eqx90 |
| DOI: | 10.60692/dettx-7qm97 |
| Přístupová URL adresa: | https://link.springer.com/content/pdf/10.1007/s10992-021-09630-8.pdf https://dare.uva.nl/personal/pure/en/publications/deep-st(34766b9c-1eab-4fa0-8631-5974d3de2997).html https://doi.org/10.1007/s10992-021-09630-8 https://hdl.handle.net/11245.1/34766b9c-1eab-4fa0-8631-5974d3de2997 |
| Rights: | CC BY |
| Přístupové číslo: | edsair.doi.dedup.....bdb6b473a4dca992c9787a6380d62e4e |
| Databáze: | OpenAIRE |
Full Text Finder 
Nájsť tento článok vo Web of Science | Abstrakt: | Many analyses of notion of metainferences in the non-transitive logic have tackled the question of whether can be identified with classical logic. In this paper, we argue that the primary analyses are overly restrictive of the notion of metainference. We offer a more elegant and tractable semantics for the strict-tolerant hierarchy based on the three-valued function for the material conditional. This semantics can be shown to easily handle the introduction of mixed inferences, i.e., inferences involving objects belonging to more than one (meta)inferential level and solves several other limitations of the hierarchies introduced by Barrio, Pailos, and Szmuc. |
|---|---|
| ISSN: | 15730433 00223611 |
| DOI: | 10.1007/s10992-021-09630-8 |