Skip to main content

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

Abstract

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.

1 Introduction

Even though the study of deduction is one of the oldest sciences, it is still a current source of challenges and open problems for contemporary cognitive neuroscience. While the formalistic validity-centered approach to deductive phenomena has been overcome [1, 2], the underlying neural processes associated to valid deductions is still an open issue. This paper focus on propositional logically valid truth functional arguments which are also probabilistically valid in Adam’s sense [3]. At an abstract computational or normative level [4, 5] these arguments demonstrably preserve the truth, probability and demonstrability of their inputs whichever content they may have [6]. In this regard, one crucial question is: are there any neural patterns characterizing logically valid deductions as inferential events? When arguments are not considered as abstract relations among propositions or probabilities, but as cortical time-consuming events, are deductive inferences genuinely distinct? Two opposing trends make this question relevant for neurocognitive science. On the one hand, if there are valid deductions, some neural events literally (not only metaphorically) compute inferential conclusions. On the other hand, there may be no valid deductions at all as cortical events, as suggested by the inconstant [7, 8] and weak [9] psychometrical evidence for the distinction between deductive and inductive inferences. From this perspective, the existence of valid deductions as cortical phenomena is not presupposed, opening up the methodological chance to verify or refute them.

In the last 20 years, research on the neural basis of deductive reasoning has achieved relevant conclusions. The first generation of experimental results was systematized by Knauff [10, 11] Goel [12] and Prado [13, 14] showing how different neural networks corresponded to propositional, relational, or categorical deductive inferences. The ulterior generation of studies focused on relational [15] propositional [16] or categorical [17] reasoning, where spatial and linguistic neural circuits are distinguished according to the type of inference and not according to the format of the stimuli (visual, linguistic, or agentual). A proper understanding of neural dependencies between different types of inference and formats is still lacking, even if the last reviews [18, 19] and metanalyses [17, 20] contribute to systematize the complex functional relations between the neural correlates of linguistic and deductive processes. Moreover, research has determined the presence in valid deductive reasoning [16] of double processing or re-processing in a late temporal phase. This temporal retardment phenomenon has been also verified in inhibitory control tasks [21] and after logical training [22, 23].

Neural analyses of propositional inferences have focused on premise-conclusion integration, which consists of premises and conclusions literally sharing variables [12, 24, 25]. Both linguistic terms and visual elements are shared in integrable inferential processes, for example, from the premises {(if ∙, then ♣), ∙}, it is integrable to deduce ♣, but not integrable to deduce ♥ or other unrelated or irrelevant conclusions such as “Hong Kong is in Asia”. Research on the spatial cerebral [12, 24, 26, 27] and temporal neuroelectrical [28,29,30,31,32], dynamics of these processes has proven the neural impact of integration and has located its processing partially in typically linguistic areas of the brain [33]. From a neuroelectrical perspective, previous research on propositional inferences has revealed significant attentional (P200, N250), premise integration (P300), semantic processing (N400) and late reprocessing (P600) ERPs. In linguistically codified inferences, such as conditional or categorical inference, P200 is associated with selective attention and attentional demand [34, 35] with increased presence in non-integrable premisses. However, in visual inferences, the attentional component is rather N250 [36, 37]. P3 ERPs have been reported to be associated with information monitoring, cognitive control and memory updating [38, 39] and in particular the presence of this component in human reasoning premise integration has been proven in [30, 31] The P600 component is associated with syntactic analysis and syntactic rule following [40, 41]. In the case of logical reasoning, research has observed enhanced P600 amplitudes attributed to reprocessing [16, 42]. In contrast with P300 and P600, the N400 component is generally associated with semantical content processing both in linguistic and visual settings [43, 44]. A complete picture of relevant neuroelectrical techniques in this study includes time–frequency analysis, in which power and phase information in the EEG signal are separated across different frequencies thus obtaining crucial data about the oscillations contained in the EEG signal [45, 46]. The literature shows that both logically valid and invalid propositional reasoning involve left frontoparietal circuits. Also, in simple valid deductive inferences (such as Modus Ponens and Disjunctive Syllogism), the neural processing is determined by relational complexity and not by logical complexity. From this integrative approach to deduction, we may interpret that valid and invalid deduction are developed over the same neural substrate, which basically depends on the semantic content and not on the logical structure of the information. This is not an isolated cognitive discovery, but a consistent trend correcting previous formalistic approaches to deduction [47]. Nevertheless, research has not yet developed tools for the measurement of integration in visual inferences (see [48] for a proposal). More importantly, premise integration excludes a wide family of deductive inferences which are valid, but not integrable. For example, logically valid inferences sharing no common content, such as arbitrary propositions validly deduced from contradictions, or such as tautologies validly deduced from adventitious propositions. These are in fact eventually taken as control or baseline in deductive reasoning experiments because their conclusions are not integrable with their premises. In this regard, integration does not offer a single neural support for deductive and non-deductive inferences since valid deductive inferences are excluded.

A second research line has focused on studying the complexity and not on integration of the neural correlates of deduction. Logical complexity is the number of occurrences of logical operators in a cognitive task, while the relational complexity is the number of variables or memory load of that cognitive task. The strategy of Monti [37,38,, 50, 51] and [52, 53], is to study the neural effect of increasing logical complexity in reasoning tasks. In this regard, the cerebral correlates of logical complexity are experimentally identified and dissociated from semantic content processing. The research methodology has been progressively refined over the years and, as a result, a wide range of studies has shown the implication of specifically deductive “core” frontal areas (including both the mesial Brodmann Area 8, BA8, and the left rostrolateral prefrontal cortex, BA10), which do not match with the linguistic areas identified by the integrational perspective [52, 54]. Our experimental setting is designed to measure the neuroelectrical balance between content and logical complexity and thus eventually bringing together these two research lines.

In order to tackle the methodological challenge involved in making logical validity a measurable cortical magnitude, it is essential to recall the existence of metamathematical and probabilistic measures of validity which are complete, precise, and decidable [6]; although they are abstract computational procedures, which do not directly correspond to any spatio-temporal process in the brain. Cognitive science has searched for factive deductive measures that were experimentally viable, as the early works of Rips [55] and Wilhelm [56] show. Heit and Rotello [57] proposed the ratio “number of words/impact of validity” to distinguish deductive from non-deductive inferences. In the field of neuroscience, two indexes have been proposed and employed by Reverberi et al. [27, 58] associating physical magnitudes with logical validity. Other researchers [42] have systematized semi-recursive deductive measures corresponding to logical operators such as order, identity and repetition. The new experimental paradigm presented in this paper avoids any need to measure relational complexity, because it remains fixed or unaltered along the experiment. Logical complexity is measured in the usual way with the number of occurrences of logical operators [59].

The number and content of relational variables determines variations in the non-logical cognitive load of the tasks (relational complexity of the task), while the number of logical operators determine variations in the logical complexity of inferences (logical complexity of the task). The new experimental paradigm here presented fixes the same set of relational variables for valid (deductive) and invalid conditions, while only in the valid condition an increase in logical complexity appears. The objective of this study is to verify or refute the following hypothesis: there are specific EEG measurable neural activity patterns associated with logically valid deductive inferences. Methodologically, the new paradigm is designed to increase logical complexity in inferences with exactly the same content. Since valid deductive inferences depend on logical complexity, differences in neural activity between valid and invalid conditions with the same content could only be attributed to the deductive computational nature of valid inferences. The electroencephalographic (EEG) signals recorded during the experiment are extensively analyzed and compared between both valid deductive and non-valid conditions. Methodologically, the research (i) does not a priori assume the existence of factual differences between logically valid and non-valid deductive inferences, (ii) does not dismiss non-integrable content-independent deductive inferences, and (iii) does not exacerbate the logical complexity of tasks to measure the difference between the neural processing of logical and relational complexity using EEG.

2 Material and methods

2.1 Participants

The database was composed by 19 young right-handed subjects (10 males and 9 females), with a mean age of 24.2 years (standard deviation 3.3). One anomalous register was excluded from the final analysis. All participants were recruited during the months of March and May 2019 from the University of León (Spain) and received academic credit for their participation. Participants did not report any significant neurological or psychopathological conditions, or any psychoactive drug intake during EEG recordings. Each participant went through two experimental tasks sequentially. To neutralize eventual learning effects, the invalid condition was first applied to the subjects. First, they performed a LOGICALLY INVALID DEDUCTION paradigm task; afterwards they performed a LOGICALLY VALID DEDUCTION paradigm task. The responding hand for each condition was counterbalanced across subjects. All participants signed an informed consent form before their participation in this study, following the guidelines of the Declaration of Helsinki. The project was approved by the University of León and received the approval of the Ethics Committee (the code of ethics for research is 0-181, dated 11-06-2019). After the pandemic stop, raw data have been analyzed in a trial-by-trial approach at the University of León (Spain).

The experiment was programmed and administered using E-PRIME software. The screen has a sampling rate of 60 Hz, and a resolution of 1024 × 768 pixels. Items were presented against a black background. In both tasks, the index fingers of both hands pressed the keys on a computer keyboard to answer. Participants were sitting 60 cm in front of the screen in a quiet dimly lit environment.

2.2 Experimental design paradigm task

The experiment contrasts two inferential tasks which contain the same stimuli (i.e. the same relational variables with the same content and properties), the same premises (relevant cards’ features: figure, color, number and filling) and the conclusion in both tasks is deductive (no new contents beyond the premises are used). The logically valid task applies an explicit rule with logical operators (AND, OR, NOT, IF), while the invalid task is a search task on the contents.

In the invalid task, the subject does not receive any specific deductive rule; instead, they are shown a set of visual stimuli and informed about the cards’ features (figure, color, number, and filling). The instructions for the invalid task were: “If an item follows a rule based on color, figure, number, or filling, press the ‘Ctrl’ key, otherwise press the space-bar”. Thus, the invalid task manages cards’ featured contents without introducing new elements. The invalid task is deductive in the sense that no additional information to the contents given in the premises are used to infer conclusions. Moreover, the invalid task inference is not designed to preserve neither truth nor certainty. Examples of this uncertain or logically invalid deduction are common in the reasoning literature, such as (Feeney, Aidan; [47]).

In the logically valid task, subjects must validly deduce their answer given the definition of what makes up a SET after being shown a trio of cards (i.e. an item) with the same contents as in the invalid condition. The logical properties of a SET allow one to determine by logical deduction if any given trio is (or is not) a SET, exclusively applying tools from propositional elementary logic. Any given trio is a SET if all the cards have two or more properties in common. The deductive instruction is: “Press the ‘Ctrl’ key if the presented trio is a SET, otherwise press the space-bar”.

The deduction of the answer (is a SET/is not a SET) is stated without any previous training. It is an integrable inference in all trials, since premises contain all the predicates used in conclusions (see Introduction) and crucially depends on the definition of SET, hence excluding any non-deductive heuristics. It is essential to recognize that the valid task, even if it is simple, has a non-null logical complexity. In summary, the experimental design presents two tasks with the same relational complexity (same viso-semantical content and same relevant categories) but distinct logical complexity (logical operators). Following Friston [60], the content-complextity of a neural task (they call it “cost”) is formalized as mutual information between hidden sates (i.e. perceptual categories) and sensory outcomes (stimuli) under each task condition. A formal proof is not needed to confirm that both conditions in this paradigm have broadly the same informational content. In fact, only in the valid condition there is also certain measurable logical complexity given by the propositional operators defining SET. The experiment tries to demonstrate or refute neuroelectrical EEG measurable differences between logically valid inferences based on logical operators and not logically valid inferences based on visosemantical content.

2.3 Stimuli

The items in the study were trios of cards from the game SET (Set Enterprise, 2019). Each card has a variation of the following four features: figure (diamond, ovoid, or squiggle), color (green, red, or black), cardinality (1 or 2), filling (filled or empty). None of the participants was familiar with the game or its rules. The experiment included the same 200 randomly ordered trials in both conditions. Presenting the same stimuli ensures that the relational complexity of both conditions is exactly the same; that is, they include the same set of cards and are described with the same nomenclature and lexical card descriptions. On the other hand, instructions for the valid condition (SET definition and logical constants) ensure that the valid task has a measurable logical complexity.

Any given trio of cards either does or does not share the same relevant features: figure, color, number, and filling. Figure 1 displays examples of trios which do not share any features (case 1), share one feature (case 2), share two features (case 3), or share three features (case 4).

Fig. 1
figure 1

Example of items of SET in both conditions: valid and invalid deductions.

Both valid and invalid tasks are ecological and user-friendly since the paradigm is inspired and presented as a game. The design does not allow the researchers to describe the precise inference pattern followed by any subject in any trial. For cases (3) and (4) (see Fig. 1), positive propositional inferences are enough, particularly connectives and the Modus Ponens rule (deduce B from {A, if A then B}). Cases (1) and (2) can be negatively treated with connectives and the Modus Tollens rule (deduce not A from {not B, if A then B}). The point of the experiment is not to follow the neural processing of any specific pattern, but to study any deductively valid inference.

2.4 Time chart

The beginning of the trial was signaled by a cross ( +) presented in the center of the screen for 300 ms, which was then followed by the appearance of the items on the screen for 3500 ms. Then, the items disappeared, and the central dot reappeared for 450 ms. Participants were asked to respond quickly (within 3000 ms). The time chart is presented in Fig. 2.

Fig. 2
figure 2

Timeline of stimuli in milliseconds for a generic trial

2.5 Recording and preprocessing of EEG signals

The EEG was recorded with a 64-channel amplifier (Neuronic System, Cuba) and specific acquisition software (Neuronic EEG/Edition EEG Software) with a sampling rate of 200 Hz. Reference electrodes were placed on the earlobes. In addition, electrooculography (EOG) signals were acquired using three pairs of sensors in order to acquire the horizontal and vertical movement of the eyes. Electrode impedance was kept below 5 kΩ. Extracephalic channels were removed for the subsequent analyses thus keeping 58 EEG channels according to 10–10 system:: FP1, FP2, F3, F4, C3, C4, P3, P4, O1, O2, F7, F8, T3, T4, T5, T6, FZ, CZ, PZ, F1, F2, P1, P2, AF3, AF4, P5, P6, FC5, FC6, C5, C6, TP7, TP8, PO7, PO8, FPZ, FCZ, CPZ, POZ, OZ, PO3, PO4, CP1, CP2, CP3, CP4, C1, C2, F5, F6, FC3, FC4, FC1, FC2, CP5, CP6, TP9, and TP10. Furthermore, EEG channels were grouped in 13 regions of interest (ROIs) according to Table 1.

Table 1 Correspondence between ROIs and EEG channels

The preprocessing consisted on 4 steps: (i) application of bandpass (1–70 Hz) and notch (49.8–50.2 Hz) Finite Impulse Response (FIR) filters with a Hamming window to limit noise bandwidth and to remove powerline noise, respectively; (ii) artifact rejection by means of independent component analysis (with special care to remove eye-derived artifacts, see Additional file 1: Figures S1 and S2); (iii) selection of 1.5-s useful trials; and (iv) thresholding to remove noisy trials [61]. The useful trial selection consisted of localizing a stimulus followed by a correct response and another stimulus, thus discarding stimulus with more (or less) than one response. The trial length was 1.5 s comprising two intervals: 0.5 s before the stimulus, acting as baseline, and 1 s after the stimulus. Furthermore, the trials whose response time (i.e. time elapsed between the stimulus and the response) was less than 1 s were discarded to minimize the influence of the motor responses in the event-related potentials (ERPs).

2.6 Evoked potentials: synchronized averaging of trials

Firstly, the evoked potentials were analyzed to study the electrophysiological response of both experimental deductive conditions (valid and invalid). For this task, all the trials of each condition were averaged to study P3, N4, and P6 components, as they are related with deductive processing (premise integration in P300, semantic analysis in N400 and second processing in P600). Furthermore, the topographic distribution of the potentials was also analyzed.

2.7 Time–frequency analyses: trial-by-trial approach

The properties of EEG signals are not stationary but they vary over time [62]. Thus, methods as Fourier transform that require stationarity should not be used to analyze the time-varying properties of ERPs. In line with that, continuous wavelet transform (CWT) provides a framework to study the dynamical properties of the frequency content of the ERP signals. A wavelet is a function with zero-mean with a localization in time and frequency [63]. We have chosen as mother wavelet the complex Morlet, as it has been proven to provide a good fit with biological data [61]. To carry out the analysis, the complex Morlet is dilated and translated to generate a wavelet family that is able to capture the fast time-varying properties of the signal with a high frequency resolution [64]. The dilation factor sweeps from 1 to 70 Hz with equally spaced intervals of 0.5 Hz [61]. Wavelet analysis offers a solution to analyze signals with a high temporal resolution while keeping the frequential resolution also high [64]. It is possible because of its variable time–frequency resolution, with shorter time windows used for higher frequencies and longer windows used for lower frequencies. Deeper insights about wavelets can be found in [64].

From the wavelet decomposition obtained after applying the previous analysis, the wavelet scalogram was computed for each ERP trial. Then, wavelet coefficients were squared and normalized by the baseline, thus converting them into normalized wavelet power coefficients. This normalization is employed to unveil event-related dynamics that otherwise may remain concealed [65]. They summarize the power distribution of the wavelet in the time–frequency plane. This time–frequency representation of the energy of each trial can be used to identify the spectral content associated to specific frequency ranges. In this study, we have considered the conventional EEG frequency bands: delta (δ, 1–4 Hz), theta (θ, 4–8 Hz), alpha (α, 8–13 Hz), beta-1 (β1, 13–19 Hz), beta-2 (β2, 19–30 Hz), and gamma (γ, 30–70 Hz).

2.8 Statistical analysis

Data distributions were tested in an exploratory analysis to assess normality and homoscedasticity. The first one was tested using Lilliefors test, while the latter with Bartlett test. Response time distributions, peak amplitude distributions, ERPs and wavelets did not meet the normality and homoscedasticity hypotheses; therefore, Wilcoxon signed rank tests were used to assess differences between valid and invalid conditions. Furthermore, to assess the correlation between the time courses of the evoked potentials, Spearman tests were employed, as this method can detect both linear and nonlinear correlations.

2.9 Data availability

Scripts to calculate wavelets including raw and preprocessed data are available in: Víctor Rodríguez, Francisco Salto, Carmen Requena (2022), “Invalid and Valid Deductive Processes”, Mendeley Data, V2, https://doi.org/10.17632/w95n6rc6fs.2

Victor Rodriguez. (2022). < i > Invalid and Valid Deductive Processes < /i > [Data set]. Mendeley. https://doi.org/10.17632/GM49MM6WHW.1

Victor Rodriguez. (2022). < i > Invalid and Valid Deductive Processes < /i > [Data set]. Mendeley. https://doi.org/10.17632/W95N6RC6FS.2

3 Results

3.1 Behavioral data

Response time (RT) was obtained for each subject and condition within a temporal window of 3 s. Statistically significant higher RTs were observed for the valid deductive condition than for the invalid condition (p-value < 0.0001, Wilcoxon test; see Table 2).

Table 2 Descriptive data associated with response time for each condition: invalid deductive and valid deductive

In the logically valid condition, the subjects answered correctly 96.14% of the trials. The incorrect responses were not considered in the analysis. In the invalid condition, there were no evaluable correct or incorrect answers.

3.2 Event-related potential data

Figure 3 shows the averaged time courses for all the ROIs and conditions. For each ROI, the potentials associated with valid deductive and invalid inferences are depicted simultaneously to ease the comparisons between them. Remarkably, the temporal evolution of both invalid and valid deductions is very similar. Their correlations were tested, showing a mean correlation value of 0.30 (p < 0.05, Spearman correlation test). In the time courses of the evoked potentials, four (positive or negative) peaks are identified likely corresponding to N250, P300, N400 and P600 potentials for both valid and invalid conditions. Since N250 is an attentional component identical in both conditions, it has not been included in the analysis. At some points, a deviance could be appreciated between invalid and valid deductive processes (e.g., right frontal ROI around 300 ms). Nonetheless, no statistically significant differences were found when evaluating both peak and mean amplitude in the potentials P300 (220–250 ms), N400 (300–350 ms), and P600 (500–550 ms).

Fig. 3
figure 3

Averaged time courses of the ERPs for all the ROIs and conditions

Other perspective of the time courses of the evoked potentials is provided in Fig. 4, and Fig. 5. In them, it could also be appreciated the evoked potentials (N250, P300, N400 and P600) that occur in a similar way for both conditions. Nonetheless, in some ROIs and time intervals, a deviant behavior was found around 400 and 600 ms. Here, it is also relevant Fig. 6, which depicts the difference between both invalid and valid deduction in each time interval. Observing these differences yielded us to conduct more detailed analyses in order to isolate the brain patterns that provoke them.

Fig. 4
figure 4

Spatial distribution for the baseline-corrected evoked potentials for the invalid deductive condition using a sliding window of 0.1 s

Fig. 5
figure 5

Spatial distribution for the baseline-corrected evoked potentials for the valid deductive condition using a sliding window of 0.1 s

Fig. 6
figure 6

Spatial distribution for the baseline-corrected evoked potentials for the difference between invalid and valid deductive conditions using a sliding window of 0.1 s

3.3 Time–frequency analysis

In Additional file 1: Figure S3 it is depicted the time–frequency activation for the different conditions (logically invalid and logically valid). It is shown that the activation process associated to the experiment mainly occurs in slow bands (delta and theta) from 0.25 s on. No observable differences can be appreciated between the time–frequency activations between invalid and valid conditions.

To evaluate whether is it possible to find differentiating patterns between conditions (logically invalid and logically valid), we repeated the time–frequency analysis focusing on the ROIs involved in deduction processes. We calculated the wavelet activation for each subject, ROI, and condition. Afterwards, to look for differentiating patterns, we performed an exploratory statistical analysis by comparing them for each time–frequency bin. The results of this analysis are depicted in Fig. 7. As no statistical correction was applied due to the high number of time–frequency bins, these results can be considered exploratory. Nonetheless, it could be appreciated that some statistically significant differences arose in left central and left temporal regions around 400 and 600 ms.

Fig. 7
figure 7

Statistically significant differences (p-values < 0.01, Wilcoxon signed rank test) found between logically invalid and logically valid conditions for: A left temporal; B left central. Baseline period has been shaded. In left axis, the conventional EEG frequency

Finally, the topographical distribution of the patterns that shows a deviance between both conditions was assessed. In Fig. 8, it is depicted the difference between logically invalid and valid conditions for different time windows. Of note, these patterns correspond with the trial-by-trial time–frequency analysis in beta-2, where these differentiating patters can be appreciated. It can be observed that this deviant behavior mainly occurs around the left temporal region between 400 and 600 ms.

Fig. 8
figure 8

Spatial distribution of the difference of the wavelet activation in beta-2 between invalid and valid conditions using a sliding window of 0.1 s

4 Discussion

In this study, we introduce a new paradigm that compares the neural activity of logically valid versus invalid deductive inferences with precisely the same content (same premises with the same relational variables) and different logical complexity. The evoked response of logically valid and invalid conditions follows a similar neural pattern and latencies. Nonetheless, a fine-grain trial-by-trial analysis shows significant differences in the time–frequency activation of beta-2 band in left central and left temporal areas after 400 ms (i.e., after premise integration phase [15, 24, 26, 27] and after 600 ms (i.e., reprocessing phase [16, 66]). Logically valid and invalid conditions present congruent deflations at N250 (perceptual task), P300 (premise integration), and N400 (semantical content). However, the logically valid deductive condition presents specific electrical features: (i) increased beta-2 band activation at initial (400 ms.) and late (600 ms.) phases in central and left temporal areas, and (ii) slower reaction times (61.54%). These findings suggest that semantical content mostly but not completely determines all the inferential brain electrical activity, since processing of logical complexity in the valid condition involves subtle but measurable temporal and time–frequency differences.

  1. (i)

    Same evoked potentials and same topography: Logically Valid and Invalid deductive inferences with the same content evoke the same response pattern

Evoked potentials in both conditions include the same positive deflection at 250 ms (perceptive recognition of stimuli) [67], as well as the same P300 and N400 potentials (see Figs. 3, 4). P300 has been extensively associated with premise integration both by the neuroelectric literature [2831] and by magnetic resonance research [20]. Its presence is explained by the fact that both conditions are equally integrable (they share all relational variables). The congruence in the potentials evoked by valid and invalid inferences (Figs. 3, 4) can be explained because both tasks have the same content, namely the same relational variables from the same SET cards with the same relevant properties in both conditions. In this regard, it is content and not logical form that determines the evoked patterns produced by the neural processing of these inferences, both logically valid and invalid. This fact is particularly relevant for the understanding of deductive reasoning and coincides with other non-formalistic results [2, 47] in which semantical content (and not logical form) determines not only invalid but also valid inferences [33, 68, 69].

Moreover, the initial topographical analysis does not show noticeable significant differences between logically valid and invalid inferences (See Figs. 4, 5 and 6). These results do not support with EEG data any specific core region of deductive processing. In particular, left frontal areas [33] and cingulo-opercular regions [19], typically associated with semantic processing, are similar in both conditions, which is reasonable as they depend on the same visual content also in both conditions. In other neurophysiological studies on inferential tasks, the cortical topography did not show relevant changes either, as it is the case in [70], where reasoning and attention are equivalent.

  1. (ii)

    Forward Inference Methodology: Sensitivity and validity of the paradigm

Forward methodologies for the neural study of inference have been explicitly defined by Heit [71] to associate cognitive inferential processes with neural events. Any hypothesis stating that the same cognitive process underlies logically valid and invalid inferences is refuted by neural differences in (regions)x(potentials)x(frequencies) between the two conditions. In this paper, we infer that the same cognitive processing is not supported because of slight differences found in beta-2 in two specific ROIs.

Statistically significant differences (p-values < 0.01) were found in left temporal and left central regions for beta-2 oscillations. By forward inference [71], the valid condition corresponds to a distinct frequential pattern suggesting a distinct cognitive process. The specific temporal location of this beta-2 activity verifies the adequacy and sensibility of the experimental design, since only a strong coherence among time-dependent ERP trials explains the specific temporal location of beta-2 band activity [72].

Logically valid inferences are homogeneous in their electrical features in cases (1), (2) just as in cases (3), (4). Even if reasoners in the logically valid condition are free to choose the order of premises and logical operators, the neuroelectrical responses are homogeneously late, slow-responsive, time-extended, and differentially accompanied by beta-2 oscillations.

  1. (iii)

    Beta-2 oscillations in logically valid inferences

The beta-2 activation occurs consistently in both left areas (see Figs. 7, 8) where it appears in two distinctive time intervals: (i) around 400 ms, and (ii) around 600 ms. Moreover, the differences in beta-2 oscillations are exclusively found in these time intervals and these two left brain areas. The early literature [73] already associated beta band with logical tasks, and ulterior research has verified its presence in top-down cognitive control [74], cognitive load [75], grammar [76], and false reasoning [77]. Even if a comprehensive theoretical explanation of the role of beta-2 in deductive reasoning is still lacking [78, 79], neurocomputational research has shown its role in the maintenance of repeatable or abstract properties in the same information (Bernhard [80, 81]. Limanowski and Friston found sensory/cognitive differential interaction effects in beta also related to rule-following instructions [82] and recent MEG [83] and EEG (Álvarez-Merino, 2019) research associate beta-2 band activity with logical reasoning in the early premise integration phase (300–350 ms) and again later in the re-processing phase (600–650 ms). Two salient features in the temporal and spatial distribution of beta waves are the following:

  1. a)

    The first beta-2 differences are temporally located just after the premise integration phase (see Figs. 7, 8). Since the content of premises in both conditions is exactly the same and, moreover, it is integrable (contents are shared by premises and conclusions), the differences in beta-2 oscillations must be linked not with content but with logical complexity, that it is only explicitly present in the valid condition. Beta oscillations accompanying positive (negation free) logical operators (conjunction, disjunction, material conditional) have been reported in the literature in semantical [84] and visuo-semantical contexts (Álvarez-Merino, 2019). Two other experiments with the same SET paradigm applied in MEG studies on amplitude [83] and connectivity (to appear) found similar beta-2 activations at the early stages of the deductive inferential process.

  2. b)

    The second time region of differences in beta-2 (see Figs. 7, 8) is a late oscillation accompanying the “second processing” typically present in inferences with propositional operators [16]. As for the previous differences, they are probably provoked by the different logical complexity between conditions. The time extended duration (400-650 ms) of the differences in beta-2 activity between the two conditions, as well as its late beginning, is not to be attributed to the memory charge or the relational complexity of the task (as in [75], since they are the same in both conditions. It is plausible to interpret beta-2 activity in the second processing not only as control and monitorization [74, 78], but as the result of a specific logically valid computation. Significantly, the role of cognitive beta band oscillations has been verified in rule selection [84] and both beta-2 activation are consistent with rule-determined computations in the valid condition.

  3. (iv)

    Spatial distribution of beta-2 oscillations in logically valid inferences.

The spatial limitations of EEG measures notwithstanding, there are important facts about the spatial distribution of beta-2 in the left central and left temporal regions since its presence throws some light on the cortical relationships between language and valid deductive inference. Visual inferences in both experimental conditions are processed fundamentally in the left hemisphere, as some other cerebral studies on deduction have shown [24, 33, 83]. In this study, there is no electrical evidence of deductive core areas in the valid condition, but beta-2 oscillations coincide with opercular and triangular activity described by deductive meta-studies [19]. Significantly, left frontal and parietal regions do not show statistically significant differences between the two conditions (See Additional file 1: Figure S4). Previous studies have associated increased beta-2 activity and connectivity with logically valid inferences [83] also in opercular and triangular areas. There are no differences in theta band activity between conditions, suggesting their similar visuo-semantical processing. These results confirm the multiple functionalities of opercular circuits in linguistic and visual inferences [33], as well as the involvement of the same opercular areas in linguistic and deductive tasks, but with specific beta-2 activation in deductive valid inferences. Since medial theta band activity has been associated with semantical content (Duprez, Gulbinaite, & Cohen, 2020) the absence of differences in theta band suggests that the presence of beta-2 is linked not with semantical content (in this case visuo-semantical) as in [54] and [85], but with logical operators.

  1. (v)

    Recursive processing hypothesis

The fact that reaction time in the logically valid condition is 61.54% slower, is not to be explained by general control processes as they also apply to the invalid condition that has the same content. The literature on the neural correlates of propositional reasoning has identified and studied this kind of late re-processing in linguistic and visual formats [16]. interpret late re-processing in propositional logically valid inference by means of mental model semantics. [52, 53], interpret similar late propositional re-processing not by semantical processing, but by logical complexity. The electrophysiological results in this paper don’t settle the question but confirm a similar spatial distribution of cortical deductive activity in visuo-semantic and logical processing and a slight frequential divergence between semantic and logical processing [20, 33]. Logically valid inferences are (i) homogeneously late (see Fig. 7), (ii) time-extended (see Fig. 8), (iii) slow-reactive (see Table 2), and (iv) with noticeable beta-2 presence in left central and left temporal regions (see Fig. 7). Is there a common explanation to these apparently opposing features?

A plausible answer is the recursive nature of valid deductions as cortical events. The literature has associated automatic rule-following processes with exactly the kind of beta-band hypoactivity we find in valid deductions [74, 86]. In the case of logically valid proofs of the elementary kind involved in SET inferences, if automaticity is understood as the ability to perform a routinized task with minimal effort [87], logically valid deductions manifest themselves as slow automatable processes. In fact, logically valid deductions, as abstract objects, are demonstrably recursive or computable [6, 88], and as slow, hypoactive and homogeneous cortical events, they may be understood as explicitly routinized automatable neural processes. Thus, the remarkable delay in the valid deductive processing can be explained by the recursive nature of valid inferences, which are in fact, unlike invalid inferences with the same content, deductive proofs of SET properties. Notice that recursive computational procedures are faster and more efficient than simple iterations [89], but they are still slow compositional processes based on strict routines and they exclude abbreviated procedures or heuristic jumps. Consider for example Modus Ponens deductions (deduce B from {A, If A then B}) in visual [90] and motor [91] contexts. In SET, recursive computations correspond to step-by-step procedures or proofs that are consistent with retarded and automatable processes. The paradigm does not allow us to determine which specific sequence is followed in the valid condition, but we know that some kind of valid ordered sequence of SET rules is successfully followed. Other EEG studies are consistent with understanding valid logical deductions as slow automatisms, given their higher mean duration [92].

5 Conclusion

This study presents some limitations regarding its sample size, the exploratory nature of the statistical analysis and the spatial resolution of the EEG techniques employed. Future research with this paradigm will introduce an additional perceptual baseline to control eventual instruction effects. However, the new experimental paradigm proposed in this study is effective and capable of identifying differential neural patterns between logically valid and invalid reasoning without following any specific logical operator. Results in potentials, latencies, amplitudes, and topologies are consistent and point to the absence of any specific EEG discriminable cerebral locus nor potential for logically valid deductions. Content and not logical form determines most of the electrical features of deductive reasoning irrespective of its normative status (logically valid or invalid). However, there are in fact specific cortical features of logically valid inferences in terms of temporal delay and beta-2 late processing after 400 ms and after 600 ms, specifically in the valid condition and left temporal and central areas. These frequential differences are sufficient to consider logically valid deductions as distinct neural processes. It is hypothesized that the recursive nature of logically valid deductions explains the electrical relevance of logical validity. The evidence offered shows that certain neuroelectrical conditions are sufficient for logically valid deductions, but it does not show that they are necessary.

Availability of data and materials

Víctor Rodríguez, Francisco Salto, Carmen Requena (2022), “Invalid and Valid Deductive Processes”, Mendeley Data, V2, https://doi.org/10.17632/w95n6rc6fs.2 Victor Rodriguez. (2022). < i > Invalid and Valid Deductive Processes < /i > [Data set]. Mendeley. https://doi.org/10.17632/GM49MM6WHW.1 Victor Rodriguez. (2022). < i > Invalid and Valid Deductive Processes < /i > [Data set]. Mendeley. https://doi.org/10.17632/W95N6RC6FS.2.

References

  1. Besold TR, Garcez AD, Stenning K, van der Torre L, van Lambalgen M (2017) Reasoning in non-probabilistic uncertainty: logic programming and neural-symbolic computing as examples. Mind Mach 27(1):37–77. https://doi.org/10.1007/s11023-017-9428-3

    Article  Google Scholar 

  2. Oaksford M, Chater N (2020) New paradigms in the psychology of reasoning. Annu Rev Psychol 71(1):305–330. https://doi.org/10.1146/annurev-psych-010419-051132

    Article  Google Scholar 

  3. Adams EW (1996) Four probability-preserving properties of inferences. J Philos Log 25(1):1–24

    Article  MathSciNet  MATH  Google Scholar 

  4. Baggio G, Van Lambalgen M, Hagoort P (2015) Logic as Marr’s computational level: four case studies. Top Cogn Sci. https://doi.org/10.1111/tops.12125

    Article  Google Scholar 

  5. Colombo M, Knauff M (2020) Editors’ review and introduction: levels of explanation in cognitive science: from molecules to culture. Top Cogn Sci. https://doi.org/10.1111/tops.12503

    Article  Google Scholar 

  6. Boolos GS, Burgess JP, Jeffrey RC (2007) Computability and logic, 5th edn. Cambridge University Press, Cambridge

    Book  MATH  Google Scholar 

  7. Stephens RG, Dunn JC, Hayes BK (2018) Are there two processes in reasoning? The dimensionality of inductive and deductive inferences. Psychol Rev 125(2):218–244

    Article  Google Scholar 

  8. Stephens RG, Dunn JC, Hayes BK, Kalish ML (2020) A test of two processes: the effect of training on deductive and inductive reasoning. Cognition. 199:104223. https://doi.org/10.1016/j.cognition.2020.104223

    Article  Google Scholar 

  9. St Evans JBT, Over DE (2013) Reasoning to and from belief: deduction and induction are still distinct. Think Reason 19(3–4):267–283. https://doi.org/10.1080/13546783.2012.745450

    Article  Google Scholar 

  10. Knauff M (2009) A neuro-cognitive theory of deductive relational reasoning with mental models and visual images. Spat Cogn Comput. https://doi.org/10.1080/13875860902887605

    Article  Google Scholar 

  11. Ruff CC, Knauff M, Fangmeier T, Spreer J (2003) Reasoning and working memory: common and distinct neuronal processes. Neuropsychologia 41(9):1241–1253. https://doi.org/10.1016/S0028-3932(03)00016-2

    Article  Google Scholar 

  12. Goel V (2007) Anatomy of deductive reasoning. Trends Cogn Sci 11(10):435–441

    Article  Google Scholar 

  13. Prado J, Chadha A, Booth JR (2011) The brain network for deductive reasoning: a quantitative meta-analysis of 28 neuroimaging studies. J Cogn Neurosci 23(11):3483–3497. https://doi.org/10.1162/jocn_a_00063

    Article  Google Scholar 

  14. Prado J, Van Der Henst J-B, Noveck IA (2010) Recomposing a fragmented literature: how conditional and relational arguments engage different neural systems for deductive reasoning. NeuroImage 51(3):1213–1221. https://doi.org/10.1016/j.neuroimage.2010.03.026

    Article  Google Scholar 

  15. Holyoak KJ, Monti MM (2021) Relational integration in the human brain: a review and synthesis. J Cogn Neurosci 33(3):341–356. https://doi.org/10.1162/jocn_a_01619

    Article  Google Scholar 

  16. Baggio G, Cherubini P, Pischedda D, Blumenthal A, Haynes J-D, Reverberi C (2016) Multiple neural representations of elementary logical connectives. NeuroImage 135:300–310. https://doi.org/10.1016/j.neuroimage.2016.04.061

    Article  Google Scholar 

  17. Wertheim J, Ragni M (2020) The neurocognitive correlates of human reasoning: a meta-analysis of conditional and syllogistic inferences. J Cogn Neurosci 32(6):1061–1078. https://doi.org/10.1162/jocn_a_01531

    Article  Google Scholar 

  18. Shin M, Jeon H-A (2021) A cortical surface-based meta-analysis of human reasoning. Cereb Cortex 31(12):5497–5510. https://doi.org/10.1093/cercor/bhab174

    Article  Google Scholar 

  19. Wang L, Zhang M, Zou F, Wu X, Wang Y (2020) Deductive-reasoning brain networks: a coordinate-based meta-analysis of the neural signatures in deductive reasoning. Brain Behavior 10(12):e01853

    Article  Google Scholar 

  20. Prado J, Léone J, Epinat-Duclos J, Trouche E, Mercier H (2020) The neural bases of argumentative reasoning. Brain Lang 208:104827. https://doi.org/10.1016/j.bandl.2020.104827

    Article  Google Scholar 

  21. Houdé O, Borst G (2015) Evidence for an inhibitory-control theory of the reasoning brain. Front Hum Neurosci. https://doi.org/10.3389/fnhum.2015.00148

    Article  Google Scholar 

  22. Álvarez Merino P, Requena C, Salto F (2018) Evidence linking brain activity modulation to age and to deductive training. Neural Plast 2018:1401579. https://doi.org/10.1155/2018/1401579

    Article  Google Scholar 

  23. Mackey AP, Miller Singley AT, Bunge SA (2013) Intensive reasoning training alters patterns of brain connectivity at rest. J Neurosci 33(11):4796. https://doi.org/10.1523/JNEUROSCI.4141-12.2013

    Article  Google Scholar 

  24. Reverberi C, Bonatti LL, Frackowiak RSJ, Paulesu E, Cherubini P, Macaluso E (2012) Large scale brain activations predict reasoning profiles. NeuroImage 59(2):1752–1764. https://doi.org/10.1016/j.neuroimage.2011.08.027

    Article  Google Scholar 

  25. Reverberi C, Cherubini P, Rapisarda A, Rigamonti E, Caltagirone C, Frackowiak RSJ, Macaluso E, Paulesu E (2007) Neural basis of generation of conclusions in elementary deduction. NeuroImage 38(4):752–762. https://doi.org/10.1016/j.neuroimage.2007.07.060

    Article  Google Scholar 

  26. Fangmeier T, Knauff M, Ruff CC, Sloutsky V (2006) fMRI evidence for a three-stage model of deductive reasoning. J Cogn Neurosci 18(3):320–334. https://doi.org/10.1162/jocn.2006.18.3.320

    Article  Google Scholar 

  27. Reverberi C, Shallice T, D’Agostini S, Skrap M, Bonatti LL (2009) Cortical bases of elementary deductive reasoning: inference, memory, and metadeduction. Neuropsychologia 47(4):1107–1116. https://doi.org/10.1016/j.neuropsychologia.2009.01.004

    Article  Google Scholar 

  28. Bonnefond M, Van der Henst J.-B. (2013) Deduction electrified: ERPs elicited by the processing of words in conditional arguments. Brain Lang 124(3):244–256. https://doi.org/10.1016/j.bandl.2012.12.011

    Article  Google Scholar 

  29. Bonnefond M, Kaliuzhna M, Van der Henst J-B, De Neys W (2014) Disabling conditional inferences: an EEG study. Neuropsychologia 56:255–262. https://doi.org/10.1016/j.neuropsychologia.2014.01.022

    Article  Google Scholar 

  30. Bonnefond M, Noveck I, Baillet S, Cheylus A, Delpuech C, Bertrand O, Fourneret P, Van der Henst J-B (2013) What MEG can reveal about inference making: the case of if then sentences. Hum Brain Mapp 34(3):684–697

    Google Scholar 

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

    Article  Google Scholar 

  32. Prado J, Kaliuzhna M, Cheylus A, Noveck IA (2008) Overcoming perceptual features in logical reasoning: an event-related potentials study. Neuropsychologia 46(11):2629–2637. https://doi.org/10.1016/j.neuropsychologia.2008.04.017

    Article  Google Scholar 

  33. Prado J (2018) The relationship between deductive reasoning and the syntax of language in Broca’s area: a review of the neuroimaging literature. L’Année Psychol 118(3):289–315

    Article  MathSciNet  Google Scholar 

  34. Ghin, F., Stock, A. K., & Beste, C. (2022). The importance of resource allocation for the interplay between automatic and cognitive control in response inhibition–An EEG source localization study. Cortex, 155, 202–217. https://doi.org/10.1016/j.cortex.2022.07.004

  35. Hsu, Y. F., Hämäläinen, J. A., & Waszak, F. (2014). Both attention and prediction are necessary for adaptive neuronal tuning in sensory processing. Frontiers in human neuroscience, 8, 152. https://doi.org/10.3389/fnhum.2014.00152

  36. Lakhani, B., Vette, A. H., Mansfield, A., Miyasike-daSilva, V., & McIlroy, W. E. (2012). Electrophysiological correlates of changes in reaction time based on stimulus intensity. PloS one, 7(5), e36407. https://doi.org/10.1371/journal.pone.0036407

  37. Kida, T., Nishihira, Y., Hatta, A., Wasaka, T., Tazoe, T., Sakajiri, Y., & Higashiura, T. (2004). Resource allocation and somatosensory P300 amplitude during dual task: effects of tracking speed and predictability of tracking direction. Clinical Neurophysiology, 115(11), 2616–2628. https://doi.org/10.1016/j.clinph.2004.06.013

  38. Nieuwenhuis, S. T., Aston-Jones, G., & Cohen, J. D. (2005). VU Research Portal. Psychological Bulletin, 131(4), 510–532.

  39. Polich, J. (2007). Updating P300: an integrative theory of P3a and P3b. Clinical neurophysiology, 118(10), 2128– 2148. https://doi.org/10.1016/j.clinph.2007.04.019

  40. Sassenhagen, J., & Fiebach, C. J. (2019). Finding the P3 in the P600: Decoding shared neural mechanisms of responses to syntactic violations and oddball targets. NeuroImage, 200, 425–436. https://doi.org/10.1016/j.neuroimage.2019.06.048

  41. Frisch, S., Schlesewsky, M., Saddy, D., & Alpermann, A. (2002). The P600 as an indicator of syntactic ambiguity. Cognition, 85(3), B83–B92. https://doi.org/10.1016/S0010-0277(02)00126-9

  42. Álvarez-Merino P, Carmen R, Francisco S (2019) Localización cerebral del procesamiento semántico. Revista de Neurol 69(1):1–10. https://doi.org/10.33588/rn.6901.2018458

    Article  Google Scholar 

  43. Lau, E. F., Phillips, C., & Poeppel, D. (2008). A cortical network for semantics:(de) constructing the N400. Nature reviews neuroscience, 9(12), 920–933.

  44. Kutas, M., & Federmeier, K. D. (2011). Thirty years and counting: finding meaning in the N400 component of the event related brain potential (ERP). Annual review of psychology, 62, 621–647. https://doi.org/10.1146/annurev.psych.093008.131123

  45. Bernat, E., & Gvozdenko, I. (2005). Beliefs about Language Learning: Current Knowledge, Pedagogical Implications, and New Research Directions. Tesl-ej, 9(1), n1.

  46. Donoghue, T., Schaworonkow, N., & Voytek, B. (2022). Methodological considerations for studying neural oscillations. European journal of neuroscience, 55(11-12), 3502–3527.

  47. St Evans JBT, Thompson VA, Over DE (2015) Uncertain deduction and conditional reasoning. Front Psychol. https://doi.org/10.3389/fpsyg.2015.00398

    Article  Google Scholar 

  48. Álvarez-Merino P, Requena C, Salto F (2020) The measurement of factive deductivity: a psychological and cerebral review. In: Urbanski M, Skura T, Lupkowski P (eds) Reasoning: games cognition, logic vol. reasoning: games, C. College Publications, Georgia, pp 53–78

    Google Scholar 

  49. Monti M, Parsons L, Osherson D (2009) The boundaries of language and thought in deductive inference. Proc Natl Acad Sci 106(30):12554–12559. https://doi.org/10.1073/pnas.0902422106

    Article  MATH  Google Scholar 

  50. Monti MM, Osherson DN (2012) Logic, language and the brain. Brain Res 1428:33–42. https://doi.org/10.1016/j.brainres.2011.05.061

    Article  Google Scholar 

  51. Monti MM, Osherson DN, Martinez MJ, Parsons LM (2007) Functional neuroanatomy of deductive inference: a language-independent distributed network. NeuroImage 37(3):1005–1016. https://doi.org/10.1016/j.neuroimage.2007.04.069

    Article  Google Scholar 

  52. Coetzee J, Monti M, Iacoboni M, Wu A, Johnson M (2019) Separability of logic and language: a TMS study. Brain Stimul. https://doi.org/10.1016/j.brs.2018.12.792

    Article  Google Scholar 

  53. Coetzee JP, Monti MM (2018) At the core of reasoning: dissociating deductive and non-deductive load. Hum Brain Mapp 39(4):1850–1861. https://doi.org/10.1002/hbm.23979

    Article  Google Scholar 

  54. Wendelken C, Chung D, Bunge SA (2012) Rostrolateral prefrontal cortex: domain-general or domain-sensitive? Hum Brain Mapp 33(8):1952–1963

    Article  Google Scholar 

  55. Rips LJ (2005) The psychology of proof: deductive reasoning in human thinking, 3rd edn. MIT Press, Cambridge

    MATH  Google Scholar 

  56. Wilhelm O (2005) Measuring reasoning ability. In: Wilhelm O, Engle RW (eds) Handbook of understanding and measuring intelligence. SAGE, pp 373–392

    Chapter  Google Scholar 

  57. Heit E, Rotello CM (2010) Relations between inductive reasoning and deductive reasoning. J Exp Psychol Learn Mem Cogn 36(3):805–812

    Article  Google Scholar 

  58. Reverberi C, Cherubini P, Frackowiak RSJ, Caltagirone C, Paulesu E, Macaluso E (2010) Conditional and syllogistic deductive tasks dissociate functionally during premise integration. Hum Brain Mapp 31(9):1430–1445. https://doi.org/10.1002/hbm.20947

    Article  Google Scholar 

  59. Ay N, Müller M, Szkoła A (2010) Effective complexity and its relation to logical depth. IEEE Trans Inf Theory. https://doi.org/10.1109/TIT.2010.2053892

    Article  MathSciNet  MATH  Google Scholar 

  60. Friston, K., FitzGerald, T., Rigoli, F., Schwartenbeck, P., & Pezzulo, G. (2017). Active inference: a process theory. Neural computation, 29(1), 1–49. https://doi.org/10.1162/NECO_a_00912

  61. Gomez-Pilar J, Poza J, Bachiller A, Gómez C, Molina V, Hornero R (2015) Neural network reorganization analysis during an auditory oddball task in schizophrenia using wavelet entropy. Entropy. https://doi.org/10.3390/e17085241

    Article  Google Scholar 

  62. Miñambres B, Martínez-Blanco H, Olivera ER, García B, Díez B, Barredo JL, Moreno MA, Schleissner C, Salto F, Luengo JM (1996) Molecular cloning and expression in different microbes of the DNA encoding Pseudomonas putida U phenylacetyl-CoA ligase: use of this gene to improve the rate of benzylpenicillin biosynthesis in penicillium chrysogenum. J Biol Chem. https://doi.org/10.1074/jbc.271.52.33531

    Article  Google Scholar 

  63. Torrence C, Compo GP (1998) A practical guide to wavelet analysis. Bull Am Meteor Soc. https://doi.org/10.1175/1520-0477(1998)079%3c0061:APGTWA%3e2.0.CO;2

    Article  Google Scholar 

  64. Mallat S (2009) A wavelet tour of signal processing. Wavelet Tour Signal Process. https://doi.org/10.1016/B978-0-12-374370-1.X0001-8

    Article  MATH  Google Scholar 

  65. Roach BJ, Mathalon DH (2008) Event-related EEG time-frequency analysis: an overview of measures and an analysis of early gamma band phase locking in schizophrenia. Schizophr Bull 34(5):907–926

    Article  Google Scholar 

  66. Müller BCN, Tsalas NRH, van Schie HT, Meinhardt J, Proust J, Sodian B, Paulus M (2016) Neural correlates of judgments of learning—an ERP study on metacognition. Brain Res. https://doi.org/10.1016/j.brainres.2016.10.005

    Article  Google Scholar 

  67. Melnik A, Hairston WD, Ferris DP, König P (2017) EEG correlates of sensorimotor processing: independent components involved in sensory and motor processing. Sci Rep 7(1):4461. https://doi.org/10.1038/s41598-017-04757-8

    Article  Google Scholar 

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

    Article  Google Scholar 

  69. Noveck IA, Goel V, Smith KW (2004) The neural basis of conditional reasoning with arbitrary content. Cortex 40(4):613–622. https://doi.org/10.1016/S0010-9452(08)70157-6

    Article  Google Scholar 

  70. Basile LFH, Sato JR, Alvarenga MY, Henrique N, Pasquini HA, Alfenas W, Machado S, Velasques B, Ribeiro P, Piedade R, Anghinah R, Ramos RT (2013) Lack of Systematic topographic difference between attention and reasoning beta correlates. PLoS ONE. https://doi.org/10.1371/journal.pone.0059595

    Article  Google Scholar 

  71. Heit E (2015) Brain imaging, forward inference, and theories of reasoning. Front Hum Neurosci. https://doi.org/10.3389/fnhum.2014.01056

    Article  Google Scholar 

  72. Lally N, Mullins PG, Roberts MV, Price D, Gruber T, Haenschel C (2014) Glutamatergic correlates of gamma-band oscillatory activity during cognition: a concurrent ER-MRS and EEG study. NeuroImage 85:823–833. https://doi.org/10.1016/j.neuroimage.2013.07.049

    Article  Google Scholar 

  73. Saul S (1966) High-speed scanning in human memory. Science 153(3736):652–654. https://doi.org/10.1126/science.153.3736.652

    Article  Google Scholar 

  74. Stoll FM, Wilson CRE, Faraut MCM, Vezoli J, Knoblauch K, Procyk E (2016) The effects of cognitive control and time on frontal beta oscillations. Cereb Cortex 26(4):1715–1732. https://doi.org/10.1093/cercor/bhv006

    Article  Google Scholar 

  75. Schapkin SA, Raggatz J, Millmert M, Böckelmann I (2020) EEG correlates of cognitive load in a multiple choice reaction task. Acta Neurobiol Exp 80:76–89

    Article  Google Scholar 

  76. Beltrán D, Morera Y, García-Marco E, De Vega M (2019) Brain inhibitory mechanisms are involved in the processing of sentential negation, regardless of its content. Evidence from EEG theta and beta rhythms. Front Psychol. https://doi.org/10.3389/fpsyg.2019.01782

    Article  Google Scholar 

  77. Payumo M (2021) Beta-band EEG activity and false-belief reasoning in adults. Queens University, Kingston

    Google Scholar 

  78. Engel AK, Fries P (2010) Beta-band oscillations—signalling the status quo? Curr Opin Neurobiol 20(2):156–165. https://doi.org/10.1016/j.conb.2010.02.015

    Article  Google Scholar 

  79. Zavala B, Jang A, Trotta M, Lungu CI, Brown P, Zaghloul KA (2018) Cognitive control involves theta power within trials and beta power across trials in the prefrontal-subthalamic network. Brain 141(12):3361–3376. https://doi.org/10.1093/brain/awy266

    Article  Google Scholar 

  80. Spitzer B, Goltz D, Wacker E, Auksztulewicz R, Blankenburg F (2014) Maintenance and manipulation of somatosensory information in ventrolateral prefrontal cortex. Hum Brain Mapp 35(5):2412–2423

    Article  Google Scholar 

  81. Spitzer B, Haegens S (2017) Beyond the status quo: a role for beta oscillations in endogenous content (Re)activation. ENeuro 4(4):ENEURO.0170-17.2017. https://doi.org/10.1523/ENEURO.0170-17.2017

    Article  Google Scholar 

  82. Limanowski J, Friston K (2020) Active inference under visuo-proprioceptive conflict: simulation and empirical results. Sci Rep 10:4010. https://doi.org/10.1038/s41598-020-61097-w

    Article  Google Scholar 

  83. Salto F, Requena C, Álvarez-Merino P, Antón-Toro LF, Maestú F (2021) Brain electrical traits of logical validity. Sci Rep. https://doi.org/10.1038/s41598-021-87191-1

    Article  Google Scholar 

  84. Wang L, Jensen O, Van den Brink D, Weder N, Schoffelen JM, Magyari L, Hagoort P, Bastiaansen M (2012) Beta oscillations relate to the N400m during language comprehension. Hum Brain Mapp. https://doi.org/10.1002/hbm.21410

    Article  Google Scholar 

  85. Lindborg A, Baart M, Stekelenburg JJ, Vroomen J, Andersen TS (2019) Speech-specific audiovisual integration modulates induced theta-band oscillations. PLoS ONE. https://doi.org/10.1371/journal.pone.0219744

    Article  Google Scholar 

  86. Schmidt R, Herrojo Ruiz M, Kilavik BE, Lundqvist M, Starr PA, Aron AR (2019) Beta oscillations in working memory, executive control of movement and thought, and sensorimotor function. J Neurosci 39(42):8231. https://doi.org/10.1523/JNEUROSCI.1163-19.2019

    Article  Google Scholar 

  87. Moors A (2016) Automaticity: componential, causal, and mechanistic explanations. Annu Rev Psychol 67(1):263–287. https://doi.org/10.1146/annurev-psych-122414-033550

    Article  Google Scholar 

  88. Sieg W (2009) On computability. In: Irvine AD (ed) Philosophy of mathematics. Elsevier, pp 535–630

    Chapter  Google Scholar 

  89. Chen Z, De Beuckelaer A, Wang X, Liu J (2017) Distinct neural substrates of visuospatial and verbal-analytic reasoning as assessed by Raven’s advanced progressive matrices. Sci Rep 7(1):16230. https://doi.org/10.1038/s41598-017-16437-8

    Article  Google Scholar 

  90. Lake BM, Piantadosi ST (2020) People infer recursive visual concepts from just a few examples. Computat Brain Behav 3(1):54–65. https://doi.org/10.1007/s42113-019-00053-y

    Article  Google Scholar 

  91. Martins MJD, Bianco R, Sammler D, Villringer A (2019) Recursion in action: an fMRI study on the generation of new hierarchical levels in motor sequences. Hum Brain Mapp 40(9):2623–2638. https://doi.org/10.1002/hbm.24549

    Article  Google Scholar 

  92. Li B, Zhang M, Luo J, Qiu J, Liu Y (2014) The difference in spatiotemporal dynamics between modus ponens and modus tollens in the Wason selection task: an event-related potential study. Neuroscience. https://doi.org/10.1016/j.neuroscience.2014.04.007

    Article  Google Scholar 

Download references

Funding

Research financed by Grant LE251P20, 2020–2023 (European Union FEDER project and Junta de Castilla y León).

Author information

Authors and Affiliations

Authors

Contributions

Author SF is a logician, authors RC, AMP are psychologists, authors RV, PJ, HR are biomedical engineers. The experimental paradigm was designed by SF, RC. The experiment was developed by SF, RC, AMP, RV. Data analysis, trial by trial approach by RV, PJ, HR. Writing and revisions SF, RC, AMP, RV, PJ, HR. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Francisco Salto.

Ethics declarations

Ethics approval and consent to participate

All participants signed an informed consent form before their participation in this study, following the guidelines of the Declaration of Helsinki. The project was approved by the University of xxx and received the approval of the Ethics Committee (the code of ethics for research is 0-181, dated 11-06-2019).

Competing interests

All of the authors declare that they have no competing interests.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Supplementary Information

Additional file 1

: Figure S1. Correlation values of valid deductive signals beforeand afterthe application of ICA. The first row corresponds with the horizontal EOG channel, the second one with the right vertical EOG channel, and the third row with the left vertical EOG channel. Figure S2. Correlation values of invalid deductive signals beforeand afterthe application of ICA. The first row corresponds with the horizontal EOG channel, the second one with the right vertical EOG channel, and the third row with the left vertical EOG channel. Figure S3. Grand- average of the time-frequency representations of invalid deductive and valid deductive. The representations have been normalized by the baseline meanin each time point. Baseline has been shaded. In right axis, the conventional EEG frequency bands have been delimited and tagged. Figure S4. Statistically significant differencesfound between invalid and valid conditions for: A): left frontal; B): left parietal. Baseline period has been shaded. In left axis, the conventional EEG frequency bands have been delimited and tagged. Red points indicate statistically significant differences for which invalid deductive has more power, while blue differences represent time-frequency bins in which valid deductive process obtained higher power than invalid one.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Salto, F., Requena, C., Alvarez-Merino, P. et al. Electrical analysis of logical complexity: an exploratory eeg study of logically valid/invalid deducive inference. Brain Inf. 10, 13 (2023). https://doi.org/10.1186/s40708-023-00194-8

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s40708-023-00194-8

Keywords