《(完整版)逻辑学名词解释.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就是指人们在思维活动中，自觉或不自觉的违反思维规律或规则而发生的逻辑错误.人们通常把不是故意犯的逻辑错误称为谭误，而把故意反逻辑规律或赛则进行似是
7、而非的论证林为诡辩。命运,i探究的是其前提与结论皆有未解析的命题纨成的演绎推理.特征在于.研究和考察逻辑形式时,把一个复合命即只分析到其中所含的简电命题为止，而不是把个一单命题再分析为其主攻、汨顶及做项等各种成分，真值曲皮，一个脸数如果其自变元所取之值为“%值”，而该函数本分出此取值为“真值则该函数称为其值函应.Sfit作为数学中函数关系在逻辑领域中的推广和具体运用，函数称为函应（函项），变歇称为变项，而变项所取的伯并非是数值而是直俏或假做，真优!含涵I相当于假言命题中前件与后件间之内在关联的真值函应,称为口值被涵式，对于一个真值函应,如不论其中的自变项取值观Th而该函应之其值为“真”.则该函
8、应为里吉式，因荣吉式北伯常真，因此亦称为永真式.矛盾式：对于个直值函应，如不论其中自变项取他出或假，而整个函应式之真值为“假”,则该响应式为逻轼矛盾式。与重言式相反，选轼矛盾式的值常假。公理R统，借公理方法.即依据一些最基本的初始命虺（不证自明的公理）按照演绎推理的规则而推导一系列定理、命国所建构的完整的演绿体系,如欧几里得几何学，任一公理系统所雷清足的条件：相容性（无矛所致性）、完备性（完全性）、独立性（不可推演性）。公理，多是基于人类长期反复实践的验证众所公认其其实性，无倘其他命遨证明而不证自明的命题.W蓟春之，即论题的企范IW亦即令类，也可衣水为11朽道词逻辑的推理形式和规律组成一个形式
9、化的公理系统即所谓谓词演算.Htt就是把简单命Ja进而分析为其主项、谓项和量项弁借以研究命题的形式结构及其推理的规律与规则的逻辑演辑理论.主项，命题中表示思维对象的词项称为主项（主词）。m,而将衣示对象性质或关系的词项称为谓项（谓词）.%9表示某类特定事物中任个体的项称为变项.则的变程:如果,个变项反映某类事物中的任个，则该类”物就是这个变项的变程.M命麹中表示数量性质的词项,现代形式龙卷有两个量项，即全称埴项与存在地项.全称量项相当于自然谱言中的“一切”“所有的“凡”等等：存在玳项相当于自俄语言中的“有的”“有R至少有一等等.词的是量洞所约束的范I也au9t有先后次序的量项序列，普充有效的公
10、式，不论其中变项取什么03其结果总是真的公式.简称普效式.补充篇:1 .非对暮关系I在特定领域里,如果HRb真.那么bRa可能我也可能收.在这种情况下,关系R就是.2 .反变关系：概念的内赧越多，则外延小；内涵越少，则外廷大.3 .属种关IU8包含关系与其包含于关系是相对“逆的，台称为属稗关系，4三段也中的“四It念”借谈，就是指九个.收论中出现了四个不同的概念.5.循环定义：定义项依做被定义项来解洋.即是用A定义B,再用B定义A或者用A定义B,用B定义C,用C定义A&K的交又美Ib指个概念的部分外址与另一个柢合的部分外延垂合的关系.7 .*4X一个1念的部分外延另一个概念的全部外痣重合的大经（A真包含B）：B都是A,但有的A不都是B.8 .真包含于关Ih（A真包含于IP：A都是B,但有的B不都是M9 .嵬义过Jh定义项的外顽，被定义项的外延。IU.本国属性：足一类对象共同具行.且仅为该类对象所具有的属性.中项：不在结论中出现,在前提中出现两次,这个词项称为中项.12 .演锋推理：是从,股性命题引出个别性命题，13 .内涵：概念的内涵，是概念所反映的对象的本质属性.14 .定义，在适当的概念陈述中如果断定了相关概念的本所属性则称为定义.15 .外延：假念的外延.是概念所反映的对象类.16 .兴断：判断是时对象所有断定的思维形式“
