How our brains reason logically

The aim of this article is to strengthen links between cognitive brain research and formal logic. The work covers three fundamental sorts of logical inferences: reasoning in the propositional calculus, i.e. inferences with the conditional “if...then”, reasoning in the predicate calculus, i.e. inferences based on quantifiers such as “all”, “some”, “none”, and reasoning with n-place relations. Studies with brain-damaged patients and neuroimaging experiments indicate that such logical inferences are implemented in overlapping but different bilateral cortical networks, including parts of the fronto-temporal cortex, the posterior parietal cortex, and the visual cortices. I argue that these findings show that we do not use a single deterministic strategy for solving logical reasoning problems. This account resolves many disputes about how humans reason logically and why we sometimes deviate from the norms of formal logic.

The self-regulating brain: Cortical-subcortical feedback and the development of intelligent action

To speak of cognitive regulation versus emotion regulation may be misleading. However, some forms of regulation are carried out by executive processes, subject to voluntary control, while others are carried out by “automatic” processes that are far more primitive. Both sets of processes are in constant interaction, and that interaction gives rise to a stream of activity that is both cognitive and emotional. Studying the brain helps us understand these reciprocal regulatory influences in some detail. Cortical activities regulate subcortical activities through executive modulation of prepotent appraisals and emotional responses. Subcortical systems regulate the cortex by tuning its activities to the demands or opportunities provided by the environment. Cortical controls buy us time, as needed for planning and intelligent action. Subcortical controls provide energy, focus, and direction, as needed for relevant emotion-guided behaviour. We review the neural processes at work in both directions of regulatory activity, looking at the anterior cingulate cortex (ACC) as a hub of cortical systems mediating downward control, and discussing limbic, hypothalamic, and brainstem systems that mediate upward control. A macrosystem that displays both directions of control includes the ACC and the amygdala within a feedback circuit whose features vary with clinical-personality differences. Developmental changes in ACC-mediated self-regulation support advances in directed attention, response inhibition, and self-monitoring. Developmental changes in amygdala-mediated self-regulation involve the compilation of meanings that direct thought and behaviour, thus consolidating individual differences over the lifespan. In this way, the capacity to exert voluntary control develops alongside the accumulation of associations that trigger the responses that demand control. The balance between these developmental progressions has implications for personality formation and mental health.     

The Effects of Tobacco Smoke and Nicotine on Cognition and the Brain

Tobacco smoke consists of thousands of compounds including nicotine. Many constituents have known toxicity to the brain, cardiovascular, and pulmonary systems. Nicotine, on the other hand, by virtue of its short-term actions on the cholinergic system, has positive effects on certain cognitive domains including working memory and executive function and may be, under certain conditions, neuroprotective. In this paper, we review recent literature, laboratory and epidemiologic, that describes the components of mainstream and sidestream tobacco smoke, including heavy metals and their toxicity, the effect of medicinal nicotine on the brain, and studies of the relationship between smoking and (1) preclinical brain changes including silent brain infarcts; white matter hyperintensities, and atrophy; (2) single measures of cognition; (3) cognitive decline over repeated measures; and (4) dementia. In most studies, exposure to smoke is associated with increased risk for negative preclinical and cognitive outcomes in younger people as well as in older adults. Potential mechanisms for smoke’s harmful effects include oxidative stress, inflammation, and atherosclerotic processes. Recent evidence implicates medicinal nicotine as potentially harmful to both neurodevelopment in children and to catalyzing processes underlying neuropathology in Alzheimer’s Disease. The reviewed evidence suggests caution with the use of medicinal nicotine in pregnant mothers and older adults at risk for certain neurological disease. Directions for future research in this area include the assessment of comorbidities (alcohol consumption, depression) that could confound the association between smoking and neurocognitive outcomes, the use of more specific measures of smoking behavior and cognition, the use of biomarkers to index exposure to smoke, and the assessment of cognition-related genotypes to better understand the role of interactions between smoking/nicotine and variation in genotype in determining susceptibility to the neurotoxic effects of smoking and the putative beneficial effects of medicinal nicotine.     

Categorical Ontology of Levels and Emergent Complexity: An Introduction

An overview of the following three related papers in this issue presents the Emergence of Highly Complex Systems such as living organisms, man, society and the human mind from the viewpoint of the current Ontological Theory of Levels. The ontology of spacetime structures in the Universe is discussed beginning with the quantum level; then, the striking emergence of the higher levels of reality is examined from a categorical—relational and logical viewpoint. The ontological problems and methodology aspects discussed in the first two papers are followed by a rigorous paper based on Category Theory, Algebraic Topology and Logic that provides a conceptual and mathematical basis for a Categorical Ontology Theory of Levels. The essential links and relationships between the following three papers of this issue are pointed out, and further possible developments are being considered.     

The biological bases of unfairness: Neuroimaging evidence for the distinctiveness of procedural and distributive justice

A classic debate in the organizational justice literature concerns the question of whether procedural justice and distributive justice are independent constructs. We investigate this question by using fMRI methods to examine brain activation patterns associated with procedural and distributive unfairness. We observed a clear dissociation of activation between these two forms of justice, and only a minimal amount of shared activation in the hypothesized regions. Specifically, unfair procedures evoked greater activation in parts of the brain related to social cognition, such as the ventrolateral prefrontal cortex (VLPFC) and the superior temporal sulcus (STS), whereas unfair outcomes evoked greater activation in more emotional areas of the brain, such as the anterior cingulate cortex (ACC), anterior insula (AI) and the dorsolateral prefrontal cortex (DLPFC). We interpret the findings as supporting the notion that the two forms of justice reflect distinct constructs, while recognizing that, as forms of justice, they are closely related nomologically.     

抑郁症的整合情绪记忆模型述评

多种早期情绪记忆模型尝试揭示抑郁症的认知致病原因和机制。但是,抑郁症的致病因素存在多样性,而各个模型只侧重于某个方面,难以全面、系统、准确对其进行的诠释。整合情绪记忆模型将记忆建构、自我图式、自传体记忆、内隐记忆等认知结构进行系统的整合,从编码和提取的角度对抑郁症的的发生、持续和治疗提供新的解释,为抑郁症的预防、治疗提供了新思路。     

The Tense Logic for Master Argument in Prior’s Reconstruction

In this paper we examine Prior’s reconstruction of Master Argument [4] in some modal-tense logic. This logic consists of a purely tense part and Diodorean definitions of modal alethic operators. Next we study this tense logic in the pure tense language. It is the logic K _t 4 plus a new axiom (P): ‘p Λ G p ⊃ P G p’. This formula was used by Prior in his original analysis of Master Argument. (P) is usually added as an extra axiom to an axiomatization of the logic of linear time. In that case the set of moments is a total order and must be left-discrete without the least moment. However, the logic of Master Argument does not require linear time. We show what properties of the set of moments are exactly forced by (P) in the reconstruction of Prior. We make also some philosophical remarks on the analyzed reconstruction. Presented by Jacek Malinowski     

Uncovering deterministic causal structures: a Boolean approach

While standard procedures of causal reasoning as procedures analyzing causal Bayesian networks are custom-built for (non-deterministic) probabilistic structures, this paper introduces a Boolean procedure that uncovers deterministic causal structures. Contrary to existing Boolean methodologies, the procedure advanced here successfully analyzes structures of arbitrary complexity. It roughly involves three parts: first, deterministic dependencies are identified in the data; second, these dependencies are suitably minimalized in order to eliminate redundancies; and third, one or—in case of ambiguities—more than one causal structure is assigned to the minimalized deterministic dependencies.