設萬維讀者為首頁 萬維讀者網 -- 全球華人的精神家園 廣告服務 聯繫我們 關於萬維
 
首  頁 新  聞 視  頻 博  客 論  壇 分類廣告 購  物
搜索>> 發表日誌 控制面板 個人相冊 給我留言
幫助 退出
     
  特有理
  有感而發
網絡日誌正文
動態邏輯|解析“人為誰而活?” 2021-04-15 20:23:39

動態邏輯|解析“人為誰而活?”

特有理

2021-4-15


動態邏輯是邏輯的高層體系,也是真正可以表達現實複雜事物演變的邏輯。對於人類所面臨的現實問題,系統科學中的動態體系特指事物隨時間變化的體系。即,時間是整個體系的統一基準變量維度。那麼這裡所說的動態邏輯就是指隨時間變化的邏輯體系。任何一個多重邏輯體系,包括線性邏輯和非線性邏輯,通過時間維度的貫穿,都可形成動態的邏輯空間。宇宙,就是人類所能意識到的,最大的動態邏輯空間。

一個動態邏輯體系,可以包含眾多的線性邏輯和非線性邏輯的子集模塊。其因果關係的表達,也當然是一個動態變化的結果。更進一步,動態體系的宏觀特質,特別是系統的穩定性,取決於系統特徵關係的收斂程度。收斂的概念,完全對應了數理概念的表達方式,也是邏輯分析的最關鍵部分。因為越是宏觀和大範圍的邏輯體系,越要考慮邏輯發展的收斂性。更重要的是,收斂問題的提出,實際展現了現實問題在宏觀角度的非確定性。因為具有完全確定性的體系是一個絕對收斂的體系;而宇宙萬物的實際狀態都是處於一種宏觀與微觀(反向宏觀)的非確定性。收斂的概念,就是在非確定性中,尋找最接近確定性的狀態。概率和隨機過程的科學體系,就是人類探索邏輯體系收斂結果的數學工具。

通過上述的概念闡述,應該可以意識到:一個邏輯體系,特別是複雜的邏輯體系,其邏輯因果會有三種特徵狀態:1、確定態,2、收斂態,3、發散態。而且,一個複雜的邏輯體系,可能會同時包含三態的共同存在。

【確定態】,就是因果發展清晰明確,三七必須是二十一。【收斂態】,就是因果的發展雖無確定結果,但在宏觀角度會保持不斷接近某種結果的狀態,也就是常說的概率和可能性。賭徒與賭場的關係,就是一種可以用結果驗證的收斂邏輯體系。其收斂的狀態,就是在宏觀角度,賭場掙錢而賭徒賠錢,但具體掙多少賠多少是不確定的。還有一種特殊的收斂態,就是數理邏輯中e和π。這種收斂態自身無確定數值,但都收斂於唯一的無限長數值,並在作用於事物的變化時,又可導致確定的結果。【發散態】,就是因果關係的變化隨邏輯空間的擴展越來越失去相關性。比如人與豬的血緣關係,在宏觀的時空發展角度,其相關性會越來越低。即相關度接近零,發散度趨於無窮。

現在看“人為誰而活的問題”。這個邏輯體系的基本單元是個體,邏輯空間的擴展範圍是人類。由於生命存在的前提是載體的存活;那麼“人類存在”的前提,就是首先保證個體生命的存在。因此,基於個體生存的邏輯就必須是以為自我為基礎。因為沒有個體的存活,就不存在“為他人”的邏輯延伸。也就是個體的存在是為他人而存在的邏輯前提。那麼很明顯,為他人只是個體存在的一個邏輯子集。那麼,為自己也就必須凌駕於為他人之上。否則整個邏輯系統就會崩塌。

但是為什麼許多人會疑惑於為己和為他的先後順序呢?就是因為,為己的邏輯是一個動態邏輯。上段闡述的邏輯是一個絕對性的靜態關係。但是由於人在社會的活動中既交織了不同程度的主觀為己和為他,也交織了客觀的為己和為他。這些交織的動態發展,就會時而展示出為己的絕對優先,時而展示出為他的絕對優先。正是由於為他的社會性,任何個體的“毫不利己,專門利人”都只是為己的一個局部發散性的分量。但是受到基本生存邏輯框架的制約,則人類整體的利益傾向,必然是收斂在“先為己,後為他”;“主觀為己,客觀為他”;“全局為己;局部為他”;“終生為己,有時為他”;“無限為己,有限為他”。總之,發散於相對,收斂於絕對。這裡的相對就是為他,絕對就是為己。

這個問題之所以被翻來覆去地探討,還因為許多人把客觀的為他當成了主觀的必然;把局部的表現當成了整體的因果;把離散的為他當成了終生的優選;把有限的為他當成了無限的情懷;把相對的為他當成了絕對的天性;把發散的為他當成了無法收斂的大愛。由此可以得出,大愛可以嚮往,可以歌頌;但無私的大愛終不能成為現實,更不能成為人類社會的道德標高。因為對無私大愛的追求是逆天理的思維,強制性的制度體系必會造成社會精神的混亂和實際利益的矛盾衝突。

只有把視野擴展到自然發展的宏觀體系,我們才能意識到,為己在社會層面的收斂性,反而是構建“人類為‘己’”的自然邏輯基礎。這也就回答了一個非常具有代表性的問題:“人類為什麼會有救人之心?”

因為主觀為己的動態邏輯包含了客觀為他的成份,那麼主觀為己在社會層面的收斂就必然包含了客觀為他的社會性收斂。這種群體化的收斂結果,造就了社會中為他成份的必然存在。這就是個體的不必然與群體之必然的關係。在利益的平衡上,大我的利他往往強大過小我的利己。就像社會營救受災的個體或少數群體,當群體規模足夠大時,利他的成份就會充分展現出來,並落實在社會行為上。但是,這裡有一個前提,就是利他的利益損失要在群體平攤後可以接受的範圍。靠號令組織救援隊伍和靠激情激勵出個把英雄對於一個大社會並不是難事;但需要人人都當英雄時,英雄反而很難出現了。從激情的角度,英雄其實就是行為上的為他,精神上的為己!

這些,就是動態邏輯。




瀏覽(1687) (2) 評論(4)
發表評論
文章評論
作者:道還 回復 特有理 留言時間:2021-04-19 10:26:37

【先己後人是人類利益關係的收斂狀態】,不就是“己欲立而立人,己欲達而達人。能近取譬”麼(《論語·雍也》)?問題不成立,答案早就有,萬維這裡還在議論終日,言不及義。不知說什麼好?

回復 | 0
作者:kshdjj 留言時間:2021-04-16 16:06:11

(1) 是有 書介紹 “動態邏輯”,很薄。對軟件碩士生讀一下,能開闊視野。

(2)線性邏輯很怪異,有點像Corona病毒。它的全部公理不多於十條,人人可以閱讀。不過每條公理在現實世界的意義(模型),我不明確,很難理解。它的奇特處在於“人們會問怎麼會有這樣看不懂的,又確實應該是一個完整的公理系統?”。 因而在上一世紀末,它掀起一個巨大的“暗”浪。”暗“是指論文上很少出現;”浪“是指, 西方幾乎每位博士學位以上的電腦軟件科學家和教授,從公眾場合的面子上說,似乎是不知道或沒聽說過這個名詞“線性邏輯”不行,於是自己琢磨它一下或者帶個博士生討論這個線性邏輯系統。最後於九十年代,美國頂級電腦期刊上才發表了英國牛津大學的一篇博士論文 “線性邏輯的可計算性”,算是這個領域的研究告一段落。

偶然我看到了那本期刊上的牛津大學的這篇論文 “線性邏輯的可計算性”,知道它只是定性上說了,但沒能有算法。看了論文我心裡一笑“怎麼會有這麼多的人會對線性邏輯感興趣?”。

(3)原來更早以前,我在 CMU 拿到過這篇論文“線性邏輯”,因為它沒有”模型“介紹,感覺它在電腦科學裡沒用,就丟在一旁。以後有一位博士生告訴我,他的諾獎獲得者的導師,要他研究”線性邏輯”,寫論文。

去澳回美的中間期間,我” 遊學“去過澳洲大學一個人工智能研究小組,老闆有次說“本周末大家學習討論'線性邏輯'". 小組成員我只得找出"線性邏輯"琢磨了二天,想“它是否是可計算的,或者更強的結論,有一個具體算法?“。星期五討論會開始,老闆問我”你看了,有什麼想法?”。我回答說:“我看過了,而且搞出了它的一個可計算的算法”。後來我回美國,把我的算法給了CMU那位博士生,可能他不再繼續與 “牛津大學的博士論文”爭搶時間搞“線性邏輯“, 改做 Internet 方面的更實用的研究了。

(註:

(i)我不了解 線性邏輯 在哲學領域 有什麼 模型,不知道什麼,

(ii)”遊學“:理論知識原來都知道,來美國三十年搞軟件科學理論 ,沒學到 什麼新知識。 hslrj.com

回復 | 0
作者:特有理 回復 道還 留言時間:2021-04-16 12:25:04

複雜系統的確定性的確很低,確定往往是遙不可及的。但是只要收斂,必然就會有性質的確定性。為人還是為己就是一種性質的確認。

人們經常辯論的,往往是在不同層進行混搭。就像為人捐助,這是在沒有涉及到捐助者根本利益的前提下。為人犧牲,也是在特定對象,特定環境下的個別現象。這都不具有普遍的收斂意義。

正如我文中闡述的,社會越大,利他的行為就越收斂為顯見的現象。但同時,不同層次的利己行為當然也會更加顯著和強化。因而造成了你所歸納的五種狀態。然而關鍵的是,人們要意識到,各種狀態的優先級別才是更本質化的邏輯層次。

也就是當觸及根本利益或是生命的取捨,為他人而放棄自身的全部是不是人類普遍的行為模式?如果不是,那就可以明確地說,先己後人是人類利益關係的收斂狀態。

回復 | 0
作者:道還 留言時間:2021-04-16 07:14:54

學習了。

似乎哥德爾的定理會導致線性邏輯和確定態邏輯只能是一種近似,短程有效。也就是說,對於複雜系統,只有收斂和發散兩種邏輯。

我認為,為人還是為己這個問題不成立。因為個人是人類集合的元素,存在着潛在的包含,這會導致嵌套式詭辯。人為己,可說是保護人類的一員;人犧牲自己,也可說是對種族有利。愛德華·威耳遜說同性戀不婚育對人類基因不利,但對人類種族繁衍有利(讓出資源),即是此類的東西。

但這個問題仍然可以探討,看是否在某些角度上可收斂、自洽。外推到極致後,意味着有四種答案,你死我活,階級鬥爭;我死你活,墨家;你活我活,儒家;不管你,各人顧各人,楊朱。第五種,你死我死,恐怖分子,不用考慮。

回復 | 0
我的名片
特有理 ,57歲
註冊日期: 2008-11-07
訪問總量: 3,793,972 次
點擊查看我的個人資料
Calendar
我的公告欄
五花八門,談天說地
最新發布
· 感慨亂燉之當下網絡
· 川普正在 Making Canada Great A
· 老郭,德剛的體面謝幕
· 誰才是當今最可愛的人?我的回答
· 《掛谷猜想》之迷惑
· 足球世界盃之現在的隊伍不好帶
· 韓紅,別趴下!
分類目錄
【隨感走筆】
· 感慨亂燉之當下網絡
· 誰才是當今最可愛的人?我的回答
· 足球世界盃之現在的隊伍不好帶
· 韓紅,別趴下!
· 《抓特務》 | 馮導終於沒摟住拍
· 沒知識的確可怕 | 論排隊的公平
· 今天必須懟一下哈耶克|辯上海迪
· 加拿大真的啟動AI算力基礎設施建
· 當代女人的頂級陽謀
· 寒冷將成為加拿大的一項重要資源
【人生回味】
· 北京的廁所文化
· 北京的廁所軼事
· 一盒難忘的曲奇餅乾
· 這輩子曾經幹過最楞的一件事
· 充滿陽光的 Vancouver Sun Run
· 二蛋子翻身記
· 文革記憶--人之初,性何善?(下
· 文革記憶--人之初,性何善?(中
· 文革記憶--人之初 ,性何善?(
· 我的橋牌搭檔(5-6)
【《神經》】
· 三等分角|從數理走向現實的展示
· 解碼貨幣|(6)現實中的美中貿易
· 科學化是社會制度發展的必然方向
· 導致貧窮及原始社會主義失敗的根
· 共產主義毀國家|資本主義毀世界
· 解碼貨幣|(5)虛擬貨幣及其邪惡
· 解碼貨幣|(4)貨幣的初始化及金
· 解碼貨幣|(3)勞動力的去人權化
· 如何構建新的文明體系|來自社會
· 解碼貨幣|(2)探尋“剩餘價值”和
【邏輯捉妖集】
· 《三門問題》的終極解答
· 《三門問題》的權威答案是如何被
· “好東西需要強迫嗎?”|這還用問
· 知識寓言|防彈衣的悲催故事
· 貪官是人類社會運行的重要推動力
· 邏輯捉妖集(10)民主是最不壞的
· 邏輯捉妖集(9)在商言商
· 邏輯捉妖集(8)社會不允許不勞
· 邏輯捉妖集(7)不勞動者不得食
· 邏輯捉妖集(6)資本家剝削的是
【選票政治】
· 契約文明以及被玩壞的社會主義
· 差異化必定打破各種形式的大一統
· 選票政治的弊端(3)是誰把政治
· 選票政治的弊端(2)智力利己侵
· 選票政治的弊端(1)
【資本的拼圖】
· 經濟調控的實質
· 對福山理論的質疑和批判
· 解碼貨幣|(2)探尋“剩餘價值”和
· 人類的結症就在於整個社會充滿惡
· 新制度的構建基礎在應用管轄權
· 只有社會主義才能戰勝社會主義
· 沒有任何制度可以阻絕人性
· 市場換技術到底對還是錯
· 按勞分配在社會範疇的謬誤
· “按勞分配”是資本經濟中的海市蜃
【淡定的神曲】
· 網上吹牛|再談黑鳥風車
· 周末消遣|深入解析珠鏈噴泉和沖
· 突發實錘外星軍武科技震驚世界
· 人類有必要對宗教進行改革和提升
· 關於質疑精神及對雙縫實驗結論的
· 《測不準原理》到底有多不神秘
· 關於重力的答疑
· 重力的本質解析
· 閒話外星人理論
· 從女權說感性與理性
【詩情畫意】
· 秋景小覽|深秋的溫哥華2021
· 雪峰與秋色
· 致愛麗絲部分練習(Youtube 視頻
· 測試貼圖:河靜凝樹影,霞色入清
· 溫哥華的夏季值得來看看(續二)
· 冬雪拾趣迎聖誕
· 雨中即景
· 向攝影專業水平冒進
· 孤芳自賞談《秋草》
· 巔峰秋色
【網絡互動】
· 為施化兄補課法律常識
· 簡單回復施化博的質疑
· 回應@老豆子博的呼籲
· 看到萬維刪我貼你high起來了@巴
· 我讀書不多,你別憋死我!
· 恭喜嘎拉哈當上了大姨媽
· 我是眼花了還是錯亂了?
· 淺談嘎啦哈和他娘的底線
· 芹泥關於川說學生間諜是假消息的
· 蘇小白的博客怎麼沒法留言?
【文章】
· 川普正在 Making Canada Great A
· 老郭,德剛的體面謝幕
· 《掛谷猜想》之迷惑
· 今天必須懟一下哈耶克|辯上海迪
· 添狗們的前世今生
· 加拿大的出路在於開發虛擬經濟和
· 未來的國家軟實力 | 主權算力
· 拉倒吧,永樂革命
· 為何說阿爾伯塔省獨立公投就是一
· 閒磕陳芝麻爛穀子之計劃經濟
存檔目錄
2026-09-15 - 2026-09-15
2026-08-03 - 2026-08-29
2026-07-01 - 2026-07-18
2026-06-06 - 2026-06-21
2026-05-10 - 2026-05-10
2026-04-03 - 2026-04-20
2026-03-10 - 2026-03-10
2026-02-07 - 2026-02-28
2026-01-18 - 2026-01-31
2025-12-19 - 2025-12-19
2025-11-15 - 2025-11-27
2025-08-18 - 2025-08-18
2025-07-13 - 2025-07-27
2025-06-20 - 2025-06-21
2025-05-16 - 2025-05-16
2025-04-21 - 2025-04-21
2025-03-23 - 2025-03-28
2025-02-01 - 2025-02-04
2025-01-30 - 2025-01-30
2024-12-14 - 2024-12-27
2024-11-06 - 2024-11-06
2024-10-06 - 2024-10-24
2024-09-07 - 2024-09-30
2024-08-03 - 2024-08-04
2024-07-01 - 2024-07-21
2024-06-18 - 2024-06-27
2024-04-02 - 2024-04-02
2024-03-01 - 2024-03-27
2024-02-06 - 2024-02-25
2024-01-06 - 2024-01-30
2023-12-07 - 2023-12-29
2023-11-04 - 2023-11-30
2023-10-03 - 2023-10-29
2023-09-07 - 2023-09-30
2023-08-03 - 2023-08-22
2023-07-02 - 2023-07-31
2023-06-22 - 2023-06-27
2023-05-18 - 2023-05-28
2022-01-04 - 2022-01-23
2021-12-05 - 2021-12-28
2021-11-04 - 2021-11-07
2021-10-01 - 2021-10-28
2021-09-01 - 2021-09-28
2021-08-01 - 2021-08-31
2021-07-01 - 2021-07-30
2021-06-03 - 2021-06-29
2021-05-02 - 2021-05-31
2021-04-01 - 2021-04-29
2021-03-12 - 2021-03-30
2021-02-03 - 2021-02-26
2021-01-01 - 2021-01-28
2020-12-03 - 2020-12-30
2020-11-02 - 2020-11-30
2020-10-04 - 2020-10-31
2020-09-01 - 2020-09-30
2020-08-19 - 2020-08-30
2020-07-04 - 2020-07-27
2020-06-03 - 2020-06-29
2020-05-04 - 2020-05-31
2020-04-01 - 2020-04-30
2020-03-01 - 2020-03-29
2020-02-07 - 2020-02-29
2020-01-08 - 2020-01-28
2019-12-03 - 2019-12-17
2019-11-06 - 2019-11-28
2019-10-02 - 2019-10-30
2019-09-08 - 2019-09-27
2019-08-06 - 2019-08-30
2019-07-18 - 2019-07-26
2019-06-04 - 2019-06-28
2019-05-02 - 2019-05-29
2019-04-02 - 2019-04-30
2019-03-01 - 2019-03-28
2019-02-01 - 2019-02-28
2019-01-02 - 2019-01-31
2018-12-04 - 2018-12-24
2018-11-05 - 2018-11-29
2018-10-01 - 2018-10-26
2018-09-05 - 2018-09-28
2018-08-06 - 2018-08-22
2018-07-09 - 2018-07-27
2018-06-03 - 2018-06-26
2018-05-04 - 2018-05-28
2018-04-04 - 2018-04-24
2018-03-01 - 2018-03-28
2017-11-03 - 2017-11-27
2017-10-03 - 2017-10-31
2017-09-05 - 2017-09-25
2017-08-01 - 2017-08-31
2017-07-05 - 2017-07-31
2017-06-02 - 2017-06-20
2017-05-18 - 2017-05-25
2017-04-07 - 2017-04-07
2017-03-03 - 2017-03-23
2017-02-02 - 2017-02-24
2017-01-05 - 2017-01-24
2016-12-05 - 2016-12-28
2016-11-02 - 2016-11-29
2016-10-06 - 2016-10-27
2016-09-06 - 2016-09-27
2016-08-18 - 2016-08-30
2016-07-15 - 2016-07-22
2016-06-01 - 2016-06-01
2016-05-01 - 2016-05-27
2016-04-14 - 2016-04-29
2016-03-14 - 2016-03-15
2016-02-01 - 2016-02-26
2016-01-05 - 2016-01-31
2015-11-04 - 2015-11-25
2015-10-02 - 2015-10-30
2015-09-02 - 2015-09-30
2015-08-04 - 2015-08-31
2015-07-02 - 2015-07-16
2015-06-01 - 2015-06-30
2015-05-11 - 2015-05-29
2015-04-01 - 2015-04-01
2015-03-03 - 2015-03-30
2015-02-03 - 2015-02-26
2015-01-13 - 2015-01-30
2014-10-22 - 2014-10-22
2014-06-04 - 2014-06-04
2014-05-03 - 2014-05-03
2014-04-05 - 2014-04-30
2014-03-14 - 2014-03-24
2014-02-21 - 2014-02-28
2014-01-13 - 2014-01-31
2013-11-01 - 2013-11-14
2013-10-02 - 2013-10-30
2013-09-04 - 2013-09-27
2013-08-01 - 2013-08-26
2013-07-03 - 2013-07-30
2013-06-02 - 2013-06-29
2013-05-26 - 2013-05-31
2013-04-04 - 2013-04-21
2013-03-03 - 2013-03-29
2013-02-14 - 2013-02-21
2013-01-12 - 2013-01-30
2012-12-04 - 2012-12-17
2012-11-09 - 2012-11-25
2012-09-13 - 2012-09-13
2012-08-03 - 2012-08-29
2012-07-13 - 2012-07-28
2012-06-09 - 2012-06-27
2012-05-05 - 2012-05-22
2012-04-06 - 2012-04-29
2012-03-01 - 2012-03-14
2012-02-04 - 2012-02-28
2012-01-15 - 2012-01-22
2011-09-05 - 2011-09-27
2011-06-17 - 2011-06-17
2009-03-09 - 2009-03-09
2009-02-09 - 2009-02-12
2008-11-22 - 2008-11-22
 
關於本站 | 廣告服務 | 聯繫我們 | 招聘信息 | 網站導航 | 隱私保護
Copyright (C) 1998-2026. Creaders.NET. All Rights Reserved.