逻辑方阵类型再探

On the Type of Logical Square

古罗马哲学家波伊提乌(即鲍依修斯)构建完整的逻辑方阵以来,通过前贤不断探索,将表记对象扩展到包含两个以上命题变元组成的命题和推理形式,完成了包含简单命题、复合命题、复合推理及其交叉领域的逻辑方阵建构体系。为便于认知,对逻辑方阵进行科学分类尤为必要。以为逻辑方阵根据表记对象的逻辑形式的数量多少,分为平面型逻辑方阵和立体型逻辑方阵;根据表记对象命题变元数量不同,分为简单型逻辑方阵和复杂型逻辑方阵。简单型逻辑方阵和复杂型逻辑方阵均有基本类型和派生类型。这样的分类对全面把握逻辑方阵体系的建构规律有现实意义。

Since the ancient Roman philosopher Anicius Manlius Severinus Boethius(Boethius)built a complete logical square,through the continuous exploration of predecessors,he expanded the notation object to propositions and reasoning forms composed of more than two propositional variables,and completed the construction system of logical square including simple propositions,composite propositions,composite reasoning and their cross fields.In order to facilitate cognition,it is particularly necessary to scientifically classify the logical square.The author thinks that the logical square can be divided into plane logical square matrix and three-dimensional logical square according to the number of logical forms of the representation object.According to the number of proposition variables of the representation object,it is divided into simple logic matrix and complex logical square.Simple logic matrix and complex logical square have basic types and derived types.Such classification is of practical significance to comprehensively grasp the construction law of logical square system.