毕节学院学报
畢節學院學報
필절학원학보
JOURNAL OF BIJIE UNIVERSITY
2014年
10期
22-27
,共6页
二元量词%单调方阵%扩展三段论
二元量詞%單調方陣%擴展三段論
이원량사%단조방진%확전삼단론
Binary Quantifiers%Square of Opposition about Monotonicity of Binary Quantifier%Extended Categorical Syllogism
在广义量词理论中，如果一个表达两个集合外延关系的二元量词具有单调性等性质，那么该量词及其外否定、内否定和对偶否定在单调性方面存在相互制约关系，从而构成单调方阵。基于二元量词的语义和单调性等性质，可以简洁明了地进行包括传统三段论在内的扩展三段论推理，从而极大地提高了三段论的表达能力和对日常思维的规范能力。
在廣義量詞理論中，如果一箇錶達兩箇集閤外延關繫的二元量詞具有單調性等性質，那麽該量詞及其外否定、內否定和對偶否定在單調性方麵存在相互製約關繫，從而構成單調方陣。基于二元量詞的語義和單調性等性質，可以簡潔明瞭地進行包括傳統三段論在內的擴展三段論推理，從而極大地提高瞭三段論的錶達能力和對日常思維的規範能力。
재엄의량사이론중，여과일개표체량개집합외연관계적이원량사구유단조성등성질，나요해량사급기외부정、내부정화대우부정재단조성방면존재상호제약관계，종이구성단조방진。기우이원량사적어의화단조성등성질，가이간길명료지진행포괄전통삼단론재내적확전삼단론추리，종이겁대지제고료삼단론적표체능력화대일상사유적규범능력。
In theory of general quantifier, a quantifier Q of type<1,1>associates with each universe M a binary relation Q between subsets of M. Every such quantifier spans a square of opposition about the monoto?nicity of general quantifier. The extended categorical syllogism ,including traditional syllogism are based on the nature of the quantifier Q, such as directional distribution. Moreover,the validities of the large number of reasoning outside the traditional syllogism can be decided easily.Thereby,It greatly enhance the logical expres?sive,as well as the ability to regulate the daily thinking, including legal thinking.
