思想能否建模?

当然能 , 已然能 。从逻辑学角度考察 , ​所谓思想即人类酒足饭饱之后写下的某一理论化、系统化命题集合 。 比如 , 叉格学就是一种思想 , 它由一系列人文术语的数学定义及其推论构成 。 再比如 , 合理需求论也是一种思想 , 它由大威在各个历史时期的讲话精神构成 , 只要贾楼改开 , 李楼就将无偿为其提供建模援助并推单行本 。 又比如 , 棋艺也是一种思想 , 它由各种战术命题构成 , 建模后深蓝赢了卡斯帕罗夫 , 阿尔法赢了李世石 。 据此 , 我们可抽象出任意思想T的一般离散模型如下:​T={p|0≤t(p)≤1}​式中 , p为思想T所涉主题的一阶n元谓词命题 , t(p)为命题p的真值 。​任何以人类思想充满随机性而认为其不可建模的观念 , 都与逻辑学的发展史格格不入 。 事实上 , ​数理逻辑就是专给思想建模的一门科学 。 建模之后 , 数理逻辑即导出了两个惊世骇俗的定理 , 即哥德尔第一和第二定理:任何思想体系内都至少有一个命题不可证;思想体系本身的无矛盾性不可自证 。


    推荐阅读