现代形式逻辑

形式逻辑的现代形态。其特点是采用公理化、形式化的方法,内容包括经典逻辑和非经典逻辑(如模态逻辑、时态逻辑、道义逻辑、认识论逻辑、条件句逻辑、直觉主义逻辑、相干逻辑、多值逻辑等)的各种形式系统及其语义,以及对于 ......    （本文共 152 字 ）     [阅读本文] >>