查看“︁瑣碎論”︁的源代码

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

據此，瑣碎論者是指一個相信任何事都為真的人。<ref name="GabbayWoods2007">{{Cite book|editor1-first = Dov M.|editor1-last = Gabbay|editor2-first = John|editor2-last = Woods|title = The Many Valued and Nonmonotonic Turn in Logic|url = http://books.google.com/books?id=3TNj1ZkP3qEC&pg=PA131|year = 2007|publisher = Elsevier|isbn = 978-0-444-51623-7|page = 131|first = Graham|last = Priest|chapter = Paraconsistency and Dialetheism|access-date = 2015-12-30|archive-date = 2017-07-29|archive-url = https://web.archive.org/web/20170729040557/https://books.google.com/books?id=3TNj1ZkP3qEC&pg=PA131|dead-url = no}}</ref><ref name="On the Plenitude of Truth">{{Cite book|author = Paul Kabay|title = On the Plenitude of Truth.  A Defense of Trivialism|year = 2010|publisher = Lambert Academic Publishing|isbn = 978-3-8383-5102-5}}</ref>

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

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

== 概觀 ==

=== 理論 ===
在符號邏輯，瑣碎論可以被表述成以下形式:<ref name="A defense of trivialism 2008">{{Cite web|last = Kabay|first = Paul|title = A defense of trivialism|url = http://repository.unimelb.edu.au/10187/5734|work = PhD thesis, School of Philosophy, Anthropology, and Social Inquiry|page = 29|publisher = The University of Melbourne, Research Collections (UMER)|accessdate = 20 May 2014}}{{Dead link}}</ref>
: <math> \forall pTp </math>
上述通過全稱量詞(∀)而被讀成「對任何命題P而言，P為真」。

一個瑣碎論的主張可能總是應用它的基本真理，也被稱作真理述詞：
: <math>p \leftrightarrow Tp</math>
以上被讀作：「P若且唯若P為真」，意思是說所有被相信的命題是在本質上被證明為真的。沒有一致使用這個概念，贊同瑣碎論的主張可能不會被視為真正且完備的瑣碎論；就像主張一個命題為真，但是否定它能夠被證明為真，可能會被視為與假定的理論不一致。

=== 瑣碎論的分類 ===
Luis Estrada-González 在「可能論與瑣碎論的模型」一書通過可能世界的概念列舉了四種瑣碎論類型。這為瑣碎論者單純給所有命題指派一個相同值，等價於視所有命題及它們的否定為真建構理論。這個分類在本文的脈絡中用來展示不同強度以及不同合理程度的瑣碎論：
: (T0)最小瑣碎論：至少有一個世界，所有命題都為真都且都已被指派一個值。
: (T1)多元瑣碎論：在有些世界，所有命題都為真且都已被指派一個值。
: (T2)現實瑣碎論：在現實世界，所有命題都為真且都已被指派一個值。
: (T3)絕對瑣碎論：在所有世界，所有命題都為真且都已被指派一個值。

== 反對瑣碎論的論證 ==

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

== 支持瑣碎論的論證 ==
存在幾個理論從[[惡魔的代言人|魔鬼代言人]]的立場支持瑣碎論：

=== 可能論的論證 ===
Paul Kabay曾在「真理之豐富」一書中論證瑣碎論，如下：

『...<div>1.可能論為真。〔前提〕 </div><div>2.如果可能論為真，那麼存在一個世界（無論是可能，或者是不可能，或者兩者都是），W，在這世界瑣碎論為真。〔前提〕</div><div>3.W是一個可能世界。〔前提〕 </div><div>4.在W中，「W與現實世界A同一」為真。〔由2.〕</div><div>5.如果「存在一個世界W」為真，且「W是可能世界」為真，且「在W中，W與A同一」為真，那麼瑣碎論為真。〔前提〕</div><div>6.瑣碎論為真。〔由1-5〕 </div>...』<ref name="On the Plenitude of Truth"/><ref name="A defense of trivialism 2008"/>
以上，可能論（模態實在論；與可能世界有關）是主張每個命題都是可能的理論。如果這個理論假設為真，那麼根據Kabay ，瑣碎論可能同樣被假設為真。

== 反瑣碎論 ==
Luis Estrada-González在「可能論以及瑣碎論的模型」一書中通過可能世界的使用列舉了八種反瑣碎論（或非瑣碎論）的類型：
: (AT0)現實最小反瑣碎論：在現實世界，有些命題不存在真或假值。
: (AT1)現實絕對反瑣碎論：在現實世界，所有的命題沒有真或假值。 
: (AT2)最小反瑣碎論：存在一些世界，有些命題沒有真或假值。 
: (AT3)切點反瑣碎論（或稱最小邏輯虛無主義）：存在一些世界，每個命題都沒有真值或假值。 
: (AT4)離散反瑣碎論：對每個世界而言，有些命題沒有真值或假值。 
: (AT5)強反瑣碎論：有些命題在每個世界都沒有真值或假值。 
: (AT6)超反瑣碎論（或稱中間邏輯虛無主義）：所有的命題在一些世界都沒有真值或假值。 
: (AT7)絕對反瑣碎論（或稱最大邏輯虛無主義）：所有的命題在每個世界都沒有真值或假值。

==參考條目==
*[[双面真理说]]

== 参考文献 ==
{{Reflist}}

{{逻辑}}

[[Category:邏輯概念]]
[[Category:非經典邏輯]]
[[Category:哲學流派]]
[[Category:演繹理論]]
[[Category:真理理論]]