海纳百川 :: 阅读主题 - 为什么特称判断是相对的?

海纳百川

登录 \| 登录并检查站内短信 \| 个人设置	网站首页 \| 论坛首页 \| 博客 \| 搜索 \| 收藏夹 \| 帮助 \| 团队 \| 注册 \| RSS


	主题: 为什么特称判断是相对的?

海纳百川首页 -> 罕见奇谈

阅读上一个主题 :: 阅读下一个主题

作者

为什么特称判断是相对的?

向大家学习
[博客]
[个人文集]

游客

标题: 为什么特称判断是相对的? (542 reads) 时间: 2002-6-22 周六, 下午9:01

作者：Anonymous 在罕见奇谈发贴, 来自 http://www.hjclub.org

在古典逻辑学中有四种基本直言判断:

全称肯定:所有S是P

特称肯定:有些S是P

全称否定:所有S不是P

特称否定:有些S不是P

“所有S是P”在现代逻辑中的形式是, There is an S such that S is P. (有S,并且S是P)

“有些S是P”在现代逻辑中的形式是, There is an X such that X is S and X is P. (有X,并且X是S和X是P).

显然,S的任何子集都符合X.如果P是生物,S是动物,则X可以是人,狗或猫等.用动物置换所有S, 用生物置换P,用人置换有些S, 四种基本直言判断之间的逻辑关系完全不受影响.

实际上,形式逻辑是对思维形式的抽象, “有些S”指的是S的任何子集,并不是只有S加前缀”有些”(some)一词才行.不必拘泥于”有些S". “有些S是P”在现代逻辑中的形式表述得更准确.

作者：Anonymous 在罕见奇谈发贴, 来自 http://www.hjclub.org

返回顶端

再补充一下本人匆忙写的上贴 -- 向大家学习 - (960 Byte) 2002-6-23 周日, 上午10:39 (298 reads)

特称肯定和特称否定使用同一子集的情况除外 -- 向大家学习 - (0 Byte) 2002-6-23 周日, 上午11:22 (241 reads)

给高网友一个公道，掰清楚如何烧鱼 -- 随便 - (308 Byte) 2002-6-23 周日, 上午5:25 (311 reads)

同意随便网友的意见,Observer网友应给高网友一个公道:-). -- 向大家学习 - (0 Byte) 2002-6-23 周日, 上午10:47 (242 reads)

现代逻辑不是用英语陈述 :-) -- observer - (636 Byte) 2002-6-22 周六, 下午10:36 (284 reads)

应为:S的任何子集都"可能"符合X,"有些S”指的"可以"是S的任何子集 -- 向大家学习 - (0 Byte) 2002-6-22 周六, 下午9:46 (228 reads)

显示文章:

海纳百川首页 -> 罕见奇谈

所有的时间均为北京时间

您不能在本论坛发表新主题
您不能在本论坛回复主题
您不能在本论坛编辑自己的文章
您不能在本论坛删除自己的文章
您不能在本论坛发表投票
您不能在这个论坛添加附件
您不能在这个论坛下载文件

[ Page generation time: 0.198413 seconds ] :: [ 23 queries excuted ] :: [ GZIP compression enabled ]