在科学的逻辑是一个负责开发的方法，允许获取科学知识; 也就是说，它是关于发展经验真理。科学与逻辑有着内在的联系。
之所以产生这种关系，是因为第一个系统化（即研究过程的组织，假设的制定和验证）必须根据第二个规则进行操作以确保从实验得出的结论的有效性科学。
卡尔·波普尔是科学逻辑的主要代表。资料来源：Lucinda Douglas-Menzies链接
为了更好地理解科学逻辑的概念，有必要解决组成名词短语的两个单词的含义，然后确定它们之间关系的性质。
逻辑与科学
什么是逻辑？
形式逻辑是研究正确思维的哲学和数学的一个分支。当我们说“正确思考”时，我们指的是一种理性的程序，通过这种程序，人能够从某些前提中得出推论，从而得出一致的结论。
逻辑推理受几个原则支配。其中突出的是有充分理由的，身份的，无矛盾的，因果的等等。
逻辑的形式结构允许区分语音是否提供有效或无效的论点。如果论点的命题之间的关系不遵守逻辑原理，则该论点必须被视为谬论。
什么是科学？
我们可以将科学理解为一组知识的系统化，这使我们能够访问可以凭经验证明的真理知识。也就是说，是客观现实。
特点
哲学家卡尔·波普尔（Karl Popper）在他的论文《科学研究的逻辑》（1934）中定义了当今最广泛接受的科学方法的逻辑和假设-假设-演绎的要素和问题。它的一些特征如下：
批评归纳程序
归纳推理是从特定现象提出普遍推断的一种方法。
自从经验主义者戴维·休ume（David Hume）在其《人类知识的调查》（1748）中批评归纳逻辑的可接受性以来，科学方法的许多理论家都广泛禁止归纳逻辑，尽管它仍以某种形式的方法论方法使用。 。
休ume的批评指出，归纳逻辑试图信任经验性观察，就好像它们验证了经验中无法验证的现象一样。根据这种逻辑，所发生现象的规律性证明了将以相同方式重复它们的结论。
卡尔·波普尔（Karl Popper）辩称，归纳逻辑或“概率逻辑”无法为其辩解。在尝试这样做时，归纳过程将进入无限扩展的回归过程，而其主张没有得到具体经验的证实。
这样，甚至有可能陷入康德的先验主义，这种趋势表明知识独立于任何经验。
例子
-几年来，在某些大气条件下下雨了60％，这一事实并不意味着这种模式会一直重复。
-我们观察到大量白色天鹅的事实并不能确保存在的所有天鹅都是白色的。
将假设定义为可能的不合逻辑的表述
根据波普尔的说法，“科学家的工作是提出理论并进行对比。” 但是，从他的角度来看，假设表述并不意味着在形式上会使用逻辑。
概述科学理论原理的命题是创造性的思想或直觉，它们提出了对经验经验产生的问题的可能解决方案。
科学方法的逻辑严谨性始于第二阶段，即演绎性反驳或所提出理论的对比性。
例
-希腊哲学中关于原子的形而上学理论激发了像卢瑟福这样的原子科学家。
提出演绎理论测试
Popper建立了四个程序，这些程序构成了检验理论的逻辑正当程序：
结果比较
相互分析研究为验证所提议系统的一致性而提出的不同结论；也就是说，研究的结果彼此保持逻辑关系（等效性，可扣除性，相容性等）。
研究理论的逻辑形式
这决定了该理论的特征是否真的是科学的（即经验的），或者相反，它是否是重言式的（冗余或空洞的陈述）。
与其他理论的比较
如果该理论在驳斥中幸存下来，那么将其与对同一现象的其他研究进行比较将有助于确定所完成的工作是否代表了进步。
实证应用
该理论接受我们的结论必须通过实验加以验证。
如果在最后的测试过程结束时验证了从理论得出的奇异结论，则必须接受的是，目前没有理由丢弃它。
否则-也就是说，如果测试过程是否定的-必须假定该理论是错误的。
例
天文学家Urban Le Verrier和John Adams能够演绎性地验证一个假设：未知行星正在影响天王星的轨道。
他们进行了数学计算以确定恒星的可能质量和位置，然后使用指向推断出的坐标的望远镜进行实证测试。确实，实验证明，在既定的地方有一个行星，他们将其命名为海王星。
确立科学客观性基于主体间对比
根据波普尔理论的科学逻辑，科学固有的客观性原则无法通过一个理论是可以辩解的事实来实现，因为该理论由于拒绝归纳方法而无法被完全验证，只是对比。
从这个意义上说，波普尔断言“科学陈述的客观性取决于可以对它们进行主体间对比的事实”。
主体间测试作为客观标准的优势主要是由于以下事实：只有遵循特定模式才能准确，定期重复的事实才是遵循规定步骤的人可以对比的事实。
重复和规律性消除了体验结果仅仅是巧合的可能性。因此，遵循这些逻辑规则进行了科学实验。
例
如果班上所有学生在进行测试牛顿第一定律的实验时获得完全相同的结果，则将向这些学生证明该定律原理的客观性。
参考文献
- 休umeD。“人类知识研究”。（1988）。马德里：联盟。
- 哈钦斯河。“亚当斯，约翰·库什（John Couch，1819–1892年），天文学家。” （2004年9月）在《牛津国家传记词典》中发表。于2019年4月1日从牛津国家传记词典检索：oxforddnb.com
- Klimovsky，G。“演绎假设方法和逻辑”。（1971）。拉普拉塔：UNLP。法西。逻辑与科学哲学研究所。（逻辑和科学哲学研究所的笔记本。Celeste系列； 1）。在学术记忆中。于2019年4月1日从学术报告中检索：memoria.fahce.unlp.edu.ar
- 洛伦扎诺，C。“科学的结构和方法。基本认识论著作”。（2014年10月）在Academia.edu。于2019年4月1日从Academia.edu检索：academia.edu
- Popper，K。“科学研究的逻辑”（1980年）。马德里：Tecnos。