从结构主义的视角看EAE-2三段论与其余23个有效三段论之间的化归  

The Reduction between the Syllogism EAE-2 and the Remaining 23 Valid Syllogisms from the Perspective of Structuralism

作　　者：许静[1,2] 郝一江 XU Jing;HAO Yi-jiang(School of Philosophy,Anhui University,Hefei 230039,China;College of Marxism,Anhui Medical University,Hefei 230032,China;Institute of Philosophy,Chinese Academy of Social Sciences,Beijing 100732,China)

机构地区：[1]安徽大学哲学学院,安徽合肥230039 [2]安徽医科大学马克思主义学院,安徽合肥230032 [3]中国社会科学院哲学研究所,北京100732

出　　处：《贵州工程应用技术学院学报》2023年第1期66-71,共6页Journal of Guizhou University Of Engineering Science

基　　金：国家社科基金重大招标项目“形式语议学的汉语研究与形式理论创新,”项目编号:22&2D295。

摘　　要：借助亚氏量词三种否定量词的定义、量词no和some的对称性、命题逻辑的推理规则,仅以EAE-2直言三段论为基础公理,就可以推演出其余23个有效的直言三段论,从而为直言三段论逻辑建立起极简的形式化公理系统。这一创新性研究表明:形式化的逻辑学具有结构主义特征,即:它不仅研究思维形式及其规律,而且也研究思维对象的结构以及结构之间的关系。With the help of the definitions of three sort of negative quantifiers of Aristotelian quantifiers,the symmetry of quantifiers no and some,and the reasoning rules of propositional logic,the other 23 valid Aristotelian syllogisms can be deduced only from EAE-2 Aristotelian syllogism as the basic axiom,thus establishing the simplest formalized axiom system for categorical syllogistic logic This innovative research shows that formalized logic has the characteristics of structuralism,that is,it not only studies the form of thinking and its laws,but also studies the structures of thinking objects and the relationship between the structures.

关 键 词：直言三段论 化归 结构主义 量词 

分 类 号：B81[哲学宗教—逻辑学]