首页 > TAG信息列表 > Aristotle
谓词逻辑的发展
古希腊的亚里士多德(Aristotle)Aristotle等人于两千多年前 创立了古典形式逻辑,也称为传统逻辑。传统逻辑的不足:用自然语言加少量符号表述命题,不严格,常有二义性,并且没有包括所有的正确推理形式。为了弥补传统逻辑的不足,德国数学家哲学家莱布尼兹(Leibniz)Leibniz于十七世谓词逻辑发展
古希腊的亚里士多德(Aristotle)Aristotle等人于两千多年前 创立了古典形式逻辑,也称为传统逻辑。传统逻辑的不足:用自然语言加少量符号表述命题,不严格,常有二义性,并且没有包括所有的正确推理形式。为了弥补传统逻辑的不足,德国数学家哲学家莱布尼兹(Leibniz)Leibniz于十七世