借这个帖子偶再做声明,请大家明鉴啊。



所有跟贴·加跟贴·新语丝读书论坛http://www.xys.org/cgi-bin/mainpage.pl

送交者: 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中的问题
和定义。

自从有了计算机以后,逻辑获得一个很好的推理实证工
具。而这两位大师的理论,和在其上发展的理论,正通过计算
机技术,人工智能技术,得到不断的检验和发展。

而莱不尼茨完全可以看作和爱因斯坦一样,老爱说:上帝
不抛硬币。

我或许逻辑推演解释不够,或错误,但绝对没有半点买弄
的意思,这个问题是再典型不过的认知逻辑的问题。请大家明
鉴啊~~~~~~




所有跟贴:


加跟贴

笔名: 密码(可选项): 注册笔名请按这里

标题:

内容(可选项):

URL(可选项):
URL标题(可选项):
图像(可选项):


所有跟贴·加跟贴·新语丝读书论坛http://www.xys.org/cgi-bin/mainpage.pl