墨家逻辑与亚里士多德逻辑的形式化和形式化问题
作者: 李包庚 魏娜  来源:天中学刊 录入时间:2016 文献类型 :期刊论文 关键词: 墨家  亚里士多德  逻辑  形式化  非形式化 
描述:形式化是墨家逻辑的主要特点,而亚里士多德逻辑的主要特点是形式化。形式化注重精确性、系统性,但也比较远离现实生活;而非形式化则紧密联系日常语言,但也有明显缺陷。当前逻辑学发展既要注重形式化研究,也要注重形式化研究。