经典的扩充与变异——2015年逻辑学研究述评

Expansion and Variation of Classic;:Review of Logic Studiee in 2015

命题逻辑与一阶逻辑都被称为经典逻辑。如果在经典逻辑的基础上增加算子,那么就能得到经典逻辑的扩充,如模态逻辑以及各种哲学逻辑;如果更改经典逻辑得以建构的假设,那么就能得到一系列的非经典逻辑,如非单调逻辑、相干逻辑等。近年来,国内逻辑学界的很多成果都集中在哲学逻辑领域,2015年这方面的成果数量仍然可观;同时学界对模态逻辑、非经典逻辑领域的研究也有所增强,因此经典逻辑的扩充和变异,即哲学逻辑和非经典逻辑领域中的研究就构成了2015年逻辑学研究的主流。除此之外,逻辑哲学领域中的讨论,以及对逻辑史中重要问题的商榷在本年度的逻辑学研究中也占有重要位置。