| 研究課題/領域番号 |
23K11797
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 基金 |
|---|
| 応募区分 | 一般 |
|---|
| 審査区分 |
小区分90030:認知科学関連
|
|---|
| 研究機関 | 国立研究開発法人産業技術総合研究所 |
|---|
研究代表者 |
Steven Phillips 国立研究開発法人産業技術総合研究所, 情報・人間工学領域, 上級主任研究員 (90344209)
|
|---|
| 研究期間 (年度) |
2023-04-01 – 2026-03-31
|
| 研究課題ステータス |
交付 (2023年度)
|
| 配分額 *注記 |
4,680千円 (直接経費: 3,600千円、間接経費: 1,080千円)
2025年度: 1,560千円 (直接経費: 1,200千円、間接経費: 360千円)
2024年度: 1,560千円 (直接経費: 1,200千円、間接経費: 360千円)
2023年度: 1,560千円 (直接経費: 1,200千円、間接経費: 360千円)
|
|---|
| キーワード | Language of Thought / symbol / subsymbol / category / topos / systematicity / learning / induction / analogy / category theory |
|---|
| 研究開始時の研究の概要 |
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.
|
| 研究実績の概要 |
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).
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
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.
|
| 今後の研究の推進方策 |
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.
|
