| Project/Area Number |
23K11797
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Multi-year Fund |
|---|
| Section | 一般 |
|---|
| Review Section |
Basic Section 90030:Cognitive science-related
|
|---|
| Research Institution | National Institute of Advanced Industrial Science and Technology |
|---|
Principal Investigator |
Steven Phillips 国立研究開発法人産業技術総合研究所, 情報・人間工学領域, 上級主任研究員 (90344209)
|
|---|
| Project Period (FY) |
2023-04-01 – 2026-03-31
|
| Project Status |
Granted (Fiscal Year 2023)
|
| Budget Amount *help |
¥4,680,000 (Direct Cost: ¥3,600,000、Indirect Cost: ¥1,080,000)
Fiscal Year 2025: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
Fiscal Year 2024: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
Fiscal Year 2023: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
|
|---|
| Keywords | Language of Thought / symbol / subsymbol / category / topos / systematicity / learning / induction / analogy / category theory |
|---|
| Outline of Research at the Start |
There are two types of cognitive processes: fast and effortless, but susceptible to cognitive bias (Type 1), and slow and effortful, but more rational (Type 2). Category theory methods are used to model the relationship between Type 1 and Type 2 cognitive processes.
|
| Outline of Annual Research Achievements |
This project proposes a category theory approach to the (co-)development of (symbol-like) higher cognition in relation to nonsymbolic (spatial) abilities. The classical view supposedly accounts for higher cognitive abilities as a Language of Thought (LoT), i.e. thought processes are language-like, and recent proponents of this view point to LoT-like properties in nonlinguistic (spatial) domains to claim that LoT is the “best game in town” for explanatory coverage. However, the LoT hypothesis does not explain how/why symbol-like cognitive representations connect to other (non-symbolic) formats. The main achievement for this financial year was to provide a category/topos theoretic approach as a formal framework for bringing together symbolic and nonsymbolic (spatial) cognition. This work was presented at the 45th Annual Meeting of the Cognitive Science Society, Sydney, Australia (Phillips, 2023) and published in the international academic journal, Frontiers in Psychology (Phillips, 2024).
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
Topos theory brings together algebra, topology and logic, cf. language, perception and reasoning. This approach is supposed to bridge the gap between symbol-like and spatial cognition as a duality, in a category theory sense, between perception and conception. Various properties of spatial cognition that provide further support for LoTs (e.g., discrete constituents, role-filler bindings and logical connectives) follow from categorical universal constructions. Together, these constructions constitute a special kind of category, called a topos, and every topos has an interpretation in first-order logic, hence the apparent pervasiveness of logic across age-groups and species.
|
| Strategy for Future Research Activity |
The plan for the next financial year is to extend this approach to incorporate resources and goals (intentions) thereby also explaining why there are systematic failures to induce higher cognitive abilities, such as exhibited in the Relational Schema Induction paradigm. An early version of this work was submitted for presentation at the 46th Annual Meeting of the Cognitive Science Society, Rotterdam, The Netherlands.
|
