国家社会科学基金重点项目“提高国民逻辑素质的理论和实践探索研究”(13AZX019)国家社会科学基金重大项目“应用逻辑与逻辑应用研究”(14ZDB014)论文

主持人语：中国逻辑学会会长邹崇理研究员波兰逻辑学家卢卡西维茨曾建立被称为波兰表示法的符号系统，仅仅使用联结词符号就可以无歧义地表达公式。中国逻辑学家张清宇先生在20世纪90年代...