人工语言是为了某种目的而创制的表意符号系统。如：自然语言“如果天气好，那么我们就去爬山。”可用人工语言“p→q”表示。幻灯片7逻辑学的研究对象
狭义的逻辑：指研究推理形式的科学。广义的逻辑：就是研究思维的形式及其规律以及逻辑方法的科学。广义的逻辑除研究推理形式外，也研究与推理形式相关的各种命题形式、词项及其种类、关系、定义、划分等；还研究认识现实的一些逻辑方法以及逻辑理论的应用。思维的内容与形式：思维包括内容和形式两个方面。思维的内容：当事物及其性质、关系、规律反映在思维之中，就构成了思维的内容。
例如：“货币”具有“固定充当一般等价物的商品”的性质，就形成了“货币是固定充当一般等价物的商品”这一命题的内容。思维的形式：思维在抽象掉具体内容之后所具有的共同结构，思维的形式又叫思维的逻辑形式。下面的三个命题，内容各不相同：幻灯片81所有大学生都是学生。2所有金属都是导电体。3所有商品都是用来交换的劳动产品。
但这三个命题有共同的逻辑形式所有S都是P
1如果物体发热，那么物体就会膨胀。2如果明天天气好，那么我就去郊游。
f上面两个命题也有共同的逻辑形式如果p，那么q
幻灯片9（1）所有公民都是遵纪守法的人，有的人是公民，所以，有的人是遵纪守法的人。（2）所有科学都是有价值的，有的理论是科学，所以，有的理论是有价值的。
这两个推理的内容不同，但有相同的逻辑形式所有M是P，有S是M，所以，有S是P。
所以：不同的思维内容可以有相同的思维形式。逻辑学重点研究的是思维的逻辑形式，任何逻辑形式都由逻辑常项和逻辑变项组成。
逻辑常项：是指逻辑形式中不随思维内容变化而变化的部分。体现了逻辑形式的本质特征，是区分不同种类的逻辑形式的唯一依据。逻辑变项：是指逻辑形式中可变的部分。
命题：1所有的S都是P
2如果p，那么q
逻辑常项
逻辑变项幻灯片10推理
逻辑学研究的是思维的逻辑形式，其主体是推理形式。逻辑学对词项、命题的研究，都是服务于对推理的研究。
推理是从一个或多个已知命题得出一个新命题的思维过程。得出的新命题叫结论，据以得出结论的命题叫前提。所有科学都是有价值的，有的理论是科学，所以，有的理论是有价值的。
推理
f前提
结论
演绎推理完全归纳推理不完全归纳推理
类比推理
推理
必然性推理
或然性推理
幻灯片11推理的有效性
演绎推理的有效性：如果在一个演绎推理中，当所有前提为真时，其结论必然为r