设为首页收藏本站

黑蓝论坛

 找回密码
 加入黑蓝

QQ登录

只需一步,快速开始

搜索
123
返回列表 发新帖
楼主: Zen
打印 上一主题 下一主题

因明概述

[复制链接]

189

主题

0

好友

3674

积分

业余侠客

朱岳-影法师

Rank: 4

21#
发表于 2007-8-4 13:20:24 |只看该作者
"晨星是暮星"和""晨星"和"暮星"是同一对象的名称"很接近,起码功能很接近.但后者是提及"晨星"和"暮星",前者是使用.前者并没有预设有这么两个名称即"晨星"和"暮星"存在.前者是必然真的(如果存在晨星和暮星)(按克里普克那种简化的说法),后者则是或然的而且无疑是后验的.但一个人如果不知道"晨星"和"暮星"是同一对象的名称,他就不会知道晨星是暮星.从这个意义上说,前者又有经验命题的特点.但引入"知道"这个词又需要对命题态度问题有所考察.先不说了.
有个我觉得重要的问题提一下,"雪是白的"和""雪是白的"为真"其实也有上面提的那个问题.它们并不等价.举个极端的例子:"不存在任何命题"和""不存在任何命题"为真",前者其自身就构成对自己的否定性的证据,但并不是矛盾式.但后者是自相矛盾的.这一点,在塔尔斯基的论文里并没指出来.这个问题和语义悖论的问题不是一回事.以后有机会专门讨论一下吧~
"逻辑"这个词很可疑~~~
回复

使用道具 举报

189

主题

0

好友

3674

积分

业余侠客

朱岳-影法师

Rank: 4

22#
发表于 2007-8-4 13:22:09 |只看该作者
今天看到一个对独立性比较清楚的阐释,打一部分上来

"1.1 一形式系统中的一公式A独立于一公式集X,当且仅当依据该系统的推导规则不能从X导出A.

1.2 在另外一个密切相关的意义上:A独立于公式集X,当且仅当依据该系统的某些(可能是暗含的)推导规则,从X和某些明确地或暗含地假设的公理(例如谓词演算的公理)出发不能导出A.

1.3 在经典逻辑的基础上,独立性和一致性(参看该词条)紧密相关:A独立于X,当且仅当X U {~A}是一致的.   "

                                                                      <<现代逻辑词典>>,人大出版社
回复

使用道具 举报

您需要登录后才可以回帖 登录 | 加入黑蓝

手机版|Archiver|黑蓝文学 ( 京ICP备15051415号-1  

GMT+8, 2025-7-27 07:50

Powered by Discuz! X2.5

© 2001-2012 Comsenz Inc.

回顶部