fbpx
维基百科

瑣碎論

瑣碎論是一承認所有語句(也稱為命題)為真並且所有「P與非P」形式的矛盾句都為真的邏輯理論,其拉丁自源trivialis意思是「到處都能找到的」。

據此,瑣碎論者是指一個相信任何事都為真的人。[1][2]

古典邏輯中,瑣碎論是直接違反了亞里斯多德的非矛盾律。在哲學中,瑣碎論可以被視為懷疑論的完全對立面,懷疑論是懷疑或否定一切事為真,瑣碎論則是相信任何事都為真。在次協調邏輯中,可能使用「非瑣碎律」防止為真的矛盾在邏輯上藉由爆炸原理推導出瑣碎論。

理論的爭論已經提供瑣碎論與像是模態實在論(可能論)、雙面真理論以及次協調邏輯的理論對照。

概觀 编辑

理論 编辑

在符號邏輯,瑣碎論可以被表述成以下形式:[3]

 

上述通過全稱量詞(∀)而被讀成「對任何命題P而言,P為真」。

一個瑣碎論的主張可能總是應用它的基本真理,也被稱作真理述詞:

 

以上被讀作:「P若且唯若P為真」,意思是說所有被相信的命題是在本質上被證明為真的。沒有一致使用這個概念,贊同瑣碎論的主張可能不會被視為真正且完備的瑣碎論;就像主張一個命題為真,但是否定它能夠被證明為真,可能會被視為與假定的理論不一致。

瑣碎論的分類 编辑

Luis Estrada-González 在「可能論與瑣碎論的模型」一書通過可能世界的概念列舉了四種瑣碎論類型。這為瑣碎論者單純給所有命題指派一個相同值,等價於視所有命題及它們的否定為真建構理論。這個分類在本文的脈絡中用來展示不同強度以及不同合理程度的瑣碎論:

(T0)最小瑣碎論:至少有一個世界,所有命題都為真都且都已被指派一個值。
(T1)多元瑣碎論:在有些世界,所有命題都為真且都已被指派一個值。
(T2)現實瑣碎論:在現實世界,所有命題都為真且都已被指派一個值。
(T3)絕對瑣碎論:在所有世界,所有命題都為真且都已被指派一個值。

反對瑣碎論的論證 编辑

亞里斯多德 编辑

亞里斯多德的非矛盾律以及其他論證被視為是否定瑣碎論的。Luis Estrada-González 在「可能論與瑣碎論的模型」 一書說明亞里斯多的的形上學第四卷如下:「『…如果瑣碎論是對的,那麼X情況屬實,但如果X情況屬實那麼所有事物都是同一件事。但是所有事物是同一件事是不可能的,所以瑣碎論是不可能的』…這個亞里斯多的考量種下了有關瑣碎論的疑慮:瑣碎論已被否定,因為它將不該被同一的東西(也就是真與假)視為同一。將真與假視為同一,這以邏輯的觀點而言,是不可欲的。」

支持瑣碎論的論證 编辑

存在幾個理論從魔鬼代言人的立場支持瑣碎論:

可能論的論證 编辑

Paul Kabay曾在「真理之豐富」一書中論證瑣碎論,如下:

『...

1.可能論為真。〔前提〕 
2.如果可能論為真,那麼存在一個世界(無論是可能,或者是不可能,或者兩者都是),W,在這世界瑣碎論為真。〔前提〕
3.W是一個可能世界。〔前提〕 
4.在W中,「W與現實世界A同一」為真。〔由2.〕
5.如果「存在一個世界W」為真,且「W是可能世界」為真,且「在W中,W與A同一」為真,那麼瑣碎論為真。〔前提〕
6.瑣碎論為真。〔由1-5〕 

...』[2][3]

以上,可能論(模態實在論;與可能世界有關)是主張每個命題都是可能的理論。如果這個理論假設為真,那麼根據Kabay ,瑣碎論可能同樣被假設為真。

反瑣碎論 编辑

Luis Estrada-González在「可能論以及瑣碎論的模型」一書中通過可能世界的使用列舉了八種反瑣碎論(或非瑣碎論)的類型:

(AT0)現實最小反瑣碎論:在現實世界,有些命題不存在真或假值。
(AT1)現實絕對反瑣碎論:在現實世界,所有的命題沒有真或假值。 
(AT2)最小反瑣碎論:存在一些世界,有些命題沒有真或假值。 
(AT3)切點反瑣碎論(或稱最小邏輯虛無主義):存在一些世界,每個命題都沒有真值或假值。
(AT4)離散反瑣碎論:對每個世界而言,有些命題沒有真值或假值。 
(AT5)強反瑣碎論:有些命題在每個世界都沒有真值或假值。 
(AT6)超反瑣碎論(或稱中間邏輯虛無主義):所有的命題在一些世界都沒有真值或假值。 
(AT7)絕對反瑣碎論(或稱最大邏輯虛無主義):所有的命題在每個世界都沒有真值或假值。

參考條目 编辑

参考文献 编辑

  1. ^ Priest, Graham. Paraconsistency and Dialetheism. Gabbay, Dov M.; Woods, John (编). The Many Valued and Nonmonotonic Turn in Logic. Elsevier. 2007: 131 [2015-12-30]. ISBN 978-0-444-51623-7. (原始内容于2017-07-29). 
  2. ^ 2.0 2.1 Paul Kabay. On the Plenitude of Truth. A Defense of Trivialism. Lambert Academic Publishing. 2010. ISBN 978-3-8383-5102-5. 
  3. ^ 3.0 3.1 Kabay, Paul. A defense of trivialism. PhD thesis, School of Philosophy, Anthropology, and Social Inquiry. The University of Melbourne, Research Collections (UMER): 29. [20 May 2014]. [失效連結]

瑣碎論, 是一承認所有語句, 也稱為命題, 為真並且所有, p與非p, 形式的矛盾句都為真的邏輯理論, 其拉丁自源trivialis意思是, 到處都能找到的, 據此, 者是指一個相信任何事都為真的人, 在古典邏輯中, 是直接違反了亞里斯多德的非矛盾律, 在哲學中, 可以被視為懷疑論的完全對立面, 懷疑論是懷疑或否定一切事為真, 則是相信任何事都為真, 在次協調邏輯中, 可能使用, 非瑣碎律, 防止為真的矛盾在邏輯上藉由爆炸原理推導出, 理論的爭論已經提供與像是模態實在論, 可能論, 雙面真理論以及次協調邏輯的理論對. 瑣碎論是一承認所有語句 也稱為命題 為真並且所有 P與非P 形式的矛盾句都為真的邏輯理論 其拉丁自源trivialis意思是 到處都能找到的 據此 瑣碎論者是指一個相信任何事都為真的人 1 2 在古典邏輯中 瑣碎論是直接違反了亞里斯多德的非矛盾律 在哲學中 瑣碎論可以被視為懷疑論的完全對立面 懷疑論是懷疑或否定一切事為真 瑣碎論則是相信任何事都為真 在次協調邏輯中 可能使用 非瑣碎律 防止為真的矛盾在邏輯上藉由爆炸原理推導出瑣碎論 理論的爭論已經提供瑣碎論與像是模態實在論 可能論 雙面真理論以及次協調邏輯的理論對照 目录 1 概觀 1 1 理論 1 2 瑣碎論的分類 2 反對瑣碎論的論證 2 1 亞里斯多德 3 支持瑣碎論的論證 3 1 可能論的論證 4 反瑣碎論 5 參考條目 6 参考文献概觀 编辑理論 编辑 在符號邏輯 瑣碎論可以被表述成以下形式 3 p T p displaystyle forall pTp nbsp 上述通過全稱量詞 而被讀成 對任何命題P而言 P為真 一個瑣碎論的主張可能總是應用它的基本真理 也被稱作真理述詞 p T p displaystyle p leftrightarrow Tp nbsp 以上被讀作 P若且唯若P為真 意思是說所有被相信的命題是在本質上被證明為真的 沒有一致使用這個概念 贊同瑣碎論的主張可能不會被視為真正且完備的瑣碎論 就像主張一個命題為真 但是否定它能夠被證明為真 可能會被視為與假定的理論不一致 瑣碎論的分類 编辑 Luis Estrada Gonzalez 在 可能論與瑣碎論的模型 一書通過可能世界的概念列舉了四種瑣碎論類型 這為瑣碎論者單純給所有命題指派一個相同值 等價於視所有命題及它們的否定為真建構理論 這個分類在本文的脈絡中用來展示不同強度以及不同合理程度的瑣碎論 T0 最小瑣碎論 至少有一個世界 所有命題都為真都且都已被指派一個值 T1 多元瑣碎論 在有些世界 所有命題都為真且都已被指派一個值 T2 現實瑣碎論 在現實世界 所有命題都為真且都已被指派一個值 T3 絕對瑣碎論 在所有世界 所有命題都為真且都已被指派一個值 反對瑣碎論的論證 编辑亞里斯多德 编辑 亞里斯多德的非矛盾律以及其他論證被視為是否定瑣碎論的 Luis Estrada Gonzalez 在 可能論與瑣碎論的模型 一書說明亞里斯多的的形上學第四卷如下 如果瑣碎論是對的 那麼X情況屬實 但如果X情況屬實那麼所有事物都是同一件事 但是所有事物是同一件事是不可能的 所以瑣碎論是不可能的 這個亞里斯多的考量種下了有關瑣碎論的疑慮 瑣碎論已被否定 因為它將不該被同一的東西 也就是真與假 視為同一 將真與假視為同一 這以邏輯的觀點而言 是不可欲的 支持瑣碎論的論證 编辑存在幾個理論從魔鬼代言人的立場支持瑣碎論 可能論的論證 编辑 Paul Kabay曾在 真理之豐富 一書中論證瑣碎論 如下 1 可能論為真 前提 2 如果可能論為真 那麼存在一個世界 無論是可能 或者是不可能 或者兩者都是 W 在這世界瑣碎論為真 前提 3 W是一個可能世界 前提 4 在W中 W與現實世界A同一 為真 由2 5 如果 存在一個世界W 為真 且 W是可能世界 為真 且 在W中 W與A同一 為真 那麼瑣碎論為真 前提 6 瑣碎論為真 由1 5 2 3 以上 可能論 模態實在論 與可能世界有關 是主張每個命題都是可能的理論 如果這個理論假設為真 那麼根據Kabay 瑣碎論可能同樣被假設為真 反瑣碎論 编辑Luis Estrada Gonzalez在 可能論以及瑣碎論的模型 一書中通過可能世界的使用列舉了八種反瑣碎論 或非瑣碎論 的類型 AT0 現實最小反瑣碎論 在現實世界 有些命題不存在真或假值 AT1 現實絕對反瑣碎論 在現實世界 所有的命題沒有真或假值 AT2 最小反瑣碎論 存在一些世界 有些命題沒有真或假值 AT3 切點反瑣碎論 或稱最小邏輯虛無主義 存在一些世界 每個命題都沒有真值或假值 AT4 離散反瑣碎論 對每個世界而言 有些命題沒有真值或假值 AT5 強反瑣碎論 有些命題在每個世界都沒有真值或假值 AT6 超反瑣碎論 或稱中間邏輯虛無主義 所有的命題在一些世界都沒有真值或假值 AT7 絕對反瑣碎論 或稱最大邏輯虛無主義 所有的命題在每個世界都沒有真值或假值 參考條目 编辑双面真理说参考文献 编辑 Priest Graham Paraconsistency and Dialetheism Gabbay Dov M Woods John 编 The Many Valued and Nonmonotonic Turn in Logic Elsevier 2007 131 2015 12 30 ISBN 978 0 444 51623 7 原始内容存档于2017 07 29 2 0 2 1 Paul Kabay On the Plenitude of Truth A Defense of Trivialism Lambert Academic Publishing 2010 ISBN 978 3 8383 5102 5 3 0 3 1 Kabay Paul A defense of trivialism PhD thesis School of Philosophy Anthropology and Social Inquiry The University of Melbourne Research Collections UMER 29 20 May 2014 失效連結 取自 https zh wikipedia org w index php title 瑣碎論 amp oldid 78900286, 维基百科,wiki,书籍,书籍,图书馆,

文章

,阅读,下载,免费,免费下载,mp3,视频,mp4,3gp, jpg,jpeg,gif,png,图片,音乐,歌曲,电影,书籍,游戏,游戏。