- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
专题问题:推理有效性与可靠性;逻辑学研究对象就是推理
;逻辑学研究对象就是推理;三、推理有效性与可靠性(材料P31)
(一)推理形式:变项与常项
(二)推理有效性
(三)替换例子
(四)反例
(五)论证
;变项与常项
例子:
1,
我说错了,或者你听错了。
我没说错。
所以,你听错了。
2,
甲队胜或乙队胜。
甲队没有胜。
所以,乙队胜;把内容去掉得到一个形式:
P或者Q
非P
所以Q
变项:没有确定含义符号或语词。
常项:含有确定含义符号或语词。
;
变项改变范围就是变域。
变项范围能够是: 命题 词项 个体
得出不一样逻辑类型:命题逻辑 词项逻辑 谓词逻辑
;变项:没有确定含义符号或语词。
常项,含有确定含义符号或语词。
变项变域:命题变项 词项变项 个体变项
命题逻辑 词项逻辑 谓词逻辑;演绎推理:指是必定性推理,即指前提真时,结论一定为真,则是是有效推理.
即使事实前提是不合事实,只要前提真则结论一定为真。
;全部爬行动物是用肺呼吸,
蛇是爬行动物,
所以蛇是用肺呼吸。
M是P
S是M
所以S是P;全部动物是肺呼吸,(假)
鱼是动物,
所以,鱼是用肺呼吸。(假)
M是P
S是M
所以S是P
; 前提在实际上是假,结论也是假,但还是有效,所以推理有效性不取决于它内容,而是它形式。它有效性在于当前提为真时候,结论一定为真。
所以逻辑学又叫形式逻辑。;(三)替换例子; 推理有效源于推理形式,推理形式有效源于推理替换例子。(分解为以下两个说法)
一个推理是有效,当且仅当它是一个有效推理形式例子。
一个推理形式是有效,当且仅当它全部替换例子都是有效。
是否有循环定义?
;这个定义是概念。根本不能考查全部替换例子,无法验证无数多例子,
推理有效性,最终依据基于两个要素:
一是符合我们直觉。
二是能把这种直觉系统化。
如笛卡尔:“能够清楚展现在人大脑中这就是真理。”; 无法举全部例子,所以无法确定为真全部形式,即无法确定有效推理。但反过来,我们可否经过找到无效替换例子来证实推理无效呢? 只要有一个例子是无效时,推理前提为真但结论为假时,则是无效,这么推理形式则是反例。
前真-----后假 称为无效;例子:
有些知识分子不是教师,
有科学家是知识分子,
所以,有些科学家不是教师。
(1)有M不是P(2)有S是M
(3)有S不是P
;(1)有M不是P(2)有S是M
(3)有S不是P
代入M动物 P鸟 S麻雀
得到是反例:
有些动物不是鸟,
有麻雀是动物,
所以,有些麻雀不是鸟。;无效:
p或者q
p,
所以,非q
有效:
p或者q
非p
所以,q
请结构反例:;;一个有效推理,前提为假则不具结论保真性,所以前提真很主要。;一个推理是可靠当且仅当推理是有效,而且他全部前提都是真。
形式逻辑不研究可靠性,主要讨论有效性,它前提真不真有详细学科研究,但可靠性有保真性,可靠性在实际推理中有很主要作用。
可靠性是有效性充分条件,有效性是可靠性必要条件。形式逻辑不研究内容,把内容交给各个领域去处理,当然可靠性在学界推理中是很主要。;练习:请结构反倒
全部p是m,
全部s是m,
全部s是p,
是否有效,请结构反例?
;练习:请结构反倒
全部p是m,
全部s是m,
全部s是p,
是否有效,请结构反例?
P鳄鱼 M动物 S猴子
;假如p ,那么q
并非q,
所以,并非p
;假如p ,那么q
并非q,
所以,并非p
假如2是偶数,那么2是整数
并非2是整数
所以,并非2偶数
;
1,证实与反驳
论证是推理实际利用。包含:证实和反驳。
证实是确定一个命题有效性论证过程。
反驳是相对证实而言,证实对方证实不成立论证过程。;2、反驳
确定对方证实不成立推理。
反驳能够反驳3个靶子,反驳:论题、论据、论证方式
原创力文档


文档评论(0)