摘要
大多数逻辑学教科书和逻辑学者长久以来都在传播这样的观念：“在研究涉及单称命题的直言三段论的有效性时,单称命题可以视作全称命题来处理。”通过利用有效的单称命题三段论但其对应的直言三段论却是无效的11个事实,强而有力地否定了这一观念。经过提出的25个事实表明：利用广义量词理论和集合论,不仅可以形式化地表示关于单称命题的三段论,而且还可形式化地判断和证明其有效性及相关语篇推理的有效性。这些形式化的创新研究有利于语言学（包括计算语言学）、认知科学、人工智能、计算机科学中的知识表示和知识推理等相关研究的发展。
出版日期
2018年04月14日（中国期刊网平台首次上网日期，不代表论文的发表时间）
