逻辑学研究不仅仅是关于形式系统,而是理解理性思维的基本结构。
人工智能的进展不仅仅是关于算法和数据,还涉及理解智能本身的本质。