逻辑学课后习题答案资料

Q”是逻辑变项 (命题变项 )，代入不同的具体命题，表达不同的具体思维内容，并有真假。 3．对思维形式结构的代入，是指用具体的词项或命题替换思维形式结构中的逻辑变项，因而 使思维形式结构成为有内容的具体思想，并具有真假值。如用具体的词项“杨树”和“落叶 乔木”，分别替换 “所有 S 是 P”这一全称肯定命题的思维形式结构中的逻辑变项 “ S”和“P”，
S 不是
S”、“P 并且非 P”。命题逻辑中的矛盾式，指一真值形式在命题变项的任意一组赋值下都假。 谓词逻辑中的矛盾式 (不可满足式 )，指一命题形式在任一解释下都不能得到一个真命题。 模态
逻辑中的矛盾式 (不可满足式 ) ，指一模态公式在任意模型的任一可能世界上都假。 逻辑矛盾又
叫自相矛盾。 狭义的逻辑矛盾指同时肯定一对互相矛盾的命题 ( 如“这是牛， 并且这不是牛” )。
7．逻辑学研究的核心问题，是推理及其有效性的判定。即回答什么样的推理是正确的，什么 样的推理是错误的，如何判定。有效的演绎推理的形式结构，同时也是逻辑规律。逻辑学研 究、运用逻辑规律，发现、排除逻辑矛盾，使推理的形式结构正确，即合乎逻辑。
8．语言、思维和逻辑这三者的关系，是研究对象与研究学科之间的关系。逻辑学以思维为研 究对象，而思维与语言是一个不可分割的统一体。思维是人类认识以概念、判断、推理的理 性方式反映世界的活动和过程，是无声无息、看不见听不到的抽象心理活动，注定要与语言 这种有声有息、看得见听得到的物质存在相结合。语言是思维的实现和载体，是思维的存在 方式和物质外壳。思维的成果用语言记载和巩固，用语言进行交流和交际。逻辑学自然要以 语言为中介，借助于语言的手段，研究思维及其形式结构。
表明该命题具有“全称肯定”的逻辑内容。 “ S”、“P”是逻辑变项 (词项变项 ) ，代入不同具体
词项，表达不同的具体思维内容，并有真假。又如“如果
P，那么 Q”这一充分条件假言命
题的思维形式结构，其中“如果……那么……”是逻辑常项，表明该命题具有蕴涵式的逻辑
内容，即前件真则后件真 (“有之必然” )，并非前件真而后件假 ( 并非“有之而不然” ) 。“P、
7．一切偶数都能
被 2 整除，一切奇数都不能被 2 整除，所以一切奇数都不是偶数。都是直言三段论第二格的
AEE 式，具有共同的逻辑形式，其公式是： 所有 P 是 M
所有 S 不是 M 所以，所有 S 不是 P
3．只有水量合适，水稻才能丰收。 8．只有充分发挥知识分子在社会主义建设中的积极作用， 我国的四个现代化才能实现。都是必要条件假言命题，具有共同的逻辑形式，其公式是：
第一章 绪论（ P6） 一、
1．逻辑学的研究对象是思维的形式结构及其规律，逻辑学是研究思维形式结构及其规律的科 学。
2．思维形式结构是思维内容的存在方式、 联系方式。 逻辑常项是思维形式结构中的不变部分，
它决定思维的逻辑内容。逻辑变项是思维形式结构中的可变部分，它容纳思维的具体内容。
如“所有 S 是 P”这一全称肯定命题的思维形式结构，其中“所有……是……”是逻辑常项，
因而使思维形式结构成为有内容的具体思想“所有杨树是落叶乔木”
，并具有真值。又如用具
体的命题“过度砍伐森林”和“会破坏生态平衡” ，分别替换“如果 P，那么 Q”这一充分条
件假言命题的思维形式结构中的逻辑变项“ P”和“ Q”，因而使思维形式结构成为有内容的
具体思想“如果过度砍伐森林，那么会破坏生态平衡” ，并具有真值。
4．现代逻辑从形式上定义和说明逻辑规律。如命题逻辑中的逻辑规律就是重言式
(一真值形
式在命题变项的任意一组赋值下都真 )，谓词逻辑中的逻辑。 规律就是普遍有效式 ( 指一命题形
式在任一解释下都得到一个真命题 )①，传统逻辑主要从内容、作用上定义和说明逻辑规律。
逻辑规律有特殊和一般之分。如定义、划分的规则，是特殊的逻辑规律，作用于定义、划分
9．语言的第一个构成要素是基本符号，即素材，如汉语的字库和标点符号。第二个构成要素 是语形规则， 即语法， 决定一符号串在该语言中是否合式 (成立 )的标准。 第三个构成要素是语
义规则，即对合乎语法的语言进行解释，赋予意义。
10．自然语言是社会实践中约定俗成的、表达日常思维的语言。它通常有歧义，同一语词、 语句在不同语境下可以表达不同含义。人工语言是为进行科学研究，通过定义方式创立的语
广义的逻辑矛盾还包括同时肯定一对互相反对的命题
(如“这是牛，并且这是马” )，因为同时
肯定一对互相反对的命题，源自文库相当于同时肯定两对互相矛盾的命题 与“这是马，并且这不是马” )。
( 如“这是牛， 并且这不是牛”
6．思维形式结构的规律，是正确的思维形式结构所具有的普遍、必然的性质和联系。有特殊 和一般之分。特殊的思维形式结构的规律，指各类思维形式结构的特殊规则，如定义、划分
言。逻辑学运用的人工语言，称为符号语言。符号语言区别于自然语言的重要特征是排除歧 义。形式语言是高度抽象和严格定义的符号语言。用形式语言构造逻辑的形式系统。
二、
1．一切真知都是来源于实践的。 5．一切交通事故都是违章造成的。都是全称肯定命题，具 有共同的逻辑形式，其公式是：
所有 S 是 P
2．一切鸟都是卵生的，一切蝙蝠都不是卵生的，所以—切蝙蝠都不是鸟。
的特殊范围。同一律、矛盾律、排中律和充足理由律，是一般的、基本的逻辑规律，概括正
确思维形式结构的基本性质和联系，普遍作用于各类思维形式结构，支配各类思维形式结构
的特殊规律 (规则 )，对思维具有强制的规范和约束作用，保证思维的确定性、一贯性、明确性 和论证性。违反这些规律，会发生逻辑谬误。
5．逻辑矛盾，是指一类思维形式结构，在任意代入下都表达虚假的思想内容。如“有
的规则，只在各自的特殊范围内起作用。一般的、基本的思维形式结构的规律，指同一律、 矛盾律、排中律和充足理由律，概括正确思维形式结构的基本性质和联系，普遍地作用于各 类思维形式结构， 支配着各类思维形式结构的特殊规则， 对思维具有普遍的规范和约束作用，
保证思维的确定性、一贯性、明确性和论证性。违反思维形式结构的规律，会发生逻辑谬误。