逻辑学－学习参考－第二章语言。
一、名词解释。
1．语言——指称事物和事物情况（也称为事态），表达思想情感的符号系统。
2．自然语言——人们在长期的社会活动中通过约定俗成的方式形成的符号系统。
3．人工语言——为了研究某一科学理论而人为建构的语言。
4．符号学——又称指号学，研究自然的和人工的符号系统的性质的科学。可分为语法学、语义学和语用学。
5．语法学——也称为语形学、句法学，研究符号与符号之间关系的学科。在传统逻辑中，我们是从形式方面来研究具有某些形式的若干前提能否得出具有某种形式的结论。而现代逻辑则进一步构造形式语言，从形式语言的语法学方面来研究推出关系，本质上也就是从形式方面来研究具有某些形式的若干前提能否得出具有某种形式的结论。
通过这种研究，现代逻辑把推理转化为“思维演算”，在更广阔的领域深刻地研究了推理的本质和规律、规则。
6．语义学——研究符号及其意义的学科。在逻辑学中，我们研究的根本目的是研究从某些真前提能否必然得出某个真结论。重点研究形式语言l的符号、公式所代表的意义，特别是公式（句子）的真假，并且在这个基础上研究推理的好坏问题（有效性问题），即合式公式集（前提集）与合式公式（结论）之间的语义推出（逻辑后承）关系。
7．语用学——研究符号与符号解释者之间关系的学科。
8．对象语言——作为研究对象的语言。
9．元语言——就是用来研究对象语言的语言，又称语法语言。
10．预设——从语义方面讲，预设是一个语句及其否定共同设定的命题。从语用方面讲，预设是说话者和听话者共同知道或者相信的命题。
11．词项——性质命题的主项和谓项。
12．词项的内涵——词项的所谓、意义，即词项表达的概念。
13．概念——反映一类事物的特有属性的思维形态。
14．属性——事物的性质、关系、功能等等。
15．特有属性——一类事物具有而他类事物所不具有的属性。
16．词项的外延——词项的所指，即词项指称的事物类。
17．单独词项——外延是一个独一无二的事物的词项。
18．普遍词项——外延不止一个事物的词项。
19．空词项——在现实世界中没有外延的词项，在可能世界中有外延的词项。
20．集体词项——指称具有某种联系的若干事物构成的整体的词项。
21．非集体词项——指称群体中每一个个体的词项，22．正词项——指称具有某种特有属性的事物的词项。
23．负词项——指称具有某种特有属性的事物以外的事物的词项。
24．论域——正负词项相对的范围。
25．全同关系——所有s是p，并且所有p是s(s=p)。s与p具有全同关系。
26．真包含于关系——所有s是p，并且有p不是s(sp)，s真包含于p。
27．真包含关系——所有p是s，并且有s不是p(ps)，s真包含p。
28．包含于关系——全同关系和真包含于关系的共性，即所有s是p（sp）。
29．属种关系——真包含于关系和真包含关系统称属种关系。
30．交叉关系——有s是p，并且有p不是s，并且有s不是p（s∩p≠）。
31．全异关系——所有s不是p（s∩p=）。s与p具有全异关系。
32．矛盾关系——两个具有全异关系的词项，它们个外延之和等于属词项的外延。
33．反对关系——两个具有全异关系的词项，它们个外延之和小于属词项的外延。
34．限制——增加属词项的内涵得到种词项的逻辑运算。
35．概括——减少种词项的内涵得到属词项的逻辑运算。
36．划分——把一个词项的外延，按照一定的标准，分为若干小类以明确词项外延的方法。
37．一次划分——依据一个标准，把母项分为若干个子项。
38．连续划分——把划分后的子项作为母项继续划分。
39．复分——按照不同的标准，把同一母项分为若干子项。
40．定义——揭示词项所指称的事物的特有属性以明确词项内涵的逻辑方法。
41．实质定义——是用属加种差的方式给事物所下的定义。
42．性质定义——种差是事物现有的属性的定义。
43．关系定义——种差是事物之间的关系的定义。
44．摹状定义——种差是对事物特征的描述的定义。
45．词语定义——用来说明或规定语词的含义的定义。
46．说明的词语定义——陈述语词已确立的含义的定义。
47．规定的词语定义——通过约定给一个语词规定新的含义，或规定一个新造语词的含义的定义。
48．命题——用语句（一般是陈述句）表达的，反映事物情况的思想。事物是否具有某种性质或关系，是一类事物情况。事物情况之间是否具有某种联系，也是另一类事物情况。
命题最根本的特征是具有真假。真假称为命题的外延。
49．推出关系——前提和结论之间的关系。研究推出关系是逻辑学研究的中心任务。
二、中英文名词术语对照表。
1．传统词项逻辑traditional term logic
2．简单命题****** proposition
3．词项term
4．词项的内涵intention of term
5．词项的外延extention of term
6．单独词项singular term
7．专名proper name
8．摹状词description
9．普遍词项general term
10．空词项null term
11．集体词项collective term
12．非集体词项non-collective term
13．正词项positive term
14．负词项negative term
15．论域universe of discourse
16．词项外延的关系relations of among extension
17．相容关系compatibility
18．全同关系identity
19．真包含于关系being proper inclusion
20．真包含关系proper inclusion
21．交叉关系intersection
22．不相容关系（全异关系） exclusion
23．矛盾关系contradiction
24．反对关系contrariety
25．属genus
26．种species
27．属种关系relation between species and genus
28．词项的限制limitation of term
29．词项的概括generalization of term
30．划分division
31．母项totem divisum
32．子项membra dividentia
33．划分的根据fundamentum divisionis
34．划分的规则rules of division
35．定义definition
36．被定义项definiendum
37．定义项definiens
38．种差differentia specifica
39．属加种差定义definition per genus et differerntiam
40．性质定义natural definition
41．关系定义relational definition
42．发生定义genetic definition
43．功用定义functional definition
44．词语定义verbal definition
45．定义规则rules of definition
46．定义过宽definition is too wide
47．定义过窄definition is too narrow
48．同语反复tautology
49．循环定义circle in definition
50．直言（性质）命题propertied proposition
三、重点难点释疑。
1．怎么理解逻辑学所说的“词项”？
从逻辑学而不是从认识论的角度讲，词项是指称事物、表达概念的语词或者词组。词项指称的事物就是词项的外延，词项表达的概念就是词项的内涵。从命题形式方面讲，凡是能充当性质命题主项和谓项的词和词组，都可以称为词项。
这种“词项”，指的是意义确定的语词或者词组。因为，概念是看不见摸不着的思维形态，必须用一定的语言形式表达出来才能思考和交流。表达概念的语言形式一般是语词或者词组。
然而，在自然语言中，语词或者词组的意义不一定是确定的，它们可能有不同的意义。而且，这些语词或者词组往往还具有情感、语气等方面的意义，这些意义是跟推理无关的。只有把自然语言中语词或者词组的意义确定下来，并且抽象掉跟推理无关的的情感、语气等方面的意义，这些语词或者词组才能指称特定的事物，表达特定的概念，我们才能把它们称为“词项”。
SQL语言学习
sql语言的分类及语法。1.1.2 sql语言的分类及语法。可执行的sql语句的种类数目之多是惊人的。使用sql，你可以执行任何功能 从一个简单的表查询，到创建表和存储过程，到设定用户权限。在这个章节中，我们将重点讲述如何从数据库中检索 更新和报告数据，也是基于这个目的，我们应该了解的最重要的sql...
C语言学习
实验目的 1 c free编译环境。2 熟悉c free较常用的功能，能够对所编写的程序进行编制 连接，并生成可执行文件。3 通过运行简单的c程序，初步了解c源程序的特点。实验内容 上机使用c free编写程序，并进行编译 连接 生成可执行文件。程序1 1.启动c语言程序环境。双击桌面上的图标，进入...
C语言学习
本文由 李佳俊贡献。文档可能在 端浏览体验不佳。建议您优先选择 或 源文件到本机查看。语言语言。主讲 主讲 邓君峰绪论。教学要求 掌握程序设计语言的基本知识 常用算法 初步的程序设计能力学习方法 自主学习 重视上机实践教材和参考书。清华大学出版社语言程序设计，何钦铭主编，人民邮电出版社，程序设计 第...