28、论证与命题逻辑教学的可视化工具探索

论证与命题逻辑教学的可视化工具探索

1. 论证教学工具简介

在教学中，有三种用于教授论证技巧的工具，它们各有特点且能相互补充。
- 传统论证分析工具 ：专注于对论证进行细致的分析。
- 对话系统类工具 ：将论证教学拓展到对话系统领域。

这些工具的互补性和资源复用性源于论证交换格式的抽象本体这一共同基础。随着越来越多使用该格式的工具和数据集的开发，在教育领域，无论是机构内部还是机构之间，其潜在的教育益处都在不断增加。

下面通过表格展示这三种工具的特点对比：
|工具类型|特点|
| ---- | ---- |
|传统论证分析工具|深入分析论证结构|
|对话系统工具1|促进对话式论证学习|
|对话系统工具2|拓展论证教学场景|

2. 命题逻辑教学的假设基础

2.1 抽象与空间认知的联系

数学和逻辑语言中充满了隐喻，这表明抽象认知与空间认知可能存在紧密联系。例如，数学中说序列“逃逸”、函数“跳跃”等，逻辑中“论证站不住脚”“结论从前提得出”等表达，都体现了使用者与物理环境的关联。

从进化理论的角度来看，人类产生抽象思维的能力可能是大脑中负责感知和操纵空间的部分适应的结果。人类具有卓越的视觉能力，这种能力在进化过程中达到了很高的水平，自然可以成为新认知过程的支撑。

2.2 视觉与推理的关系探讨

不同学者对视觉与推理的关系有不同观点：
- Pylyshyn观点 ：多数科学