Loading [MathJax]/extensions/tex2jax.js

0

0
2

文字

分享

0
0
2

電腦運算的基礎——布林代數,是麼搞出來的?│《電腦簡史》數位時代(三)

張瑞棋_96
・2020/09/07 ・3025字 ・閱讀時間約 6 分鐘 ・SR值 541 ・八年級

「糾正我們推理的唯一方法,是使它們像數學家的推算一樣實在可靠,這樣我們就能一目了然地發現錯誤。當人與人之間爭論不休時,我們只要說:別再吵了,讓我們算算看誰才是對的。」

—— 萊布尼茲 1685 年致 Philipp Spener 信。

本文為系列文章,上一篇請見:易經、巴別塔、通用文字——萊布尼茲研究二進位之路│《電腦簡史》數位時代(二)

亞里斯多德開創邏輯系統好棒棒,but……

萊布尼茲提出只用 0 與 1 的二進位算術,成為現代電腦的運算方式。不過,現代電腦可不是之前的計算器,藉由齒輪轉動的圈數來做加減乘除,而是利用電子零件的開關狀態。開關狀態如何做二進位算術?這就需要藉助「邏輯運算」。

邏輯運算這個詞在現代聽起來理所當然,但你若拿去問十八世紀以前的人,他一定覺得莫名其妙,邏輯用的都是文字語句,又不是數學,怎麼運算呢?

-----廣告,請繼續往下閱讀-----

是的,打從亞里斯多德開創有規則可循的邏輯系統,兩千年來表達邏輯的方式都是用自然語言做為陳述句,例如下面這個最具代表性的三段論。

大前提:所有人都會死。

小前提:蘇格拉底是人。

結論:蘇格拉底會死。

亞里斯多德雕像。 圖:WIKI

然而自然語言不免會有多重涵義,或是容易有歧義的問題,不僅翻譯成不同語言可能造成誤解,就算是使用同一種語言的人,也可能會對其中的邏輯關係有不同認知。例如「有關係就沒關係,沒關係就有關係」這句俗諺裡面,「關係」這個詞項顯然有不同涵義,而「有」與「沒」的用法也前後不一。

況且除了簡單的三段論,還有其它形式更複雜的邏輯陳述,用自然語言確實無法精確地表示各種邏輯形式和規律。

你以為數學式本來就長這樣?

其實數學早期也都是用自然語言,如果翻開當時的數學書籍,只見盡是長長的文字敘述,即使看得懂,恐怕也難以聯想到它就是代表一個簡單的公式而已。這是因為直到十六世紀,數學才開始用符號來表達,像加、減、乘、除、等於都是約莫那個時候才改用 +、-、×、÷、= 代表。而我們現在熟悉的數學式記法,包括用字母代表未知數,更是十七世紀才盛行。

-----廣告,請繼續往下閱讀-----
加、減、乘、除、等於,約莫到 16 世紀才改用 +、-、×、÷、= 代表。圖:Pexels

數學符號化之後,表述方式更加簡短精確,計算也變得方便許多。而且由於符號不受語文隔閡,不同國家的數學家都能一目了然,因此得以加速數學與科學的傳播與交流,是促成科學革命的重要基石。

萊布尼茲本身遊歷德國、法國、英國三地,又曾為微積分創造新的符號,更能感受符號化的重要性,因此在他夢想有數學般的通用文字之前,就已經試圖把邏輯轉換為數學那樣的表示方式,也就是現代所稱的「數理邏輯」。

萊布尼茲致力於邏輯數學化,可惜無人知

萊布尼茲先於 1679 年設想各種基本概念都用某個質數代表,例如「動物」用 “2” 代表,「理性」是 “3”,那麼「人是理性的動物」這個句子就相當於 “6=2×3”,也就是說代表「人」的數字是 “6”。從 6=2×3 可以推導出 6÷3=2,代表「人失去理性等於動物」,這樣便能透過計算完成邏輯推論。

1686 年,萊布尼茲改用 A、B、C……等字母符號代表普通命題,並引入「非」、「等於」、「不等於」、「屬於」、「不屬於」等符號,然後用這些符號列出交換律、傳遞關係……等處理集合關係的運算規則。

-----廣告,請繼續往下閱讀-----

到了 1690 年,他又將加法與減法納入邏輯演算之中,讓邏輯的符號化與數學化更加完整,可以說已經為數理邏輯打下堅固的地基。無奈這些手稿在萊布尼茲生前從未公開,直到二十世紀初世人才知道他這方面的研究,數理邏輯的發展因此延遲了一個半世紀,才由英國數學家布爾 (George Boole) 重新開創。

布爾繪於 1860 年的肖像。圖:WIKI

布爾公親變事主,重新開創數學邏輯

布爾於 1815 年出生在一個鄉下小鎮,父親是個鞋匠。因為家境清寒,他自小學畢業後就沒再受正式教育,而是靠自學習得語文與數學知識。

布爾十六歲時被當地一所學校聘為教師,成為家中經濟支柱;到了十九歲乾脆自己開辦學校,同時更投入數學的研究。布爾二十三歲開始發表數學論文,逐漸獲得倫敦學術圈的注意,其中一位數學家德摩根 (Augustus De Morgan) 與他結為好友,後來竟為他帶來開創邏輯新局的契機。

話說十九世紀的哲學家已經注意到亞里斯多德的三段論有許多問題,因此包括德摩根在內的一些學者開始思考如何將邏輯數學化(如之前所說,他們渾然不知萊布尼茲早已做了研究)。1846 年,德摩根發表了一篇關於三段論的論文,主要是針對命題中的「所有」、「有些」,或「大部分」提出量化的討論。

-----廣告,請繼續往下閱讀-----

沒想到論文發表後,另一位英國哲學家漢彌爾頓 (Sir William Hamilton) 立即跳出來指控德摩根剽竊自己的想法。布爾身為德摩根好友,自然要關切兩人爭執的內容,沒想到他深入研究後,竟從原本的旁觀者搖身一變為一代宗師。

布爾為了朋友踏入邏輯數學化領域。圖:Pexels

命題真偽改用 1 與 0 代表,邏輯關係化為數學運算

1847 年,布爾出版了《邏輯的數學分析》(The Mathematical Analysis of Logic),這本僅僅 82頁的小冊子立即撼動了哲學界與數學界。這裡面完全用代數的形式來表達傳統邏輯,像「且」、「或」、「非」、「若……則……」等邏輯關係都化為乘法與加、減法;命題的真偽就用 1 與 0 兩種數值代表;另外布爾再訂出結合律、分配律、……等基本公理,成功地將邏輯數學化。

從此邏輯推論可以改用簡潔精確的數學式計算,不但避免語意模稜兩可造成的謬誤,也大幅增加處理命題的效能。在許多學者投入之下,數理邏輯這門全新的路線迅速發展,布爾自己也在 1854 年出版的《思維法則》(The Laws of Thought) 中,把整個系統補強得更完整。

其實布爾的研究成果有許多都是萊布尼茲已經做過的,但歷史就是這麼奇妙,萊布尼茲被視為二進位制的創立者,是因為一個世紀前的哈里厄特沒有公開發表論文。如今換成萊布尼茲自己沒有將邏輯代數的研究整理發表,而讓邏輯代數在一個半世紀後冠上布爾之名(稱為「布林代數」(Boolean algebra),”Boolean”意指「布林的」)。

-----廣告,請繼續往下閱讀-----
用布林代數表示邏輯命題。圖:WIKI

還有一點令人惋惜的是,萊布尼茲如此看重二進位制,卻沒有像布爾那樣,用 1 與 0 代表命題運算後的真偽。對於電腦運算而言,這是絕對必要的,因此從電腦發展的角度而言,即使萊布尼茲的文稿更早公開,布爾一定還是會在發明電腦的功勞簿上記上一筆。

二進位制與布林代數就緒,現代電腦只欠東風

事實上,布爾對計算機也不陌生。由於好友德摩根是愛達·勒芙蕾絲的數學家教,透過這層關係,布爾曾經跟巴貝奇書信往來。他在 1862 年寫給巴貝奇的一封信中,還特地感謝他為自己解釋差分機的細節。就像當年萊布尼茲曾設想過二進位的計算機,我們不禁要想像若是結合布爾的全新觀點與巴貝奇的設計天分,是否會改變計算機的歷史?

但這已無從得知了,因為布爾在兩年之後就死於非命。原來布爾冒著大雨到學校教課,因此感冒發燒,不料他那迷信順勢療法的老婆,竟繼續往布爾身上澆了好幾桶水,反而導致他嚴重肺炎,才四十九歲就因病過世。

無論如何,沒有電力還是不會有現代電腦,因此儘管二進位制與布林代數早已就緒,仍需等待東風——也就是電力系統與硬體零件,計算機才能航向全新的世代。當然,東風起了,還得有個諸葛孔明運籌帷幄呢……。

-----廣告,請繼續往下閱讀-----
-----廣告,請繼續往下閱讀-----
文章難易度
張瑞棋_96
423 篇文章 ・ 1031 位粉絲
1987年清華大學工業工程系畢業,1992年取得美國西北大學工業工程碩士。浮沉科技業近二十載後,退休賦閒在家,當了中年大叔才開始寫作,成為泛科學專欄作者。著有《科學史上的今天》一書;個人臉書粉絲頁《科學棋談》。

0

2
1

文字

分享

0
2
1
ECU: 汽車大腦的演化與挑戰
鳥苷三磷酸 (PanSci Promo)_96
・2025/07/02 ・3793字 ・閱讀時間約 7 分鐘

本文與 威力暘電子 合作,泛科學企劃執行。

想像一下,當你每天啟動汽車時,啟動的不再只是一台車,而是一百台電腦同步運作。但如果這些「電腦」突然集體當機,後果會有多嚴重?方向盤可能瞬間失靈,安全氣囊無法啟動,整台車就像失控的高科技廢鐵。這樣的「系統崩潰」風險並非誇張劇情,而是真實存在於你我日常的駕駛過程中。

今天,我們將深入探討汽車電子系統「逆天改運」的科學奧秘。究竟,汽車的「大腦」—電子控制單元(ECU),是如何從單一功能,暴增至上百個獨立系統?而全球頂尖的工程師們,又為何正傾盡全力,試圖將這些複雜的系統「砍掉重練」、整合優化?

第一顆「汽車大腦」的誕生

時間回到 1980 年代,當時的汽車工程師們面臨一項重要任務:如何把汽油引擎的每一滴燃油都壓榨出最大動力?「省油即省錢」是放諸四海皆準的道理。他們發現,關鍵其實潛藏在一個微小到幾乎難以察覺的瞬間:火星塞的點火時機,也就是「點火正時」。

如果能把點火的精準度控制在「兩毫秒」以內,這大約是你眨眼時間的百分之一到千分之一!引擎效率就能提升整整一成!這不僅意味著車子開起來更順暢,還能直接省下一成的油耗。那麼,要如何跨過這道門檻?答案就是:「電腦」的加入!

-----廣告,請繼續往下閱讀-----

工程師們引入了「微控制器」(Microcontroller),你可以把它想像成一顆專注於特定任務的迷你電腦晶片。它能即時讀取引擎轉速、進氣壓力、油門深度、甚至異常爆震等各種感測器的訊號。透過內建的演算法,在千分之一秒、甚至微秒等級的時間內,精準計算出最佳的點火角度,並立刻執行。

從此,引擎的性能表現大躍進,油耗也更漂亮。這正是汽車電子控制單元(ECU)的始祖—專門負責點火的「引擎控制單元」(Engine Control Unit)。

汽車電子控制單元的始祖—專門負責點火的「引擎控制單元」(Engine Control Unit)/ 圖片來源:shutterstock

ECU 的失控暴增與甜蜜的負荷

第一顆 ECU 的成功,在 1980 年代後期點燃了工程師們的想像:「這 ECU 這麼好用,其他地方是不是也能用?」於是,ECU 的應用範圍不再僅限於點火,燃油噴射量、怠速穩定性、變速箱換檔平順度、ABS 防鎖死煞車,甚至安全氣囊的引爆時機……各種功能都交給專屬的 ECU 負責 。

然而,問題來了:這麼多「小電腦」,它們之間該如何有效溝通?

-----廣告,請繼續往下閱讀-----

為了解決這個問題,1986 年,德國的博世(Bosch)公司推出了一項劃時代的發明:控制器區域網路(CAN Bus)。你可以將它想像成一條專為 ECU 打造的「神經網路」。各個 ECU 只需連接到這條共用的線路上,就能將訊息「廣播」給其他單元。

更重要的是,CAN Bus 還具備「優先通行」機制。例如,煞車指令或安全氣囊引爆訊號這類攸關人命的重要訊息,絕對能搶先通過,避免因資訊堵塞而延誤。儘管 CAN Bus 解決了 ECU 之間的溝通問題,但每顆 ECU 依然需要獨立的電源線、接地線,並連接各種感測器和致動器。結果就是,一輛汽車的電線總長度可能達到 2 到 4 公里,總重量更高達 50 到 60 公斤,等同於憑空多載了一位乘客的重量。

另一方面,大量的 ECU 與錯綜複雜的線路,也讓「電子故障」開始頻繁登上汽車召回原因的榜首。更別提這些密密麻麻的線束,簡直是設計師和維修技師的惡夢。要檢修這些電子故障,無疑讓人一個頭兩個大。

大量的 ECU 與錯綜複雜的線路,也讓「電子故障」開始頻繁登上汽車召回原因的榜首。/圖片來源:shutterstock

汽車電子革命:從「百腦亂舞」到集中治理

到了2010年代,汽車電子架構迎來一場大改革,「分區架構(Zonal Architecture)」搭配「中央高效能運算(HPC)」逐漸成為主流。簡單來說,這就像在車內建立「地方政府+中央政府」的管理系統。

-----廣告,請繼續往下閱讀-----

可以想像,整輛車被劃分為幾個大型區域,像是車頭、車尾、車身兩側與駕駛艙,就像數個「大都會」。每個區域控制單元(ZCU)就像「市政府」,負責收集該區所有的感測器訊號、初步處理與整合,並直接驅動該區的馬達、燈光等致動器。區域先自理,就不必大小事都等中央拍板。

而「中央政府」則由車用高效能運算平台(HPC)擔任,統籌負責更複雜的運算任務,例如先進駕駛輔助系統(ADAS)所需的環境感知、物體辨識,或是車載娛樂系統、導航功能,甚至是未來自動駕駛的決策,通通交由車輛正中央的這顆「超級大腦」執行。

乘著這波汽車電子架構的轉型浪潮中, 2008 年成立的台灣本土企業威力暘電子,便精準地切入了這個趨勢,致力於開發整合 ECU 與區域控制器(Domain Controller)功能的模組化平台。他們專精於開發電子排檔、多功能方向盤等各式汽車電子控制模組。為了確保各部件之間的溝通順暢,威力暘提供的解決方案,就像是將好幾個「分區管理員」的職責,甚至一部分「超級大腦」的功能,都整合到一個更強大的硬體平台上。

這些模組不僅擁有強大的晶片運算能力,可同時支援 ADAS 與車載娛樂,還能兼容多種通訊協定,大幅簡化車內網路架構。如此一來,車廠在追求輕量化和高效率的同時,也能顧及穩定性與安全性。

-----廣告,請繼續往下閱讀-----
2008 年威力暘電子致力於開發整合 ECU 與區域控制器(Domain Controller)功能的模組化平台 /圖片來源:shutterstock

萬無一失的「汽車大腦」:威力暘的四大策略

然而,「做出來」與「做好」之間,還是有差別。要如何確保這顆集結所有功能的「汽車大腦」不出錯?具體來說,威力暘電子憑藉以下四大策略,築起其產品的可靠性與安全性:

  1. AUTOSAR : 導入開放且標準化的汽車軟體架構 AUTOSAR。分為應用層、運行環境層(RTE)和基礎軟體層(BSW)。就像在玩「樂高積木」,ECU 開發者能靈活組合模組,專注在核心功能開發,從根本上提升軟體的穩定性和可靠性。
  2. V-Model 開發流程:這是一種強調嚴謹、能在早期發現錯誤的軟體開發流程。就像打勾 V 字形般,左側從上而下逐步執行,右側則由下而上層層檢驗,確保每個階段的安全要求都確實落實。
  3. 基於模型的設計 MBD(Model-Based Design) 威力暘的工程師們會利用 MatLab®/Simulink® 等工具,把整個 ECU 要控制的系統(如煞車),用數學模型搭建起來,然後在虛擬環境中進行大量的模擬和測試。這等於在實體 ECU 誕生前,就能在「數位雙生」世界中反覆演練、預先排除設計缺陷,,並驗證安全機制是否有效。
  4. Automotive SPICE (ASPICE) : ASPICE 是國際公認的汽車軟體「品質管理系統」,它不直接評估最終 ECU 產品本身的安全性,而是深入檢視團隊在軟體開發的「整個過程」,也就是「方法論」和「管理紀律」是否夠成熟、夠系統化,並只根據數據來評估品質。

既然 ECU 掌管了整輛車的運作,其能否正常運作,自然被視為最優先項目。為此,威力暘嚴格遵循汽車業中一本堪稱「安全聖經」的國際標準:ISO 26262。這套國際標準可視為一本針對汽車電子電氣系統(特別是 ECU)的「超嚴格品管手冊」和「開發流程指南」,從概念、設計、測試到生產和報廢,都詳細規範了每個安全要求和驗證方法,唯一目標就是把任何潛在風險降到最低

有了上述這四項策略,威力暘確保其產品從設計、生產到交付都符合嚴苛的安全標準,才能通過 ISO 26262 的嚴格檢驗。

然而,ECU 的演進並未就此停下腳步。當ECU 的數量開始精簡,「大腦」變得更集中、更強大後,汽車產業又迎來了新一波革命:「軟體定義汽車」(Software-Defined Vehicle, SDV)。

-----廣告,請繼續往下閱讀-----

軟體定義汽車 SDV:你的愛車也能「升級」!

未來的汽車,會越來越像你手中的智慧型手機。過去,車輛功能在出廠時幾乎就「定終身」,想升級?多半只能換車。但在軟體定義汽車(SDV)時代,汽車將搖身一變成為具備強大運算能力與高速網路連線的「行動伺服器」,能夠「二次覺醒」、不斷升級。透過 OTA(Over-the-Air)技術,車廠能像推送 App 更新一樣,遠端傳送新功能、性能優化或安全修補包到你的車上。

不過,這種美好願景也將帶來全新的挑戰:資安風險。當汽車連上網路,就等於向駭客敞開潛在的攻擊入口。如果車上的 ECU 或雲端伺服器被駭,輕則個資外洩,重則車輛被遠端鎖定或惡意操控。為了打造安全的 SDV,業界必須遵循像 ISO 21434 這樣的車用資安標準。

威力暘電子運用前面提到的四大核心策略,確保自家產品能符合從 ISO 26262 到 ISO 21434 的國際認證。從品質管理、軟體開發流程,到安全認證,這些努力,讓威力暘的模組擁有最高的網路與功能安全。他們的產品不僅展現「台灣智造」的彈性與創新,也擁有與國際大廠比肩的「車規級可靠度」。憑藉這些實力,威力暘已成功打進日本 YAMAHA、Toyota,以及歐美 ZF、Autoliv 等全球一線供應鏈,更成為 DENSO 在台灣少數核准的控制模組夥伴,以商用車熱系統專案成功打入日系核心供應鏈,並自 2025 年起與 DENSO 共同展開平台化量產,驗證其流程與品質。

毫無疑問,未來車輛將有更多運作交由電腦與 AI 判斷,交由電腦判斷,比交由人類駕駛還要安全的那一天,離我們不遠了。而人類的角色,將從操作者轉為監督者,負責在故障或斷網時擔任最後的保險。透過科技讓車子更聰明、更安全,人類甘願當一個「最弱兵器」,其實也不錯!

-----廣告,請繼續往下閱讀-----
-----廣告,請繼續往下閱讀-----
文章難易度

討論功能關閉中。

0

1
1

文字

分享

0
1
1
替晶片打造數學工具的喬治.布爾(George Boole)
數感實驗室_96
・2024/06/01 ・561字 ・閱讀時間約 1 分鐘

本文由 國立臺灣師範大學 委託,泛科學企劃執行。 

煮湯時看到調理包背面寫著「加水且加入鹽巴或味精,就大功告成了」。

這句話該怎麼解讀呢?邏輯思維好的人可能很快就能反應過來,意思是加水是必須的,鹽巴和味精至少要加一個。當然,兩者都加也行,但似乎不太健康。

你可能會說:「煮湯時誰會想那麼多?這太哲學了!」其實,19 世紀有位數學家將邏輯建立在數學而非哲學之上,他的貢獻深深影響了現代電腦的運算。他就是我們今天的主角——喬治.布爾(George Boole)。

-----廣告,請繼續往下閱讀-----

在工作會議中,清晰的邏輯思維能幫助我們有條理地表達觀點,並迅速理解他人的意見;程式設計中,邏輯是核心,透過布林代數和邏輯運算,電腦能根據條件執行不同的任務,在智慧家電中利用邏輯閘判斷多個輸入條件來控制輸出結果。

因此,布爾提出的這一套邏輯思維與布林代數,不僅在學術領域至關重要,更是日常生活中不可或缺的工具。

更多、更完整的內容,歡迎上數感實驗室 Numeracy Lab 的 youtube 頻道觀看完整影片,並開啟訂閱獲得更多有趣的資訊!

-----廣告,請繼續往下閱讀-----

討論功能關閉中。

數感實驗室_96
76 篇文章 ・ 50 位粉絲
數感實驗室的宗旨是讓社會大眾「看見數學」。 數感實驗室於 2016 年 4 月成立 Facebook 粉絲頁,迄今超過 44,000 位粉絲追蹤。每天發布一則數學文章,內容包括介紹數學新知、生活中的數學應用、或是數學和文學、藝術等跨領域結合的議題。 詳見網站:http://numeracy.club/ 粉絲專頁:https://www.facebook.com/pg/numeracylab/

0

1
0

文字

分享

0
1
0
跳脫古典數學邏輯!直覺主義的興起——《大話題:邏輯》
大家出版_96
・2023/04/08 ・1479字 ・閱讀時間約 3 分鐘

非古典邏輯:直覺主義

布勞威爾 (1881 – 1966)是最早脫離所謂「古典邏輯」系統的學者之一。他反對弗雷格和羅素將數學化約為邏輯的構想,認為數學根基於我們對某些基本數學物件(如數字和直線)的「直覺」,因此他的學說便稱為「直覺主義」。

直覺主義。圖/大話題:邏輯

惡魔論證

布勞威爾主要將焦點擺在無限集合和序列上,例如所有正數的集合和無理數(如 π 和)小數點後的數字形成的序列等等。他的論證大致如下:

我邏輯上能證明 666 這個序列一定會出現在任何無理數(如 π)的擴張裡。因為若主張 666 不在裡面,就代表 666 不出現在 π 的小數點後數字的任何地方,但這一點在數學上是無法證明的。就算世界上所有白紙都寫滿π的小數點後數字,還是有無限多的數字沒檢查到。

惡魔論證。圖/大話題:邏輯。

直覺邏輯的興起

雖然布勞威爾只想證明有些數學證明的方式和邏輯證明不同,但有些人發現他的論證也能用來證明某些數學領域的邏輯和其他數學領域不同,甚至有些人還據以建構出一套邏輯系統,並嘗試證明這套邏輯適用於所有數學領域。這套系統就叫「直覺邏輯」。

直覺邏輯系統。圖/大話題:邏輯。

直覺主義 v.s. 歸謬法

直覺邏輯有一個關鍵特點,就是不能用萊布尼茲的歸謬法。歸謬法是先假設某個數學陳述的否定為真,然後導出矛盾,進而證明該陳述為真。但要從「某事的否定為假」推導出「某事為真」就得仰賴排中律,因此在某些數學領域裡,歸謬法並不符合數學應該運作的方式,也就是從公理推導出數學語句。

-----廣告,請繼續往下閱讀-----
直覺邏輯與歸謬法互相對立。圖/大話題:邏輯。

直覺主義的數學熱潮

上述問題在 1930 年代引發了一波新的數學熱潮,不少學者嘗試用直覺邏輯替一些常用的基本數學陳述找到證明,也確實找到了不少。

數學系和哲學系紛紛成立,新的學術領域也隨之誕生。就連希爾伯特的方法明明是直覺邏輯的對手,也被加以改造,只使用得到認可的直覺主義程序。直到這股風潮引起了哥德爾的注意。

儘管後來學者對這場爭辯的興趣削弱了一些,但「唯有構造性證明才能確保一個陳述句為真」的基本看法至今仍然得到不少邏輯學家、數學家、科學家和哲學家支持。

許多人試著用直覺邏輯替數學陳述找證明。圖/大話題:邏輯。

處理未來陳述句的老問題

大約同一時期,波蘭數學家盧卡西維茨(1897 – 1956)1920 年提出的構想勾起了一些學者的興趣。此前十多年,這個構想從來不曾在波蘭以外的地區引起多大反應。盧卡西維茨當時想解決的,是從亞里斯多德到羅素都面對過的老問題。

-----廣告,請繼續往下閱讀-----

編按:「如何判斷大笨鐘一千年後會遇上大雪」這句話的真值?

未來陳述句是邏輯無法確認之事。圖/大話題:邏輯。

——本文摘自《大話題:邏輯》,2023 年 3 月,大家出版出版,未經同意請勿轉載。

-----廣告,請繼續往下閱讀-----
大家出版_96
14 篇文章 ・ 11 位粉絲
名為大家,在藝術人文中,指「大師」的作品;在生活旅遊中,指「眾人」的興趣。