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

合集下载

逻辑学:命题逻辑

逻辑学:命题逻辑
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. 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]是非演绎推理。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

相关文档
最新文档