送交者: bluesea 于 2005-4-24, 07:11:55:
回答: 这个么不逻辑是不对的,张先生真的挺冤枉的. 由 bluesea 于 2005-4-24, 06:21:33:
偶的帖子可能看起来挺象骗子的帖子，一会儿这个世界，
一会儿那个世界。还什么上帝必挑选一个最合理的成为现实
世界。这不是宣扬相信上帝嘛。直观上感觉这bluesea越来越
有“某大师”的倾向了。
可是，逻辑本身的已经不再是经典逻辑这些内容了。事
实上逻辑界对必然性的考虑是贯穿从老亚头一直到现在逻辑
学家的时间的。
“可能性世界语义”（英文Possible Worlds Semantics
大家注意这里world是复数形式）是kripke 创造的。这样在
逻辑世界中确实存在两种世界，可能性世界和现实世界。
kripke 创造的这套语义系统，正是出于解答发展Hintikka
在前一年(1962)发表的著名的Knowledge and Belief中的问题
和定义。
自从有了计算机以后，逻辑获得一个很好的推理实证工
具。而这两位大师的理论，和在其上发展的理论，正通过计算
机技术，人工智能技术，得到不断的检验和发展。
而莱不尼茨完全可以看作和爱因斯坦一样，老爱说：上帝
不抛硬币。
我或许逻辑推演解释不够，或错误，但绝对没有半点买弄
的意思，这个问题是再典型不过的认知逻辑的问题。请大家明
鉴啊~~~~~~