第阶段：史前期 http://robolab.sjtu.edu.cn 冬数理逻辑：17世纪发明的数理逻辑，也就 是在逻辑中引入数学的方法。其中激励科 学家进行这项研究的一个思想是：思维并 不难掌握，“一切思维不过是计算（即加 与减) 英国著名哲学家霍布斯(Thomas Hobbes,1588-1679):正如算术学者教人数字 的加与减；几何学家教人在线、形、角、比例、 快速程度、力等方面进行加与减；逻辑学叫则 教人在字（词）的推论方面进行加与减：将两 个名词相加得到一个断定，将两个断定相加得 到一个三段论，将若干个三段论相加得到一个 证明，并且由三段论的结论中减去一个命题， 以得到另一命题。 8 RIR.SJTU 数理逻辑：17世纪发明的数理逻辑，也就 是在逻辑中引入数学的方法。其中激励科 学家进行这项研究的一个思想是：思维并 不难掌握，“一切思维不过是计算（即加 与减）”  英国著名哲学家霍布斯（Thomas Hobbes,1588-1679）:正如算术学者教人数字 的加与减；几何学家教人在线、形、角、比例、 快速程度、力等方面进行加与减；逻辑学叫则 教人在字（词）的推论方面进行加与减：将两 个名词相加得到一个断定，将两个断定相加得 到一个三段论，将若干个三段论相加得到一个 证明，并且由三段论的结论中减去一个命题， 以得到另一命题。 8 http://robolab.sjtu.edu.cn RIR.SJTU 第1阶段：史前期