逻辑学名词释义.docVIP

(完好word版)逻辑学名词释义 (完好word版)逻辑学名词释义 PAGE / NUMPAGES (完好word版)逻辑学名词释义 逻辑 ①，指客观事物的发展规律。 ②，指一种看法、思想方法和理论。 ③，指人的思想的规则和规律。 ④，指逻辑的科学即逻辑学。 思想有两个明显的特色 ：抽象性和间接性。 逻辑形式 逻辑形式是 用逻辑变项和逻辑常项表示的思想结构 。 逻辑变项 是思想内容的符号表示，在逻辑形式中代表能够变化的经验内容，也能够看作一种“空位”；关于一个逻辑形式而言，在空位上填入什么“内容”不会影响逻辑形式的特色。 逻辑常项 是逻辑形式中不变的部分，假如逻辑常项（个体常项除外）不一样，逻辑形式的性质也就不一样。所以，逻辑形式的性质是由逻辑常项决定的 思想的逻辑形式 ：不一样内容的命题和推理自己所拥有的共同结构。 人工语言 是为了特其他目的“结构”的语言。它的突出特色是符号特色 对象语言 对逻辑而言，人工语言是用来表示或显示逻辑形式的，我们把这个人工语言叫做 对象语言。 对象语言是用来表示思想对象的语言，对象语言是被陈说的语言。 元语言 用来表述能够显示或表示逻辑思想的人工语言的语言就是元语言。元语言是用来表述对象语言的语 言，元语言是陈说语言的语言。 简单命题 简单命题（原子命题）是由词项组成的命题。它自己不再含有其余命题了。 复合命题 复合命题是由命题组成的命题。 也就是说，复合命题能够剖析为命题和逻辑联词。 （基本的复合命题能够进 一步区分为联言、选言、假言和负的复合命题，它们是复合命题与推理议论的基本对象。 ） 复合命题基本结构是“主项 +谓项” ，依照量词区分，全称的，特称的，单称的。 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、语词定义 语词定义是明确语词的意义的定义。被定义项是语词，定义项是语词的意义即语义