在广义量词理论的基础上,充分利用直言命题具有Q(X,Z)这样的三分结构、亚氏量词的真值定义、亚氏量词的单调性与其三种否定量词单......

本文探讨的是一种由古人开创的融多种推理形式于一体的论证说理形式一—连珠体。笔者对于连珠作为文体和逻辑推论形式的不同性质的......

亚氏三段论是传统三段论的基础和来源,但传统三段论在继承和发展亚氏三段论的过程中,对三段论的定义、三段论的格与式的确定、三段......

亚里士多德的三段论和传统三段论在内容上具有传承关系，但两者在许多方面又有差异。传统三段论和亚里士多德的三段论在概念、内容、......

揭示了如何从广义量词理论的角度来理解三段论推理。有效的亚氏三段论可以通过作为广义量词特例的亚氏量词的语义定义加以证明。从......

传统三段论和亚里士多德的三段论在概念、内容、命题的表述以及规则的作用等方面都有区别，传统三段论发展了亚氏三段论的部分理论。......

在国内外最新研究成果的基础上,笔者通过对文中的定理和推论的证明,主要说明了以下几点：（1）利用广义量词的相关语义性质,比如单调性和......

基于Barwise、Cooper、Keenan、Peters、Westerstahl和vanEijck等人的研究成果，作者提出并证明了若干事实和推论。这些事实和推论表......

涉及两个及以上语句的推理就是语篇推理。两个语句间的单调性推理、亚氏三段论推理、广义三段论推理都可以看作是语篇推理。两个语......