微百科:逻辑学

本分类共包含词条: 0

本分类中词条共被编辑过: 0

参与协作的用户数: 0

缺省逻辑

最新协作智愿者: explsz

缺省逻辑是 Ray Reiter提出的用来形式化有缺省假定的推理的非单调逻辑。 [详细]

相关词条: 模态逻辑 形式逻辑 命题逻辑 集合论 辩证逻辑

精彩词条

最新协作智愿者

陈运和

陈运和

创建词条:77

编辑词条:838

辐射体

辐射体

创建词条:47

编辑词条:596

mida

mida

创建词条:70

编辑词条:34

默默唔耶

默默唔耶

创建词条:71

编辑词条:35

最新词条 词条帮助 | 全部词条

  • 缺省逻辑

    缺省逻辑

    协作者: explsz

    缺省逻辑是 Ray Reiter提出的用来形式化有缺省假定的推理的非单调逻辑。 [详细]

  • 全异关系

    全异关系又称不相容关系,是逻辑学所讲概念间五种关系之一。是指外延没有任何重合的概念之间的关系。不相容关系中的两种特殊情况是:矛盾关系和对立关系。这就是说,如果两具有全异关系的两个概念a和b,同时包含于一个属概念I之中,并且a与b的外延之和等于I的外延,那么a和b就是矛盾关系。也... [详细]

  • 否定辩证法

    否定辩证法

    协作者: chuna_

    基于对当代资本主义的激进批判,阿多尔诺“否定的辩证法”的实质是一种非同一、绝对否定性的反辩证法。因此,“否定的辩证法”在《启蒙辩证法》孕育成长的过程中,也必然走向在“崩溃的逻辑”中的终结。然而,这并不意味阿多尔诺本身的思想贬值或是毫无意义,相反正是研究了“否定的辩证法”,我们才... [详细]

  • 共性与个性

    共性指不同事物的普遍性质;个性指一事物区别于他事物的特殊性质。共性和个性是一切事物固有的本性,每一事物既有共性又有个性。共性决定事物的基本性质;个性揭示事物之间的差异性。个性体现并丰富着共性,共性是绝对的,个性是相对的、有条件的。共性只能在个性中存在。任何共性只能大致包括个性,... [详细]

  • 必要条件

    必要条件,是数学上、逻辑上的术语之一,指如果没有事物情况A,则必然没有事物情况B;如果有事物情况A而未必有事物情况B,A就是B的必要而不充分的条件,简称必要条件。假设A是条件,B是结论(1)由A可以推出B,由B可以推出A,则A是B的充要条件(A=B)。(2)由A可以推出B,由B... [详细]

  • 思维形式

    思维形式

    协作者: taorlx

    思维形式,思维借以实现的形式。概念、判断、推理、证明是不同的思维形式。具有不同结构的判断形式、推理形式、证明形式也是不同的思维形式。在具体思维中,思维形式和思维内容总是结合在一起的,既不存在没有思维形式的思维内容,也不存在没有思维内容的思维形式。但是思维形式对于思维内容具有相对... [详细]

  • 假言命题

    逻辑学当中包含3种假言命题。充分条件假言命题,必要条件假言命题,和充分必要条件假言命题。这3种假言命题具有如下等性质。了解性质之前。我们需要对其作出基础理论的判断。充分假言命题的假命题是肯定前件,否定后件组成的陈述性命题。且当此充分假言命题为真的时候,自然假命题不成立,当充分假... [详细]

  • 心理逻辑学

    心理逻辑学(psychologic)是由挪威教授创建。Smedlund原本也是一位实验心理学家,但出于对当前学院心理学经验主义传统的怀疑,其兴趣逐渐转移到对心理学研究的概念分析上。迄今为止,Smedslund已对自我效能(1978,1982)、社会心理学(1979,1998)、... [详细]

  • 和事件

    和事件是概率论术语,指事件A+B={x|x 属于A或x属于B},亦即事件A和事件B中至少有一个发生,常称为事件A与事件B的和事件,也称事件A并B,简写作A∪B。 [详细]

  • 同一律

    同一律

    协作者: tempear

    同一律是形式逻辑的基本规律之一,就是在同一思维过程中,必须在同一意义上使用概念和判断,不能混淆不相同的概念和判断。公式是:"甲是甲"或"甲等于甲"。同一律要求思维的确定性,但是并不否认思维的发展变化。在同一思维过程中,如果不是在原来意义上使用某个概念,而是把不同的概念混为一个概... [详细]