設萬維讀者為首頁 萬維讀者網 -- 全球華人的精神家園 廣告服務 聯繫我們 關於萬維
 
首  頁 新  聞 視  頻 博  客 論  壇 分類廣告 購  物
搜索>> 發表日誌 控制面板 個人相冊 給我留言
幫助 退出
 
習總近平的日記本  
十年總書記,十年心裡話,《習總日記》裡,記着十年的故事,酸甜苦辣咸,喜怒哀樂憂。  
網絡日誌正文
『習博士講壇』一階邏輯 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被春晚。清楚地說,上述敘述表示至少存在一個人可以在任何時間被春晚,這比“在任何時間,至少存在一個人可以被春晚的敘述要強。後者並不意味着,被春晚的人在任何時間時上總是要是同一位

哲學這東西晦澀難懂,形同嚼蠟。據傳說,毛主席壓根沒好好讀過《資本論》,更遑論弄懂馬克思主義哲學了。小平同志就更不用提了。不瞞你們說,我讀過,在陝西插隊的時候,全部讀了。

瀏覽(1998) (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
訪問總量: 997,590 次
點擊查看我的個人資料
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.