麦加拉—斯多葛学派逻辑联结词的电路仿真研究

打开文本图片集

摘要：“来克顿”是麦加拉—斯多葛学派用于表达真假判断的复合命题；四个逻辑联结词之间存在互定义关系，并与经典逻辑理论相互映射；实质蕴涵理论推出三真一假共四种条件命题真值形式，实质蕴涵的“前假后真”特性引发了长期的学术争议（即“蕴涵怪论”）；逻辑联结词的数理逻辑化，使得蕴涵怪论在一阶谓词逻辑层面获得了彻底的解决；计算机、数理逻辑和数学共属一阶谓词形式系统，意味着逻辑联结词可以转换为计算机软件和硬件的形式；文章通过计算机电路仿真，展示了麦加拉—斯多葛学派逻辑联结词的物质性基础和客观性，并探讨了其蕴含的朴素辩证法思想。（剩余4257字）