Logical Deductive Processes as Time Consuming Events
Instance versus execution of logical arguments
DOI:
https://doi.org/10.12775/LLP.2025.017Keywords
time consuming logicality, deductive argument, deductive inference, instance, execution, connective of realization, recursion, semi-recursionAbstract
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.
References
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
Downloads
Published
How to Cite
Issue
Section
License
Copyright (c) 2025 Francisco Salto
This work is licensed under a Creative Commons Attribution-NoDerivatives 4.0 International License.
Stats
Number of views and downloads: 386
Number of citations: 0
