Logic linking neural activity to thought and action

Establish a rigorous and comprehensive computational logic that explains how patterns of neural spiking and synaptic dynamics give rise to high-level cognitive phenomena such as thought and action, thereby providing a formal bridge between neuronal activity and cognition.

Background

The paper motivates its modeling approach by citing a widely recognized gap in neuroscience: an overarching explanatory framework for how neural activity produces cognition. The authors present their NEMO model as a candidate minimal abstraction of neuronal principles to progress toward this goal.

The quoted statement frames the absence of a formal logic as a central open direction for the field, underscoring the need for principled models that connect spiking dynamics and synaptic plasticity to complex behaviors like planning and language.