逻辑重要名词.docxVIP

逻辑学·概念1．逻辑：“逻辑”一词来自英文“logic”的音译。在西方文化中,“逻辑”一词源于希腊文“λ?γο?”（逻格斯），其语义十分丰富，既指 “规律”、“思想”、“理性”又有“言辞”、“语句”等含义。中国的“逻辑”。主要是以墨家和公孙龙为代表的“名学”、“辩学”思想。在现代汉语中，“逻辑”一词的主要涵义有四种：指客观事物的发展规律。指一种观点、思想方法和理论。指人的思维的规则和规律。指逻辑的科学即逻辑学。我们是在第③种意义上使用“逻辑”一词的。2．逻辑形式：逻辑形式是用逻辑变项和逻辑常项表示的思维结构。(1),逻辑变项，它是思维内容的符号表示，在逻辑形式中代表可以变化的经验内容，也可以看作一种“空位”；对于一个逻辑形式而言，在空位上填入什么“内容”不会影响逻辑形式的特征。(2),逻辑常项是逻辑形式中不变的部分，如果逻辑常项（个体常项除外）不同，逻辑形式的性质也就不同。因此，逻辑形式的性质是由逻辑常项决定的。3．对象语言与元语言：对于逻辑而言，人工语言是用来表示或显示逻辑形式的，我们把这个人工语言叫做对象语言。用来表述能够显示或表示逻辑思想的人工语言的语言就是元语言。一般的说（不是仅仅在逻辑学的范围内），对象语言是用来表示思维对象的语言，元语言是用来表述对象语言的语言；因此，换一个角度说，对象语言是被陈述的语言。例如：雪是白的雪是白的陈述的是一种属性语句①陈述的是客观对象及其颜色属性，因此它是对象语言。语句②是对语句①的陈述，不是对雪和白的属性的陈述，因此它是元语言。4. 命题是对思维对象的反映，但是它对所反映的内容不作任何断定。命题尽管没有“断定”的成分，但是它有真假，它 是真假的载体。 命题具有真值的含义可以进一步表述为：“命题要么陈述了事实，要么没有陈述事实”。如：火星上有生命A.简单命题（原子命题）是由词项构成的命题。它自身不再含有其它命题了。“他是一名大学生”简单命题的形式：⑴，基本结构是“主项+谓项” “S(不是)是P”⑵，按照量词划分，全称的，特称的，单称的。B.复合命题是由命题构成的命题。也就是说，复合命题可以分析为命题和逻辑联词。构成复合命题的命题是“支命题”，是逻辑“变项”，逻辑联词是逻辑“常项”。复合命题也可以继续划分，如果构成复合命题的是简单命题（原子命题），就是基本复合命题；如果构成复合命题的也是复合命题，就是非基本复合命题。不论是基本的还是非基本复合命题，都可以最终分析为简单命题和逻辑联词。a.联言命题：（1.定义）联言命题是反映一个或几个思维对象同时具有某些属性的复合命题。显然，联言命题就是几个命题的“联合”，它陈述的是几个同时存在的事实。（2.构成）构成联言命题的支命题叫“联言支”，它们是变项；连接联言支的逻辑常项是二元联词。（3.语言）标准的联言逻辑常项的自然语词表示是“并且”，（4.表示）符号表示是“∧”。命题形式“P∧Q”读作“P并且Q”。在自然语言中，下列语词也表示“联言的”含义：“且”，“…也…”、“…但是…”、“即…又…”、“不是…而是…”、“既要…又要…”、“不仅…也…”、“一方面…另一方面…”等，有时用标点符号也可以表示。（5.真值定义和真值表）b.选言命题是反映一个或几个思维对象所具有的某些属性至少有一种情况存在的复合命题。构成选言命题的支命题叫“选言支”。逻辑常项是一个二元联词。（1）不相容选言命题不相容的选言命题只能有一个选言支真，这个真的支命题与其它的所有支命题都是相排斥的。在自然语言中，表示不相容逻辑联词标准用语是“要么…要么…”。命题形式：（2）相容的选言命题相容的选言命题是选言支可以同时皆真的选言命题。自然语言中表示相容选言逻辑联词的语词是“或”。符号表示是“∨”；命题形式“P∨Q”读作“P或Q”。此类命题称为析取命题。c.假言命题：假言命题陈述的是两个思维对象之间的条件关系。条件关系包含非常广泛的内容，其中最重要的是因果关系。一个思维对象存在或发生是另一个思维对象存在或发生的条件，我们称这两个思维对象之间有“条件关系”。逻辑上把条件关系划分为三种类型：充分条件、必要条件和充分必要条件。（1）充分条件的假言命题令P与Q之间有条件关系，如果有P就有Q，无P不一定无Q，则P是Q的充分条件。如果命题陈述的是一个思维对象是另一个思维对象的充分条件，则该复合命题就是充分条件的假言命题。在自然语言中，“如果…那么…”是表示充分条件命题的标准用语，命题形式“P→Q”。 （2）必要条件假言命题令P与Q之间有条件关系，如果没有P就没有Q，有P不一定有Q，则P是Q的必要条件。如果命题陈述的是一个思维对象是另一个思维对象的必要条件，则该复合命题就是必要条件的假言命题。在自然语言中，表示必要条件的标准逻辑语词是“只有…才…”；此外，下列语词也表示必要条件：“必须…才…”、“不…不…