逻辑学名词释义.doc

逻辑，指客观事物的发展规律。，指一种观点、思想方法和理论。，指人的思维的规则和规律。，指逻辑的科学即逻辑学。思维有两个显著的特点：抽象性和间接性。逻辑形式逻辑形式是用逻辑变项和逻辑常项表示的思维结构。(1)逻辑变项是思维内容的符号表示，在逻辑形式中代表可以变化的经验内容，也可以看作一种“空位”；对于一个逻辑形式而言，在空位上填入什么“内容”不会影响逻辑形式的特征。(2)逻辑常项是逻辑形式中不变的部分，如果逻辑常项（个体常项除外）不同，逻辑形式的性质也就不同。因此，逻辑形式的性质是由逻辑常项决定的思维的逻辑形式：不同内容的命题和推理自身所具有的共同结构。人工语言是为了特别的目的“构造”的语言。它的突出特点是符号特征对象语言对逻辑而言，人工语言是用来表示或显示逻辑形式的，我们把这个人工语言叫做对象语言。对象语言是用来表示思维对象的语言，对象语言是被陈述的语言。元语言用来表述能够显示或表示逻辑思想的人工语言的语言就是元语言。元语言是用来表述对象语言的语言，元语言是陈述语言的语言。简单命题简单命题（原子命题）是由词项构成的命题。它自身不再含有其它命题了。复合命题复合命题是由命题构成的命题。也就是说，复合命题可以分析为命题和逻辑联词。（基本的复合命题可以进一步划分为联言、选言、假言和负的复合命题，它们是复合命题与推理讨论的基本对象。）复合命题基本结构是“主项+谓项” ，按照量词划分，全称的，特称的，单称的。7、联言命题联言命题是反映一个或几个思维对象同时具有某些属性的复合命题。（显然，联言命题就是几个命题的“联合”，他陈述的是几个同时存在的事实。）联言判断：就是几种事物情况同时存在的判断。8、选言命题选言命题是反映一个或几个思维对象所具有的某些属性至少有一种情况存在的复合命题。相容选言判断：断定几个选言支至少有一个为真的选言判断。不相容选言判断：断定其选言支中有并且只有一个选言支为真的选言判断。选言判断：就是断定几种可能事物情况至少有一种存在的判断。9、假言命题假言命题陈述的是两个思维对象之间的条件关系。因此又叫条件命题、蕴涵命题。假言判断：断定某一事物情况的存在是另一事物情况存在的条件的判断。10、充分条件令P与Q之间有条件关系，如果有P就有Q，无P不一定无Q，则P是Q的充分条件。11、必要条件令P与Q之间有条件关系，如果没有P就没有Q，有P不一定有Q，则P是Q的必要条件。 12、充分必要条件条件令P与Q之间有条件关系，如果P是Q的充分条件（有P就有Q）并且P也是Q必要条件（有Q就有P），则P和Q互为充分必要条件关系（P Q）（P Q）。 13、负命题负命题是通过对一个命题的否定产生的命题。负命题不同于否定命题。基本的负命题有两类，一类是直言命题的负命题，这是对直言命题的否定命题；另一类是对复合命题的否定。14、直言命题反映思维对象具有或不具有某种性质的命题。因此也叫性质命题。15、对当关系同素材的直言命题之间的真假关系。是对反映S与P同命题真假之间的总结。包括上反对关系、下反对关系、矛盾关系、从属关系。16、变形推理通过改变前提的联项的质或主谓项的位置推出结论的推理。有三种基本形式：换质法，换位法，换质位法与换位质法。17、大项在三段论的结论中位于谓项位置的词项。一般用P表示。18、中项在三段论的前提中出现而不在结论中出现的词项。一般用M表示。19、小项在三段论的结论中位于主项的词项。一般用S表示。20、概念概念是反映思维对象的属性的逻辑范畴。概念反映的对象既有个体，也有类，类的类等等21、概念的内涵和外延概念的内涵是对思维对象的本质属性的反应。从个体概念方面说，内涵是属性的集，从类概念说，内涵是决定这个类的属性。概念的外延是具有概念内涵的思维对象。概念的外延是客观对象的数量范围在认识中的反映。22、真实定义真实定义即属加种差定义，是用邻近的属概念和种差下定义的方法。这种定义揭示的是思维对象的属性，（语词是被使用的），因此又叫真实定义。用公式表示为：被定义概念=种差+邻近的属概念属加种差定义的被定义项是客观事物。23、语词定义语词定义是明确语词的意义的定义。被定义项是语词，定义项是语词的意义即语义。语词定义是对符号的意义的解释或规定。24、划分划分是明确概念外延的逻辑方法。逻辑上的划分就是把概念的外延从一个属概念分成几个不相容的种概念。25、定义过宽定义项的外延大于被定义项的外延。26、定义过窄定义项的外延小于被定义项的外延。27、同语反复定义项中直接包含被定义项。28、循环定义定义项中间接包含被定义项。所谓“间接包含”是被定义项的概念或语词的涵义需要被定义项的涵义才能明确。29、简单枚举法简单枚举推理是依据一部分归纳对象具有某种性质并且没有发现反例的情况下推出全部对象都具有该性质的归纳推理。又称简单枚举法S1是PS2是PSn是PS1，S2Sn是S类的全部对象，所以，所有S都是P30、科学归纳法我们把科学研究中的归纳叫做科学归纳。它是依据某类对象与其属性之间的因果联系推出结论的归纳推理。它的推理形式是：S1是PS2是PSn是PS1，S2Sn是S类的部分对象，并且如果S则M，如果M则P所以，所有S是P31、因果五法契合法（求同法）通过观察收集到与被研究的现象之间可能具有的情况（场合）之后，在被研究的现象出现的场合，如果有唯一的情况是共同的，那么，这个唯一的情况就是被研究现象的原因或结果。（如果被研究现象是结果，共同出现的情况就是原因，如果被研究现象是原因，共同出现的情况就是结果）。形式表达为：场合 先行或后行情况 被研究现象（1） A、B、C、 a（2） A、D、E a（3） A、F、G a A是a原因（或结果）差异法（求异法）在被研究现象存在与不存在的两种场合的对比中，除了唯一一个情况没有在被研究现象不出现的场合出现之外，其它相同的情况都出现，这个没有出现的情况就是被研究现象的原因（或结果）。推理形式是：场合 先行或后行情况 被研究现象（1） A、 B、C、D a（2） 、B、C 、D A是a原因（或结果）契合差异法（求同求异法）在被研究现象出现的场合（正场合），如果只有一个共同的情况，而在被研究现象不出现的若干场合（负场合）却没有这个情况，在其它情况不尽相同的情况下，这个唯一的情况就是被研究现象的原因（或结果）。推理的形式是：场合 先行或后行情况 被研究现象（1） A、B、C、 a（2） A、C、D a（3） A、D、E a （1） 、E 、F （2） 、F、G （3） 、G、H A是a原因（或结果）共变法共变法是在被研究现象发生变化的各个场合中，只有一个情况是变化的，并且其它情况保持不变，那么这个变化的情况就是被研究现象的原因（或结果）。推理形式是：场合 先行或后行情况 被研究现象（1） A1、B、C、 a1（2） A2、B、C a2（3） A3、B、C a3 A是a原因（或结果）剩余法已知一个复合情况是一复合情况的原因（或结果），并且还知道复合情况的某一部分是复合现象的原因（或结果），那么，复合情况的剩余部分就是复合现象的剩余部分的原因（或结果）。推理形式是：复合情况 A、B、C、D是复合现象的a、b、c、d的原因（或结果） （1） A 是a的原因（或结果） （2）B是b的原因（或结果） （3）C是c的原因（或结果） D是d原因（或结果）32、概率概率就是用数字表示的可能命题实现的大小。或者简单的说概率就是对事实成分的断定。概率越大变成现实的可能就越大。概率越小变成现实的可能就越小。33、初始概率初始概率是指简单命题的概率。主要有三种初始概率的解释： 先验概率事件：一个事件就是命题陈述的思维对象具有某种属性的事实。如果某个特定对象具有N个可能事件，其中有m个对事件A有利的可能，那么事件A的概率（用P（A）表示）等于m对所有可能N的比：P（A）=m/N先验概率又称“结构概率”，因为它是依据概率命题所反映对（2）频率概率这种概率是建立在“随机事件”概念上的“频率”解释，也叫统计概率。对于N是有穷域的频率统计可以用重复实验得到概率。（30)主观概率主观概率是一种“置信度”的概念。这是人对某种事件发生的可能性的一种“置信”。概率的“置信度”是它的理想形式。当主观上相信某个事件出现为m，不出现为n时，这种“置信度“的概率是：P（A）=m/（m+n）。34、假说假说是依据归纳推理的结论对被研究现象的一个推测性的解释。35、类比类比推理是依据两个对象A、B在一系列属性上相同（或类似），已知A具有某个属性P，推出B也可能有属性P的归纳推理。A、B可以是两个个体，也可以是两个类。前提与结论之间没有必然的蕴涵关系，只有概然关系。A对象有属性a、b、c、d，B对象有属性a、b、c，所以，B可能有属性d36、偷换概念概念自身要同一，就是概念的涵义和外延必须保持一致。在思维中最常见的现象是通过诡辩手法或是混淆了集合概念与非集合概念违反同一律。这叫“混淆概念”或是“偷换概念”。37、转移命题命题自身要同一是说一个命题在思维过程中，真值不能变化。要么是真的，要么是假的。命题的意义不能发生变化。否则就是违反了同一律，犯有“偷换命题”或是“转移命题”的错误。38、 演绎 又称 形式证明演绎：令是一个合式公式序列（A1 An），是sd的一个演绎，当且仅当Ai要么是前提，Ai要么是由在先的公式根据规则而得的公式。39、对A的演绎令是sd的一个对A的演绎，iff，A位于的最后一行， An即 A。40、语法后承令是sd的一个对A的演绎，A是的语法后承。记做A41. 形式逻辑是研究思维的形式及其规律的科学。42. 概念的内涵越多，则外延越小；内涵越少，则外延越大；这种关系叫反变关系。43. 概念的矛盾关系是指a,b两概念的外延没有任何重合部分，其外延之和等于其属概念的外延。如金属和非金属。45 周延：在性质判断中对主，谓项外延数量的断定情况。47. 二难推理：以两个假言判断和一个选言判断作为前提而构成的推理。48. 属种关系：真包含关系与真包含于关系是相对互逆的，合称为属种关系。49. 三段论中的“四概念”