Introduction

Deductive inferences and deductive arguments are distinct phenomena. While inferences are cortical time-consuming events1, arguments are abstract relations among propositions or probabilities2. Inferences and arguments both have the same < premises, conclusions > structure but have crucial differences. Inferences happen when they are drawn or made, while arguments don’t need to be factual. For example, inferences have a finite temporal duration, but an argument may contain infinite premises. The same exact argument can prove the irrationality of √2 using a drawing in the sand or an algebraical formulation, but visual and propositional inferences can be quite different processes. Assuming there is a clear difference between deductive and non-deductive arguments3, the objective of this paper is to determine if there is also a neural difference between these inferences, and to this end, logical validity is electrically studied. Both phenomena (arguments and inferences) are often fruitfully mixed in deductive reasoning as a modest but essential resource in science and everyday life. Most neuroscientific research has taken for granted that since there are normative distinctive features of deductive arguments, there are corresponding deductive inferences. But in fact, it is not known if there are specifically deductive cortical activities or if instead the deductive character of inferences is a normative feature that supervenes on neural processes. For example, when we deduce that a man is poor from seeing him asking for money, or when we validly deduce that there are infinite prime numbers, is there some kind of cortical difference between valid and invalid deductions? Are there factual marks of valid deductions as time-consuming events, or, on the other hand, is deduction a way of justifying inferences? This is a crucial open question involving the relationship between physical and computational Marr levels for which the neuroscience of deductive rationality is trying to offer an answer. As an illustration, see the contrasting arguments by Evans and Over3 [“since induction and deduction serve quite different purposes, it is likely that they have correspondingly different psychological mechanisms”] and Oaksford4 (“tasks are not deductive in and of themselves. What function a task engages is determined by the empirically most adequate computational level theory of that task”]. Our focus is finding neural evidence of deductivity in logically valid inferences5,6, which are those whose outputs systematically preserve the truth of their inputs.

In the last 20 years, neuroscience has made significant contributions to the study of the neural correlates of deduction under the a priori assumption that deductive phenomena are factive (that is to say, they are factual; in other words, they correspond to genuine neural processes). Cornerstones of this research are Goel’s7 and Prado’s8,9,10 meta-analyses and reviews; they show how distinct neural networks explain data variance between propositional, categorical and relational inferences. Notice how different arguments determine different inferences in spatial/propositional circuits, but on the other hand the literature has identified a bunch of multimodal operators for both spatial and linguistic format11,12. Another fundamental propositional result is the neural re-processing, or double processing, of logical connectives13 related to cognitive inhibition14 and deductive training15,16. The neural study of propositional inferences has focused on premise-conclusion integration, which consists of premises and conclusions sharing literal variables17,18,19,20,21. For example, the following inference17 is integrable: from {There is a square; If there is a square, then there is a rhombus} deduce {There is a rhombus}, but the following inference is not integrable: from {There is a square; If there is a hexagon, then there is a triangle} deduce {There is a rhombus}. “Square” appears in the conditional and in the antecedent, thus facilitating the MP inference. Through both linguistic and visual formats, research has proven the neural impact of premise integration and has located its processing in typically semantical areas of the brain. Moreover, spatial (fMRI, PET)1,17,18,19,20 and temporal (MEG, EEG)21,22,23,24 research has tied propositional deductions to the integration of premises. The literature shows that both valid and non-valid propositional reasoning involves left frontoparietal circuits related to linguistic areas. Reverberi18,20 has showed that in simple valid deductive inferences (such as Modus Ponens and Disjunctive Syllogism), neural processing is determined by its relational complexity, which is the number of variables appearing in the deductive task and the arity and number of functional arguments in their relations25. For example, in sudoku games or Latin square tasks, the relational complexity is determined by the size of the matrix and the number of rows and columns that need to be simultaneously considered. From this integration-based approach to deduction, we may interpret that valid and invalid deduction develop neurally over the same substrate, which basically depends on the information’s semantic content and not on its logical structure. This is not an isolated cognitive discovery; instead it is a consistent trend correcting previous formalistic approaches to deduction, as shown by Evans et al.26. However, the perspective based on premise integration excludes a wide family of deductive inferences which are valid but not integrable, and which are in fact eventually used as a 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 minoritarian research line for the study of the neural correlates of propositional deduction has focused on complexity and not on integration. Logical complexity is the number of occurrences of logical operators in a cognitive task. For example27, the inference from {If the block is either round or large, then it is not blue; The block is round} to {The block is not blue} has 4 instances of logical operators; two of them are dyadic (if… then, either… or), and two are monadic (not). The conclusion of the argument has a logical complexity of 1, and its minor premise has 0 logical complexity. The strategy of Osherson28, Monti12,27,29,30 and Coetzee31,32 was to study the neural effect of amplifying logical complexity in reasoning tasks while maintaining the same relational complexity. 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, an extended sequence of studies has shown the involvement of specifically deductive “core” frontal areas (including both the mesial BA8 and left rostrolateral prefrontal cortex in BA10) which do not coincide with the linguistic areas identified by the integrational perspective.

There are logical and probabilistic measures of validity which are complete, precise and decidable, but they are abstract computational procedures which do not directly correspond to any spatio-temporal processes in the brain. Cognitive science has searched for factive deductivity measures which were experimentally viable, as the early work of Rips33 and Wilhelm34 show. In this regard, the proposal by Rotello and Heit35,36 contrasting the impact of validity with that of the number of words in deductive inferences is remarkable. In the field of cerebral research, two indexes have been proposed and employed by Reverberi18,19 associating physical magnitudes with logical validity. Other researchers34,37 have systematized deductivity measures in psychological and neural contexts. The new experimental paradigm presented in this paper avoids any need to measure relational complexity because it remains fixed or unaltered while logical complexity is measured in the usual way. Two methodological novelties are introduced. First, the strategy of Osherson and Monti is altered to avoid recalcitrant increases in logical complexity and second, we chose not to study what Reverberi calls “the instant of deduction”, and instead of comparing specific inferences sequentially analyzed in premises and conclusions, we evaluate the cerebral processing of valid inferences in toto, irrespective of the specific connectives or operators used in any trial.

The objective of this research is to identify features or brain activity traits of logically valid deductive inferences distinct from those of logically invalid inferences. If these features are identified, then it is feasible to acknowledge factive properties (in this case neuroelectrical properties) of valid deduction. If they are not found, this would be a clue that logical validity is a purely normative phenomenon. Considering the limitations identified in the state of the art, this research: (i) does not a priori assume the existence of factive differences between valid and non-valid inferences, (ii) does not dismiss non-integrable content-independent deductive inferences, (iii) does not exacerbate the logical complexity of tasks to electrically measure the difference between the neural processing of logical and relational complexity. Moreover, the work employs a new experimental paradigm in which two conditions (valid/non-valid) with exactly the same relational complexity and different logical complexity are compared.

Method

Participants

Twenty-three young right-handed subjects (12 males and 11 females) make up the MEG database. All participants were recruited during the months of May and June 2019 from the Complutense University of Madrid and the University of Villanueva during May and June 2020 and received academic credit for their participation. After initial signal-quality checks, the data of three participants were removed from our sample due to bad data quality. The final dataset was composed of 20 subjects (10 males and 10 females), with a mean age of 20.35 years (SD =  ± 3.23). Participants did not report any significant neurological or psychopathological conditions or any psychoactive drug intake during MEG recordings. Each participant went through two experimental tasks sequentially. First, they performed a LOGICALLY INVALID paradigm task (the control task), whereupon they performed a LOGICALLY VALID paradigm. 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 in the Declaration of Helsinki. The study was conducted in accordance with the guidelines of Research Ethics of RCEUE, (Red de Comités de Ética de la Investigación de Universidades Públicas Españolas) (Ethics Committees Network of Spanish Public Universities) and was approved by the “Comité de Ética de la Universidad de León” (Ethics Committee of the University of León), dated 11-06-2019 and registered as “ETICA-ULE-O181-2019”.

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, squiggle), color (green, red, black), cardinality (1 or 2), filling (filled, 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 condition has a measurable logical complexity.

Any given trio of cards either does or does not share the same features, figure, color, number and filling. The following are examples of trios which don’t share any features (case 1), share one feature (case 2), share two features (case 3), or share three features (case 4) (see Fig. 1).

Figure 1
figure 1

Example of items of SET in both conditions.

Time chart

The beginning of the trial was signaled by an asterisk (+) presented in the center of the screen for 300 ms, which was then followed by the appearance of the items on the screen for an additional 3500 ms. at which point the items disappeared and the central dot reappeared for 400 ms. Finally, participants were asked to respond quickly for 3700 ms. The time chart is presented in Fig. 2.

Figure 2
figure 2

Timeline of stimuli in milliseconds.

Experimental design paradigm task

The experiment contrasts two inferential tasks which contain the exact same stimuli, meaning the same relational variables with the same contents and properties. The logically valid task includes explicit deductive rules as instructions, while the logically invalid task has no valid deductive rules to follow.

In the logically invalid task, the subject does not receive any specific deductive rule; instead, they are shown a set of visual stimuli (SET cards) and informed about the cards’ features (figure, color, number, filling). The instructions for the logical 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”. In this way, the invalid condition acts as a control of the valid condition, since the subjects face a rule search task with the card features already given by the premises.

In the logically valid task, the subjects must validly deduce their answer given the definition of what makes up a SET and after being shown a trio of cards. The logical properties of a SET allow one to deductively determine if any given trio is or is not a SET exclusively applying tools from elementary first order 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 logical structure of the definition of SET is informally given by the following SET definition:

{[same filling AND (same form OR same number OR same color)] OR [same form AND (same filling OR same number OR same color)] OR [same number AND (same form OR same filling OR same color)] OR [same color AND (same form OR same number OR same filling)]} ↔ SET.

This definition shows that inferences in the valid condition are also p-valid (since they are logically valid and only contain truth functional operators, see6,38) and they help the reader to explicitly follow Modus Ponens and Modus Tollens applications.

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 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. The experimental design presents two tasks with the same relational complexity but distinct logical complexity. The design does not allow the researchers to describe the precise inference pattern followed by any agent in any trial. For cases (3) and (4), 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 a specific pattern, but to study any deductively valid inference. This task is ecological and user-friendly, since it is inspired and presented as a game.

The experiment is programmed and administered using E-PRIME software. The screen CRT has an actualization frequency of 60 Hz, and a resolution of 1024 × 768 pixels. Items in all stimuli are presented against a black background. In both tasks, the index fingers of both hands press keys on a computer keyboard to answer. Participants sit 60 cm in front of the screen in a quiet dimly lit environment.

MEG recordings

MEG data was acquired via a 306-channel Elekta Neuromag system located in the Center for Biomedical Technology (Madrid, Spain), using an online anti-alias filter between 0.1 and 330 Hz and a 1000 Hz sampling rate. Environmental noise was reduced using an offline signal space separation method39, and subject movements were compensated using the same algorithm. The head shape of the participants was acquired using a three-dimensional Fastrak digitizer (Polhemus, Colchester, Vermont), and three fiducial points (nasion and left and right pre-auricular points) were used as landmarks. Four Head Position Indicator (HPI) coils were placed on the participants’ scalp (two on the forehead and two on the mastoids) and their position was recorded.

For the pre-processing pipeline, we used the FieldTrip package40 to automatically detect ocular, cardiac and muscle artifacts, which were subject to validation by an MEG expert. Finally, we used an independent component analysis based on SOBI41 to remove eye-blink and cardiac activity. The data was segmented according to the task events into 1500 ms trials (500 ms of baseline and 1000 ms of task-related data), and trials marked as containing artifacts were discarded from subsequent analysis. Finally, trials with a response time (i.e., time elapsed between the stimulus onset and the response) of less than 1 s were discarded to minimize the influence of motor response over interest time windows.

Results

Behavioral data

RT measure was obtained for each subject and each condition. It was calculated from the onset of the cards trio, within a temporal window of 1 s. Higher RTs were observed in response to the logically Valid condition (Table 1), with a significant main effect p = 0.00012 in the t-test (valid-invalid) analysis for related samples.

Table 1 Descriptive data of RT of the conditions.

In the logically valid condition, the subjects answered correctly 92.44% of the trials and incorrectly for the other 7.66%. The incorrect responses were not considered in the analysis. In the logically invalid condition, there were no evaluable correct or incorrect answers. However, 74.51% of the subjects answered “no” to the 33% of the trials without any feature in common (figure, color, number, filling). Therefore, it seems that the subjects understood the most obvious interpretation of the invalid task, and most of their answers were not arbitrary.

MEG ERF analysis

We explored differences in the cortical ERF responses to different logical reasoning modalities. Cortical amplitudes were time-locked compared for stimuli onset in the time-window from 250 to 800 ms after stimulus display. Whole time-window were statistically compared between conditions using a Cluster Based Permutation Test (CBPT) approach40, finding significant differences within 310 ms and 780 ms. Figure 3 shows the distribution of the significant cluster. In order to ease the interpretation of spatial and temporal relevance of such differences, we represented the cluster distribution in different temporal slices. Figures 4, 5, 6 and 7 represent the distribution of cortical dynamics throughout successive times-slices of 150 ms length (grey mask), with a 25 ms overlap. Within each slice, we highlighted the sensors which contributed to significant cluster. Topographical maps of amplitudes are individually displayed for each task condition and its difference (Figs. 4, 5, 6 and 7A), together with significant results distribution in each time-slice (Figs. 4, 5, 6 and 7B) and times-series (Figs. 4, 5, 6 and 7C).

Figure 3
figure 3

Represents the distribution of cortical activity from 310 to 780 ms. (a) Shows topographical maps of amplitudes for each condition (left and central map) and their arithmetic subtraction (right map). (b) Represents statistical differences (T values) between conditions. Left, positive cluster, and right, negative cluster. White dots represent sensors that showed significant differences during time-window. (c) Shows the whole time-series for both conditions (blue = VALID; black = INVALID). Grey mask represents time-slice of samples with significant results.

Figure 4
figure 4

Represents the distribution of cortical activity in a time-slice from 250 to 400 ms. (a) Shows topographical maps of amplitudes for each condition (left and central map) and their arithmetic subtraction (right map). (b) Represents statistical differences (T values) between conditions. Left, positive cluster, and right, negative cluster. White dots represent sensors that showed significant differences during time-window. (c) Shows the whole time-series for both conditions (blue = VALID; black = INVALID). Grey mask represents time-slice of samples with significant results.

Figure 5
figure 5

Represents the distribution of cortical activity in a time-slice from 375 to 525 ms. (a) Shows topographical maps of amplitudes for each condition (left and central map) and their arithmetic subtraction (right map). (b) Represents statistical differences (T values) between conditions. Left, positive cluster, and right, negative cluster. White dots represent sensors that showed significant differences during time-window. (c) Shows the whole time-series for both conditions (blue = VALID; black = INVALID). Grey mask represents time-slice of samples with significant results.

Figure 6
figure 6

Represents the distribution of cortical activity in a time-slice from 500 to 650 ms. (a) Shows topographical maps of amplitudes for each condition (left and central map) and their arithmetic subtraction (right map). (b) Represents statistical differences (T values) between conditions. Left, positive cluster, and right, negative cluster. White dots represent sensors that showed significant differences during time-window. (c) Shows the whole time-series for both conditions (blue = VALID; black = INVALID). Grey mask represents time-slice of samples with significant results.

Figure 7
figure 7

Represents the distribution of cortical activity in a time-slice from 625 to 775 ms. (a) Shows topographical maps of amplitudes for each condition (left and central map) and their arithmetic subtraction (right map). (b) Represents statistical differences (T values) between conditions. Left, positive cluster, and right, negative cluster. White dots represent sensors that showed significant differences during time-window. (c) Shows the whole time-series for both conditions (blue = VALID; black = INVALID). Grey mask represents time-slice of samples with significant results.

Results showed a significant cluster with higher field negativity for the INVALID condition compared to the VALID condition (p = 0.0004). This “negative” cluster encompassed sensors located in right and middle frontal areas, with significant activity within the time window of 310 ms to 780 ms. Figures 4, 5, 6 and 7. B2 show the cluster dynamical distribution in successive time slices. Additionally, we found a significant cluster of higher field positivity for the INVALID condition, formed by left prefrontal sensors (p = 0.0259) within the time window of 430 ms to 670 ms. Figures 4, 5, 6 and 7. B1 displays the cluster distribution throughout time slices. The cortical source activity measured by sensor-space MEG ERF must be interpreted as a magnetic dipole localized between the higher positive and negative fields. In this sense, throughout the significant time window, main clusters exhibit certain variations in size and sensor distribution. At early stages of the significant time window (250–450 ms) (Figs. 4, 5A,B), a negative field cluster may be formed by two potential dipoles: one is located in left-middle prefrontal regions, with its highest positivity at left prefrontal sensors. The second one appears to be located in right parietal sources, with its highest positivity at right occipito-parietal sensors. However, this second dipole did not show a significant positive field cluster (p = 0.3). The later time window (450–800 ms) (Figs. 6, 7A,B), exhibits a well-localized source of activity in left-middle prefrontal regions, between both positive and negative significant clusters. However, it does not exhibit previous right occipito-parietal positivity or a parietal dipole, while presenting a potential secondary dipole with a non-significative positive cluster in right temporal regions beyond 650 ms. Thus, the more probable origin of this significant activity might be a magnetic dipole situated in left-medial parts of the prefrontal cortex, or anterior cingulate cortex (ACC), particularly within a temporal window of 400 to 780 ms (see B component in Figs. 4, 5, 6 and 7). The temporal and spatial distribution of amplitude differences are in accordance with classical electromagnetic components P300b, N400 and P600, whose neurocognitive implications will be discussed below.

Discussion

This work has tried to determine if validity (systematic preservation of truth) leaves any trait in brain processing. The neuroelectrical MEG study compares inferences with the same content (same stimuli and same relational variables) but distinct logical complexity, showing that valid deductions leave an electric trail measurably distinct from logically invalid inferences. Both logically valid and invalid conditions show different amplitudes around P3, N4 and P6 electromagnetic components, including distribution sensors with significant and growing amplitude differences which reach a peak at 0.5–0.7 s. The spatial distribution of the significant electrical activity displayed in the MEG was remarkably the same in both conditions, located in the medial left prefrontal cortex and the ACC. Remarkably, in the logically valid condition, the amplitude and intensity of the electrical brain activity was significantly lower while the reaction time was 54.37% higher than in the logically invalid condition. The recursive computational nature of logically valid deductive inferences can be suggested as an explanation of this hypoactivity and retardment. Deductions in the valid condition result from recursive, explicit and monitored computations which are not only slower but also less demanding.

Amplitude differences between the conditions should be attributed to the processing of logical complexity, since the paradigm grants that besides logical complexity, both conditions have the same variables. These differences begin to be significant after 350 ms (negative cluster, see Fig. 4) or 420 ms (positive cluster, see Fig. 4), coinciding with the presence of a P300 potential that the neuroscientific literature41,42,43, and particularly the neuroelectric literature21,22,45, associates with premise integration8,17,18,19,20,22,23,24. The potential is found in both conditions, which is expected since both are fully integrable. In fact, in the positive cluster (see Fig. 4B), there are still no significant traces of valid deduction. The topology of this positive cluster confirms the activation of semantical left parietal brain areas related to integration and the P3B potential, confirming previous studies7,9,17,18,19,20 which suggested that semantical content determines the integration of premises. On the other hand, differences between conditions are significant in the negative cluster (see Fig. 4B). The literature describes the recruitment of the right hemisphere when integration difficulties appear1,22,23 or in the presence of complex logical deductions7,8; but in this case these difficulties do not exist, since both conditions are equally integrable and neither is especially complex. Therefore, differences between conditions must be attributed to the diminution of electrical activity in the valid condition in the negative cluster. Figure 4C shows the ERF evolution and confirms this process. In the following phase of the initial window (Fig. 5), the hypoactivity of the valid condition extends to the positive cluster, and the differences between valid and invalid inferences progressively increase. However, the amplitude diminution of valid inferences does not alter the common electrical profile of components in both conditions, which is slightly retarded in the valid condition. In the temporal window at 375–525 ms, a clear N400 component is found in both conditions (see Fig. 5B). The neuroelectrical literature on deduction has sometimes interpreted this wave not as an N400, but as an additional component to integration24,43,44, since the role of semantic content (processed by N400) is a disputed issue in formally valid deductions23,24,45,46 have also found evidence of N400-like deflations in deductive contexts, both in linguistical and visual settings. Its presence in the valid condition seems to show that semantic content processing accompanies but does not conflate with logical complexity.

In the initial phase of the late temporal window (500–650 ms) (see Fig. 6) the maximal differences between conditions is reached coinciding with the positive deflation in the valid condition at about 550 ms, which may be interpreted as an advanced P600 potential. To explain these differences, we can exclude attributing the P600 component to integration difficulties20,21 or syntactic rule violation47, or even pragmatic maxims violations, since both conditions share the same contents. Consequently, these differences should be attributed to the processing of logical complexity, not relational complexity (which does not differ between conditions). Moreover, this late potential has been extensively associated in the literature with reprocessing, which we may interpret deductively in this situation. Antecedents for this late deductive interpretation have been found in the logical interpretation of quantifiers48, in the processing of propositional connectives13 and after deductive training15,16.

It has been described how the intensity of the electrical brain activity progressively diminishes in the valid condition while simultaneously the reaction time significantly increases (see Table 1). What kind of physical process associated with valid deduction is automatic (less demanding) and temporally (neurally and conductually) slow? The most direct and plausible answer to this question is: a recursive or computational process. A theoretical argument and a practical argument ground this answer. From a theoretical viewpoint, a deductive system is one of the equivalent formal tool sat the origin of the contemporary notion of recursiveness or computability with its strengths and limitations49. Logically valid deductions are all provable or demonstrable by means of complete deductive formal systems, even if not all valid deductions are algorithmically decidable5. In this regard, valid deductions are computational in a literal sense, not in the metaphorical sense (in which many neural processes are said to compute). As it is well known, logically valid deductions combine a finite number of rules and axioms, and for this reason, they are automatable in different kinds of abstract and physical devices49. Moreover, automatable cortical processes are known to be electrically less demanding50, and therefore, the fact that logically valid deductions are less demanding is consistent with their recursive or computational nature.

The electrical hypoactivity in the valid condition is explained by the minor energy demand of valid deductions with respect to non-valid inferences. The automatic application of logical algorithms, such as those with elementary complexity employed in SET, seems to demand less effort and energy as has been observed in other cognitive51 and motor52 experiments. The automatization of valid deductive routines allows one to save energy without exposing an inference to systematic error.

Cerebral automatisms are typically swift and rapid53. How, then, can the remarkable retardment in valid deductive processing be explained? It can be explained by the recursive nature of valid inferences, which are deductive proofs of SET properties. Notice that recursive computational procedures are faster and more efficient than simple iterations54, but they are still slow compositional processes based on strict routines and they exclude abbreviated procedures or heuristic jumps. Logically valid deductive reasoning is a computational step-by-step procedure which is fully explicit and compositional. That is, subjects must first process the cards composing the items and then combine them and apply the definition of SET with its logical structure. This is a recursive task which consumes time as a linear function of its logical and relational complexity. For this reason, time-reactions are significantly slower in the valid condition, and neuroelectrically, significant differences appear after 600 ms (see). Recursion as a computational feature found in cerebral processes has been found in visual54 and motor55 processes which may incorporate implicit deductive tasks. In SET, recursive computations correspond to explicitly monitored step by step procedures or proofs which explain the slowness in the automatable processes. Logical training does not in general reduce the reaction time solving valid deductive reasoning15,16, because valid deductions don't allow heuristic shortenings and in fact logical training inhibits them. Previous studies on the logical inference of children56 and professional mathematicians57 have shown similar computational retardments also associated with recursive tasks. The paradigm does not allow us to determine which specific sequence or valid deductive rule is followed in the valid condition, but we know that some kind of valid ordered sequence of SET rules is successfully followed. On the other hand, the deductive monitorization of inference is also a slow recursive task in which standard heuristic responses are systematically avoided. Moreover, late hypoactivity and recursiveness in deductive reasoning is consistent with earlier neuroscientific12 and psychological23 research on deductive reasoning identifying inhibitory strategies to avoid both heuristic or random conclusions in logically valid deductive settings.

Therefore, the recursive features of the cortical processing of logically valid deduction explain the electrical and conductual results of the experiment, showing that logically valid inferences have factive electrical properties absent in non-valid inferences. Moreover, the recursiveness in precise mathematical models of brain activity will allow to verify or refute its presence in cerebral processes. Consequently, the question posed in the introduction: are there factual marks of valid deductions as time-consuming events? is answered affirmatively. There are electrical marks of a normative notion such as logical validity.

The results point to slow automatism as a factive feature that is present in the logically valid condition and not in the invalid condition. However, to fully characterize validity in factive terms, we should show that only valid inferences have those factive properties. We cannot exclude sporadic valid deductions within the non-valid condition, and moreover, we cannot associate them with less electrical demand or a longer temporal duration. Let us imagine a trial in the invalid condition in which a certain rule hypothesis is default. The agent validly rejects the hypothesis (for example via Modus Tollens). Let us call all logically valid deductive inferences non-explicitly produced in any inferential process (deductive or not) and only those inferences microdeductions. Microdeductions are logically valid deductions that happen within non-deductive and/or non-valid inferences. For example, uncompleted, unconscious or frustrated inferential processes may also contain microdeductions. A full electrical characterization of any kind of logically valid deductions should therefore include microdeductions. We formulate the conjecture that microdeductions are also recursive and less electrically demanding. This hypothesis is consistent with the recursive or computational nature of logically valid deductions in general but confirming or refuting the hypothesis requires a new experimental paradigm distinct from the protocol used in this work. Consequently, the results obtained in the experimental condition imply that all logically valid inferences in this condition are slow automatisms. If the microdeductive conjecture were confirmed, then sufficient physical (neuroelectrical) conditions for logical validity would be defined.

From a spatial point of view, the significant activity at the maximal distinction period between valid and invalid conditions (400–780 ms) have been located in the magnetic dipole situated in left medial parts of the prefrontal cortex, or anterior cingulate cortex (ACC) (see B components in Figs. 4, 5, 6, and 7). Both deductive conditions presented the same spatial origin, irrespective of their validity. On the other hand, valid deductive activity is a notable example of a higher cognitive process requiring top-down control, which is exactly what is attributed to the ACC by the literature58. Valid deductive abilities are excellent candidates for verifying maintenance, inhibition and monitorization processes recruited by the ACC. This magnetic dipole is consistent with one of the deductive “core” areas identified by Monti and Oshershon24, Monti25,26 and Monti and Coetzee27,28,29. A minoritarian but recalcitrant series of studies with distinct techniques (fMRI, PET, and now MEG) seem to show that part of the cerebral processing of logical complexity happens in an area independent from the brain’s language areas. Other electrical studies of deduction8,19,21,22 tend to understand it as a consequence of content integration of premises. To deal with this disagreement, the results in this study suggest that all valid deductive inferences are recursive and hypoactive. Under this general pattern, one can consistently explain the presence of three neural profiles for valid deductive inferences in the literature: (i) those that result from logical complexity computations (slow and late (P6) cognitive events), (ii) those that result from content integration (P3 deductions) and (iii) those that are even faster than awareness such as Modus Ponens (below 50 ms according to Reverberi’s results59. Temporal and spatial results show that late deductions are monitored and reprocessed, while earlier deductions are probably not. In this regard, there is no blatant contradiction between the majoritarian semantical understanding of deductions as content-dependent and the minoritarian logical understanding of deductions as recursive.

As a conclusion, deductions can be considered to be adventitious inferential processes proceeding with purely heuristic rules. Probably, most inferences that the human brain helps to produce are of this type. But electrical brain activity in the valid condition shows that there are non-adventitious deductions which are recursive, automatable and valid. This study has taken advantage of MEG’s high resolution images to uncover the necessary electrical conditions for valid deductions, even if sufficient conditions have only been conjectured and are the objective of future research confirming or refuting the microdeduction hypothesis.