纯粹逻辑

现代形式逻辑即数理逻辑分类中的一种。现代的逻辑学家通常把现代形式逻辑区分为基本逻辑(包括标准逻辑和作为一般逻辑理论的非标准逻辑)、元逻辑(包括逻辑语形学、逻辑语义学和逻辑语用学)和应用逻辑三大类,而把基本逻辑和 ......    （本文共 162 字 ）     [阅读本文] >>