Logical Deductive Processes as Time Consuming Events : Instance versus execution of logical arguments

Francisco Salto

doi:10.12775/LLP.2025.017

Autor

Francisco Salto Área de Lógica, Facultad de Filosofía y Letras, Universidad de León https://orcid.org/0000-0001-6316-1774

DOI:

https://doi.org/10.12775/LLP.2025.017

Słowa kluczowe

time consuming logicality, deductive argument, deductive inference, instance, execution, connective of realization, recursion, semi-recursion

Abstrakt

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 time-consuming process may both execute and instantiate a deductive argument. Future experiments may show or discard the existence of recursive and semi-recursive processes being deductive inferences, that is, being at the same time instance and execution of a deductive argument form.

Bibliografia

Adams, E., 1975, The logic of conditionals, Dordrecht: D. Reidel. Inquiry 8 (1–4): 166–197. DOI: https://doi.org/10.1007/978-94-015-7622-2

Álvarez-Merino, P., C. Requena and F. Salto, 2020, “The measurement of factive deductivity: a psychological and cerebral review”, pages 53–78 in M. Urbanski (ed.), Reasoning: Games, Cognition and Logic, College Publications, London.

Baggio, G., 2021, “Compositionality in a parallel architecture for language processing”, Cognitive Science 45(5): e12949. DOI: https://doi.org/10.1111/cogs.12949

Barcelo, A., 202x, ``What is deductive inference?’’, manuscript.

Barthel, M., R. Tomasello and M. Liu, 2024, “Conditionals in context: Brain signatures of prediction in discourse processing”, Cognition 242: 105635.DOI: https://doi.org/10.1016/j.cognition.2023.105635

Bermúdez, J. L., 2006, “Animal reasoning and proto-logic”, pages 127–138 in S. Hurley and M. Nudds (eds.), Rational Animals?, OUP. DOI: https://doi.org/10.1093/acprof:oso/9780198528272.003.0005

Boghossian, P., 2014, “What is inference?”, Philos. Stud. 169: 1–18. DOI: https://doi.org/10.1007/s11098-012-9903-x

Bonnefond, M., and J. B. Van der Henst, 2009, “What’s behind an inference? An EEG study with conditional arguments”, Neuropsychologia 47(14): 3125–3133. DOI: https://doi.org/10.1016/j.neuropsychologia.2009.07.014

Bonnefond, M., J. B. Van der Henst, M. Gougain, S. Robic, M. D. Olsen, O. Weiss and I. Noveck, 2012, “How pragmatic interpretations arise from conditionals: Profiling the affirmation of the consequent argument with reaction time and EEG measures”, Journal of Memory and Language 67(4): 468–485. DOI: https://doi.org/10.1016/j.jml.2012.07.007

Braine, M. D., 2013,“The “natural logic” approach to reasoning”, pages 133–157 in Reasoning, Necessity, and Logic, Psychology Press.

Boolos, G. S., J. P. Burgess and R. C. Jeffrey, 2002, Computability and Logic, Cambridge University Press. DOI: https://doi.org/10.1017/CBO9780511804076

Casalegno, P., and D. Marconi, 2009, “Reasons to believe and assertion”, Dialectica 63(3): 231–248. DOI: https://doi.org/10.1111/j.1746-8361.2009.01202.x

Cesana-Arlotti, N., A. Martín, E. Téglás, L. Vorobyova, R. Cetnarski and L. L. Bonatti, 2018, “Precursors of logical reasoning in preverbal human infants”, Science 359(6381): 1263–1266. DOI: https://doi.org/10.1126/science.aao3539

Colombo, M., and M. Knauff, 2020, Editors’ review and introduction: “Levels of explanation in cognitive science: From molecules to culture”, Topics in Cognitive Science 12(4): 1224–1240.

Cosmides, L., H. C. Barrett and J. Tooby, 2010, “Adaptive specializations, social exchange, and the evolution of human intelligence”, Proceedings of the National Academy of Sciences 107(2): 9007–9014. DOI: https://doi.org/10.1073/pnas.0914623107

Epstein, R. L., and W. A. Carnielli, 2018, “Computability: Computable functions, logic, and the foundations of mathematics”, Advanced Reasoning Forum.

Espino, O. and G. Ramírez, 2018, “Effects of order of presentation on conditional reasoning”, Journal of Cognitive Psychology 30(8): 832–839. DOI: https://doi.org/10.1080/20445911.2018.1541178

Evans, J. S. B. T., and D. E. Over, 2013, “Reasoning to and from belief: Deduction and induction are still distinct”, Thinking & Reasoning 19(3–4): 267–283. DOI: ="https://doi.org/10.1080/13546783.2012.745450

Evans, J. S. B. T., V. A. Thompson and D. E. Over, 2015, “Uncertain deduction and conditional reasoning”, Front. Psychol. 6(398). DOI: https://doi.org/10.3389/fpsyg.2015.00398

Falco, M. J., 2019, “Set enterprise”, board game.

Fischmeister, F. P., M. J. Martins, R. Beisteiner and W. T. Fitch, 2017, “Self-similarity and recursion as default modes in human cognition”, Cortex 97: 183–201.

Frege, G., 2014, Begriffsschrift und andere Aufsätze, Georg Olms Verlag.

Friederici, A. D., J. Bahlmann, R. Friedrich and M. Makuuchi, 2011, “The neural basis of recursion and complex syntactic hierarchy”, Biolinguistics 5(1–2): 87–104.

Gautam, S., T. Suddendorf and J. Redshaw, 2021, “When can young children reason about an exclusive disjunction?”, A follow up to Morey & Carey 2016, Cognition 207: 104507.

Gabbay, D., and J. Woods, 2001, “The new logic”, Logic Journal of the IGPL 9(2): 141–174. DOI: https://doi.org/10.1093/jigpal/9.2.141

Gazzo Castañeda, L. E., B. Skarek, D. E. Dal Mas and M. Knauff, 2023, “Probabilistic & deductive reasoning in the human mind”, Neuroimage 275: 120180. DOI: https://doi.org/10.1016/j.neuroimage.2023.120180

Ghasemi, O., S. Handley and S. Howarth, 2022, “The bright homunculus in our head: Individual differences in intuitive sensitivity to logical validity”, Quarterly Journal of Experimental Psychology 75(3):508–535. DOI: https://doi.org/10.1177/17470218211044691

Goel, V., 2019, “Hemispheric asymmetry in the prefrontal cortex for complex cognition”, Handbook of Clinical Neurology 163: 179–96. DOI: https://doi.org/10.1016/B978-0-12-804281-6.00010-0

Goodman, J., 2018, “On defining ‘Argument’ ”, Argumentation 32: 589–602. DOI: https://doi.org/10.1007/s10503-018-9457-y

Harman G., 1973, Thought, Princeton University Press. DOI: https://doi.org/10.1515/9781400868995

Harman G., 1984, “Logic and reasoning”, Synthese 60(1): 107–121. DOI: https://doi.org/10.1007/978-94-017-1592-8_7

Harman, G., 2002, “Internal critique: A logic is not a theory of reasoning and a theory of reasoning is not a logic”, Studies in Logic and Practical Reasoning 1: 171–186.

Harman G., and S. Khemlani, 2012, Reliable Reasoning: Induction and Statistical Learning Theory, MIT Press. DOI: https://doi.org/10.7551/mitpress/5876.001.0001

Heit, E., and C. M. Rotello, 2010, “Relations between inductive reasoning and deductive reasoning”, Journal of Experimental Psychology: Learning, Memory, and Cognition 36(3): 805. DOI: https://doi.org/10.1037/a0018784

Johnson-Laird, P. N., 2010, “Against logical form”, Psychologica Belgica 50(3–4): 193–221. DOI: https://doi.org/10.5334/pb-50-3-4-193

Johnson-Laird, P. N., S. Khemlani and G. P. Goodwin, 2015, “Logic, probability, and human reasoning”, Trends in Cognitive Sciences 19(4): 201–214. DOI: https://doi.org/10.1016/j.tics.2015.02.006

Johnson-Laird, P. N., and S. Khemlani, 2023, “What happened to the ‘new paradigm’? A comment on Knauff and Gazzo Castañeda”, Thinking & Reasoning 29(3), 409-415. DOI: https://doi.org/10.1080/13546783.2021.20022532

Jones, B., and J. Call, 2024, “Chimpanzees (Pan troglodytes) recognize that their guesses could be wrong and can pass a two-cup disjunctive syllogism task”, Biology Letters 20(6): 20240051. DOI: https://doi.org/10.1098/rsbl.2024.0051

Leitgeb, H., 2012, “Inference on the low level: An investigation into deduction, nonmonotonic reasoning, and the philosophy of cognition”, Springer Science & Business Media 30. DOI: https://doi.org/10.1007/978-1-4020-2806-9

Leitgeb, H., 2025, “Logic and philosophy. A reconstruction” in F. Ferrari, E. Brendel, M. Carrara, O. Hjortland, G. Sagi, G. Sher and F. Steinberger (eds.), Oxford Handbook of Philosophy of Logic, Oxford University Press (forthcoming).

López-Astorga, M., 2017, “Mental models are compatible with logical forms”, pages 31–42 in A. López-Varela Azcárate (eds.), Interdisciplinary Approaches to Semiotics, Rijeka, Croatia: InTech.

Markovits, H., J. Brisson, P. L. de Chantal and H. Singmann, 2018. “Multiple layers of information processing in deductive reasoning: combining dual strategy and dual-source approaches to reasoning”, Journal of Cognitive Psychology 30(4): 394–405. DOI: https://doi.org/10.1080/20445911.2018.1458729

Martin, B., and O. T. Hjortland, 2024, “Anti-exceptionalism about logic (Part I): From naturalism to anti-exceptionalism”, Philosophy Compass 19(8): e13014.

Martins, M. D., 2012, “Distinctive signatures of recursion”, Philosophical Transactions of the Royal Society B: Biological Sciences 367(1598): 2055–2064.

Martins, M. J., R. Bianco, D. Sammler and A. Villringer, 2019, “Recursion in action: An fMRI study on the generation of new hierarchical levels in motor sequences”, Human brain mapping 40(9): 2623–2638.

Méndez J. M., Robles G, and F. Salto, 2012, “Ticket entailment plus the mingle axiom has the variable-sharing property”, Logic Journal of the IGPL 20(1): 355–64. DOI: https://doi.org/10.1093/jigpal/jzr046

Mercier, H., 2016, “The argumentative theory: Predictions and empirical evidence”, Trends in Cognitive Sciences 20(9): 689–700. DOI: https://doi.org/10.1016/j.tics.2016.07.001

Merino, P., C. Requena and F. Salto, 2019, “Brain localization of semantic processing”, Revista de Neurologia 69(1): 1–10 DOI: https://doi.org/10.33588/rn.6901.2018458

Mertz, D. W., 2016, On the Elements of Ontology, Berlin.

Mikhailov, I. F., 2024, “The concept of recursion in cognitive studies (Part I): From mathematics to cognition”, Philosophical Problems of IT & Cyberspace” 25(1): 58–76.

Mody, S., and S. Carey, 2017, “The emergence of reasoning by the disjunctive syllogism in early childhood”, Cognition 154: 40–48. DOI: https://doi.org/10.1016/j.cognition.2016.05.012

Monti, M. M., and D. N. Osherson, 2012, “Logic, language and the brain”, Brain Research 1428: 33–42. DOI: https://doi.org/10.1016/j.brainres.2011.05.061

Newstead, S. E., and R. A. Griggs, 2013, “The language and thought of disjunction”, pages 76–106 in Thinking and Reasoning (Psychology Revivals), Psychology Press.

Oaksford, M., and N. Chater, 2007, “Reasoning in the real world: how much deduction is there?”, pages 41–66 in Bayesian Rationality: The probabilistic approach to human reasoning. DOI: https://doi.org/10.1093/acprof:oso/9780198524496.003.0003

Oaksford, M., 2015, “Imaging deductive reasoning and the new paradigm”, Frontiers in Human Neuroscience 9: 101. DOI: https://doi.org/10.3389/fnhum.2015.00101

Oberauer K., and O. Wilhelm, 2000, “Effects of directionality in deductive reasoning: I. The comprehension of single relational premises”, J. Exp. Psychol. Learn Mem. Cogn. 26(6): 1702–1712. DOI: https://doi.org/10.1037/0278-7393.26.6.1702

Parikh, R., 2008, “Sentences, belief and logical omniscience, or what does deduction tell us?”, The Review of Symbolic Logic 1(4): 459–476. DOI: https://doi.org/10.1017/S1755020308090059

Peebles D., and R. P. Cooper, 2015, “Thirty years after Marr’s vision: Levels of analysis in cognitive science”, Topics in Cognitive Science 7: 187–190. DOI: https://doi.org/10.1111/tops.12137

Pour-El, M., and S. Kripke, 1967, “Deduction-preserving ‘Recursive isomorphisms’ between theories”, Fundamenta Mathematicae 61: 141–163.

Reverberi, C., D. Pischedda, M. Burigo and P. Cherubini, 2012, “Deduction without awareness”, Acta Psychol. 139(1): 244–253. DOI: https://doi.org/10.1016/j.actpsy.2011.09.011

Rossberg, M., and D. Cohnitz, 2009, “Logical consequence for nominalists”, Theoria 65: 147–168. DOI: https://doi.org/10.1387/theoria.440

Rudnicki, K., and P. Łukowski, 2024, “What should the logic formalizing human cognition look like?”, Logic and Logical Philosophy 33(2): 225–262. DOI: https://doi.org/10.12775/LLP.2024.007

Salto, F., C. Requena, L Antón Toro and F. Maestú, 2021, “Brain electrical traits of logical validity”, Scientific Reports 11(1): 7982. DOI: https://doi.org/10.1038/s41598-021-87191-1

Schechter, J., and D. Enoch, 2006, “Meaning and justification: The case of modus ponens”, Noûs 40(4): 687–715. DOI: https://doi.org/10.1111/j.168-0068.2006.00629.x

Sher, G., 2018, “On the explanatory power of truth in logic”, Philosophical Issues 28: 348–373. DOI: https://doi.org/10.1111/phis.12129

Singmann, H., and K. C. Klauer, 2011, “Deductive and inductive conditional inferences: two modes of reasoning”, Thinking & Reasoning 17(3): 247–281. DOI: https://doi.org/10.1080/13546783.2011.572718

Singmann, H., K. C. Klauer and S. Beller, 2016, “Probabilistic conditional reasoning: Disentangling form and content with the dual-source model”, Cognitive Psychology 88: 61–87. DOI: https://doi.org/10.1016/j.cogpsych.2016.06.005

Stenning, K., and M. Van Lambalgen, 2012, Human Reasoning and Cognitive Science, MIT Press. DOI: https://doi.org/10.7551/mitpress/7964.001.0001

Szewczyk, J. M., and H. Schriefers, 2013, “Prediction in language comprehension beyond specific words: An ERP study on sentence comprehension in Polish”, Journal of Memory and Language 68(4): 297–314. DOI: https://doi.org/10.1016/j.jml.2012.12.002

Toro, L. F. A., F. Salto, C. Requena and F. Maestú, 2023, “Electrophysiological connectivity of logical deduction: Early cortical MEG study”, Cortex 166: 365–376. DOI: https://doi.org/10.1016/j.cortex.2023.06.004

Urbanski, M., 2011, “Logic and cognition: Two faces of psychologism”, Logic and Logical Philosophy 20: 175–185. DOI: https://doi.org/10.12775/LLP.2011.009

Vuust, P., O. A. Heggli, K. J. Friston and M. L. Kringelbach, 2022, “Music in the brain”, Nature Reviews Neuroscience 23(5): 287–305.

Williamson, T., 2006, “Conceptual truth”, Proceedings Aristotelian Soc. 80: 1–41. DOI: https://doi.org/10.1111/j.1467-8349.2006.00136.x

Woods, J., 2016, “Logic naturalized”, pages 403-432 in J. Redmond, O. Pombo Martins and Á. Nepomuceno Fernández (eds.), Epistemology, Knowledge and the Impact of Interaction. Logic, Epistemology, and the Unity of Science series, vol. 38, Springer. DOI: https://doi.org/10.1007/978-3-319-26506-3_18