Electrical analysis of logical complexity: an exploratory eeg study of logically valid/invalid deducive inference

[EN] Introduction Logically valid deductive arguments are clear examples of abstract recursive computational procedures on propositions or on probabilities. However, it is not known if the cortical time-consuming inferential processes in which logical arguments are eventually realized in the brain a...

Descripción completa

Detalles Bibliográficos
Autores: Salto Alemany, Francisco, Requena Hernández, Carmen, Álvarez Merino, Paula, Rodríguez Martínez, Víctor, Poza Crespo, Jesús, Hornero Sánchez, Roberto
Tipo de recurso: artículo
Estado:Versión publicada
Fecha de publicación:2023
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/23236
Acceso en línea:https://braininformatics.springeropen.com/articles/10.1186/s40708-023-00194-8
https://hdl.handle.net/10612/23236
Access Level:acceso abierto
Palabra clave:Educación
Psicología
Beta-2 band
Evoked potentials
Induced potentials
Deductive inference
Logical validity
Cortical bases of logical reasoning
1101 Aplicaciones de la Lógica
Descripción
Sumario:[EN] Introduction Logically valid deductive arguments are clear examples of abstract recursive computational procedures on propositions or on probabilities. However, it is not known if the cortical time-consuming inferential processes in which logical arguments are eventually realized in the brain are in fact physically different from other kinds of inferential processes. Methods In order to determine whether an electrical EEG discernible pattern of logical deduction exists or not, a new experimental paradigm is proposed contrasting logically valid and invalid inferences with exactly the same content (same premises and same relational variables) and distinct logical complexity (propositional truth-functional operators). Electroencephalographic signals from 19 subjects (24.2 ± 3.3 years) were acquired in a two-condition paradigm (100 trials for each condition). After the initial general analysis, a trial-by-trial approach in beta-2 band allowed to uncover not only evoked but also phase asynchronous activity between trials. Results showed that (i) deductive inferences with the same content evoked the same response pattern in logically valid and invalid conditions, (ii) mean response time in logically valid inferences is 61.54% higher, (iii) logically valid inferences are subjected to an early (400 ms) and a late reprocessing (600 ms) verified by two distinct beta-2 activations (p-value < 0,01, Wilcoxon signed rank test). Conclusion We found evidence of a subtle but measurable electrical trait of logical validity. Results put forward the hypothesis that some logically valid deductions are recursive or computational cortical events.