发现、理由和伪造

逻辑的发现和的理由

一个理想的理论科学的方法将包括指令可能导致一名调查员从无知到知识。笛卡尔和熏肉有时写道,如果他们可以提供理想的理论,但是在20世纪中叶正统的观点是,这是太多的要求。后汉斯赖兴巴赫(1891年- 1953年),哲学家往往区分“发现的上下文”和“上下文的理由。“一次假设提出了,有经典的逻辑决定是否应该承认的是,在有规则的方法上下文的理由。然而,没有这样的规定,指导制定正确的人假设,甚至假设合理的或富有成果。逻辑经验主义者所导致这一结论反思科学发现的情况是通过富有想象力的跳跃或幸运的事故;一个最喜欢的例子是假设8月凯库勒(1829 - 96)苯形成分子有一个六角形结构,据说在他面前打瞌睡的火灾现场煤似乎像一条蛇吞噬自己的尾巴。

虽然的想法不能有科学发现的逻辑通常认为正统的地位,这是毋庸置疑的。如下将变得清晰(看到科学改变),其中的一个影响的有影响力的作品托马斯·库恩(1922 - 96)哲学的科学是考虑未来的可能性发现特定种类有时纠结的判断证据,所以发现可以被认为是一种非理性的过程中只有一个愿意承认非理性也感染的理由本身。

有时为了应对库恩,有时独立原因,哲学家试图分析复杂的科学发现的特殊实例,展示了所涉及的科学家似乎是可识别的方法和策略。最雄心勃勃的应对经验主义正统试图做什么完全被遗弃了智慧,指定正式程序生产的假设来响应一个可用的证据。例如,针对美国哲学家克拉克和他的同事写计算机程序来生成假设统计证据,通常假设引入新变量,没有自己图的数据。这些项目是传统上应用于各种困难的自然科学和社会科学研究领域。或许,逻辑经验主义为时过早在写作的背景下发现超出范围的哲学分析。

相比之下,逻辑经验主义者积极工作的问题理解科学的理由。灵感来自于认为弗雷格、罗素和希尔伯特给了一个完全准确规范的条件前提演绎意味着结论,科学哲学家所希望提供一个确认的“逻辑”,识别,与同等精度的条件的证据支持科学假说。他们认可,当然,这一系列的实验报告的扩张下的金属热不会演绎暗示时所有金属扩张的一般结论heated-for即使所有的报告是正确的,它仍然是可能的,第二金属热下检查未能扩大。尽管如此,似乎足够大,足够多样的报告将提供一些支持,即使是强有力的支持,推广。哲学的任务是使精确直观的判断的支持。

在1940年代,两位杰出的逻辑经验主义者,鲁道夫Carnap(1891 - 1970)卡尔·亨佩尔(1905 - 97),影响力试图解决这个问题。Carnap提供一个有价值的不同版本之间的区别的问题。确认的“定性”的问题寻求指定的条件的证据支持,在某种程度上,一个假设H .“比较”的问题寻求决定当一个H E的证据支持一个假设一个多的证据E *支持假说H *(这里E和E *可能是相同的,即H股和H *可能是相同的)。最后,“量化”的问题寻求一个函数,分配一个数值衡量的程度E支持h .比较问题没有引起多少注意,但亨佩尔袭击了定性问题而Carnap集中在定量的问题。

是自然的假设定性问题是这两个的简单,甚至是很简单的。许多科学家和哲学家hypothetico-deductivism的想法所吸引,或——演绎方法:科学假设推导证实他们的预测经验可决定的现象,而且,当预测好,支持产生这些预测的假设推导。亨佩尔的探索显示为什么这么简单的一个视图不能维护。一个明显无害的似乎一点支持,如果E证实了H,然后E确认可以从H .假设推导出的任何声明,然后,H演绎意味着E, E确定通过观察或实验。如果H与任意的声明,现在结合产生的结合也将演绎意味着大肠Hypothetico-deductivism说这一起确认的证据。无害的点,E证实任何一起演绎的结果。一个这样的演绎结果是任意的声明。所以到达结论E,这可能是任何东西,证实了任意语句。

看到这是多么糟糕,考虑一个伟大的预测理论的例子,牛顿天体的运动。Hypothetico-deductivism有望在这种情况下,正是因为牛顿的理论似乎收益率许多预测,可以检查,发现是正确的。但是如果一个人钉在牛顿理论学说pleases-perhaps声称全球变暖是精灵的活动的结果北Pole-then扩展理论同样会产生旧的预测。提供的账户的确认,证实了扩展理论预测和任何声明,遵循演绎,包括矮变暖理论。

亨佩尔的作品表明,这仅仅是开始的复杂性的问题定性确认,而且,尽管他后来哲学家在解决困难取得了进展,在很多确认理论家看来,定量问题更容易处理。Carnap自身的努力解决这个问题,进行了在1940年代和50年代,旨在模拟演绎逻辑的成就。Carnap认为人工系统的表达能力急剧下降的语言实际使用的实践科学,和他希望定义任何一对语句在他限制语言功能,测量第二个支持第一个学位。他艰苦的研究明显,有无限多的函数(实际上,连续体许多“大”无穷对应的集合的大小实数s)满足标准他认为容许。尽管官方的失败项目,然而,他认为详细确认和概率之间的关系,表明,鉴于某些显然是合理的假设,degree-of-confirmation函数必须满足的公理概率微积分。