逻辑与科学方法论[5]市公开课一等奖省赛课微课金奖PPT课件.pptxVIP

科学与逻辑方法论第四讲第1页本讲关键点：1）复习上一讲关键点2）命题逻辑层次上自然语言符号化3）命题推理有效性判定：真值表法、归谬赋值法和真值树方法第2页复习上讲若干关键点----让我们一起来思索和回答10个问题。----让我们一起确认：上讲中碰到一些困难，实际上并不困难；这里，实际上碰到更可能是观念障碍，而不是了解能力障碍。第3页[第一个问题]本课程总体目标是什么？第4页本课程目标：第一，介绍当代逻辑基础理论和主要结果，在人文科学工作者中提倡一个形式分析、准确分析和定量分析方法；第二，对当代逻辑很多含有挑战性意义结果进行哲学分析与概括，为不一样人文专业提供新理论视野与科学营养。第三，进行逻辑思维能力强化训练。第5页[第二个问题]命题逻辑部分要处理关键问题及关键点是什么？第6页命题逻辑部分要处理关键问题：命题推理有效性判定关键点：命题逻辑层次上自然语言符号化命题推理形式有效性判定第7页[第三个问题]命题逻辑，或者普通地，当代逻辑在研究推理之前，为何首先处理自然语言符号化？第8页凡人皆有死若天雨，则地湿孔子乃人天雨------------------------------------故孔子有死故地湿全部M都是P假如p，那么qS是MP-------------------------------------所以，S是P所以q?x（M（x）?P（x））p?qM（s）p-------------------------------------P（x）q第9页[第四个问题]什么是推理？依据什么说某个（一些）结论能够从某个（一些）前提中推出？第10页人大有个改变形象问题；当然这并不意味着人大要放弃马列主义。----------------------------------------------------------从这两个前提能推出什么结论？第一个结论：人大形象最少不怎么好。第二个结论：人大不怎么好形象与人大对马列主义把握相关。依据什么说这两个结论能从前提断定中推出？（演绎）推理本质特征。第11页[第五个问题]什么是推理证据支持度？一个推理证据支持度大小，与前提和结论真实性是什么关系？第12页北京有些人寿命是299岁--------------------------------------------------所以，北京有些人可能活到300岁这个推理前提和结论都是假，但前提对于结论证据支持度是极高。“实践是检验真理唯一标准”是马克思主义一条基本原理---------------------------------------------------------------所以，“实践是检验真理唯一标准”是真理□这个推理前提和结论都是真，但前提对于结论证据支持度是0，或者说论据对论题不提供支持。第13页普通地，推理证据支持度大小，独立于前提与结论真假。普通地，推理是否成立，独立于前提与结论真假。“逻辑不论大前提，想管也管不了。”------毛泽东第14页[第六个问题]什么是必定性推理和或然性推理？什么是演绎推理和归纳推理？第15页[第七个问题]什么样（演绎）推理是有效推理？什么是推理形式有效性？第16页[第八个问题]什么是推理“解释”？为何解释方法只能用来判定推理无效？不能用来判定推理有效？第17页依据你直觉，以下推理成立吗？（1）真理都是符合实际认识----------------------------所以，符合实际认识都是真理（2）马不是牛-------------------所以，马头不是牛头(3)只有社会主义才能救中国我们坚持社会主义--------------------------所以，我们一定能救中国（4）全部真理都是经得起试验检验全部迷信邪说都不是真理-----------------------------------所以，全部迷信邪说都不是经得起实践检