琐碎论

✍ dations ◷ 2025-12-05 10:52:30 #形而上学理论,哲学,演绎理论,真理理论

琐碎论是一承认所有语句(也称为命题)为真并且所有“P与非P”形式的矛盾句都为真的逻辑理论,其拉丁自源trivialis意思是“到处都能找到的”。

据此,琐碎论者是指一个相信任何事都为真的人。

在古典逻辑中,琐碎论是直接违反了亚里斯多德的非矛盾律。在哲学中,琐碎论可以被视为怀疑论的完全对立面,怀疑论是怀疑或否定一切事为真,琐碎论则是相信任何事都为真。在次协调逻辑中,可能使用“非琐碎律”防止为真的矛盾在逻辑上借由爆炸原理推导出琐碎论。

理论的争论已经提供琐碎论与像是模态实在论(可能论)、双面真理论以及次协调逻辑的理论对照。

在符号逻辑,琐碎论可以被表述成以下形式:

上述通过全称量词(∀)而被读成“对任何命题P而言,P为真”。

一个琐碎论的主张可能总是应用它的基本真理,也被称作真理述词:

以上被读作:“P当且仅当P为真”,意思是说所有被相信的命题是在本质上被证明为真的。没有一致使用这个概念,赞同琐碎论的主张可能不会被视为真正且完备的琐碎论;就像主张一个命题为真,但是否定它能够被证明为真,可能会被视为与假定的理论不一致。

Luis Estrada-González 在“可能论与琐碎论的模型”一书通过可能世界的概念列举了四种琐碎论类型。这为琐碎论者单纯给所有命题指派一个相同值,等价于视所有命题及它们的否定为真建构理论。这个分类在本文的脉络中用来展示不同强度以及不同合理程度的琐碎论:

亚里斯多德的非矛盾律以及其他论证被视为是否定琐碎论的。Luis Estrada-González 在“可能论与琐碎论的模型” 一书说明亚里斯多的的形而上学第四卷如下:“‘…如果琐碎论是对的,那么X情况属实,但如果X情况属实那么所有事物都是同一件事。但是所有事物是同一件事是不可能的,所以琐碎论是不可能的’…这个亚里斯多的考量种下了有关琐碎论的疑虑:琐碎论已被否定,因为它将不该被同一的东西(也就是真与假)视为同一。将真与假视为同一,这以逻辑的观点而言,是不可欲的。”

存在几个理论从魔鬼代言人的立场支持琐碎论:

Paul Kabay曾在“真理之丰富”一书中论证琐碎论,如下:

‘...

...’

以上,可能论(模态实在论;与可能世界有关)是主张每个命题都是可能的理论。如果这个理论假设为真,那么根据Kabay ,琐碎论可能同样被假设为真。

Luis Estrada-González在“可能论以及琐碎论的模型”一书中通过可能世界的使用列举了八种反琐碎论(或非琐碎论)的类型:

相关

  • 麦吉尔大学麦吉尔大学(英文:McGill University;法语:Université McGill)为一所坐落于加拿大魁北克的公立研究型大学。学校成立于1821年英国殖民地时期,是加拿大最古老的高等学府,百年来在国
  • 柞蚕丝姬透目天蚕蛾(学名:Antheraea pernyi)即柞蚕,为天蚕蛾科目天蚕蛾属下的一个种。可产柞蚕丝。喜食壳斗科植物的树叶,特别是栎属及栗属的植物。
  • 基地基地有以下含义:
  • 五指山五指山,台湾新竹县竹东镇、北埔乡和五峰乡交界处的一座山峰,标高1062米。五指山为雪山山脉支棱,因山峰酷似五指而得名,昔时曾入选淡水厅八景之一,也曾排名全台十二胜第七名。攀登
  • enzyme酶(英语:Enzyme(/ˈɛnzaɪm/ )),是一类大分子生物催化剂。酶能加快化学反应的速度(即具有催化作用)。由酶催化的反应中,反应物称为底物,生成的物质称为产物。几乎所有细胞内的代谢过
  • 莱加内斯莱加内斯(西班牙语:Leganés;西班牙语发音:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","
  • 布延布延(蒙古语:Буян,1554年-1604年),尊号彻辰汗(蒙古语:Сэцэн хаан),蒙古大汗,察哈尔部第四任可汗。明史称之为“卜言台周”。扎萨克图汗图们的长子,1592年继位。在他统治期
  • 布尔达纳布尔达纳(Buldana),是印度马哈拉施特拉邦Buldana县的一个城镇。总人口62979(2001年)。该地2001年总人口62,979人,其中男性32,717人,女性30,262人;0—6岁人口8,216人,其中男4,462人,女3
  • 罗成 (虚构人物)罗成是历史小说《隋唐演义》中人物,是唐燕王罗艺之子,秦琼的表弟。历史上,罗艺有子,但史书并未有记载其事迹。罗艺发迹是在隋朝末年,他和秦叔宝也没有亲戚关系,小说中除了罗艺的根
  • 喻安性喻安性(1574年-1654年),字中卿,号养初,浙江嵊州人,明朝政治人物。万历二十六年(1598年)进士,历官南昌府推官、礼部主事,广东巡视海道佥事。万历四十一年(1613年)至澳门清查葡萄牙人蓄倭之