• 亚里士多德：什么是正确的论证/思维过程？• 几所希腊学派发展了各种形式的逻辑：思想的符号和推导规则；可能已经或可能没有发展到机械化的想法 • 通过数学和哲学直接联系到现代人工智能 • 问题：1.并非所有智能行为都由逻辑思考介导 2.思考的目的是什么？我应该有什么想法？