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