用形式化方法研究思维的形式结构及其规律的学科。与“传统逻辑”相对。是传统逻辑发展的最新阶段。形式化指用一套意义可以解释的特制表意符号去表示词项、命题、推理,获得它们的形式结构(词项形式、命题形式、推理形式...[继续阅读]

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

    亦称“标准逻辑”。主要指由弗雷格、罗素所创立的以二值逻辑为基础的命题演算和谓词演算系统。与“非经典逻辑”相对。其主要特征为:(1)有真假二值的逻辑;(2)以实质蕴涵为基础的真值函项逻辑;(3)设定个体域非空,即量词无例外...[继续阅读]

    亦称“非标准逻辑”、“非古典逻辑”。泛指一切不属于古典形式逻辑(传统的亚里士多德逻辑)和由弗雷格、罗素所完成的经典数理逻辑(以二值逻辑为基础的经典命题演算和谓词演算系统)的现代逻辑学分支系统。与“经典逻辑”相...[继续阅读]

    泛指数理逻辑产生以前的传统形式逻辑。在欧洲,主要指以亚里士多德逻辑为代表的传统逻辑。在中国,主要指以《墨经》、《荀子·正名》为代表的中国古代逻辑。印度因明亦即印度的古典逻辑。世界上三个古老的民族(古希腊、中国...[继续阅读]

    “经典逻辑”的别称。与“非标准逻辑”相对。泛指基于二值外延逻辑系统(系统中的每一变项和公式至少而且至多在真、假二值中取一)的命题逻辑、谓词逻辑、关系逻辑、数学逻辑(模型论、集合论、递归论、证明论)等等。...[继续阅读]

    “非经典逻辑”的别称。与“标准逻辑”相对。逻辑学家在称经典逻辑为标准逻辑的同时,也就相应地将这些非经典逻辑称为非标准逻辑。...[继续阅读]

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

    现代逻辑分类中的一种。现代的逻辑学家通常把现代形式逻辑区分为基本逻辑(包括标准逻辑和非标准逻辑)、元逻辑(包括逻辑语形学,逻辑语义学和逻辑语用学)和应用逻辑三大类,而把应用逻辑看做是基本逻辑和元逻辑(两者都是作为...[继续阅读]

    现代形式逻辑研究中的各种非经典逻辑分支学科的统称。包括模态逻辑、时态逻辑、道义逻辑、认识论逻辑、直觉主义逻辑、相干逻辑、多值逻辑等等。这些非经典逻辑分支学科的建立或者有着极为鲜明的哲学动因,或者潜在地隐含...[继续阅读]