逻辑学(北大精品课)07
合集下载
逻辑学(北大精品课)03
➢根据词项指称的是群体还是个体，词项可分为 集合词项和非集合词项。
➢根据词项指称某类事物，还是某类事物以外的 事物，词项可分为正词项和负词项。
2020年6月6日星期六
8
词项的种类
单独词项
单独词项是指称唯一对象的词项，如；“北京”、“黄 山”指称某一个特定地点；而“杜甫”、“鲁迅”则指称某 一个特定人物。
空词项是在现实世界中并不存在的词项。
2020年6例月6如日星：期六上帝，大于3而小于4的自然数…
9
词项的种类
集合词项和非集合词项 集合词项是指称群体的词项。群体是由若干同类个体组成的。例如：
森林、丛书、人类、民族、工人阶级… 非集合词项是指称任何个体的词项。
例如：树、书、人、汉族人、工人…
正词项和负词项 正词项，又叫肯定词项，是指称具有某种属性的对象的词项。
2020年6月6日星期六
3
第三章 传统词项逻辑
第二节 词项
词项
词项是思维及语言表达中一种具有确定意义的基本单位， 它的基本功能是能够充当简单命题成分中的逻辑变项和 逻辑常项。例如：
（1）鲁迅是伟大的文学家。 （2）所有的理论都不是检验真理的标准。
两
联项：是，不是
个 逻辑常项
命 题
量项：所有
中 的
②反对关系，
它们的外延之和小于其邻近属词项I的外
延。
2（020S年∩6月P6日=星期六且S∪P I） 例如：“国有企业（S）”与“私营企业
I P
I P
15
明确词项的逻辑方法
明确词项，就是明确词确的内涵和外延，确定它的意义。
明确词项的逻辑方法有：限制和概括、定义、划分。
SP
SP PS
202三0年、6月6真日星包期六含关系
➢根据词项指称某类事物，还是某类事物以外的 事物，词项可分为正词项和负词项。
2020年6月6日星期六
8
词项的种类
单独词项
单独词项是指称唯一对象的词项，如；“北京”、“黄 山”指称某一个特定地点；而“杜甫”、“鲁迅”则指称某 一个特定人物。
空词项是在现实世界中并不存在的词项。
2020年6例月6如日星：期六上帝，大于3而小于4的自然数…
9
词项的种类
集合词项和非集合词项 集合词项是指称群体的词项。群体是由若干同类个体组成的。例如：
森林、丛书、人类、民族、工人阶级… 非集合词项是指称任何个体的词项。
例如：树、书、人、汉族人、工人…
正词项和负词项 正词项，又叫肯定词项，是指称具有某种属性的对象的词项。
2020年6月6日星期六
3
第三章 传统词项逻辑
第二节 词项
词项
词项是思维及语言表达中一种具有确定意义的基本单位， 它的基本功能是能够充当简单命题成分中的逻辑变项和 逻辑常项。例如：
（1）鲁迅是伟大的文学家。 （2）所有的理论都不是检验真理的标准。
两
联项：是，不是
个 逻辑常项
命 题
量项：所有
中 的
②反对关系，
它们的外延之和小于其邻近属词项I的外
延。
2（020S年∩6月P6日=星期六且S∪P I） 例如：“国有企业（S）”与“私营企业
I P
I P
15
明确词项的逻辑方法
明确词项，就是明确词确的内涵和外延，确定它的意义。
明确词项的逻辑方法有：限制和概括、定义、划分。
SP
SP PS
202三0年、6月6真日星包期六含关系
逻辑学北大精品课01-102465页PPT
叫思维的逻辑形式。下面的三个命题，内容各不相同：
14.01.2020
7
(1)所有大学生都是学生。 (2)所有金属都是导电体。 (3)所有商品都是用来交换的劳动产品。
S
P
但这三个命题有共同的逻辑形式:所有S都是P
(1)如果物体发热，那么物体就会膨胀。 (2)如果明天天气好，那么我就去郊游。
p
q
上面两个命题也有共同的逻辑形式:如果p，那么q
所以,塑料是导电体。
所以，标语是文艺作品。
这两个有效推理的形式为:
所有M是P，
所有S是M，
所以，所有S是P。
正确推理只需要一个条件:推理符合规则,也就是推理形式正确，而与前提的真实性无关。 尽管上述两个推理的前提并不都是真实的。但从形式方面来讲，其结论是由前提推出来 的。因此，这个推理是正确(有效)的。
主讲人：何向东
--进入--
莎士比亚在《威尼斯商人》里说，有一位品貌出众的富家姑娘叫鲍西 霞，许多王孙公子为之倾倒，但她遵循已故父亲的遗嘱，必须猜匣为婚。 鲍西霞身边有金、银、铅三只匣子，其中只有一只匣子里放着她的肖像， 这三只匣上面各刻着一句话：
金匣子上刻的是“肖像不在此匣中”，银匣子上刻了“肖像在金匣 中”，铅匣子上刻了“ 肖像不在此匣中”，这三句话只有一句是真话。 谁能根据这些情况猜中肖像放在哪只匣子里，她就嫁给谁。
14.01.2020
20
第一章 绪论
第四节 逻辑学的发展简史
古希腊逻辑学
古希腊哲学家、逻辑学家亚里士多德（前384----前 322）在历史上建立了第一个初级的演绎推理系统。
亚里士多德主要研究的内容:
1、研究了关于概念和判断的理论以及 直言判断和模态命题； 2、提出了逻辑的三大思维规律：矛盾 律、排中律、同一律； 3、主要贡献是对三段论的系统研究； 4、总结了很多关于论证、反驳谬误和 诡辩的方法。
14.01.2020
7
(1)所有大学生都是学生。 (2)所有金属都是导电体。 (3)所有商品都是用来交换的劳动产品。
S
P
但这三个命题有共同的逻辑形式:所有S都是P
(1)如果物体发热，那么物体就会膨胀。 (2)如果明天天气好，那么我就去郊游。
p
q
上面两个命题也有共同的逻辑形式:如果p，那么q
所以,塑料是导电体。
所以，标语是文艺作品。
这两个有效推理的形式为:
所有M是P，
所有S是M，
所以，所有S是P。
正确推理只需要一个条件:推理符合规则,也就是推理形式正确，而与前提的真实性无关。 尽管上述两个推理的前提并不都是真实的。但从形式方面来讲，其结论是由前提推出来 的。因此，这个推理是正确(有效)的。
主讲人：何向东
--进入--
莎士比亚在《威尼斯商人》里说，有一位品貌出众的富家姑娘叫鲍西 霞，许多王孙公子为之倾倒，但她遵循已故父亲的遗嘱，必须猜匣为婚。 鲍西霞身边有金、银、铅三只匣子，其中只有一只匣子里放着她的肖像， 这三只匣上面各刻着一句话：
金匣子上刻的是“肖像不在此匣中”，银匣子上刻了“肖像在金匣 中”，铅匣子上刻了“ 肖像不在此匣中”，这三句话只有一句是真话。 谁能根据这些情况猜中肖像放在哪只匣子里，她就嫁给谁。
14.01.2020
20
第一章 绪论
第四节 逻辑学的发展简史
古希腊逻辑学
古希腊哲学家、逻辑学家亚里士多德（前384----前 322）在历史上建立了第一个初级的演绎推理系统。
亚里士多德主要研究的内容:
1、研究了关于概念和判断的理论以及 直言判断和模态命题； 2、提出了逻辑的三大思维规律：矛盾 律、排中律、同一律； 3、主要贡献是对三段论的系统研究； 4、总结了很多关于论证、反驳谬误和 诡辩的方法。
最新何向东 全套逻辑学全部的内容(北大精品课)01-10精品课件
现代逻辑
09.12.2021
现代逻辑指从布尔开始到如今以数理逻辑为主的逻辑 理论,也分为现代演绎逻辑和现代归纳逻辑。
➢现代演绎逻辑以命题逻辑、谓词逻辑为基础内容，包 括集合论、证明论、递归论、模型论，也包括多值逻 辑、模态逻辑等非标准逻辑，还包括问题逻辑、规范 逻辑等应用逻辑。
➢现代归纳逻辑以两个演算和概率论为工具，进行形式 化的处理，对归纳结论的概然性作出精确计算，求得 前提对结论的支持强度的概率。
归纳推理的有效性：归纳推理（不完全归纳）具有或然性,也就是讲前提对结论 只有一定强度的支持，当前提为真，结论也可能是假的。归纳推理前提断定的 范围越接近结论断定的范围，对结论的支持强度就越大。
09.12.2021
11
逻辑的发展阶段
按逻辑学发展的历程，逻辑可分为传统逻辑和现代逻辑两大阶段。
传统逻辑
传统逻辑包括传统演绎逻辑和传统归纳逻辑。其中传 统演绎逻辑主要指古希腊亚里士多德创立的词项逻辑 和斯多葛派奠定的命题逻辑；而传统归纳逻辑是英国 培根创建的，主要研究了实验科学中运用的一些推理 和方法。
德国数学家、逻辑学家弗雷格较严格 的构建了一个逻辑演算系统。
英国著名的哲学家、逻辑学家罗素建立了谓词演算系统。 罗素和怀特海在《数学原理》中总结了前人的成果，使 数理逻辑成为一个新学科。
09.12.2021
25
逻辑学三项划时代的重大成果
1931年德国数学家哥德尔提出了不 完全性定理，它证明了包括数论在内 的一致的形式系统都是不完全的，提 出了形式系统的局限性。
例如：“侵略者奉行的是强盗逻辑” 3、指思维的规律、规则。
例如： “写文章要讲逻辑” ， “概念要明确，判断要恰当，推理要合 乎逻辑。” 4、指逻辑学这门科学。
逻辑学北大课
2020年11月26日星期四
22
传统逻辑的发展
斯多葛学派：发展了演绎逻辑，对命题理论有新的突破； 在推论形式的多样化、形式化也有进展；对悖论作了一些 研究。
伊壁鸠鲁派：提出了归纳法，发展了归纳理论。
中世纪的研究成就：元逻辑的研究取得一定的成果；创 立了推演学说，研究了语义悖论及解决方法；逻辑学知识 被高度重视，西班牙逻辑学家彼得的《逻辑大全》被各类 学校广泛采用。
用
2020年11月26日星期四
17
第一章 绪论
第三节 逻辑学的研究与学习方法
逻辑学的研究方法
逻辑学的 研究方法
形式化的方法
公理化方法 自然演绎方法
非形式化的方法
2020年11月26日星期四
19
逻辑学的学习方法
1、明确逻辑学的对象，树立形式化观念。 2、把握逻辑学的脉络，突出学习的重点。 3、根据逻辑学的特点，注重方法的学习。 4、认识逻辑学的性质，理论联系实际。
2020年11月26日星期四
2
第一章 绪论
第一节 逻辑学的对象
“逻辑” 的含义
“逻辑”是一个外来词，它是英文Logic的音译，而英文Logic又源于希 腊文λσγοs（逻各斯），其原意是指思想、言辞、理性、规律性等。 “逻辑” 常见的四种含义： 1、指客观事物的规律。
例如：“捣蛋，失败，再捣蛋，再失败，直至灭亡——这是帝国主义和 世界上一切反动派对待人民事业的逻辑。” 2、指某种特殊的理论、观点或看问题的方法。
如：自然语言“如果天气好，那么我们就去爬山。” 可用
人工语言“p→q”表示。
2020年11月26日星期四
6
逻辑学的研究对象
狭义的逻辑： 指研究推理形式的科学。 广义的逻辑： 就是研究思维的形式及其规律以及逻辑方法的科学。广义的逻
逻辑学(北大精品课)
归纳逻辑
定义
归纳逻辑是研究从具体事例中得出一般性结论的逻辑分支。
主要内容
包括归纳推理、归纳方法、归纳悖论等。
应用
在科学方法论、统计学、人工智能等领域有广泛应用。
03
推理与论证
推理的种类
演绎推理
从一般到特殊的推理过程，即根据一 般原理推导出特殊情况下的结论。
归纳推理
从特殊到一般的推理过程，即通过观 察和实验获取大量特殊情况下的数据， 总结出一般规律。
非经典逻辑是指除了经典逻辑之外的逻辑系统。经典逻辑是传 统形式逻辑的基础，但在某些情况下，非经典逻辑能够更好地
描述某些推理问题。
非经典逻辑的种类
非经典逻辑包括模态逻辑、时序逻辑、道义逻辑等。这些逻辑 系统在处理模态、时间、义务等概念时具有独特的优势。
非经典逻辑的应用
非经典逻辑在哲学、法律、人工智能等领域有广泛的应用。例 如，在法律领域，时序逻辑可以用于描述法律条款的时间顺序
通过学习逻辑学，我们可以更好地组 织和表达自己的思想，更准确地理解 他人的观点，从而提高沟通能力。
逻辑学的发展历程
古典逻辑学
古典逻辑学是传统形式逻辑的总称，其发展历程可以追溯到亚里士多德时代。古典逻辑学主要研究推理的形式、 规则和方法，为现代逻辑学的发展奠定了基础。
现代逻辑学
现代逻辑学以数理逻辑为基础，将逻辑学与数学、计算机科学等学科相结合，发展出了更加丰富和深入的研究领 域。现代逻辑学在人工智能、计算机科学等领域有广泛应用。
在学习和工作中，批判性思维能 够帮助我们分析问题、评估方案 和做出决策，提高工作效率和质
量。
在人际交往中，批判性思维能够 帮助我们理性地看待不同观点和 意见，避免偏见和情绪化的冲突。
逻辑学北大精品课05
主讲人：何向东
--进入--
第五章 模态逻辑
第一节 模态逻辑
模态和模态词
模态：指事物或认识的必然性和可能性等这类性质。模态 在思维中的反映，表现为一定的认识和观念，便形成了相 应的模态概念。
模态词：语言中用以表示模态或模态概念的语词或符号。
如：汉语中的“必然性”、“可能性”，英语中的单词“necessity”、 “possible”。
1、必然全称肯定命题(□SAP)；
2、必然全称否定命题(□SEP)； 3、必然特称肯定命题(□SIP)； 4、必然特称否定命题(□SOP)； 5、可能全称肯定命题(◇SAP)； 6、可能全称否定命题(◇SEP)； 7、可能特称肯定命题(◇SIP)； 8、可能特称否定命题(◇SOP)；
2019/9/29
2019/9/29
13
实然命题与必然命题、可能命题间的推理
(1)——(8)的推理式体现了结论从弱原则：结论的模
态不能强于前提的模态，即必然强于实然，实然强
于可能(或然)。故上述推理可以简化为：
（9）□p├ p├ ◇p （10）□p├ p├ ◇p
六角图
（11）◇p├ p├ □p
（12）◇p├ p├ □p
下列模态命题均有对应的逻辑形式：
模态命题 (1)物体运动必然产生能量。 (2)事物静止必然不是绝对的。 (3)明天可能是晴天。 (4)明天可能不会下雨。 (5)如果下雨，那么地上必然会湿。 (6)如果今天下雨，那么今天下雨或刮风是可能的
模态命题的形式
□p □p ◇p
◇p P→□q
P→◇(p∨q)
（9）□p├ ◇p；
（10）□p├ ◇p
（11）◇p├ □p；
（12）◇p├ □p
2019/9/29
--进入--
第五章 模态逻辑
第一节 模态逻辑
模态和模态词
模态：指事物或认识的必然性和可能性等这类性质。模态 在思维中的反映，表现为一定的认识和观念，便形成了相 应的模态概念。
模态词：语言中用以表示模态或模态概念的语词或符号。
如：汉语中的“必然性”、“可能性”，英语中的单词“necessity”、 “possible”。
1、必然全称肯定命题(□SAP)；
2、必然全称否定命题(□SEP)； 3、必然特称肯定命题(□SIP)； 4、必然特称否定命题(□SOP)； 5、可能全称肯定命题(◇SAP)； 6、可能全称否定命题(◇SEP)； 7、可能特称肯定命题(◇SIP)； 8、可能特称否定命题(◇SOP)；
2019/9/29
2019/9/29
13
实然命题与必然命题、可能命题间的推理
(1)——(8)的推理式体现了结论从弱原则：结论的模
态不能强于前提的模态，即必然强于实然，实然强
于可能(或然)。故上述推理可以简化为：
（9）□p├ p├ ◇p （10）□p├ p├ ◇p
六角图
（11）◇p├ p├ □p
（12）◇p├ p├ □p
下列模态命题均有对应的逻辑形式：
模态命题 (1)物体运动必然产生能量。 (2)事物静止必然不是绝对的。 (3)明天可能是晴天。 (4)明天可能不会下雨。 (5)如果下雨，那么地上必然会湿。 (6)如果今天下雨，那么今天下雨或刮风是可能的
模态命题的形式
□p □p ◇p
◇p P→□q
P→◇(p∨q)
（9）□p├ ◇p；
（10）□p├ ◇p
（11）◇p├ □p；
（12）◇p├ □p
2019/9/29
逻辑学北大精品课04
带横线部分指明了存在量词的辖域。 (1)xＤx∨Ｅx (2)x（Ｆxy∧yＧy） (3)xy（Ｆxy∧xz（Ｇxz→Ｈyz）
2019年9月6日星期五
14
约束变元和自由变元
变元的约束出现：一个变元在公式里的出现是 约束的，当且仅当，这种出现是在采用该变元的 量词的辖域内。
变元的自由出现：一个变元在公式里的出现是 自由的,当且仅当，该变元的出现不是约束的。
2019年9月6日星期五
3
命题逻辑和谓词逻辑
研究推理形式的有效性时，把命题当做不可分的逻辑单位有时是不够的。 例如：
（1）张三的朋友都是李四的朋友，王五不是李四的朋友。所以，王五 不是张三的朋友。
这个推理的形式在命题逻辑中表示为：P，¬q├ ¬r
这个推理事实上是有效的。但仅用命题逻辑的理论不能表明它是有效的 推理。
（4）有的大学生是儿童：x(Sｘ∧Cｘ) （5）小李没有同任何人吵架。பைடு நூலகம்
a：小李；Ｍ：…是人，D：…同…吵架，形式化为：x（Ｍx→Ｄax） （6）有些大一学生认识小李。
a：小李；F ：…是大一学生，R：…认识…，形式化为： x(Fx∧Rxa)
2019年9月6日星期五
9
命题的形式化
在对以上命题形式化时，没有限制论域，即论域是全 域。我们也可在一定的范围内讨论问题，因些个体变元的 变域往往被限制在某个特定的范围内。
2019年9月6日星期五
7
量词
表示论域D中个体数量的语词
全称量词：指称论域D中个体的全部。 例如：所有，任何，每一个，…。
存在量词：指称论域D中个体至少有一个存在。 例如：存在，有，有些，…。
符号化的量词： 全称量词：所有x，任何x，…，均记为：x。 存在量词：有x，存在x，…，均记为：x。
2019年9月6日星期五
14
约束变元和自由变元
变元的约束出现：一个变元在公式里的出现是 约束的，当且仅当，这种出现是在采用该变元的 量词的辖域内。
变元的自由出现：一个变元在公式里的出现是 自由的,当且仅当，该变元的出现不是约束的。
2019年9月6日星期五
3
命题逻辑和谓词逻辑
研究推理形式的有效性时，把命题当做不可分的逻辑单位有时是不够的。 例如：
（1）张三的朋友都是李四的朋友，王五不是李四的朋友。所以，王五 不是张三的朋友。
这个推理的形式在命题逻辑中表示为：P，¬q├ ¬r
这个推理事实上是有效的。但仅用命题逻辑的理论不能表明它是有效的 推理。
（4）有的大学生是儿童：x(Sｘ∧Cｘ) （5）小李没有同任何人吵架。பைடு நூலகம்
a：小李；Ｍ：…是人，D：…同…吵架，形式化为：x（Ｍx→Ｄax） （6）有些大一学生认识小李。
a：小李；F ：…是大一学生，R：…认识…，形式化为： x(Fx∧Rxa)
2019年9月6日星期五
9
命题的形式化
在对以上命题形式化时，没有限制论域，即论域是全 域。我们也可在一定的范围内讨论问题，因些个体变元的 变域往往被限制在某个特定的范围内。
2019年9月6日星期五
7
量词
表示论域D中个体数量的语词
全称量词：指称论域D中个体的全部。 例如：所有，任何，每一个，…。
存在量词：指称论域D中个体至少有一个存在。 例如：存在，有，有些，…。
符号化的量词： 全称量词：所有x，任何x，…，均记为：x。 存在量词：有x，存在x，…，均记为：x。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
测的逻辑模式可以是演绎模式,溯因模式, 测的逻辑模式可以是演绎模式,溯因模式,并案归纳溯因模 演绎模式 类比模式等 式和类比模式等.
1,演绎预测:运用理论原理与相关条件陈述合乎逻辑地 ,演绎预测:
推导出未知事实或规律.其模式可表示如下: 推导出未知事实或规律.其模式可表示如下:
L1,L2,… , Ln, C1,C2,… , Cn,(预测根据) --------------------------------------E. (被预测项)
科学解释的模式
1,定理覆盖的演绎模型:根据普遍性原则来推导某一特殊观察陈述, ,定理覆盖的演绎模型 根据普遍性原则来推导某一特殊观察陈述 根据普遍性原则来推导某一特殊观察陈述, 其模式可表示如下: 其模式可表示如下: L 1 , L 2, … , L n 解释项) C1,C2,… ,Cn (解释项) C -------------------------被解释项) E . (被解释项) 2,归纳-统计模式:运用统计规律和相关条件陈述去说明被解释项的, ,归纳-统计模式:运用统计规律和相关条件陈述去说明被解释项的, 解释项并不逻辑地蕴涵被解释项. 解释项并不逻辑地蕴涵被解释项.
例如:百分之几接触过麻疹的人会染上麻疹,某人接触过麻疹患者;所以, 某人很可能染上麻疹. 其模式可表示如下:
百分之几的F 百分之几的F是G, a是 F, -------------------------所以, 所以,a是G. 其中, 均表示类, 是个体. 其中, "F","G"均表示类, "a"是个体 , 均表示类 是个体
2010年5月10日星期一
16
第七章 科学逻辑
第三节 科学假说
科学假说
假说:对未知现象或规律性的东西所作的一种猜测性解释. 假说 对未知现象或规律性的东西所作的一种猜测性解释. 科学假说:指根据已有的事实陈述和相关的科学 科学假说 指根据已有的事实陈述和相关的科学 理论,对未知事物或规律性所作的猜测性解释. 理论,对未知事物或规律性所作的猜测性解释. 科学假说的特征: 科学假说的特征:
对同一事物现象的多元解释并非具有相同的解释力. 对同一事物现象的多元解释也不一定都是正确的.
2010年5月10日星期一 11
科学预测的模式
科学预测:根据已知的科学理论与相关事实 对未 科学预测:根据已知的科学理论与相关事实,对未 知事实,规律所作的预测. 知事实,规律所作的预测.
科学预测的模式:根据使用的推理的不同, 科学预测的模式:根据使用的推理的不同,科学预
(1)科学假说是以事实和已有知识为根据的; (2)科学假说是尝试性的猜测; (3)科学假说有一个从初步假定,经充实完善到验证,发 展的逐步进化过程. (4)科学假说是科学发展的基本形式,科学假说的发展过程 体现了科学认识活动的一般过程.
2 指研究人员根据 为数不多的事实材料 和已有的相关理论, 通过思维加工而提出 初步尝试性假定. 其中主要运用 归纳推理,类比推理. 假说形成的完成阶段 指从已确定的初 步假定出发,运用假 说理论和事实材料进 行系统论证,以形成 一个较为严密完整的 理论系统. 其中主要运用 演绎推理,以扩大假 说的解释力,确定假 说的普遍性与真理性.
2010年5月10日星期一 9
科学解释的模式
3,类比模式:根据已理解的理论原理去说明与之相似的尚 ,类比模式: 不理解的某一事件或现象. 不理解的某一事件或现象. 其模式可表示如下: 其模式可表示如下:
A对象具有属性a,b,c,d, 对象具有属性a 对象具有属性a 解释项) B对象具有属性a,b,c, (解释项) -----------------------------------所以, 对象也具有d属性.(被解释项) .(被解释项 所以,B对象也具有d属性.(被解释项) 实例:19世纪末,21世纪初,天文学家在分析恒星光谱时发现,许多恒星 的光谱线都向红端移动,表明我们接收的天体发出的光波频率正在变低. 1929年 美国天文学家哈勃从多普勒效应得到启发.他认为, 1929年,美国天文学家哈勃从多普勒效应得到启发.他认为,光谱 红移现象类似于声源相对观察者运动时的声波频率降低现象, 红移现象类似于声源相对观察者运动时的声波频率降低现象,而声波频 率降低是因为声源离观察者而去;因此, 率降低是因为声源离观察者而去;因此,光谱红移是因为恒星远离我们 而去.因此,哈勃认为恒星离我们的距离越远,红移也就越明显. 而去.因此,哈勃认为恒星离我们的距离越远,红移也就越明显.
19
2010年5月10日星期一
假说形成的启发性原则
依据已形成的假说, 依据已形成的假说,能够推导出可供检验的若干 事实,以便判定该假说能否解释相关现象. 事实,以便判定该假说能否解释相关现象. 假说应能为所探索的问题提供答案或解释性说明. 假说应能为所探索的问题提供答案或解释性说明. 假说不仅能说明已知事实, 假说不仅能说明已知事实,而且能够预测可进行 经验检验的未知事实. 经验检验的未知事实. 假说应具有逻辑简单性. 假说应具有逻辑简单性.
溯因法是一种或然性方法,得到的H可真可假. 溯因法是一种或然性方法,得到的H可真可假. 运用溯因法的要求: 运用溯因法的要求: 逆推时所设想的理论性假说H与待解释的观察现象E ①逆推时所设想的理论性假说H与待解释的观察现象E之间要 有逻辑相关性,即从前者可导出后者. 有逻辑相关性,即从前者可导出后者. 逆推的解释理论不应是特设性的, ②逆推的解释理论不应是特设性的,而应是可根据经验来检 验的. 验的.
2010年5月10日星期一 13
科学预测的模式: 科学预测的模式:
2,溯因预测: ,溯因预测:
由于猜测的多样性,溯因预测法可分为多元溯因法与 由于猜测的多样性,溯因预测法可分为多元溯因法与多级溯 多元溯因法 因法. 因法. 多元溯因法公式表示如下: 多级溯因法公式表示如下: E, H1→E H2→E …… Hn→E ---------推测:H1∨H2∨…∨Hn
2010年5月10日星期一
5
第七章 科学逻辑
第二节 科学解释与科学预测
科学解释
科学解释:运用科学理论去说明某一事件或现象何以产生 科学解释: 或何以存在的机理. 或何以存在的机理. 科学解释的模式: 科学解释的模式: 科学解释在逻辑结构上包括: (1)理论原理;(2)相关条件陈述;(3)事实陈述. (1)和(2)构成科学解释的解释项;(3)则是被解释项.模式为: L:理论原理 C:相关条件陈述 (解释项) E:事实陈述 (被解释项) 或(L∧C)→E
2010年5月10日星期一
E, H1→E H2→H1 …… Hn→Hn-1 ---------推测:Hn
14
科学预测的模式
相同属性的特征, 相同属性的特征 , 进而推理这种相同属性特征是由 同一原因所导致的逻辑方法.其模式可表示如下: 同一原因所导致的逻辑方法.其模式可表示如下:
e1具有属性a,b,c, e2具有属性a,b,c, …… en具有属性a,b,c, 如果H,则e1,e2, …,en具有属性a,b,c, -----------------------------------------因此,H.
2010年5月10日星期一
10
科学解释的模式
4,科学解释的多元性:对事物或现象的机理,从 ,科学解释的多元性:对事物或现象的机理, 不同角度运用不同的理论给予解释和说明, 不同角度运用不同的理论给予解释和说明,可形 成多元性的科学解释.模式可表示如下: 成多元性的科学解释.模式可表示如下: H1 H2 E ： Hn
并案归纳溯因预测: 3,并案归纳溯因预测:根据若干案例现象都有
并案归纳溯因法是一种或然性方法. 并案归纳溯因法是一种或然性方法.
2010年5月10日星期一 15
科学预测的模式
4,类比预测:是运用类比推理进行的预测,也就是根据 ,类比预测:是运用类比推理进行的预测,
A,B两对象在若干属性方面相同或相似,而且又知A对象具 两对象在若干属性方面相同或相似,而且又知A 有另一属性,因此推测B对象也具有另一属性的逻辑方法. 有另一属性,因此推测B对象也具有另一属性的逻辑方法. 实例:2003年初春,全国许多省份出现了类似"非典" 疫情.各地在诊断时,一般都依据所接诊患者发热干咳等 若干症状与"非典"症状的相同或相似,从而推测所接诊 患者为"非典"病人. 类比预测得到的结论具有或然性. 类比预测得到的结论具有或然性.
2010年5月10日星期一 12
科学预测的模式: 科学预测的模式:
2,溯因预测:根据某事物现象特征去推测该现象原因的 ,溯因预测:
逻辑方法,也叫"溯因推理" 逻辑方法,也叫"溯因推理"或"回溯推理".其模式可表 回溯推理" 示如下: 示如下:
E, (待解释的观察陈述) H→E (猜测性假说可导出观察陈述) ----------------------------------------------------推测:H.(被猜想的理论成立)
科学方法的分类: 科学方法的分类:按获得知识类型的不同,可分为发现经
验定律的经验方法 经验方法和发现理论原理的理论思维方法 理论思维方法. 经验方法 理论思维方法 经验定律: 经验定律:科学知识体系中的低层次部分.是对经验事实 的系统性描述,是对客观事物的可观察属性之间的普遍联 系的认识.经验定律的获得离不开观察,实验等经验方法. 理论原理: 理论原理:科学知识体系中的高层次部分.是对客观事物 的本质,现象间因果联系的洞察与推测,以及解释经验事 实的系统性理论.发现理论原理需要比较,分析,综合等 各种抽象的理论思维方法.
2010年5月10日星期一 7
科学解释
英国的工业城市曼彻斯特附近的飞蛾大多数是黑色的,而其他非工业 区的同类飞蛾大多数却是白色的.人们作出了如下解释: 本来,英国的这种飞蛾是白色品种居多.但在煤烟多的工业区,房屋, 树木是黑色的,黑飞蛾落在这些物体上,比白飞蛾不易被鸟类等天敌发 现.因此,白飞蛾容易被捕捉,而黑飞蛾则幸存下来……
1,演绎预测:运用理论原理与相关条件陈述合乎逻辑地 ,演绎预测:
推导出未知事实或规律.其模式可表示如下: 推导出未知事实或规律.其模式可表示如下:
L1,L2,… , Ln, C1,C2,… , Cn,(预测根据) --------------------------------------E. (被预测项)
科学解释的模式
1,定理覆盖的演绎模型:根据普遍性原则来推导某一特殊观察陈述, ,定理覆盖的演绎模型 根据普遍性原则来推导某一特殊观察陈述 根据普遍性原则来推导某一特殊观察陈述, 其模式可表示如下: 其模式可表示如下: L 1 , L 2, … , L n 解释项) C1,C2,… ,Cn (解释项) C -------------------------被解释项) E . (被解释项) 2,归纳-统计模式:运用统计规律和相关条件陈述去说明被解释项的, ,归纳-统计模式:运用统计规律和相关条件陈述去说明被解释项的, 解释项并不逻辑地蕴涵被解释项. 解释项并不逻辑地蕴涵被解释项.
例如:百分之几接触过麻疹的人会染上麻疹,某人接触过麻疹患者;所以, 某人很可能染上麻疹. 其模式可表示如下:
百分之几的F 百分之几的F是G, a是 F, -------------------------所以, 所以,a是G. 其中, 均表示类, 是个体. 其中, "F","G"均表示类, "a"是个体 , 均表示类 是个体
2010年5月10日星期一
16
第七章 科学逻辑
第三节 科学假说
科学假说
假说:对未知现象或规律性的东西所作的一种猜测性解释. 假说 对未知现象或规律性的东西所作的一种猜测性解释. 科学假说:指根据已有的事实陈述和相关的科学 科学假说 指根据已有的事实陈述和相关的科学 理论,对未知事物或规律性所作的猜测性解释. 理论,对未知事物或规律性所作的猜测性解释. 科学假说的特征: 科学假说的特征:
对同一事物现象的多元解释并非具有相同的解释力. 对同一事物现象的多元解释也不一定都是正确的.
2010年5月10日星期一 11
科学预测的模式
科学预测:根据已知的科学理论与相关事实 对未 科学预测:根据已知的科学理论与相关事实,对未 知事实,规律所作的预测. 知事实,规律所作的预测.
科学预测的模式:根据使用的推理的不同, 科学预测的模式:根据使用的推理的不同,科学预
(1)科学假说是以事实和已有知识为根据的; (2)科学假说是尝试性的猜测; (3)科学假说有一个从初步假定,经充实完善到验证,发 展的逐步进化过程. (4)科学假说是科学发展的基本形式,科学假说的发展过程 体现了科学认识活动的一般过程.
2 指研究人员根据 为数不多的事实材料 和已有的相关理论, 通过思维加工而提出 初步尝试性假定. 其中主要运用 归纳推理,类比推理. 假说形成的完成阶段 指从已确定的初 步假定出发,运用假 说理论和事实材料进 行系统论证,以形成 一个较为严密完整的 理论系统. 其中主要运用 演绎推理,以扩大假 说的解释力,确定假 说的普遍性与真理性.
2010年5月10日星期一 9
科学解释的模式
3,类比模式:根据已理解的理论原理去说明与之相似的尚 ,类比模式: 不理解的某一事件或现象. 不理解的某一事件或现象. 其模式可表示如下: 其模式可表示如下:
A对象具有属性a,b,c,d, 对象具有属性a 对象具有属性a 解释项) B对象具有属性a,b,c, (解释项) -----------------------------------所以, 对象也具有d属性.(被解释项) .(被解释项 所以,B对象也具有d属性.(被解释项) 实例:19世纪末,21世纪初,天文学家在分析恒星光谱时发现,许多恒星 的光谱线都向红端移动,表明我们接收的天体发出的光波频率正在变低. 1929年 美国天文学家哈勃从多普勒效应得到启发.他认为, 1929年,美国天文学家哈勃从多普勒效应得到启发.他认为,光谱 红移现象类似于声源相对观察者运动时的声波频率降低现象, 红移现象类似于声源相对观察者运动时的声波频率降低现象,而声波频 率降低是因为声源离观察者而去;因此, 率降低是因为声源离观察者而去;因此,光谱红移是因为恒星远离我们 而去.因此,哈勃认为恒星离我们的距离越远,红移也就越明显. 而去.因此,哈勃认为恒星离我们的距离越远,红移也就越明显.
19
2010年5月10日星期一
假说形成的启发性原则
依据已形成的假说, 依据已形成的假说,能够推导出可供检验的若干 事实,以便判定该假说能否解释相关现象. 事实,以便判定该假说能否解释相关现象. 假说应能为所探索的问题提供答案或解释性说明. 假说应能为所探索的问题提供答案或解释性说明. 假说不仅能说明已知事实, 假说不仅能说明已知事实,而且能够预测可进行 经验检验的未知事实. 经验检验的未知事实. 假说应具有逻辑简单性. 假说应具有逻辑简单性.
溯因法是一种或然性方法,得到的H可真可假. 溯因法是一种或然性方法,得到的H可真可假. 运用溯因法的要求: 运用溯因法的要求: 逆推时所设想的理论性假说H与待解释的观察现象E ①逆推时所设想的理论性假说H与待解释的观察现象E之间要 有逻辑相关性,即从前者可导出后者. 有逻辑相关性,即从前者可导出后者. 逆推的解释理论不应是特设性的, ②逆推的解释理论不应是特设性的,而应是可根据经验来检 验的. 验的.
2010年5月10日星期一 13
科学预测的模式: 科学预测的模式:
2,溯因预测: ,溯因预测:
由于猜测的多样性,溯因预测法可分为多元溯因法与 由于猜测的多样性,溯因预测法可分为多元溯因法与多级溯 多元溯因法 因法. 因法. 多元溯因法公式表示如下: 多级溯因法公式表示如下: E, H1→E H2→E …… Hn→E ---------推测:H1∨H2∨…∨Hn
2010年5月10日星期一
5
第七章 科学逻辑
第二节 科学解释与科学预测
科学解释
科学解释:运用科学理论去说明某一事件或现象何以产生 科学解释: 或何以存在的机理. 或何以存在的机理. 科学解释的模式: 科学解释的模式: 科学解释在逻辑结构上包括: (1)理论原理;(2)相关条件陈述;(3)事实陈述. (1)和(2)构成科学解释的解释项;(3)则是被解释项.模式为: L:理论原理 C:相关条件陈述 (解释项) E:事实陈述 (被解释项) 或(L∧C)→E
2010年5月10日星期一
E, H1→E H2→H1 …… Hn→Hn-1 ---------推测:Hn
14
科学预测的模式
相同属性的特征, 相同属性的特征 , 进而推理这种相同属性特征是由 同一原因所导致的逻辑方法.其模式可表示如下: 同一原因所导致的逻辑方法.其模式可表示如下:
e1具有属性a,b,c, e2具有属性a,b,c, …… en具有属性a,b,c, 如果H,则e1,e2, …,en具有属性a,b,c, -----------------------------------------因此,H.
2010年5月10日星期一
10
科学解释的模式
4,科学解释的多元性:对事物或现象的机理,从 ,科学解释的多元性:对事物或现象的机理, 不同角度运用不同的理论给予解释和说明, 不同角度运用不同的理论给予解释和说明,可形 成多元性的科学解释.模式可表示如下: 成多元性的科学解释.模式可表示如下: H1 H2 E ： Hn
并案归纳溯因预测: 3,并案归纳溯因预测:根据若干案例现象都有
并案归纳溯因法是一种或然性方法. 并案归纳溯因法是一种或然性方法.
2010年5月10日星期一 15
科学预测的模式
4,类比预测:是运用类比推理进行的预测,也就是根据 ,类比预测:是运用类比推理进行的预测,
A,B两对象在若干属性方面相同或相似,而且又知A对象具 两对象在若干属性方面相同或相似,而且又知A 有另一属性,因此推测B对象也具有另一属性的逻辑方法. 有另一属性,因此推测B对象也具有另一属性的逻辑方法. 实例:2003年初春,全国许多省份出现了类似"非典" 疫情.各地在诊断时,一般都依据所接诊患者发热干咳等 若干症状与"非典"症状的相同或相似,从而推测所接诊 患者为"非典"病人. 类比预测得到的结论具有或然性. 类比预测得到的结论具有或然性.
2010年5月10日星期一 12
科学预测的模式: 科学预测的模式:
2,溯因预测:根据某事物现象特征去推测该现象原因的 ,溯因预测:
逻辑方法,也叫"溯因推理" 逻辑方法,也叫"溯因推理"或"回溯推理".其模式可表 回溯推理" 示如下: 示如下:
E, (待解释的观察陈述) H→E (猜测性假说可导出观察陈述) ----------------------------------------------------推测:H.(被猜想的理论成立)
科学方法的分类: 科学方法的分类:按获得知识类型的不同,可分为发现经
验定律的经验方法 经验方法和发现理论原理的理论思维方法 理论思维方法. 经验方法 理论思维方法 经验定律: 经验定律:科学知识体系中的低层次部分.是对经验事实 的系统性描述,是对客观事物的可观察属性之间的普遍联 系的认识.经验定律的获得离不开观察,实验等经验方法. 理论原理: 理论原理:科学知识体系中的高层次部分.是对客观事物 的本质,现象间因果联系的洞察与推测,以及解释经验事 实的系统性理论.发现理论原理需要比较,分析,综合等 各种抽象的理论思维方法.
2010年5月10日星期一 7
科学解释
英国的工业城市曼彻斯特附近的飞蛾大多数是黑色的,而其他非工业 区的同类飞蛾大多数却是白色的.人们作出了如下解释: 本来,英国的这种飞蛾是白色品种居多.但在煤烟多的工业区,房屋, 树木是黑色的,黑飞蛾落在这些物体上,比白飞蛾不易被鸟类等天敌发 现.因此,白飞蛾容易被捕捉,而黑飞蛾则幸存下来……