第二章 命题逻辑第一节 命题和推理概述

合集下载

逻辑学:命题逻辑

逻辑学:命题逻辑
2018年8月17日星期五 7
第二章 命题逻辑
第二节 复合命题及其推理
负命题
负命题由否定联结词(如“并非”)联结支命题而形成的复合命 题。例如: (1)并非选修逻辑的学生都是文科生。 (2)这个班的学生不都学英语。 (3)如果它是三角形,则内角和等于180°,这个观点不对。 注:负命题的支命题可以是简单命题,也可以是复合命题。
20语句
任何命题都是通过语句来表达的,但语句和命题并非一一对应:
首先,有的语句不能直接表达命题,如: •(1)西南大学在重庆吗? •(2)请把门关上! 一般来讲:陈述句与反诘句可以直接表达命题。 其次,同一命题可以用不同的语句来表达,如: “所有的鸟都会飞”与“没有鸟不会飞”表达了相同的命题。 此外,同一命题可用不同的民族语言的语句来表达。 再次,同一语句,可以表达不同的命题,如: 小张将书还给小王,因为他要回家了。
真值表的作用
•p •T •F •¬p F T
根据这个真值表,也可以给f(p)=p这个一元真值函数作如下定义: p为真当且仅当p为假; p为假当且仅当p为真。
2018年8月17日星期五
10
负命题
根据负命题的逻辑性质,可对¬p再否定得到¬¬p,其真值与 p相同,真值表如下:
•p •T •F •¬p •F •T •¬¬p •T •F
2018年8月17日星期五 4
命题的分类
简单命题
非模态命题 命 题
模态命题 复合命题
2018年8月17日星期五
5
命题分析的层次
将联结词所联结的命题作为一个完整的单位来看待


——研究关于联结词的推理(命题逻辑)
——研究关于量项和联项的推理(传统词项逻辑)

命题逻辑_ls第2章_2.1

命题逻辑_ls第2章_2.1
例:人不犯我,我不犯人;人若犯我,我必犯人。 解:令 P:人犯我。 Q:我犯人。 该命题符号化为: (PQ)∧(PQ) 或: PQ
2.1.2 命题公式及分类
本节主要讨论:
命题公式的定义 命题公式的层次 命题公式的真值表 命题公式的分类
一、命题公式的概念
命题常项:简单命题。 命题变项:真值可以变化的陈述句。
p∧q 的逻辑关系是 p与q同时为真
p∧q真值表如图所示:
P
Q
P∧ Q
0
0
0
0
1
0
1
0
0
1
1
1
(2) 合取联结词“∧” --且
例如,p: 李军聪明 q: 李军用功 则命题 “李军既聪明又用功” 可描述为: p∧q
以下自然语言中的联结词等都可以抽象为“∧” 。 “并且”、“既…又…”、 “与”、“和”、“以及”、
一、命题公式的概念
例: (1) A = p ∨q,
则 A是2层公式。
(2) A = p ∧ q ∧ r , 则 A是2层公式。
(3) A =(p ∧q) (r ∨s), 则A为4层公式。
二、公式的赋值或解释
定义2.8 (P.44) --公式的赋值或解释
设A 为含有命题变项 p1, p2,…, pn的命题公式, 给 p1, p2, …, pn 一组确定的真值, 称作对公式 A
举例:
令:p:天气好。
q:我去公园。
如果天气好,我就去公园。符号化为:pq
只要天气好,我就去公园。
pq
仅当天气好,我才去公园。
qp
只有天气好,我才去公园。
qp
我去公园玩,除非天气好。
qp
例2.5 将下列命题符号化,并求其真值。

《逻辑学》新大纲--汉语言文学

《逻辑学》新大纲--汉语言文学

《普通逻辑》课程教学大纲课程名称:逻辑学课程编号:010132001总学时:24学分:1。

5适用对象:汉语言文学专业1。

课程性质:《普通逻辑》是汉语言文学专业本科生的专业限选课中的必修课。

其内容具有很强的理论抽象性,公式、符号、图、表颇多;同时又具有可操作性,处处都含有思维方法、演算技巧的应用。

本课程旨在使学生系统地了解和掌握普通逻辑的基本知识、基本原理和基本技能,进行逻辑思维训练,解决思维的实际问题,以提高思维的准确性和敏捷性,从而增强语言表达的逻辑力量,并且为进一步学习其他科学知识提供必要的逻辑工具.2。

教学目的:逻辑学是现代基础学科的重要门类,包括逻辑的应用、演绎逻辑、一般逻辑、归纳逻辑、方法论等。

通过本课程的学习,要使学生系统地理解和掌握普通逻辑学的基本概念、基本原理和推演技巧,提高思维的准确性和敏捷性,增强语言的表达能力和论辩能力,以及初步具有运用逻辑知识解决实际问题的能力,并为进一步学习其他专业知识提供必要的逻辑知识.3。

教学内容:教学内容与学时安排4.教学方式:开展多媒体教学和案例教学,大力采用互动、启发、探究、讨论、质疑、争论、搜集信息、自主学习等多种教学形式,鼓励学生参与课堂教学。

5。

课程考核方式:本课程为考查课。

期末占总成绩的80%,平时作业、小测验占总成绩的20%。

6。

教材与教学参考书目:教材:普通逻辑编写组。

《普通逻辑》(第五版)。

上海:上海人民出版社。

2010。

主要参考书目:[1] 吴家国主编《普通逻辑》,上海人民出版社,1993.4。

[2] 何向东主编.《逻辑学教程》。

北京:高等教育出版社.1999年8月。

[3]刘新友,田宏第主编《普通逻辑自学导引》,高等教育出版社,1991。

9.[4]何应灿主编《怎样提高逻辑思维能力》,华东师范大学出版社,1995.3.[5]中国人民大学哲学系逻辑教研室编《逻辑学》,中国人民大学出版社,2003。

7。

[6]王海传等编著.《逻辑学》。

命题逻辑(联言、选言、负命题)

命题逻辑(联言、选言、负命题)
任何命题都是通过语句来表达的,但语句和命 题并非一一对应: 首先,有的语句不能直接表达命题。 其次,同一命题可以用不同的语句来表达,如: ‚所有的鸟。 此外,同一命题可用不同的民族语言的语句来 表达。
再次,同一语句,可以表达不同的命题。
命题和判断
• 判断:就是被断定者断定了的命题。 • 判断的主要特征:有所断定。
想想看
• 两个女学生走进一餐厅,翻开桌上的菜单,突 然眼前一亮,‚看,熊掌!每盘20元,来两盘 怎么样?‛‚人们都说熊掌名贵,价钱也不贵, ok!‛一会儿,她们吃完了,叫来招待员结帐, 招待员开出帐单:‚一共4025元‛‚什么?你 没搞错吧?‛学生几乎吓晕了。‚熊掌每盘 2000元,你看菜单。‛学生仔细一看,果然是 2000元,中间没有小数点。这下她们急得要哭 了。这时老板出来了,看了几眼付不起钱的学 生,‚没钱,就将证件留下。‛她们乖乖的将 证件交出。学生会出面交涉,老板斩钉截铁说: ‚一分也不能少,如果三天之内不把钱付清, 便立即向法院起诉。……学生只好自认倒霉, 一律师知道了,帮他们追回了所被敲诈的钱。 如何讨?
• 规则: 肯定前件就要肯定后件,否定后件就要否定前件 否定前件就要否定后件,肯定后件就要肯定前件 • 推理蕴涵式为: • (p↔q)∧p →q • (p↔q)∧q →p • (p↔q)∧ p → q • (p↔q)∧ q →p • 某甲犯了罪当且仅当某甲应受刑罚处罚; • 某甲是案犯当且仅当某乙是案犯;
• 负判断由支命题和联结词‚并非‛构成。负 命题的逻辑联结词‚并非‛可以用否定词 ‚‛来表示。 • 日常用语中,负命题的联结词还可以表达为 ‚没有‛、‚不‛、‚这是假的‛、‚这是 错误的‛等。被否定的命题称为支命题,它 可以是简单命题,也可以复合命题。 • 负命题的形式:并非p,也可表示为: p • 负命题的真假表:当支命题为真时,负命题 为假;当支命题为假时,负命题为真。

逻辑学性质命题

逻辑学性质命题

SEP ¬(SAP) ¬ (SOP) SIP ¬(SIP) ¬ (SAP) ¬(SOP) ¬ (SEP) SEP ¬ (SIP)
SAP ¬ (SOP) ¬ (SAP) SOP SOP ¬ (SAP) ¬ (SOP) SAP
SEP ¬ (SIP) ¬ (SEP) SIP SIP ¬ (SEP) ¬ (SIP) SEP
例组2:
• 1.并非有的有限责任公司是上市公司,
• 所以,有的有限责任公司不是上市公 司。 • 2.并非有的侵犯财产罪不是故意犯罪, • 所以,有的侵犯财产罪是故意犯罪。
3、矛盾关系推理(32)
• 所谓矛盾关系是指A与O之间、E与I 之间的真假关系。 SOP必假。 当SAP真时, 一个真时, 当SOP真时,SAP必假。 另一个必假
同一命题可以用不同的语 句表达
• 所有事物都包含着矛盾。 • 没有不包含矛盾的事物。 • 不包含矛盾的事物是没有的。
同一语句在不同的语境中可以有 不同的含义,表达不同的命题 • 小王在火车上画画
课堂练习
P67第一题
二、命题形式及其种类
• 命题内容——命题所反映的事物情况 • 命题形式——命题内容的联系方式, 即命题的逻辑形式
2.A.E、I、O四种命题周延情况表 命题的类别
SAP
主项 周延 周延 不周延 不周延
谓项 不周延 周延 不周延 周延
SEP
SIP SOP
结论:
全称命题的主项都周延, 特称命题的主项都不周延; 否定命题的谓项都周延, 肯定命题的谓项都不周延。
练习题
下列命题的主、谓项是否周延?为什么?
• • • •


SO P


逻辑学复习知识点汇总

逻辑学复习知识点汇总

逻辑学复习知识点前言:逻辑学:传统逻辑、现代逻辑;它是基础性.工具性的学科(更直接.更系统)第一章(绪论):第一节什么是逻辑学1.“逻辑”的含义:源于古希腊.原意:思想.言辞.理性.规律。

逻辑是一门学科.即逻辑学(思维科学)。

2.逻辑学的研究对象:研究思维的形式结构及其规律的科学。

逻辑学的研究目的:总结出人们正确运用各种思维形式的逻辑规律。

思维:感性认识(感觉.知觉.表象)和理性认识(概念.命题(判断).推理)思维的形式结构(思维的逻辑形式):包括逻辑常项和变项逻辑常项:不随思维具体内容变化而变化.是判定一种逻辑形式具体类型的唯一依据。

传统逻辑:自然语言(日常用语)现代逻辑:人工语言(符号语言:表意符号.公式.公式序列)思维形式结构的规律:逻辑规则:仅适用于某种思维形式。

逻辑思维的基本规律:普遍适用于各种类型的思维形式。

(传统逻辑定义)逻辑思维的基本规律包括:同一律.矛盾律.排中律.充足理由律。

表现方式:现代逻辑的基础部分:经典命题逻辑,经典谓词逻辑(表现方式:重言式(重言蕴涵式.重言等值式))第二节逻辑学的性质和作用1.逻辑学的性质:工具性.全人类性(没有民族性.阶级性)2.逻辑学的作用:联合国教科文组织1974年规定的七大基础学科:逻辑学、数学、天文学和天体物理学、地球科学和空间科学、物理学、化学、生命科学三方面作用:促成逻辑思维由自发向自觉转变;培养和提高人们认识事物、从事科学研究的能力;帮助识别、驳斥谬误和诡辩。

3.第三节逻辑简史逻辑学的历史:两千多年逻辑学的三大源头:古中国、古印度、古希腊。

西方逻辑:以古希腊逻辑为先河.在发展的历程中完整地经历了传统和现代两个形态。

(以此为例)传统逻辑的诞生与发展:传统逻辑:由亚里士多德开始直至莱布尼兹之前的整个逻辑类型。

特点:借助自然语言.主要范围是常见日常思维类型。

亚里士多德:(公元前384-公元前322):古希腊著名学者.第一次全面、系统研究逻辑学主要问题.首创逻辑学这门科学。

法律逻辑学第二章:复合命题

法律逻辑学第二章:复合命题
2010-11-12 5
第二章 命题逻辑
把单个的命题作为不可再分的整体, 把单个的命题作为不可再分的整体,用 命题联结词把这些命题联结起来, 命题联结词把这些命题联结起来,组成更复 杂的命题,简称复合命题, 杂的命题,简称复合命题,然后去研究这些 复合命题的逻辑性质以及相互之间的推理关 由此得到的逻辑理论叫做命题逻辑。 系,由此得到的逻辑理论叫做命题逻辑。 由于复合命题的逻辑性质及其相互之间 的推理关系实际上是由命题联结词决定的, 的推理关系实际上是由命题联结词决定的, 因此命题逻辑也称为“联结词的逻辑” 因此命题逻辑也称为“联结词的逻辑”。
逻辑学的核心课题是推理及其有效性的判 定。 而推理是由命题组成的, 而推理是由命题组成的,推理的前提和结 论单独看来都是一个个命题,于是, 论单独看来都是一个个命题,于是,对命题 的不同分析就导致对推理结构的不同分析, 的不同分析就导致对推理结构的不同分析, 并最终导致不同的逻辑类型。 并最终导致不同的逻辑类型。
三、命题的种类 简单命题和复合命题 模态命题和非模态命题 规范命题和非规范命题
问题:下列语句是否表达命题? 问题:下列语句是否表达命题?
1、这份合同是有效的吗? 、这份合同是有效的吗? 2、为什麽需要政府,这种需要来源于何处? 、为什麽需要政府,这种需要来源于何处? 3、平面图形的“四色猜想”是正确的。 、平面图形的“四色猜想”是正确的。 4、2010年人类将登上火星。 、 年人类将登上火星。 年人类将登上火星 5、1+101=110。 、 。 6、我喜欢贝多芬的音乐。 、我喜欢贝多芬的音乐。 7、哎呀,那还得了! 、哎呀,那还得了! 8、请把门关上! 、请把门关上!
对命题的第一种分析方法是: 对命题的第一种分析方法是: 把单个命题看做不再分析的整体, 把单个命题看做不再分析的整体,称为 简单命题或原子命题, 简单命题或原子命题,通过一些联结词把它 们组合成为复合命题。以复合命题为对象, 们组合成为复合命题。以复合命题为对象, 研究它们各自的逻辑性质及其相互之间的逻 辑关系,所得到的逻辑理论叫做“ 辑关系,所得到的逻辑理论叫做“命题逻 辑”。

第二章 命题逻辑[2010](1)

第二章  命题逻辑[2010](1)
选言支可以同时为真 2. 简单推理: 简单推理: • • • 否定肯定式 添加式 无效式
(二)不相容选言命题
• 不相容选言命题是断定两种事物情况中有且只 有一种情况成立的选言命题。 有一种情况成立的选言命题。 • 或为玉碎,或为瓦全。 或为玉碎,或为瓦全。 • 今天不是星期一,就是星期二。 今天不是星期一,就是星期二。 • 任一个自然数或者是偶数,或者是奇数。 任一个自然数或者是偶数,或者是奇数。
• • • • • • •
并非:并不是,…不成立,…是假的,…不符 并不是, 不成立, 是假的, 并不是 合事实,等等。 合事实,等等。 并且:和;然后;不但,而且;虽然,但是; 和 然后;不但,而且;虽然,但是; 不仅, 等等。 不仅,还;等等。 或者:要么,要么;二者必居其一;等。 要么,要么;二者必居其一; 要么 要么:或者;要么,要么;二者必居其一;等。 或者;要么,要么;二者必居其一; 或者 如果,则:假如,就;倘若,便;只要,就; 假如, 假如 倘若, 只要, 哪怕, 就算, 哪怕,也;就算,也;当…时;等。 只有,才:除非,才;除非,不;不,就不; 除非, 除非 除非, 就不; 仅当, 等等。 仅当,才;等等。 当且仅当:如果…则…并且只有…才…,如 如果… 如果 并且只有… 并且如果非…则非… 等等。 果…则…并且如果非…则非…,等等。
约定: 约定:
• 整个公式外面的括号可以省略; 整个公式外面的括号可以省略; • 各联结词的结合力依下列次序递减: 各联结词的结合力依下列次序递减:
¬;∧;∨;→;↔
• 连续的“→”从后向前结合。 连续的“→”从后向前结合。 从后向前结合
(一)逻辑性质
• 联言命题是判定几种事物同时存在的复合命题 • 只有他的各个联言支都是真的,它本身才是真的 只有他的各个联言支都是真的, 如果由一个支命题为假,则联言命题为假。 ;如果由一个支命题为假,则联言命题为假。 • p∧q

离散数学--第二章 命题逻辑的推理理论

离散数学--第二章 命题逻辑的推理理论
1 2 k
Dr Chen Guangxi
第二章 命题逻辑的推理理论
(4)构造证明法 构造证明法 当前提与结论中命题变项较多时,前几种方法 的工作量太大,不方便,而构造证明法较为方 便。构造证明法必须在给定的推理规则下进行。 常用的推理规则有以下11条: (1)前提引入规则:在证明的任何步骤上,都可 以引入前提。 (2)结论引入规则:在证明的任何步骤上,所得 中间结果都可以作为后继证明的前提。 (3)置换规则:在证明的任何步骤上的公式中的 子公式均可用与之等值的公式置换。
离散数学
Discrete Mathematics
Chen Guangxi
School of Mathematics and Computing Science
第二章 命题逻辑的推理理论
目标:
掌握推理形式结构 熟练运用构造推理方法 了解命题逻辑归结证明
学习建议:
与初中平面几何证明进行对比 勤做练习
Dr Chen Guangxi
第二章 命题逻辑的推理理论
(8)假言三段论 :
A→B B→C ∴A→C
(9)析取三段论规则: A∨ B A∨ B ¬A ¬B 或者 ∴B ∴A
Dr Chen Guangxi
第二章 命题逻辑的推理理论
(10)构造性二难推理规则:
A → B C → D A∨C ∴B∨ D
(11)合取引入规则:
A B ∴A∧ B
Dr Chen Guangxi
第二章 命题逻辑的推理理论
是重言式类似, 与用 A ⇔ B 表示 A ↔ B是重言式类似,用 A ⇒ B表示A → B 是重言式, 不是联结词 是重言式, ⇒ 符。 推出B的推理正确 的推理正确, 若 A , A ,⋯, A 推出 的推理正确,则记作 ( A1 ∧ A2 ∧ ⋯ ∧ Ak ) ⇒ B 为蕴涵式。 称A⇒B为蕴涵式。 ⇒ 为蕴涵式

逻辑学(第二版)

逻辑学(第二版)

逻辑学(第二版)绪论第一节逻辑学的研究对象和类型一、逻辑学的含义二、逻辑学的研究对象三、逻辑学的类型第二节逻辑学的性质与学习逻辑学的作用一、逻辑学的性质二、学习逻辑学的作用第三节逻辑学的研究方法与学习方法一、逻辑学的研究方法二、逻辑学的学习方法第四节逻辑学的发展概况一、逻辑学的三大传统二、现代逻辑学的发展三、当代中国逻辑学的普及与发展第一章传统词项逻辑第一节词项一、词项概述二、词项的种类三、词项外延之间的关系第二节直言命题一、直言命题及其逻辑结构二、直言命题的分类三、直言命题主项和谓项的周延性四、对当方阵第三节直接推理一、直接推理的特点二、对当关系推理三、直言命题变形推理四、直言命题直接推理的检验第四节三段论一、什么是三段论二、三段论推理的一般规则三、三段论的格及其特殊规则四、三段论的式五、非标准形式三段论六、用文恩图解法检验三段论的有效性第二章命题逻辑第一节命题逻辑概述一、句子与命题二、简单命题与复合命题三、推理第二节复合命题及其推理一、命题联结词的真值表二、复合命题推理三、复合命题的逻辑等值推理四、复合命题推理的综合运用第三节真值表方法第三章命题逻辑的自然演绎系统第一节证明与子证明第二节推理规则一、结构规则二、联结词规则第三节系统NP中的推导一、合取规则的运用二、蕴涵规则的运用三、否定规则的运用四、析取规则的运用五、等值规则的运用六、综合运用第四节无前提推导与演绎定理第四章谓词逻辑第一节个体词、谓词和量词一、个体词二、谓词三、量词第二节谓词逻辑的形式语言一、谓词逻辑的公式二、命题的符号化第三节基本语法概念一、自由变元与约束变元二、代入第四节谓词逻辑语义一、模型和赋值二、有效公式与有效推理第五章谓词逻辑的自然演绎系统第一节谓词逻辑自然演绎系统一、全称量词消去规则二、全称量词引入规则三、存在量词消去规则四、存在量词引入规则第二节带等词的谓词逻辑自然演绎系统NQ 一、等词消去规则二、等词引入规则第六章传统归纳逻辑第一节归纳推理一、归纳推理的定义二、归纳推理的作用第二节枚举归纳推理一、枚举归纳推理的定义二、枚举归纳推理的作用第三节穆勒五法一、求同法二、求异法三、求同求异并用法四、共变法五、剩余法六、如何正确对待穆勒五法第四节类比推理一、类比推理的定义二、运用类比推理时应该注意的问题三、模拟方法第七章现代归纳逻辑第一节概率和概率演算一、概率和概率解释二、概率演算三、贝叶斯规则第二节统计推理一、统计推理概述二、统计推理的类别、形式和相关概念三、统计推理的抽样问题四、统计推理的应用第八章科学逻辑第一节科学方法与科学逻辑第二节科学说明与科学预测一、科学说明二、科学预测第三节科学假说一、科学假说的基本特征二、科学假说的形成三、科学假说的检验第四节科学理论及其演化一、假说转化为理论二、科学理论的系统演化三、科荨俘论的形成与解决第九章论辩逻辑第一节非形式逻辑与论辩逻辑第二节论证、反驳与辩护一、论证的建构与评估二、反驳的建构与评估三、辩护的建构与评估第三节定义与划分一、明确概念的基本方法二、定义的种类与评估三、划分的种类与评估第四节谬误与诡辩一、形式谬误与非形式谬误二、非形式谬误的辨析第十章语言交际的逻辑第一节语言逻辑概述一、句法学二、语义学三、语用学第二节言语行为理论一、言语行为理论的产生与发展二、语用逻辑三、间接言语行为第三节言语行为与成功交际一、切当性标准二、成功交际的条件三、间接言语行为的准则第十一章逻辑思维的基本规律第一节逻辑规律与思维规范第二节矛盾律一、矛盾律的基本内容二、矛盾律的规范作用第三节排中律一、排中律的基本内容二、排中律的规范作用第四节同一律一、同一律的基本内容二、同一律的规范作用练习题参考答案阅读文献人名译名对照表术语中英文对照表后记第二版后记。

(逻辑学)第二章必然性推理(上)——

(逻辑学)第二章必然性推理(上)——

竖式
横式
pq
p
(pq) p q
∴q
练习
下列断定是否正确,为什么? 1. 前提真,结论真,所以推理形式有效。 2. 前提真,结论假,所以推理形式无效。 3. 前提假,结论真,所以推理形式无效。 4. 前提假,结论假,所以推理形式无效。 5. 前提真,推理形式无效,所以结论假。 6. 前提真,推理形式有效,所以结论真。 7. 前提假,推理形式有效,所以结论假。 8. 前提假,推理形式无效,所以结论假。
反之则无效。 前提真假、结论真假与推理有效、无效之间的关
系。p/17
有效性:前提与结论的逻辑联系性质。 有效
有效性 无效
有效或无效是指推理形式,与内容无关。 一个推理形式是有效的,其前提与结论都可真可
假。无效亦然。
一、当推理形式无效时,前提有两种可能:
1.前提真实
如果李白是诗人,那么他写过诗。李白写过 诗,所以,他是诗人。
简单命题(变项=概念)
复合命题(变项=命题)
性质命题
关系命题
联言 选言 假言 负命题
(支命题与联结词)
另一种分类
模态命题(带有“必然”、“可能” 等)
非模态命题
(二)复合命题和真值表
1.定义p/9 2.逻辑形式 逻辑联结词+命题变项(肢命题) 形式特点: ① 肢命题至少一个,多则不限。 ② 肢命题有联结词连接。 ③ 肢命题可以是简单命题,也可以是复合命题。 ④ 多重复合命题:肢命题本身是复合命题。
三个学生只能看见其他两人的帽子,看不见自 己的帽子。他们面面相觑了好一会儿,突然A 说,:“我知道了”
请问,A回答的是什么颜色?对不对?为什么?
推理3世界上哪国的女人最强?!!!
1.美国?

逻辑学复习知识点汇总

逻辑学复习知识点汇总

逻辑学复习知识点前言:逻辑学:传统逻辑、现代逻辑;它是基础性.工具性的学科(更直接.更系统)第一章(绪论):第一节什么是逻辑学1.“逻辑”的含义:源于古希腊.原意:思想.言辞.理性.规律。

逻辑是一门学科.即逻辑学(思维科学)。

2.逻辑学的研究对象:研究思维的形式结构及其规律的科学。

逻辑学的研究目的:总结出人们正确运用各种思维形式的逻辑规律。

思维:感性认识(感觉.知觉.表象)和理性认识(概念.命题(判断).推理)思维的形式结构(思维的逻辑形式):包括逻辑常项和变项逻辑常项:不随思维具体内容变化而变化.是判定一种逻辑形式具体类型的唯一依据。

传统逻辑:自然语言(日常用语)现代逻辑:人工语言(符号语言:表意符号.公式.公式序列)思维形式结构的规律:逻辑规则:仅适用于某种思维形式。

逻辑思维的基本规律:普遍适用于各种类型的思维形式。

(传统逻辑定义)逻辑思维的基本规律包括:同一律.矛盾律.排中律.充足理由律。

表现方式:现代逻辑的基础部分:经典命题逻辑,经典谓词逻辑(表现方式:重言式(重言蕴涵式.重言等值式))第二节逻辑学的性质和作用1.逻辑学的性质:工具性.全人类性(没有民族性.阶级性)2.逻辑学的作用:联合国教科文组织1974年规定的七大基础学科:逻辑学、数学、天文学和天体物理学、地球科学和空间科学、物理学、化学、生命科学三方面作用:促成逻辑思维由自发向自觉转变;培养和提高人们认识事物、从事科学研究的能力;帮助识别、驳斥谬误和诡辩。

3.第三节逻辑简史逻辑学的历史:两千多年逻辑学的三大源头:古中国、古印度、古希腊。

西方逻辑:以古希腊逻辑为先河.在发展的历程中完整地经历了传统和现代两个形态。

(以此为例)传统逻辑的诞生与发展:传统逻辑:由亚里士多德开始直至莱布尼兹之前的整个逻辑类型。

特点:借助自然语言.主要范围是常见日常思维类型。

亚里士多德:(公元前384-公元前322):古希腊著名学者.第一次全面、系统研究逻辑学主要问题.首创逻辑学这门科学。

第二章复合命题及其推理

第二章复合命题及其推理



7 .婚礼看得见,爱情看不见;情书看 得见,思念看不见;花朵看得见,春天 看不见;水果看得见,营养看不见;帮 助看得见,关心看不见;刮风看得见, 空气看不见;文凭看得见,水平看不见。 有人由此得出结论:看不见的东西比看 得见的东西更有价值。 下面哪个选项使用了与题干中同样的 推理方法?

(A)三角形可以分为直角三角形、钝角三 角形和锐角三角形三种。直角三角形的 三内角之和等于 180 º ,钝角三角形的三 内角之和等于 180 º ,锐角三角形的三内 角之和等于 180 º ,所以,所有三角形的 三内角之和都等于180º 。
Leabharlann 中国是一个社会主义国家。 谁是我们的敌人? 谁是我们的朋友? 哪有事物是绝对不变的呢? 祖国呵,我的母亲!
(2)同一个命题可以用不同的语句来表达。

所有事物都包含着矛盾。 没有什么事物不包含着矛盾。 不包含矛盾的事物是没有的。 哪有不包含矛盾的事物! 难道有不包含矛盾的事物吗?
(3)同一个语句还可以表达不同的命题

小王在火车上画画。 背鸡笼 养猪大如山老鼠头头死,酿酒缸缸好造 醋坛坛酸。
4。判断与命题

判断与命题不完全是一回事,二者的区 别主要表现在:作为命题,它是对事物 情况的陈述;作为判断,它带有主体断 定的性质,有时还带有情感色彩。本书 只一般地讨论命题,而不具体地研究判 断。

(B)我喜欢“偶然”胜过“必然”。你看, 奥运会比赛中充满了悬念,比赛因此激 动人心;艺术家的创作大多出自“灵机 一动”,科学发现与发明常常与“直 觉”、“灵感”、“顿悟”、“机遇” 连在一起;在茫茫人海中偶然碰到“他” 或“她”,互相射出丘比特之箭,成就 人生中最美好的一段姻缘。因此,我爱 “偶然”,我要高呼“偶然性万岁”!

逻辑学复习知识点汇总

逻辑学复习知识点汇总

逻辑学复习知识点前言:逻辑学:传统逻辑、现代逻辑;它是基础性. 工具性的学科(更直接. 更系统)第一章(绪论):第一节什么是逻辑学1. “逻辑”的含义:源于古希腊. 原意:思想. 言辞. 理性. 规律。

逻辑是一门学科. 即逻辑学(思维科学)。

2. 逻辑学的研究对象:研究思维的形式结构及其规律的科学。

逻辑学的研究目的:总结出人们正确运用各种思维形式的逻辑规律。

思维:感性认识(感觉. 知觉. 表象)和理性认识(概念. 命题(判断). 推理)思维的形式结构(思维的逻辑形式):包括逻辑常项和变项逻辑常项:不随思维具体内容变化而变化. 是判定一种逻辑形式具体类型的唯一依据。

传统逻辑:自然语言(日常用语)现代逻辑:人工语言(符号语言:表意符号. 公式. 公式序列)思维形式结构的规律:逻辑规则:仅适用于某种思维形式。

逻辑思维的基本规律:普遍适用于各种类型的思维形式。

(传统逻辑定义)逻辑思维的基本规律包括:同一律. 矛盾律. 排中律. 充足理由律。

表现方式:现代逻辑的基础部分:经典命题逻辑, 经典谓词逻辑(表现方式:重言式(重言蕴涵式. 重言等值式))第二节逻辑学的性质和作用1. 逻辑学的性质:工具性. 全人类性(没有民族性. 阶级性)2. 逻辑学的作用:联合国教科文组织1974 年规定的七大基础学科:逻辑学、数学、天文学和天体物理学、地球科学和空间科学、物理学、化学、生命科学三方面作用:促成逻辑思维由自发向自觉转变;培养和提高人们认识事物、从事科学研究的能力;帮助识别、驳斥谬误和诡辩。

3. 第三节逻辑简史逻辑学的历史:两千多年逻辑学的三大源头:古中国、古印度、古希腊。

西方逻辑:以古希腊逻辑为先河. 在发展的历程中完整地经历了传统和现代两个形态。

(以此为例)传统逻辑的诞生与发展:传统逻辑:由亚里士多德开始直至莱布尼兹之前的整个逻辑类型。

特点:借助自然语言. 主要范围是常见日常思维类型。

亚里士多德:(公元前384- 公元前322): 古希腊著名学者. 第一次全面、系统研究逻辑学主要问题. 首创逻辑学这门科学。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

第二章命题逻辑第一节命题和推理概述一、命题特征命题就是对事物情况的陈述。

客观事物有各种各样的情况。

各种事物的性质,一事物与它事物的关系等等都是事物的情况。

当人们认识了事物的情况,并通过语句把这种认识陈述和表达出来,就形成了命题。

[例1] 法是由一定的物质生活条件及由此决定的统治阶级整体意志的体现,是由国家决定或认可的并由国家强制力保障实施的具有普遍效力的行为规范的总和,目的在于维护、巩固和发展一定的社会关系和社会秩序。

[例2] 赠与合同是赠与人将自己的财产无偿给予受赠人,受赠人表示接受赠与的合同。

[例3] 公诉人反驳了被告人的辩解。

[例4] 如果一方当事人在订立合同时有重大误解,那么他有权请求人民法院或者仲裁机构变更或撤销该合同。

以上各例都是命题,它们分别陈述了四种不同的事物情况。

从中我们可以看出命题有如下特征:1、任何命题都有所陈述。

如果对事物情况无所陈述,就不能称之为命题。

例如,“这个案件应该如何处理?”这个疑问句,既末说明该案件应怎样处理,也未说明不应怎样处理,即未对“这一案件究竟如何”这一事物情况做出陈述,而只是提出一个问题,所以,它不是命题。

又例如,“你认为原告要求的精神损害赔偿合理吗?”这也是提出一个问题,而没有作明确的陈述,因而也不是命题。

2、任何命题都有真假。

命题既然是对事物情况的陈述,它就应该有真假。

如果一个命题所陈述的与客观实际情况相一致,这个命题就是真的;如果一个命题所陈述的与客观实际不一致,这个命题就是假的。

例如,“法是有阶级性的”就是一个真命题;“检察院是国家的审判机关”则是一个假命题。

任何命题或者真,或者假,但不能既真又假。

命题的真、假二值,逻辑上统称为命题的真值,又称为命题的逻辑值。

真命题的真值(或逻辑值)为真,假命题的真值(或逻辑值)为假。

命题有内容和形式两个方面,它们既相联系,又相区别。

逻辑学并不研究命题的具体内容,各个命题的具体内容属于各门具体科学所研究的对象,逻辑学只从命题形式方面研究它的特征、种类,以及各种形式的命题之间的真假关系。

二、命题与判断命题是对事物情况的陈述,判断是对事物情况的断定,也就是对陈述事物情况的命题的断定。

一个命题可以被断定,也可以未被断定,而断定了的命题就是判断。

任何一个判断都是命题,但并非任何一个命题都是判断。

命题比判断的范围要广,它既包括已被断定的命题——判断,也包括未被判断的命题——非判断。

例如,某新闻单位对某县领导卖官一事予以披露,导致该领导被上级部门撤职。

该领导就到法院控告“某新闻单位严重侵犯了我的名誉权。

”这一命题对该领导来说是真的,是一个判断;但对法官来说,这未必是真的,是一个未被断定的命题。

又如,在课堂讨论中,某甲说:“没有一种法律是无阶级性的。

”某乙说:“我不同意你的观点。

”对于某乙来说,某甲的话就是一个命题,但对某甲来说却是一个判断。

同样,某乙的话对某甲来说是命题,对某乙来说就是判断。

再如,某律师在法庭辩论中说:“如果被告无民事行为能力,那么他的监护人应承担责任。

”在这里,该律师并未断定“被告无民事行为能力”,也没有断定“他的监护人应承担责任”。

因而这两个命题都是未被断定的命题,而不是判断。

从以上分析可以看出,判断是主观的认定,而命题则不一定是主观的认定,逻辑学主要研究未断定的命题,同时也要研究已断定的命题。

所以,从逻辑学的发展来看,用“命题”的提法代替“判断”要更科学些,而且“判断”在哲学上是理性思维形式,是一个哲学用语,逻辑学摒弃“判断”而改用“命题”,也是逻辑学独立于哲学的体现。

三、命题与语句通常说,语句是一组表示事物情况的声音或笔画,是命题的物质载体。

一方面,任何命题都是通过语句来表达的,没有语句,也就没有命题;另一方面,命题则是语句的内容,因此,命题与语句有着密切的联系。

命题与语句也有区别,它们不是一一对应的。

首先,虽然命题都通过语句来表达,但并非所有语句都表达命题。

例如,“法律冲突是指在涉外民事关系中,由于其涉外因素导致有关国家的不同法律在效力上的抵触”和“国际私法的调整范围是什么”是两个语句。

第一句是陈述句,有真假,表达命题;第二句是疑问句,并未对事物有所陈述,无真假,因而不是命题。

一般说来,能够表达命题的语句是陈述句、疑问句中的反问句和某些感叹句。

其次,同一命题可以用不同的语句来表达,例如,“他的行为已触犯了法律”和“难道他的行为没有触犯法律吗?”这是两个不同的语句,前者是陈述句,后者是反问句。

但它们表达的意思是相同的,即表达同一个命题,只不过在感情色彩和语言风格上有所不同。

这也说明我们可以在不同的场合使用不同的语句来表达同一个命题,从而加强语句的感染力。

最后,同一语句还可以表达不同的命题。

例如;“某甲不走前门,偏走后门,结果等待他的是警察的手铐。

”这句话有两种解释,即可以表达两个不同的命题:其一是警察在房子的后门将某甲抓个正着;其二是某甲不走正道,触犯法律,被警察抓住。

这种情况说明,认真分折一个语句的语境,从而明确它陈述哪种情况,表达什么命题,是非常重要的。

否则,就会把一个语句表达的不同命题混为一谈。

四、命题形式及某种类任何命题总是通过一定的形式表达出来,是形式和内容的统一。

命题形式是指命题内容的联系方式。

[例1] 不满10周岁的人是无民事行为能力的人。

[例2] 法律与道德是相联系的。

[例3] 他或者有罪,或者无罪。

[例4] 如果《合同法》不体现意思自治原则,那么这部法律就是失败的。

以上都是不同形式的具体命题,它们的逻辑形式分别为:所有的S都是P,a与b有R关系P或者q如果P,那么q命题形式是多种多样的,我们可以根据不同的标准来对命题进行分类,本人对命题这样分类;根据命题中是否包含有命题联结词和其他命题成分,把命题分为两大类——简单命题和复合命题。

简单命题是不包含命题联结词和其他命题成分的命题,它的变项是词项,如上述[例1]和[例2]。

复合命题是包含命题联结词和其他命题成分的命题,它的变项是命题,如上述[例3]和[例4]。

简单命题根据命题陈述的是事物的性质还是关系又可分为直言命题和关系命题。

在复合命题中,作为其构成成分的命题称作支命题,把支命题联结起来的语词称作命题结词词。

根据命题联结词的不同,复合命题又可分为负命题、联言命题、选言命题、假言命题和等值命题,另外,根据命题中是否包含模态词又把所有命题分为模态命题和非模态命题。

五、推理及其分类推理是一个命题序列,是以一个或一些命题为根据或理由得出另一个命题的思维过程。

推理由前提和结论两部分组成。

作为根据或理由的命题是前提,由前提推出的命题是结论。

[例1] 凡年满18周岁的公民都有选举权和被选举权。

所以,有些年满18周岁的公民有选举权和被选举权。

[例2] 如果某甲是完全民事行为能力人,则某甲应对自己的行为承担责任,某甲是完全民事行为能力人,所以,某甲应对自己的行为承担责任。

[例3] 虐待家庭成员且情节恶劣的是犯罪行为,犯罪行为应追究刑事责任,所以,有些应追究刑事责任的是虐待家庭成员且情节恶劣的行为。

[例4] 金是能导电的,银是能导电的,铜是能导电的,铁是能导电的,铅是能导电的,金、银、铜、铁、铅……是金属,所以,所有的金属都是能导电的。

这些都是推理。

[例1]是从一个命题推出另一个命题,[例2]、[例3]、[例4]是从两个或两个以上的命题推出另一个命题。

推理不是命题的任意组合。

在推理中,作为前提的命题与作为结论的命题之间必须有推论关系,其标志是“所以”。

推理是多种多样的,可以根据不同的标准对推理进行不同的分类。

首先,根据推理的前提和结论之间是否有蕴涵关系,即前提为真是否必然推出结论为真,可把推理分为演绎推理与非演绎推理。

演绎推理就是前提与结论之间存在蕴涵关系的推理,非演绎推理就是前提与结论之间不存在蕴涵关系的推理。

上述[例1]、[例2]、[例3]是演绎推理,[例4]是非演绎推理。

其次,在演绎推理中,根据推理的前提是复合命题还是简单命题把演绎推理分为简单命题推理和复合命题推理。

简单命题推理又分为直言命题推理和关系命题推理。

复合命题推理又分为联言推理、选言推理、假言推理、等值推理和双重否定推理。

再次,根据推理是否包含模态命题,把推理分为模态推理和非模态推理。

上述各例都是非模态推理。

逻辑学研究推理的中心任务是:保证演绎推理形式的有效性,提高非演绎推理结论的可靠性程度。

演绎推理是前提蕴涵结论的推理,是必然性推理。

即是说,一个有效的演绎推理形式,其变项在任意代入下,都有前提为真,则结论为真,而不会出现前提为真而结论为假的情况。

这样的演绎推理形式被称作有效式。

反之,不能保证前提真而结论为真的推理形式,便是无效式。

一个推理是否有效是就其形式而言的,它与推理内容无关。

非演绎推理的前提并不蕴涵结论,即是说,非演绎推理的前提和结论之间的联系不是必然的,而是或然的,即使前提都真,结论也未必真,前提只能为结论提供一定程度的支持。

因此,在演绎推理中存在推理是否有效的问题,在非演绎推理中不存在推理是否有效的问题,在非演绎推理中不存在推理是否有效的问题。

逻辑学在研究非演绎推理时,主要是解决如何提高其结论的可靠性程度,即寻求提高其可靠性程度的逻辑要求。

命题逻辑是研究复合命题及其推理的。

它为检验复合命题推理是否有效提供判定方法和检测程序。

相关文档
最新文档