(完整版)逻辑学名词解释.docx

《(完整版)逻辑学名词解释.docx》由会员分享，可在线阅读，更多相关《(完整版)逻辑学名词解释.docx（5页珍藏版）》请在优知文库上搜索。

1、逻辑学名词解释I、*反映W物特行辍性的思维形式，*a是指仅反映一个特定对象的概念，它的外比是一个独一无二的事物，普E念，是指由若干个分子所组成的类的概念.它的外延包括许多的对望.集合播念，把一类对纵作为一个集合体来反映的假念.非集合播念：不把类时象作为,个集合体来放映的概会。正根含I反映对象具有某种属性的概念。负收念，反映对能不具有某种属性的概念。只有帘否定词并使用其含义的,才是负概念.论1%指一个正概念与其相对的负概念所反映的对象组成的类.定义，就是揭示概念内涵的逻辑方法。揭示概念所反映的“物的特有属性的方法，划分，揭示概念外延的浅辑方法,就是将外延较大的/概念根据一定的标准，划分出若干个外

2、延较小的概念，从而明确概念全部外延的逻辑方法.霰念的隈制,通过增加概念的内涵,以战少概念的外廷的逻辑方法.即慨会的限制就是从国概念过渡到种概念的设辑方法。最念的辎M通过减少概念的内涵，以扩大其外延的设辑方法.，陈述事物情况的,思维形态“特征GF其“依性.命电钉具体内容和逻辑形式.逻辑学不研具体命题内容上班假,只研究命处形式真假性质和命题形式之间的之假关系.MM就是包含“必然”等模态词的命飕。ft*fl.就是包含其他命甥的命电，包括联吉命卷、选吉命题.灵音命即和负命题。ffi*B就是没疔包含其他命跑的命遨.主要包括直吉命理和关系命即.推理：就是由一或若干个命时推出另一个命遨的思维形态.直tuMh

3、就是陈述”物具有或不具有某种性旗的命题。（性陋命题）It定题就是阵述事物具有某种性质的命1S.联项一般用“是”表示。*M扰是陈述一个特定事物具有或不具有某种性质的命遨.主项专有名词不需盘词.全卷命Ah陈述一类事物的全部分子都具有或不具有某种性质的命国.主项普遍概念.依省.4*St就是陈述,类“物中至少存在希少物具有或不具有某种性物的命睡，主项普淞概念，量项不可省为“有的、有此”（其逻辑含义就是“有”即至少有一个,不排斥全部）周延性，是百言命即主攻与谓项在反的方面的逻辑特征，是出方命即形式中对主攻或谓项的全部外廷的陈述情况，在一个真言命时形式中，如果陈述了它的主项或谣项的全部外廷，那么其主项或调

4、项就是周延的.直Ir直接推理，就是前提只仃一个命也的直言推理.A：全称肯定E；全称否定I：特称坑定0：特称否定反对关系：A与E之间的关系是：不能同我，得以同假.即，当一个班时,另一个必假：当一个假时，另一个直假不定。矛盾关系，AO,El之间的关系是：既不能同其也不能同假,即，一个为真时，另一个必假：当一个为假时,另一个必典.等差关系；AvEo之间的真假关系：全称我.特称必真：全称假,相称人合不定：特称假.全称必假；特称直，全称真假不定。下反对关系，IO之间的真假关系：不能同假，可以同真,即当一个假时，另一个必真；当一个真时,另一个真假不定.换及法：改变前命处的质g-股包括力实证明（乂称经由证明

5、和理论证明（乂称逻邪证明）,事实i三明I就是在实践活动的基础上根据确曲的事实宜接确定某命胞的事实性的证明.理论证明：就是用一个或若干个已知为真的命时,通过推理来确定另一个命遨其实性的思维过程。直接证明I就是从口实论据直.接推出论秘的证明,特点是从论题出发，为论题的口实性提供正面的理由.间接证则，就是通过证明与原论题相关的其他诒胞为假，从而推出瞠论题为真的证明，特点是论题的此实性不是从论据的也直接推出的，而是从其他的假间接推出的。反证法I通过证明反论胞（与原论超具有矛盾关系或卜发对关系的命趣）为F3从而根据排中律.推出原论题为真的证明方法.fP250IP252透盲证法：就是通过证明与原命遨相关的

6、其他命题为假,从而推出原命四为真的证明方法.反取J一种特殊的证明，即用一个或若干个己知为真的命即来确定另一个命趣为假或其证明不能成立的思维过程。直接反Ib就是根据一个或一些命题的真实性宜接推出对方命题的虚假性的反竣方法.独立证明法：就是通过证明与对方的命题具有矛盾关系或反对关系的命处的真实性,从而根据矛J舌律，确定时方的命魄的虚寂性的反驳方法，归法,就是从被反驳命题出发,推出与事理相矛质的结论，或推出龙轼矛带，从而证明被反蛟命题虚假的反驳方法.库误I就是指人们在思维活动中，自觉或不自觉的违反思维规律或规则而发生的逻辑错误.人们通常把不是故意犯的逻辑错误称为谭误，而把故意反逻辑规律或赛则进行似是而非的论证林为诡辩。命运,i探究的是其前提与结论皆有未解析的命题纨成的演绎推理.特征在于.研究和考察逻辑形式时,把一个复合命即只分析到其中所含的简电命题为止，而不是把个一单命题再分析为其主攻、汨顶及做项等各种成分，真值曲皮，一个脸数如果其自变元所取之值为“%值”，而该函数本分出此取值为“真值则该函数称为其值函应.Sfit作为数学中函数关系在逻辑领域中的推广和具体运用，函数称为函应（函项），变歇称为变项，而