思想

思想这词 , 耳熟难详 。难详的原因 , 在于思想一直缺乏严格的数学定义 。 比如 , 何为封建思想?莫衷一是 。 再比如 , 何为资产阶级思想?还是莫衷一是 。 又比如 , 何为哲学思想?依然莫衷一是 。 纵观历史 , 所谓思想即人类酒足饭饱之后就某一领域写下的碎片化命题集合 。 设T为一个思想 , 则T的结构可定义如下:​ T={p|0≤t(p)≤1}式中 , p为思想T所涉主题的一阶n元谓词命题 , t(p)为命题p的真值 。​任何以人类思想充满随机性而认为其不可建模的观念 , 都与逻辑学的发展史格格不入 。 事实上 , ​数理逻辑就是专给思想建模的一门科学 。 建模之后 , 数理逻辑即导出了两个惊世骇俗的定理 , 即哥德尔第一和第二定理:任何思想体系内都至少有一个命题不可证;思想体系本身的无矛盾性不可自证 。


    推荐阅读