哲學黑話｜蘊含（imply、implication） - 哲學哲學雞蛋糕

在一般的用法下，「蘊含」有「包含」、「蘊藏」的意思：. 海洋蘊含了無數生命。

這篇故事蘊含豐富的哲理。

神韻的舞蹈蘊含力與美。

找我演講｜FB｜ IG｜ Twitter｜ Plurk 3.05.2011 哲學黑話｜蘊含（imply、implication） 在一般的用法下，「蘊含」有「包含」、「蘊藏」的意思： 海洋蘊含了無數生命。

這篇故事蘊含豐富的哲理。

神韻的舞蹈蘊含力與美。

然而，在哲學上，「蘊含」有另外一個意思。

對哲學家來說，「蘊含」指的是可以為真或為假的東西（例如語句、命題、主張和理論）之間的關係。

當我們說一個命題蘊含（implies）另一個命題，就表示後面那個命題可以從前面那個命題推導出來，因此，如果前一個命題是真的，後面那個命題也一定是真的。

例如： 「小包是單身漢」蘊含「小包是男的」。

相容論主張決定論不蘊含人沒有自由意志。

在哲學上，「蘊含」不僅可以當動詞，也可以當名詞用。

當我們說A是B的一個蘊含（implication），就表示A可以從B推導出來。

例如： 演化論的一個蘊含是，繁殖會產生變異。

許多人認為，性交易的合法性是自由主義的蘊含。

在這裡，「蘊含」的意思接近於「理論後果」。

如果一個理論有不合理的蘊含，我們就有理由反對那個理論。

辯論時常用的歸謬法，就是藉由說明對方的主張有令人難以接受的蘊含來進行攻擊。

你可以在這裡找到「蘊含」在哲學上的各種運用實例。

口味: 基本概念, 圖畫 9則留言: Joe2011年3月6日凌晨12:06「當我們說一個命題蘊含（implies）另一個命題，就表示後面那個命題可以從前面那個命題推導出來，因此，如果前一個命題是真的，後面那個命題也一定是真的。

」在這裡有個更嚴謹細緻的區分。

「蘊涵」(imply)和「可推導」(derivability)是兩個不同的概念，「Γ蘊涵α」係指所有Γ為真的情況α也一定為真，「Γ可推導出α」則是說只由Γ及某些推論規則可以得α。

在邏輯裡有兩個重要定理，分別是健全性(soundness)和完備性(completeness)。

健全性指的是，如果Γ蘊涵α，則Γ可推導出α；健全性指的是，如果Γ可推導出α，則Γ蘊涵α。

假如一個系統（比如電腦軟體）缺乏健全性，那就代表，它在得到前提後，在假定前提為真的情況下，在系統內推論而來的結論不一定為真。

相反，缺乏完備性的系統代表，即使前提蘊涵結論，在該系統內也不一定能從前提推導出結論。

回覆刪除回覆回覆ichiro2011年3月6日凌晨1:44「健全性指的是，如果Γ蘊涵α，則Γ可推導出α；健全性指的是，如果Γ可推導出α，則Γ蘊涵α。

」typo，第一個是完備性。

回覆刪除回覆回覆Joe2011年3月6日凌晨2:06hiichiro:ya,應該是「完備性指的是，如果Γ蘊涵α，則Γ可推導出α；健全性指的是，如果Γ可推導出α，則Γ蘊涵α。

」。

回覆刪除回覆回覆匿名2011年3月6日凌晨3:13加強品管哪...另，你的中文很多時候怪怪的像什麼"神韻的舞蹈蘊含力與美"期待更美味的雞蛋糕喔!回覆刪除回覆回覆朱家安2011年3月6日上午8:02Joe、John：感謝補充。

雖然我沒提到那個區分純粹是因為我沒想到，不過在Joe提到之後我開始想那個區分是不是必須在介紹蘊含的時候一起介紹。

如果我沒有弄錯，一般來說健全和完備應該是討論人工語言或邏輯系統的時候才會討論，所以我在想，有沒有可能蘊含和可推導的區分只跟邏輯上的蘊含有關係，在哲學自然語言裡（例如形上學、倫理學或其它哲學討論中），當一個人斷說P蘊含Q，其他人不但期望他證成「ifPthenQ」，也期望他說明這樣的推導如何成立。

換句話說，哲學自然語言裡的蘊含和後設邏輯語言裡的蘊含不一樣。

Anonymous：謝謝你的監督。

不過你覺得那個句子哪裡怪怪的？因為我剛剛重看一遍，覺得還滿正常的。

回覆刪除回覆回覆朱家安2011年3月6日上午8:23算了，我還是把那個補充上去好了。

回覆刪除回覆回覆isaacstn2011年3月6日下午4:05所以在哲學自然語言裡,imply/implication和entail/entailment有什麼細緻上的差別嗎?回覆刪除回覆回覆匿名2011年3月6日晚上8:05這回是我孤陋寡聞...不知道神韻是個專名而且還眼殘沒看到你附上的超連結...抱歉抱歉這是一起烏龍客訴回覆刪除回覆回覆朱家安2011年3月6日晚上10:08Anonymous：沒問題，不過下次留言時留個名字吧，不然我會把你跟其他Anonymous搞混哦。

頌：不知道欸，我一直以為它們一樣。

回覆刪除回覆回覆新增留言載入更多… 較新的文章 較舊的文章 首頁 訂閱： 張貼留言(Atom) 晚安晚安大家晚安 我是哲學哲學雞蛋糕的腦闆朱家安 我想要寫出平易近人的哲學 我寫的書，很好看喔↑ PHILOSOPHY 哲學 (262) 活動情報 (99) 道德哲學 (44) 關於哲學 (40) 學院幽默 (34) 哲學營 (30) 哲學漫畫 (24) 心靈哲學 (23) 基本概念 (21) 科學哲學 (21) 社會政治哲學 (19) 關於這裡 (18) 理性 (17) 語言哲學 (17) 形上學 (16) 學哲學 (13) 宗教哲學 (13) 學院陰謀論 (12) 思想實驗 (9) 知識論 (9) 自由意志 (9) 邏輯 (9) 實驗哲學 (1) SOCIETY 社會 (202) 宗教 (62) 科學 (46) 性別 (40) 論理方法 (37) 死刑 (33) 教育 (25) 文言文 (17) 推論練習 (10) PopularPosts 人有慈善的義務：彼得辛格的池塘論證 實然和應然 PaulGraham的如何嘴炮金字塔 ARCHIVE ►  2021 (10) ►  十月 (1) ►  八月 (3) ►  七月 (3) ►  三月 (2) ►  一月 (1) ►  2020 (6) ►  十二月 (2) ►  十一月 (1) ►  八月 (2) ►  七月 (1) ►  2019 (13) ►  十二月 (1) ►  十一月 (1) ►  十月 (1) ►  九月 (1) ►  八月 (2) ►  七月 (2) ►  六月 (1) ►  五月 (1) ►  四月 (1) ►  二月 (1) ►  一月 (1) ►  2018 (22) ►  十一月 (2) ►  十月 (1) ►  九月 (3) ►  八月 (2) ►  七月 (1) ►  六月 (2) ►  五月 (1) ►  四月 (4) ►  三月 (4) ►  一月 (2) ►  2017 (20) ►  十二月 (2) ►  十一月 (3) ►  十月 (3) ►  八月 (2) ►  七月 (1) ►  六月 (1) ►  五月 (1) ►  四月 (2) ►  三月 (2) ►  二月 (1) ►  一月 (2) ►  2016 (32) ►  十二月 (1) ►  十一月 (1) ►  十月 (2) ►  九月 (1) ►  八月 (2) ►  七月 (3) ►  六月 (3) ►  五月 (3) ►  四月 (4) ►  三月 (4) ►  二月 (4) ►  一月 (4) ►  2015 (31) ►  十二月 (1) ►  十一月 (4) ►  十月 (3) ►  九月 (2) ►  八月 (1) ►  七月 (3) ►  六月 (2) ►  五月 (6) ►  四月 (4) ►  三月 (2) ►  二月 (2) ►  一月 (1) ►  2014 (23) ►  十二月 (3) ►  十一月 (5) ►  十月 (6) ►  九月 (5) ►  八月 (2) ►  五月 (1) ►  四月 (1) ►  2013 (65) ►  十二月 (1) ►  十一月 (2) ►  十月 (2) ►  九月 (5) ►  八月 (10) ►  七月 (2) ►  六月 (10) ►  五月 (12) ►  四月 (8) ►  三月 (5) ►  二月 (5) ►  一月 (3) ►  2012 (86) ►  十二月 (6) ►  十一月 (7) ►  十月 (4) ►  九月 (3) ►  八月 (4) ►  七月 (3) ►  六月 (4) ►  五月 (11) ►  四月 (14) ►  三月 (10) ►  二月 (10) ►  一月 (10) ▼  2011 (111) ►  十二月 (5) ►  十一月 (7) ►  十月 (9) ►  九月 (15) ►  八月 (14) ►  七月 (12) ►  六月 (12) ►  五月 (7) ►  四月 (3) ▼  三月 (7) 我進行中的碩士論文 你寫錯字了 心理利己主義 未來哲學生指南 哲學黑話｜蘊含（imply、implication） 關於草莓的笑話接龍 我老闆要在圖書館給講座 ►  二月 (9) ►  一月 (11) ►  2010 (181) ►  十二月 (6) ►  十一月 (11) ►  十月 (12) ►  九月 (21) ►  八月 (8) ►  七月 (9) ►  六月 (9) ►  五月 (18) ►  四月 (14) ►  三月 (14) ►  二月 (32) ►  一月 (27) ►  2009 (357) ►  十二月 (22) ►  十一月 (17) ►  十月 (29) ►  九月 (26) ►  八月 (24) ►  七月 (25) ►  六月 (39) ►  五月 (20) ►  四月 (40) ►  三月 (51) ►  二月 (31) ►  一月 (33) ►  2008 (244) ►  十二月 (29) ►  十一月 (21) ►  十月 (29) ►  九月 (31) ►  八月 (6) ►  七月 (4) ►  六月 (21) ►  五月 (25) ►  四月 (24) ►  三月 (24) ►  二月 (8) ►  一月 (22)