科学发现的逻辑读书笔记.docx

科学发现的逻辑读书笔记

第一篇：科学发现的逻辑读书笔记《科学发现的逻辑》读书笔记第一部分科学逻辑导论第一章对于若干基本问题的考察1．归纳问题（1）归纳的定义：科学发现的逻辑等同于归纳逻辑，即这些归纳方法的逻辑分析，一般把这样一种推理称作“归纳的”。（2）归纳问题的定义：如何确立根据经验得出的全称陈述真理性的问题，经验科学的假说和理论系统就是这样的全称陈述。（3）归纳原理的定义：归纳原理是我们借以能把归纳推理纳入逻辑上可接受的形式中去的陈述。（4）归纳原理易于产生的矛盾：因为这个归纳原理本身也必须是一个全称陈述。假如我们试图认为它的真理性来自经验而得知，那么，导致引入归纳原理的同一个问题就再一次产生了。为了证明这个原理，我们就必须运用归纳推理；而为了证明这些归纳推理，我们就必须假定一个更高层次的归纳原理；如此等等。这样，想把归纳原理建基于经验之上的试图就破产了。因为这样做必定导致无穷后退。（5）Kant对于归纳原理矛盾的解决：Kant试图摆脱这个困难，办法是他把归纳原理（他称作“普遍因果性原理”）看作是“先验地正确的”。（6）概然性推理易于产生的矛盾：和归纳逻辑的其他任何一种形式一样，概然推理的逻辑，或“概率逻辑”，不是导致无穷后退就是导致先验论的学说。2．心理学主义的排除（1）科学知识的逻辑分析与事实相关还是与正确性相关：科学知识的逻辑分析与事实的问题（无关，而只与正当或正确的问题有关。（2）科学发现的过程都是理性所为：有人会反对说，把已导致科学家作出一个发现——找到某一新的真理——的步骤加以“理性重建”看作认识论的事更为合适。但是，问题在于，确切地说，我们要重建什么？假如要重建的是灵感的激起和释放的过程，那么我将不认为它是知识逻辑的工作。这种过程是经验心理学要研究的，而不是逻辑要研究的。3．理论的演绎检验（1）批判地检验理论和根据检验结果选择理论的方法:批判地检验理论和根据检验结果选择理论的方法，总是按下列路线进行的。借助演绎逻辑，从尝试提出来且尚未经过以任何方式证明的一个新思想——预知、假说、理论系统，或任何其他类似的东西——中得出一些结论；然后将这些结论，在它们相互之间，并和其他有关的陈述加以比较，来发现他们之间存在的逻辑关系（如等价性、可推导性、相容性、不相容性）。（2）波普尔认为的四条不同的检验理论的路线：第一，在这些结论之间加以逻辑的比较，以此来检验理论系统的内部一致性。第二，考察理的逻辑形式，目的是确定这理论是否具有经验的或科学的理论的性质，或者它是否是，比如重言的命题。第三，同其他的理论作比较，主要目的是确定，假如这理论经受住我们的各种检验，它是否构成科学上的进展。最后，通过能从理论推导出的结论的经验应用来检验理论。这最后一种检验的目的，是要找出理论的新推断（不论它自认为如何新法）耐受实践要求考验的程度。（3）“预见”：我们借助其他过去已被接受的陈述，从理论中演绎出某些单称陈述，我们称作“预见”，特别是那种易检验或易应用的预见。（4）理论能够借助已证实的结论被判定为概然性的真理:肯定的判决只能暂时支持这理论，因为随后的否定判决常会推翻它。只要一个理论经受住详细而严格的检验，在科学进步的过程中未被另一个理论取代，我们就可以说它已“证明它的品质’，或说“它已得到验证”。在这里概述的程序中，没有出现任何类似归纳逻辑的东西。我从不认为我们能从单称陈述的真理性论证理论的真理性。我从不认为理论能借“已证实”的结论的力量被确定为“真的”，即使仅仅是“概然的”。4.划界问题：（1）波普尔摈弃归纳逻辑的主要理由：我摈弃归纳逻辑的主要理由，正在于它并不提供理论系统的经验的、非形而上学性质的一个合适的区别标志，或者说，它并不提供一个合适的“划界标准”。（2）划界问题：找到一个标准，使我们能区别经验科学为一方与科学和逻辑以及“形而上学”系统为另一方，这个问题我称之为划界问题。（3）在波普尔看来Hume问题和Kant问题哪个更重要：假如我们按照Kant那样把归纳问题称作“Hume问题”，我们也可以把划界问题称作“Kant问题。”在这两个问题（几乎所有其他知识理论问题的根源）中，划界问题是更基本的。（4）为什么带有经验论倾向的认识论学者更信赖“归纳法”：带有经验论倾向的认识论学者所以信赖“归纳法”，其主要理由似乎是由于他们相信只有归纳法才能提供一个合适的划界标准。（5）在现代实证主义者眼中，科学是什么：老式的实证主义者只愿意承认那些他们所谓“导源于经验”的概念（或观念、思想），才是科学的或合理的；就是说，他们认为，这些概念可以在逻辑上还原为感性经验要素，如感觉（或感觉资料）、印象、知觉、视觉或听觉、记忆等等，现代实证主义者更明确地认为，科学不是概念的系统，而是陈述的系统。（6）实证主义者通常如何解释划界问题的：他们只愿意承认这样一些陈述