论文部分内容阅读
由于数学、人工智能及其计算主义哲学立场间必然的亲缘关系,源于19世纪数学界的形式与语义之争,在当今被“遗传”到了计算主义在心灵哲学中所提出的心灵的计算理论中,并成为当今计算主义的争论焦点。这一争论的实质是对意向性理论问题的争论,它的重要实践意义在于:形式与语义之争为人工智能学科提供了新的思路。