易天富金融社区

 找回密码
 注册
搜索
热搜: 活动 交友 discuz
易天富首页 基金研究中心 每日基金公告 基金分析软件 基金大师 买 卖 通
每日基金净值 每日实时估值 集合理财净值 雷达测评 智能选基 基金比较
查看: 291|回复: 5

形式逻辑中的同一律到底是什么?

[复制链接]
发表于 2019-4-3 14:48:44 | 显示全部楼层 |阅读模式
问道什么是形式逻辑的同一律,许多人回答为“A是A”

再追问“A是A”到底表达什么?恐怕许多人就回答不了。

那么同一律到底是什么?

严格的讲,同一律是一个永真的命题

它的符号表达为P→P

其中P是命题,→逻辑连接词“蕴含”

用自然语言来表达就是:

“如果P,那么P”

“如果P成立,那么P成立”

“如果P是真的,那么P是真的”

注意:命题是可以判断真假的陈述句。比如我们用“地球是行星”来替代P,那么P→P的表达就变成了“如果地球是行星,那么地球是行星”。

另外形式逻辑中有 ∀x x=x(在我的记忆中好像叫“等词公理”)这个自然语言也可以认为是“A是A”。但形式逻辑中的同一律一般是指P→P

至于驴学中的同一律到底是什么,我也不知道,据驴学大师讲“小明既是学生又是老师”这种句子是同一律。为什么,大概只有他知道!


发表于 2019-4-3 15:00:20 | 显示全部楼层
有很想去的地方吗?有什么很想要的东西吗?有什么希望和理想吗?
回复 支持 反对

使用道具 举报

发表于 2019-4-4 22:26:25 | 显示全部楼层
就是好了就是好,这就是同一律。同一律就是废话。
回复 支持 反对

使用道具 举报

发表于 2019-4-4 22:31:18 | 显示全部楼层
这个问题要辩证的来看事物分为概念和属性老师和学生又不是必然排斥的集合

所以小明可以有两种属性老师和学生
回复 支持 反对

使用道具 举报

发表于 2019-4-22 17:30:32 | 显示全部楼层
<!-- 屏蔽信息 --><!-- 屏蔽信息 end -->
回复 支持 反对

使用道具 举报

您需要登录后才可以回帖 登录 | 注册

本版积分规则

QQ|小黑屋|手机版|Archiver|易天富基金网 ( 浙ICP备07035332号

GMT+8, 2020-8-3 20:34

Powered by Discuz! X3.2

© 2001-2013 Comsenz Inc.

快速回复 返回顶部 返回列表