Logical deductive processes as time consuming events: instance versus execution of logical arguments
[EN] The point of this paper is to show that deductive arguments may not be executed in deductive inferences, and reciprocally, deductive inferences, if they existed, may not instantiate deductive arguments. Three reasons for making this distinction between instances and executions of logical argume...
| Autor: | |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión borrador |
| Fecha de publicación: | 2025 |
| País: | España |
| Institución: | Universidad de León |
| Repositorio: | BULERIA. Repositorio Institucional de la Universidad de León |
| OAI Identifier: | oai:buleria.unileon.es:10612/26836 |
| Acceso en línea: | https://apcz.umk.pl/LLP/article/view/59257 https://hdl.handle.net/10612/26836 |
| Access Level: | acceso abierto |
| Palabra clave: | Lógica Deductive argument Deductive inference time consuming logicality 1101 Aplicaciones de la Lógica 6104.01 Procesos Cognitivos |
| Sumario: | [EN] The point of this paper is to show that deductive arguments may not be executed in deductive inferences, and reciprocally, deductive inferences, if they existed, may not instantiate deductive arguments. Three reasons for making this distinction between instances and executions of logical arguments are offered. For example, the pragmatic expectation of the consequent may instantiate a Modus Ponens argument form, but it does not execute a logical deduction. The proposed distinction clarifies the current state of the art on factual logically deductive inferences in two opposed directions: first, exemplifying a deductive argument is not enough for an inference to be deductive, and second, the same energy and timeconsuming process may both execute and instantiate a deductive argument. Future experiments may show or discard the existence of recursive and semirecursive processes being deductive inferences, that is, being at the same time instance and execution of a deductive argument form. Keywords: time consuming logicality; deductive argument; deductive inference; instance; execution; realization; recursion; semi-recursion |
|---|