设万维读者为首页 万维读者网 -- 全球华人的精神家园 广告服务 联系我们 关于万维
 
首  页 新  闻 视  频 博  客 论  坛 分类广告 购  物
搜索>> 发表日志 控制面板 个人相册 给我留言
帮助 退出
 
习总近平的日记本  
十年总书记,十年心里话,《习总日记》里,记着十年的故事,酸甜苦辣咸,喜怒哀乐忧。  
网络日志正文
『习博士讲坛』一阶逻辑 2015-02-18 17:14:43

『习博士讲坛』一阶逻辑

习总日记(2015219

大家好,今天“习博士讲坛”的内容是一阶逻辑。对,这是一堂哲学课。我是清华的法学博士,当然懂哲学,给大家讲点哲学逻辑是应尽的义务,也是为人民服务。

首先必须弄清一个概念,就是马克思哲学与西方哲学不是同一个东西,虽然马克思同志是西方人,生于西方长与西方死于西方,吃西方的饭砸西方的锅。我们高举马克思主义的旗帜,不代表我们认可西方的民主自由理念,我们不反对,但我们决不采用西方那套社会制度。其中道理已经讲了很多遍了,就是西方那一套价值观不符合中国国情。

即便是马克思主义那一套,也不能生搬硬套在中国人身上。经过列宁同志修修改改,传给了毛主席。经过毛主席缝缝补补传给了邓小平,最后经过小平同志拼拼凑凑传给了我。

有同学举手说遗漏了两个裁剪师。呵呵,遗漏就遗漏吧,不就是裁缝师傅必不可少的浆糊嘛。虽然必不可少,但不重要。人有高低贵贱,这句话大家懂就行,别往外传,一传十还好,一传就走样那就不好了。好,让我们回顾正题,讲逻辑,一阶逻辑。

一阶逻辑,顾名思义是逻辑中的一个品种,地位相当于楼梯的第一级台阶。在你踏上第一级哲学台阶之前,你站在哪里?站在平地之上。所以,逻辑的平地叫做“命题逻辑”,往上走,就是一阶逻辑。那么再往上走是叫什么?对了,二阶逻辑。因为哲学是抽象的,所以逻辑高楼无限高,三阶四阶都可以称为高阶逻辑。

通俗比喻,命题逻辑有点像数学中的勾股定理。命题:a的平方 + b的平方 = c的平方。我们可以通过演算进行证明此定理成立。这是中学学的内容。

一阶逻辑有点像数学中的集合和合并同类项的混合体,讨论两个或多个概念的共性、变化和延伸。

哲学的意义在于运用,理论我不多讲了,让我们考虑以下句子:

爱祖国的中国人,爱中国政府的中国人。

在命题逻辑里,上面两个句子被视为是不相关的命题。然而在一阶逻辑中上述两句可以用谓词以更相似的方法来表示。

一阶逻辑允许以使用变量的方法推论被许多元件共享的性质。

1,例如Nat(a)表示爱祖国的中国人,Gov(a)表示爱中国政府的中国人。

则公式为:Nat(a) --- Gov(a)

符号---被用来标记一个条件叙述箭头左边为假设,箭头右边为结论。此公式的真值(“我会告诉你我有多真”的“多真”)取决于标记成(a)的中国人和对NatGov的解释之上。

上述公式语义:假如你是一个爱祖国的中国人,所以你是一个爱中国政府的中国人。

2对于每个中国人a,若a爱祖国,则a爱中国政府”之类形式的断言,需要同时使用变量及量化公式为:

Ua(Nat(a) --- Gov(a))

上述公式语义:全体爱祖国的中国人,都爱中国政府。U表示全称量化。

3,那么如果表示如果一个爱祖国的中国人必然是爱中国政府的是假的,可能有一些爱祖国的中国人不爱中国政府。则公式为:

Pa(Nat(a) HF Gov(a))

上述公式语义:存在某种可能爱祖国的中国人不爱中国政府。

存在量化P表示存在某种可能。F是否定算,代表否定。H是合取算,代表同时成立。

4谓词Nat(a)Gov(a)都各只有一个参数。但一阶逻辑其实也可以表示具有一个以上参数的谓词。例如,存在一些人可以在任何时间被春晚可表示成:

Px (Person(x) H Uy(Time(y) --- Chunwan(x,y)))

这里,Person(x)解释为x是人,Time(y)y是某段时间,且Chunwanx,y)则为(人)x可在(时)y被春晚。清楚地说,上述叙述表示至少存在一个人可以在任何时间被春晚,这比“在任何时间,至少存在一个人可以被春晚的叙述要强。后者并不意味着,被春晚的人在任何时间时上总是要是同一位

哲学这东西晦涩难懂,形同嚼蜡。据传说,毛主席压根没好好读过《资本论》,更遑论弄懂马克思主义哲学了。小平同志就更不用提了。不瞒你们说,我读过,在陕西插队的时候,全部读了。

浏览(2023) (2) 评论(7)
发表评论
文章评论
作者:321 留言时间:2015-02-19 06:40:06
谁让你用代数那套表示哲学的?那当然就晦涩难懂了,代数那套总是在借代,借一个袋子来装东西。搞得越复杂就越好忽悠人了。那本只是概念问题、范围问题、充分与必要的问题。
回复 | 0
作者:习总日记 留言时间:2015-02-18 19:29:43
右撇子,
新年快乐!
习总有段赞扬中医的讲话。有人开玩笑说,习总将规定公务员只许用中医看病。
回复 | 0
作者:习总日记 留言时间:2015-02-18 19:28:18
Marsfield,
新年快乐!
兔子是中国现代哲学鼻祖,是万维所有网友的骄傲。
回复 | 0
作者:习总日记 留言时间:2015-02-18 19:26:20
兔子老老师,
这是我今天学习哲学的作业。
回复 | 0
作者:右撇子 留言时间:2015-02-18 18:50:58
补充一点习博士的内容:也不能用西医西药救命,救好了命再咬西方人一口!
回复 | 0
作者:Marsfield 留言时间:2015-02-18 17:51:37
习总新年好。

习总这堂课太学术,太专业了。又能比兔子讲得更深入浅出,让人容易理解。习总你英明啊!以后再有人对你的SB博士指指点点,我就跟他们没完。
回复 | 0
作者:hare 留言时间:2015-02-18 17:25:04
老师厉害!这么快就掌握了。我尤其喜欢“不能吃西方的饭砸西方的锅”!
回复 | 0
我的名片
习总日记
注册日期: 2014-04-27
访问总量: 1,000,562 次
点击查看我的个人资料
Calendar
我的公告栏
《习总日记》主题曲:我是习近平
最新发布
· 热烈欢迎以何频先生为核心的明镜
· 《习总日记》(第一卷)销售报告
· 《习总日记》(第一卷)上市
· -------公告-------
· 习总对毛主席爱恨交加
· 习总为宽衣事件向全国人民道歉
· 《习总日记》第一卷封面设计说明
友好链接
· yasi:yasi的博客
· 窗外微雨:窗外微雨的博客
· tripod:tripod的博客
· 右撇子:右撇子的博客
· 白熊的博客:白熊的博客
· 俞先生:俞先生的博客
· 老张:老张的博客
· 老钱:老钱的博客
· 吴言:吴言的博客
· 风华正:风华正的博客
· 太空:太空的博客
· queen:开洋荤去
· 俺是凡平:俺是凡平的博客
· 何岸泉:驾着时间来看你
· 香椿树1:香椿树的博客
· 俺是吾丁:俺是吾丁的博客
· 郁郁葱葱:郁郁葱葱的博客
· 安博:安博的博客
· 敬丘:敬丘的博客
· InstanceTV:InstanceTV的博客
· 不一样:不一样的博客
· 幸福鬼:幸福鬼
· 好啊好啊1:好啊好啊的博客
· 云乡客:云乡客的博客
· 格致夫:格致夫的博客
· yellow witch:yellow witch的博
· 引力:引力的博客
· 白起:白起的博客
· 咸人:咸人的博客
· 康乐园小夜曲:康乐园小夜曲的博
· 老手多言:老手多言的博客
· 俺家的瓜最甜:俺家的瓜最甜的博
· 愚乐淘淘:愚乐淘淘的博客
· 网络游戏:天外来人
· 说两句:说两句的博客
· 紫荆棘鸟:-*-紫色王家思絮絮-*-
· 人生晚秋:人生晚秋的博客
· 枫苑梦客:梦中不知身是客
· 阿妞不牛:阿妞不牛的博客
· 幼河:幼河的博客
· 伊萍:伊萍的多彩世界
· yolande:yolande的博客
· peter-wang:peter-wang的博客
· jingzhe:jingzhe的博客
· 百分之一:百分之一的博客
· 珍曼:珍曼的博客
· 韫栋砳:韫栋砳的博客
· 不洁之人:不洁之人的博客
· 信释:轼前秈苑
· 沁霈:沁霈的博客
· 肤浅感受:肤浅感受
· 大卫:大卫的博客
· 黑河人:黑河人的博客
· 秋念11:秋念11的博客
· 啊哎呋唉:啊哎呋唉的博客
· 老度:老度的博客
· 艺萌:艺萌的博客
· 凯利:凯利的空间
· lone-shepherd:牧人的博客
· 汉卿:汉卿的博客
· gugeren:gugeren的博客
· hare:hare的博客
· 半江红:半江红的博客
· 沐岚:沐岚的博客
· 兰冠云:兰冠云的博客
分类目录
【习总批示】
· 我们在巴拿马的存款,是为了解放
· 《习总日记》所有博文遭删除!!
· 习总批示:38军,阳我军痿
· 习总批示:瘫痪纽约证交所
· 习总最新指示:股市股市,管我屁
· 建议万维惩罚赞同同性婚姻网友
· 革命还是改良,历史说了算
· 万维还有能吱声的右派吗?
· 万维还有能吱声的右派吗?
· 才发现2年前的讽刺文章被电视台
【习总日记】
· 热烈欢迎以何频先生为核心的明镜
· 《习总日记》(第一卷)销售报告
· 《习总日记》(第一卷)上市
· -------公告-------
· 习总对毛主席爱恨交加
· 习总为宽衣事件向全国人民道歉
· 《习总日记》第一卷封面设计说明
· 《习总日记》第一卷封面设计图即
· 《习总日记》出版说明
· 乌鸦十八变凤凰(五)
存档目录
2017-02-08 - 2017-02-08
2016-09-01 - 2016-09-21
2016-08-20 - 2016-08-30
2016-07-03 - 2016-07-13
2016-06-01 - 2016-06-03
2016-05-10 - 2016-05-30
2016-04-01 - 2016-04-27
2016-03-10 - 2016-03-20
2016-02-19 - 2016-02-19
2015-10-19 - 2015-10-28
2015-09-01 - 2015-09-23
2015-08-01 - 2015-08-31
2015-07-02 - 2015-07-31
2015-06-01 - 2015-06-30
2015-05-01 - 2015-05-31
2015-04-02 - 2015-04-28
2015-03-10 - 2015-03-15
2015-02-01 - 2015-02-25
2015-01-01 - 2015-01-31
2014-12-01 - 2014-12-31
2014-11-12 - 2014-11-29
2014-10-01 - 2014-10-23
2014-09-01 - 2014-09-30
2014-08-17 - 2014-08-29
2014-05-01 - 2014-05-12
2014-04-28 - 2014-04-30
 
关于本站 | 广告服务 | 联系我们 | 招聘信息 | 网站导航 | 隐私保护
Copyright (C) 1998-2024. Creaders.NET. All Rights Reserved.