不可解命题【英】

insolvable proposition

译文来源

金炳华，冯契.哲学大辞典[Z].上海辞书出版社，2001：119.

定义

不可解命题是欧洲中世纪逻辑用语，用来指称“说谎者悖论”及由其变形而得到的语义悖论（金炳华，冯契，2001：119）。不可解命题发端于麦加拉学派的悖论。“不可解命题的研究在经历了相当长时间的沉寂之后，从14世纪的中世纪晚期开始得到了集中研究。逻辑学家讨论了不可解命题的各种形式，以及古代所提出的悖论的各种变形，并探讨了很多叹为观止的解决方法，从而把悖论的研究推向了一个新的高度（胡龙彪，2009：296）。不可解命题可以定义为：“由一个逻辑矛盾所构成，不管承认矛盾的哪一方，另一方即可得出”。中世纪逻辑学家曾经探讨了排除语义悖论的一些途径。例如，保罗在《大逻辑》中列举了前人提出的十四种解决不可解命题的方法，并将这些归结为“拒斥”（cassario）、“限制”（restrictio）和“解析”(solutio)（金炳华，冯契，2001：119）。拒斥法认为“悖论命题是诉诸本来虚假的东西，是借助于一些虚假手段建立起来的，因而根本不能把它们看作命题”。限制法即限制“真的”、“假的”这类谓词的使用范围。解析法是对第二种方法的改进，它的实质上是严格臣分不可命题中的普通含义和“精确的和恰当的”含义。保罗还将不可解命题分为单称不可解命题和量化的不可解命题（孙显元，1991：315）。现代逻辑语义学吸收了中世纪逻辑家的成果，提出了一些解决语义悖论的新理论。其中，“类型论”可谓“限制”方法的发展，“语言层次理论”则是“解析”方法的发展（金炳华，冯契，2001：119）。

定义来源

[1] 金炳华，冯契.哲学大辞典[Z].上海辞书出版社，2001.
[2] 胡龙彪.中世纪逻辑语言与意义理论[M].光明日报出版社，2009.
[3] 孙显元.简明逻辑学辞典[Z].安徽人民出版社，1991.

网络参考例句

例句 1：
最后，对中世纪的“不可解命题”及其相关内容做一般性介绍，分析它们与现代语义悖论之间的关系，以及对现代语义悖论研究的意义；集中研究中世纪不可解命题的消解方案，特别是探讨中世纪最重要的逻辑学家布里丹基于语义封闭理论的说谎者类型悖论的消解方案，并阐述中世纪逻辑学家在不可解命题研究上的成就，以及这一成就对于一般语义悖论研究的重要意义。——《语义悖论消解方案探析》，浙江大学硕士学位论文，2014
The last part is mainly about the "Insolubilia" and its medieval solutions, particularly how John Buridan, one of the greatest logicians in the middle ages, handled liar-type paradoxes basing on his token-based, semantically closed logic, and what is the significance of these medieval solution strategies of paradoxes to modern semantic paradoxes.

例句 2：
早在古希腊，克里特人发现的“说谎者悖论”就以“难题”而闻名遐尔；中世纪人们把它称为“不可解命题”。——“现代逻辑意义下的语义悖论”，载于《东岳论丛》1991年第2期
As early as in ancient Greece, Crete found “the liar paradox” as a “problem” and the famous medieval; it was called “the unsolvable proposition”.

例句 3：
“不可解命题”属于语义悖论范畴。——“论经院学者的不可解命题研究”，载于《长沙大学学报》1999年第1期
The “non solvable proposition” belongs to the category of semantic paradox.