A category theory perspective on the Language of Thought: LoT is universal

Front Psychol. 2024 Apr 30:15:1361580. doi: 10.3389/fpsyg.2024.1361580. eCollection 2024.

Abstract

The Language of Thought (LoT) hypothesis proposes that some collections of mental states and processes are symbol systems to explain language-like systematic properties of thought. Recent proponents of this hypothesis point to additional LoT-like properties in non-linguistic domains to claim that LoT remains the "best game in town" in terms of explanatory coverage. Nonetheless, LoT assumes but does not explain why/how symbolic representations connect to other (non-symbolic) formats. The perspective presented here is supposed to bridge this gap as a duality in a category theoretical sense: (perceptual) data are projected onto a base (conceptual) space in one direction, and in the opposite direction, these data are referenced by that space. Accordingly, perception is dual to conception. These constructions follow from a universal mapping principle affording an explanation for why/how symbolic and non-symbolic formats are connected: as the "best" possible transformation between the two forms- so the slogan, LoT is universal. This view also sheds some light on the apparent pervasiveness of logic-like capacities across age-groups and species, and these constructions constitute special types of categories called toposes (topoi), and every topos has an interpretation in first-order logic.

Keywords: Language of Thought; category; category theory; product; subobject; topos; topos theory.

Publication types

  • Review

Grants and funding

The author(s) declare financial support was received for the research, authorship, and/or publication of this article. This study was supported by a Japanese Society for the Promotion of Science Grant-in-aid (23K11797).