===========================================================
有关逻辑
===========================================================
作者: junsheng(http://junsheng.itpub.net)
发表于: 2005.09.02 17:16
分类: 研究
出处: http://junsheng.itpub.net/post/860/39919
---------------------------------------------------------------
发表于: 2005.09.02 17:16
分类: 研究
出处: http://junsheng.itpub.net/post/860/39919
---------------------------------------------------------------
经典数理逻辑是理想化的逻辑，恩格斯：理想的东西不现实 现实的东西不理想
人工智能需要面对现实问题！
形式逻辑的三大基本问题： 概念、判断、推理
集合、逻辑和代数是一个事物的三个不同方面：集合是事物的外延；逻辑是事物的内涵；代数则描述了集合和逻辑的共同数学性质，它们是三位一体的关系。一种逻辑学理论，必然有一种集合理论和代数理论与之对应，充分利用这种三位一体的关系，可以加快集合、逻辑和代数理论的协同发展。
人工智能需要面对现实问题！
形式逻辑的三大基本问题： 概念、判断、推理
集合、逻辑和代数是一个事物的三个不同方面：集合是事物的外延；逻辑是事物的内涵；代数则描述了集合和逻辑的共同数学性质，它们是三位一体的关系。一种逻辑学理论，必然有一种集合理论和代数理论与之对应，充分利用这种三位一体的关系，可以加快集合、逻辑和代数理论的协同发展。
