琐碎论

✍ dations ◷ 2025-04-02 08:29:26 #形而上学理论,哲学,演绎理论,真理理论

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

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

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

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

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

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

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

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

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

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

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

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

‘...

...’

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

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

相关

  • 拉尔夫·达伦多夫拉尔夫·达伦多夫,达伦多夫男爵,KBE(英语:Ralf Gustav Dahrendorf, Baron Dahrendorf,1929年5月1日-2009年6月17日),德国裔英国社会学家、哲学家、政治学家、自由派政治家,冲突理论的
  • 卵子生成卵子生成(英语:Oogenesis、ovogenesis或oögenesis)是一个从卵原细胞经过有丝分裂、减数分裂、并在受精卵中形成卵细胞的过程。哺乳类动物的卵子生成始于生殖皮膜,他可以提供滤
  • 桑贾伊·甘地国家公园桑贾伊·甘地国家公园,又称为Borivali国家公园,是罕见的位于市界以内的国家公园。这座公园位于印度孟买郊区的北部边缘,面积104 平方千米,三面都被世界上人口最稠密之一的城市
  • 科普特人科普特人(科普特语:ⲟⲩⲣⲉⲙ'ⲛⲭⲏⲙⲓ 'ⲛ'Ⲭⲣⲏⲥⲧⲓ'ⲁⲛⲟⲥ ou.Remenkīmi en.Ekhristianos,意为埃及的基督徒;罗马语:NiRemenkīmienKhristianos;阿拉伯语:أقباط,Aq
  • 须磨区须磨区(日语:須磨区/すまく Suma ku */?)是位于神户市西部的一区。在平安时代本地曾是当时日本首都平安京(今 京都府京都市中心)流放罪人的地点,在源氏物语中主角光源氏就曾被流
  • 帕尔加勒·易卜拉欣帕夏帕尔加勒·易卜拉欣帕夏(土耳其语:Pargalı İbrahim Paşa;1495年-1536年3月15日),帕尔加勒之名意为“来自帕尔加的”,他也被称为弗伦克·易卜拉欣帕夏(Frenk Ibrahim Pasha;“西方
  • F4F野猫式战斗机F4F战斗机是美国海军与海军陆战队在二次世界大战爆发之际最主要的舰载战斗机,他的昵称野猫(Wild Cat)开启了格鲁曼公司以猫作为战斗机昵称的传统。该型战斗机也在英国皇家海军
  • 饮食业饮食业又称餐饮业,是指负责在家以外的地方提供餐点的企业、商家或服务,包括餐厅、饭店、饮料店、外烩等各种形式。除了厨师外,还有侍应、外送员等从业员。
  • 卢法县坐标:6°21′S 145°20′E / 6.350°S 145.333°E / -6.350; 145.333卢法县(英语:Lufa District),是巴布亚新几内亚的县份之一,位于新几内亚岛东部,由东高地省负责管辖,首府设于卢法
  • 瓦莱里乌斯·安提亚斯瓦莱里乌斯·安提亚斯(Valerius Antias),约于公元前1世纪前后活动。写作时间约公元前80年至公元前60年间;著有自起源到约公元前60年的罗马史,至少有75卷,现仅存残篇,李维曾批判其作