12月30日，所课题申报论证会系编译室助理研究员薛平的题为“形式正确推理的一个初步概念——正统逻辑的一种重构”，由华东师大哲学系郦全民教授作为点评嘉宾。
薛平的基本观点是，尽管正统逻辑，也就是所谓的一阶谓词逻辑理论是人们在逻辑研究领域的重大成就，这一理论依旧有许多不能令人满意之处，这一事实集中表现在下述两点之中：第一，存在着许多直观上显然是形式正确的推理，但正统逻辑却无法说明这些推理的形式正确性；第二，正统逻辑所给出的形式正确推理的定义不能令人满意，他的课题的目标是要为正统逻辑提供一种重构，以消除这些令人不满之处。薛平阐述了相关研究的现状，以及如何实现这一目标的构想。郦全民教授对薛平的课题构想给予了肯定评价，考虑到薛平的研究以重构著名的塔尔斯基的真理理论作为出发点，他同时建议薛平考虑这样一种见解：塔尔斯基的真理理论所处理的是形式真的概念，但事实上还有一个所谓的事实真概念；他认为，在为正统逻辑做出重构时，对这一概念的注意可能是有益的。
薛平对郦全民教授的点评表示感谢，并表示将会考虑郦教授的建议；所内其他科研人员也从各自的角度对薛平的课题提出了想法和建议。
