瑣碎論

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

${\displaystyle \forall pTp}$

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

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

${\displaystyle p\leftrightarrow Tp}$

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

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

(T0)最小瑣碎論：至少有一個世界，所有命題都為真都且都已被指派一個值。

(T1)多元瑣碎論：在有些世界，所有命題都為真且都已被指派一個值。

(T2)現實瑣碎論：在現實世界，所有命題都為真且都已被指派一個值。

(T3)絕對瑣碎論：在所有世界，所有命題都為真且都已被指派一個值。

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

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

『...

...』[2][3]

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