0

0
2

文字

分享

0
0
2

從加減到乘除,四則計算器終於現身│《電腦簡史》 齒輪時代(十六)

張瑞棋_96
・2020/06/08 ・2809字 ・閱讀時間約 5 分鐘 ・SR值 532 ・七年級

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

巴斯卡加法器只能做加減法,萊布尼茲決心加入乘除的功能。他花了二十年時間才終於做出的步進計算器,卻淪入巴斯卡計算器一樣的命運,如石沉大海,無疾而終。但時間證明一切,萊布尼茲發明的步進滾筒,成為電子計算機出現之前,所有四則計算器的運算核心。

本文為系列文章,上一篇請見:爸爸老是要我幫忙計算,乾脆發明計算器給他用│《電腦簡史》 齒輪時代(十五)

從文科生搖身一變為理科天才的萊布尼茲

萊布尼茲 1646 年出生於神聖羅馬帝國的萊比錫 (Leipzig) ,二十歲就憑著一篇法律論文取得博士學位,並獲聘為法學教授,不過他卻婉拒教職,跑去當煉金術學會的秘書。不久後,萊布尼茲轉而擔任美茵茨選侯國 (Mainz) 註一 前內閣大臣的個人助理。沒多久,萊布尼茲就憑著政治與法學的卓越見解,獲得美茵茨選帝侯的賞識,被派至高等法院任職。 1672 年,萊布尼茲被選帝侯派往巴黎進行外交任務,沒想到巴黎之行反而讓他在科學領域綻放光芒。

萊布尼茲肖像。法學背景的他,竟成了數學家與發明家。圖\wikipedia

當時法國不但是歐洲的軍事強國,新成立的法國科學院也匯聚了歐陸知名的科學家,與英國皇家學會相互輝映。其實萊布尼茲原本就對科學相當有興趣,當初才會選擇去煉金術學會,因此他這次奉派到巴黎,便把握機會,主動結識法國科學院的學者,包括從荷蘭移居巴黎的惠更斯 (Christiaan Huygens) 。在惠更斯的指導之下,萊布尼茲的物理與數學進步神速,竟在三年內就發明了微積分。

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

萊布尼茲也是到了巴黎才知道巴斯卡加法器。他研讀了巴斯卡的論文後,決心將加法器升級成也有乘除的功能,結果不到一年時間,他就於 1672 年底做出兩位數乘除的木製原型機。隔年萊布尼茲奉命出差倫敦,經由惠更斯的推薦,他順便於二月在英國皇家學會展示他的原型機。雖然兩位數的乘除根本沒必要用機器計算,但萊布尼茲宣稱他的機器擴充到更多位數也沒有問題,而在場人士顯然也相信了,所以四月他就獲選為英國皇家學會的一員。

二十年磨一劍,乘除功能終於實現

不過事實上萊布尼茲的原型機仍大有問題。它的乘法是以巴斯卡加法器為基礎累加而成,例如 45 x 23 就是先把代表被乘數的轉盤轉到 4 和 5 後,再讓個位數齒輪轉三圈,完成 45 + 45 + 45 = 135 後,接著轉十位數齒輪兩圈,就會把 135再加兩次 450 ,得到答案 1035 。這中間的連動方式除了一般的齒輪嚙合,還要用到鏈條與「針形齒輪」;針形齒輪沒有鋸齒狀的輪齒,是靠盤面最外圍九根突起的短棒與其它齒輪連動。由於結構問題,萊布尼茲在擴增齒輪後,就遇到與希卡德計算器一樣的問題,難以施力又容易損壞。

萊布尼茲花了二十年的時間,終於發明出解決方案——「步進滾筒」 (stepped drum) ,又稱「萊布尼茲輪」 (Leibniz Wheel) 。它的外觀是圓筒狀,表面有九條長度逐漸遞增的突起長條,用來控制齒輪轉動的次數。步進滾筒套在可以左右移動的轉軸上,先看乘數的個位數多少就轉幾圈,然後再往左移動,乘數的十位數多少就轉幾圈,接著百位、千位也都炮製,便能輕鬆完成相乘或相除,操作簡便,也更不容易損壞。

步進滾筒示意圖。靠九個遞增的突起長條,控制齒輪的轉動次數。圖\wikipedia

1694 年,萊布尼茲正式發表「步進計算器」 (Stepped Reckoner) 。這是第一台真正實用的四則計算機,而且似乎為了證明他當年宣稱「可一直擴充位數」並沒有唬人,一推出就可以計算高達八位數乘八位數,或十六位數除以八位數。萊布尼茲之後又打造了位數各有不同的計算器,不過估計一共只有十台左右,比巴斯卡還少。這是因為他面臨與巴斯卡一樣的問題:造價太高、需求太少。 

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

「步進計算器」生不逢時,「步進滾筒」流傳兩世紀

工業革命前的歐洲普遍用不到大量計算,社會上並沒有計算器的需求。就算萊布尼茲不顧這個無奈的現實,純粹出於熱情想繼續研發,也不再負擔得起委請鐘錶匠打造零件的費用。因為牛頓指控萊布尼茲的微積分剽竊自他的「流數」,發動學術圈加以撻伐。當時牛頓的地位如日中天,萊布尼茲完全難以抗衡,最後落得靠編寫王室的歷史賺取生活費,僅足糊口而已。(不過歷史終究站在萊布尼茲這邊,牛頓的流數早被淘汰,如今我們所用的微積分符號都是萊布尼茲的版本。)萊布尼茲三、四十年的心血因此無疾而終,不過他所獨創的步進滾筒並未隨之埋沒,日後將成為各種機械式計算器的核心零件。

萊布尼茲的步進計算器示意圖。曲柄轉軸用來轉動步進滾筒。圖\wikipedia

在萊布尼茲之後,十八世紀又有十幾位發明家繼續改良計算器,主要是著眼於縮小體積,技術上並沒有什麼突破,也沒有造成什麼風潮。工業革命雖然於 1760 年代揭開序幕,但仍未帶來大量計算的需求。必須等到 1830 年代,煤氣燈、電報、火車等新的發明改變生活型態,產生新的產業與經濟活動,才逐漸用到大量的計算。更重要的,生產技術進步使得計算器的製造成本得以降低,法國發明家柯瑪 (Thomas de Colmar) 才能於 1851 年,開始大量生產他所設計的四則運算器 (Arithmometer) ,從此開啟了計算器的市場

柯瑪的四則運算器直到 1915 年才停產,這六十年期間一共售出五千五百台;全部的計算器市場當然不只如此,因為還有別國類似的仿製品也在到處販售。機械式計算器繼續不斷演進,例如有做成像打字機般的計算器,用按鍵取代轉盤,同時將算式與答案直接印在紙上,相當於收銀機的功能。

最極致也最成功的計算器,要屬奧地利工程師赫斯塔克 (Curt Herzstark) 於 1930 年代設計的 Curta 隨身計算器。它外形像個迷你易開罐,直徑六公分、長十公分,小巧玲瓏又堅固好用。Curta 從二次大戰後開始生產上市,一推出便大受歡迎,直到 1970 年代電子計算機問世才被淘汰,這期間估計一共生產了十四萬個

-----廣告,請繼續往下閱讀-----
Curta 隨身計算器小如易開罐,便於攜帶使用。圖\wikipedia

這些五花八門的計算器,不管外型與構造如何變化,運算的核心都是使用步進滾筒。因此,得感謝萊布尼茲的發明,從十八世紀中葉到電子時代來臨前的兩百多年裡,人們才能使用機械式計算器做加減乘除。事實上,萊布尼茲的影響不僅在於機械式計算器,現代電腦使用的二進位制運算,也是他最早提出的,而這就留待後話了。

註解:

  • 註一:神聖羅馬帝國原本就與羅馬帝國毫無瓜葛,而是十二世紀中葉時,德意志國王為了顯示承襲正統,才以此為國名。而到了十七世紀,更是徒有帝國之名,境內有大大小小三百多個領地各自為王。因為缺乏大家共同效忠的王室,皇帝並非世襲,而是從七個選侯國的統治者中選出,美茵茨便是其中一個選侯國。而這七位皇帝候選人則稱為選帝侯
-----廣告,請繼續往下閱讀-----
文章難易度
張瑞棋_96
423 篇文章 ・ 1108 位粉絲
1987年清華大學工業工程系畢業,1992年取得美國西北大學工業工程碩士。浮沉科技業近二十載後,退休賦閒在家,當了中年大叔才開始寫作,成為泛科學專欄作者。著有《科學史上的今天》一書;個人臉書粉絲頁《科學棋談》。

0

0
0

文字

分享

0
0
0
為什麼越累越難睡?當大腦想下班,「腸道」卻還在加班!
鳥苷三磷酸 (PanSci Promo)_96
・2026/04/30 ・2519字 ・閱讀時間約 5 分鐘

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

本文與  益福生醫 合作,泛科學企劃執行

昨晚,你又在床上翻來覆去、無法入眠了嗎?這或許是現代社會最普遍的深夜共鳴。儘管換了昂貴的乳膠枕、拉上百分之百遮光的窗簾,甚至在腦海中數了幾百隻羊,大腦的那個「睡眠開關」卻彷彿生鏽般卡住。這種渴望休息卻睡不著的過程,讓失眠成了一場耗損身心的極限馬拉松 。

皮質醇:你體內那位「永不熄滅」的深夜警報器

要理解失眠,我們得先認識身體的一套精密防衛系統:下視丘-垂體-腎上腺軸(HPA axis) 。這套系統原本是演化給我們的禮物,讓我們在面對劍齒虎或突如其來的危險時,能迅速進入「戰鬥或快逃」的備戰狀態。當這套系統啟動,腎上腺就會分泌皮質醇 (壓力荷爾蒙),這種荷爾蒙能調動能量、提高警覺性,讓我們在危機中保持清醒 。

然而,現代人的「劍齒虎」不再是野獸,而是無止盡的專案進度、電子郵件與職場競爭。對於長期處於高壓或高強度工作環境的人們來說,身體的警報系統可能處於一種「切換不掉」的狀態。

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

在理想的狀態下,人類的生理時鐘像是一場精確的接力賽。入夜後,身體會進入「修復模式」,此時壓力荷爾蒙「皮質醇」的濃度應該降至最低點,讓「睡眠荷爾蒙」褪黑激素(Melatonin)接棒主導。褪黑激素不僅負責傳遞「天黑了」的訊號,它還能抑制腦中負責維持清醒的食慾素(Orexin)神經元,幫助大腦順利關閉覺醒開關。

對於長期處於高壓或高強度工作環境的人們來說,身體的警報系統可能處於一種「切換不掉」的狀態 / 圖片來源:envato

然而,當壓力介入時,這場接力賽就會變成跑不完的馬拉松賽。研究指出,長期的高壓環境會導致 HPA 軸過度活化,使得夜間皮質醇異常分泌。這不僅會抑制褪黑激素的分泌,更會讓食慾素在深夜裡持續活化,強迫大腦維持在「高覺醒狀態(Hyperarousal)」。 這種令人崩潰的狀態就是,明明你已經累到不行,但大腦卻像停不下來的發電機!

長期的睡眠不足會導致體內促發炎細胞激素上升,而發炎反應又會進一步活化 HPA 軸,分泌更多皮質醇來試圖消炎,高濃度的皮質醇會進一步干擾深層睡眠與快速動眼期(REM),導致睡眠品質變得低弱又破碎,最終形成「壓力-發炎-失眠」的惡行循環。也就是說,你不是在跟睡眠上的意志力作對,而是在跟失控的生理長期鬥爭。

從腸道重啟好眠開關:PS150 菌株如何調校你的生理時鐘

面對這種煞車失靈的失眠困局,科學家們將目光投向了人體內另一個繁榮的生態系:腸道。腸道與大腦之間存在著一條雙向通訊的高速公路,這就是「菌-腸-腦軸 (Microbiome-Gut-Brain Axis, MGBA)」,而某些特殊菌株不僅能幫助消化、排便,更能透過神經與內分泌途徑與大腦對話,直接參與調節我們的壓力調節與睡眠節律。這種菌株被科學家稱為「精神益生菌」(Psychobiotics)。

-----廣告,請繼續往下閱讀-----
腸道與大腦之間存在著一條雙向通訊的高速公路,這就是「菌-腸-腦軸 (Microbiome-Gut-Brain Axis, MGBA)」/圖片來源:益福生醫

在眾多研究菌株中,發酵乳桿菌 Limosilactobacillus fermentum PS150 的表現格外引人注目。PS150菌株源於亞洲益生菌權威「蔡英傑教授」團隊的專業研發,累積多年功能性菌株研發經驗的科學成果。針對臨床常見的「初夜效應」(First Night Effect, FNE),也就是現代人因出差、換床或環境改變導致的入睡困難,俗稱認床。科學家在進行實驗時發現,補充 PS150 菌株能顯著恢復非快速動眼期(NREM)的睡眠長度,且入睡更快,起床後也更容易清醒。更重要的是,不同於常見的藥物助眠手段(如抗組織胺藥物 DIPH)容易造成快速動眼期(REM)剝奪或導致睡眠破碎化,PS150 菌株展現出一種更為「溫和且自然」的調節力,它能有效縮短入睡所需的時間,並恢復睡眠中代表深層修復的「Delta 波」能量。

科學家發現,即便將 PS150 菌株經過特殊的熱處理(Heat-treated),轉化為不具活性但保有關鍵成分的「後生元」(Postbiotics),其生物活性依然能與活菌媲美 。HT-PS150 技術解決了益生菌在儲存與攝取過程中容易失去活性的痛點,讓這些腸道通訊員能更穩定地發揮作用 。

在臨床實驗中,科學家觀察到一個耐人尋味的現象:當詢問受試者的主觀感受時,往往會遇到強大的「安慰劑效應」,無論是服用 HT-PS150 還是安慰劑的人,主觀上大多表示睡眠變好了。這種「體感上的進步」有時會掩蓋真相,讓人分不清是心理作用還是真實效益。

然而,客觀的生理數據(Biomarkers)卻揭開了關鍵的差異。在排除主觀偏誤後,實驗數據顯示 HT-PS150 組有更高比例的人(84.6%)出現了夜間褪黑激素分泌增加,且壓力荷爾蒙(皮質醇)顯著下降,這證明了菌株確實啟動了體內的睡眠調控系統,而不僅僅是心理安慰。

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

最值得關注的是,對於那些失眠指數較高(ISI ≧ 8)的族群,這種「生理修復」與「主觀體感」終於達成了一致。這群人在補充 HT-PS150 後,不僅生理標記改善,連原本嚴重困擾的主觀睡眠效率、持續時間,以及焦慮感也出現了顯著的進步。

了解更多PS150助眠益生菌:https://lihi3.me/KQ4zi

重新定義深層睡眠:構建全方位的深夜修復計畫

睡眠從來就不只是單純的休息,而是一場生理功能的全面重整。想要重獲高品質的睡眠,關鍵在於為自己建立一個全方位的修復生態系。

這套系統的基石,始於良好的生活習慣。從減少睡前數位螢幕的干擾、優化室內環境,到作息調整。當我們透過規律作息來穩定神經系統,並輔以現代科學對於 PS150 菌株的調節力發現,身體便能更順暢地啟動睡眠開關,回歸自然的運作節律。

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

與其將失眠視為意志力的抗爭,不如將其看作是生理機能與腸道微生態的深度溝通。透過生活作息的調整與科學實證的支持,每個人都能擁有掌控睡眠的主動權。現在就從優化生活型態開始,為自己按下那個久違的、如嬰兒般香甜的關機鍵吧。

與其將失眠視為意志力的抗爭,不如將其看作是生理機能與腸道微生態的深度溝通 / 圖片來源 : envato

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

討論功能關閉中。

鳥苷三磷酸 (PanSci Promo)_96
247 篇文章 ・ 319 位粉絲
充滿能量的泛科學品牌合作帳號!相關行銷合作請洽:contact@pansci.asia

0

104
0

文字

分享

0
104
0
肺部為何會「結疤」?揭開比癌症更致命的「菜瓜布肺」,科學家如何找到破解惡性循環的新契機
鳥苷三磷酸 (PanSci Promo)_96
・2026/05/08 ・2041字 ・閱讀時間約 4 分鐘

本文由 肺纖維化(菜瓜布肺)社團衛教 合作,泛科學撰文

在現代醫學的警示清單裡,乳癌、大腸癌這些疾病大家都不陌生;但有一個「隱蔽且致命」的威脅卻常被忽視,那就是「肺纖維化」。其中最常見的類型「特發性肺纖維化」(IPF),其預後往往不太樂觀,確診後的五年存活率甚至比許多常見的癌症還低。

首先,我們得先破解一個迷思:肺纖維化並不是單一疾病,而是許多種間質性肺病的共同表現。當我們聽到「肺纖維化」,腦中常浮現「菜瓜布肺」的形象,患者的肺部外觀充滿一個個空洞與疤痕,像極了乾燥的絲瓜。這精準描繪了肺部組織逐漸硬化、失去彈性的過程。

更重要的是,IPF 這類肺纖維化的威脅在於「不可逆」的特性,一旦形成就很難逆轉。這跟部分 COVID-19 康復者身上、仍有機會復原的肺纖維化,是兩種完全不同的概念。

-----廣告,請繼續往下閱讀-----
IPF 這類肺纖維化的威脅在於「不可逆」的特性,一旦形成就很難逆轉 / 圖示來源:shutterstock

肺部為何會變成「菜瓜布」?

為什麼好端端的肺會變成菜瓜布?這其實是一場身體修復機制失控的結果。

「纖維化」的組織,就是肺部間質組織(interstitium)的疤痕化。間質是圍繞在肺泡周圍,包含血管與支持肺部結構的結締組織。在正常情況下,肺部損傷後會啟動修復機制,並再生健康組織。但在肺纖維化的患者體內,這套修復機制卻「當機」了。

身體會不斷地發出訊號,導致負責修復工作的「纖維母細胞」(fibroblasts)被過度活化,進而失控地沉積膠原蛋白疤痕組織,最終在肺部形成永久性的纖維化。

科學家發現,這個過程之所以棘手,在於它是一個「惡性循環」,肺部同時存在著「發炎反應」與「纖維化」這兩條路徑 ,它們相互加乘,演變成難以阻斷的強大破壞力。

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

雖然特發性肺纖維化 (IPF) 的具體成因不明 ,但已知某些特定族群的風險更高。例如抽菸,特定年齡與性別(50歲以上男性)、長期暴露於粉塵環境的工作者(農業、畜牧業、採礦業…)、胃食道逆流者。此外,患有自體免疫疾病(如類風濕性關節炎、乾燥症、硬皮症、皮肌炎/多發性肌炎,)的患者,他們併發肺纖維化的機率遠高於一般人,必須特別警覺。

雖然特發性肺纖維化 (IPF) 的具體成因不明 ,但已知某些特定族群的風險更高。/ 圖示來源:shutterstock

打斷惡性循環的挑戰,為何只對抗「纖維化」還不夠?

面對這個不可逆的疾病,醫學界長年束手無策,直到 2014 年才迎來一道曙光。美國 FDA 批准了兩種機制不同的新藥:Nintedanib 和 Pirfenidone。這兩種藥物的出現是治療史上的分水嶺,首度被證實能夠「延緩」IPF 患者肺功能的惡化速度。

然而,這場戰役尚未結束。現有的治療雖然帶來了希望,卻也凸顯了「未被滿足的醫療需求」。從機制上來看,這些藥物主要抑制的是「纖維化路徑」。

這讓科學界開始思考這個未被滿足的棘手問題:既然疾病的本質是「發炎」與「纖維化」的雙重打擊,那麼,我們是否能找到「同時抑制」這兩條路徑的全新策略,從而更有效地打斷這個惡性循環?

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

找到同時調控「發炎」與「纖維化」的新靶點

為了解決難題,科學家將目光鎖定在一個細胞內的酵素:磷酸二酯酶 4B(PDE4B)

為什麼鎖定它?讓我們看看它的「雙重作用」機制:

  1. 關鍵位置: PDE4B 同時存在於免疫細胞(與發炎有關)與纖維母細胞(與纖維化有關)當中。
  2. 作用機制: PDE4B 的主要工作是降解細胞內一種叫 cAMP(環磷酸腺苷) 的訊號分子。cAMP 可以被視為細胞內的「穩定信號」。
  3. 雙重抑制: 當我們使用藥物抑制了 PDE4B 的活性,細胞內的 cAMP 就不會被分解,濃度會隨之升高。高濃度的 cAMP 能穩定免疫細胞和纖維母細胞,同時產生抗發炎抗纖維化的雙重效應。

簡單來說,鎖定並抑制 PDE4B,就像是同時抑制了免疫風暴與纖維化的工程,有望從雙從抑制打擊這個惡性循環。

全球臨床試驗帶來的新希望

近十年來,全球在肺纖維化領域投入了大量的臨床試驗,我們相信,在科學家逐步破解肺纖維化惡性循環的複雜難題後,期盼未來能為無數患者爭取到更安全、健康的生活與未來。

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

最後,我們必須再次提醒,特發性肺纖維化(IPF)與漸進性肺纖維化(PPF)是極具破壞性、且不可逆的疾病。面對這個比癌症更致命的對手,雖然現有的治療手段能延緩惡化,但無法逆轉已經形成的肺部疤痕組織,因此「早期診斷、早期治療」仍是對抗肺纖維化最重要的黃金時刻。

必須再次提醒,特發性肺纖維化(IPF)與漸進性肺纖維化(PPF)是極具破壞性、且不可逆的疾病。/ 圖示來源:


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

討論功能關閉中。

鳥苷三磷酸 (PanSci Promo)_96
247 篇文章 ・ 319 位粉絲
充滿能量的泛科學品牌合作帳號!相關行銷合作請洽:contact@pansci.asia

0

1
0

文字

分享

0
1
0
白馬 ≠ 馬?當陳述句變成數學邏輯等式!——《大話題:邏輯》
大家出版_96
・2023/04/07 ・2243字 ・閱讀時間約 4 分鐘

從簡單陳述句轉變為複合句——「連接詞」

大約一百年後,克律西波斯(c.280 – c.206 BC)改變了邏輯的關注焦點,從簡單的主述詞陳述句轉向「蘇格拉底是人,且芝諾也是人」之類的複合句。

這是很大的進展。當時甚至有人說「克律西波斯的邏輯就是神會用的邏輯」。我們稍後會見到,克律西波斯的邏輯也是人類使用的邏輯,只不過我們還得等兩千年才會明白這一點。

複合句使用的連接詞不同,其真假受個別句子影響的方式也不同。

出現了「且」、「和」等連接詞。圖/大話題:邏輯。

譬如「不是…就是…」這個連接詞組可以這樣用,也只有「不是…就是…」這個連接詞組可以這樣用:

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

編按:「不是」穆罕默德到山那邊,「就是」山到穆罕默德這邊。

其後一千五百年甚至更久,克律西波斯沒有對邏輯留下多少影響。不僅因為他的作品失傳了,只留下他人的轉述,也因為亞里斯多德成了天主教會的心頭好。

「不是」;「就是」的應用。圖/大話題:邏輯。

萊布尼茲定律

接下來兩千年,邏輯學家建構出愈來愈多三段論,有些甚至前提不只兩個。這些邏輯學家就像煉金術士,拿著概念拼拼湊湊,想辦法生出有效論證。最後有一個人在這股狂熱當中想出了方法,那人就是萊布尼茲(1646 – 1716)。

萊布尼茲想到的方法是將陳述句看成代數裡的等式。等式使用等號(=)來表達式子兩邊數值相等。

例如:x2 + y2 = z2

萊布尼茲將等號帶進邏輯裡,用來指稱 a 和 b 等同。

-----廣告,請繼續往下閱讀-----
萊布尼茲定律的陳述句。圖/大話題:邏輯。

自此之後,這個等同式就叫做「萊布尼茲定律」。萊布尼茲將 a = b 拆成兩個不可分割的述句「a 是 b」和「b 是 a」,意思是「所有 a 都是 b」和「所有 b 都是 a」。

例如:「所有單身漢都是沒結婚的男人,且所有沒結婚的男人都是單身漢。」

若 a 和 b 等同,那麼陳述句裡的 a 就算換成 b,這個陳述句的真假顯然不會隨之改變。例如,「蘇格拉底是沒結婚的男人,沒結婚的男人是單身漢,因此蘇格拉底是單身漢」。

這個定律很重要,因為有了它,我們就能以有限多的步驟來判斷近乎無限多的句子的真值。萊布尼茲使用的步驟數是四個。

-----廣告,請繼續往下閱讀-----
陳述句中的等同式。圖/大話題:邏輯。

1. a = a

例:「蘇格拉底是蘇格拉底。」

2. 若 a 是 b,且 b 是 c,則 a 是 c

例:「所有人都會死,蘇格拉底是人,所以蘇格拉底會死。」

說「a 是 b」就等於說「所有 a 都是 b」。

3. a =非(非 a)

例:「如果蘇格拉底會死,則蘇格拉底不是不會死的。」

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

4. a 是 b = 非 b 是非 a

例:「蘇格拉底是人,意思是如果你不是人,你就不是蘇格拉底。」

利用這四個簡單的法則,萊布尼茲就能證明所有可能出現的三段論。比起亞里斯多德的四角對當,這才是人類史上第一個真正的真理理論,因為它使用事先定下的法則,藉由代換等同的符號(同義詞)來導出結論。

非真即假的歸謬法

萊布尼茲最常用的證明方法是一個極為重要的邏輯工具,深受後世邏輯學家和哲學家喜愛。他稱呼這個方法為歸謬法。

這個工具很簡單,卻好用得驚人,自萊布尼茲發明以來便廣獲使用。我們用一個例子來講最清楚。

-----廣告,請繼續往下閱讀-----
檢驗「打籃球」得陳述句是否為真?圖/大話題:邏輯。

使用歸謬法時,我們先假設要檢驗的那個陳述句為真,再看它能導出哪些結論。如果導出的結論互相矛盾,我們就知道那個陳述句是假的,因為矛盾永遠為假。

歸謬法有一大好處,那就是即使我們不知道如何證明,也能判斷一個陳述句的真假;只要證明這個陳述句的否定會導出矛盾,就知道它是真的了。

歸謬法僅用真假二分,但卻沒有提出證明。圖/大話題:邏輯.

新工具

「我發明的這個工具完全使用理性,是裁決爭議的判官、解釋概念的權威、衡量可能性的天平、指引我們穿越經驗之海的指南針,是萬物的清單、思想的表格、檢視事物的顯微鏡、預測遙遠事物的望遠鏡、通用的演算法、不使詐的魔術、不空妄的計謀,也是人人都能用自己的語言閱讀,所及之處皆會帶來真宗教的經文。」

萊布尼茲致信漢諾威公爵,1679 年

不難想見,天主教會將萊布尼茲視為異端。但「思想有其必然法則」的想法卻對西方哲學家產生了深遠的影響,包括康德、黑格爾、馬克思和羅素。

萊布尼茲的思想影響到後世許多西方哲學家。圖/大話題:邏輯。

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

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