×

牛顿的实验证明。 (英语) Zbl 1478.03020号

总结:牛顿提出的提供实验证据的主张经常受到批评。有人认为,他的证明是基于假设,而不是仅仅从实验中推断出来的。然而,这种批评将假设演绎分析应用于牛顿的实验推理。这种分析与牛顿自己对证明方法的理解不一致。以下对牛顿证明方法的重建,旨在通过将象似证明的概念应用于牛顿的实验证明,从而公正地理解牛顿的观点。这一分析的主要目的是解释牛顿的格言,即实验本身就是推导其定理的证据来源。在对象征性证明和象征性证明进行了一般性区分,并通过欧几里德证明和亚里士多德三段论来说明这一区别之后,我将把这种区分应用于牛顿的实验证明,并分析牛顿用他的实验坩埚证明太阳光的异质性,作为一种象征性证明。最后,我将说明这个实验及其基本方法在牛顿光学中仍然很突出。

MSC公司:

03A10号 科学哲学中的逻辑
01A45号 17世纪数学史
01A50号 18世纪数学史
78A05级 几何光学
PDF格式BibTeX公司 XML格式引用
全文: DOI程序 链接

参考文献:

[1] 参考文献
[2] Anstey,P.、Hunter,M.(2008)。罗伯特·博伊尔(Robert Boyle)的《自然历史设计》(Design about natural history),《早期科学与医学》(Early Science and Medicine)第13期,第83-126页。
[3] Beeson,M.、Narboux,J.、Wiedijk,F.(2019年)。欧几里德校对,《数学与人工智能年鉴》84(171),1-45·Zbl 07055783号
[4] O.拜恩(1847)。《欧几里得原理》的前六本书,其中用彩色图表和符号代替字母,以使学习者更容易学习。伦敦:威廉·皮克林。
[5] 科恩,I.B.(1958)。艾萨克·牛顿关于自然哲学的论文和信件以及相关文件。哈佛:哈佛大学出版社·Zbl 0082.24202号
[6] Dal Magro,T.,García-Pérez,M.J.(2019年)。关于欧几里得图和几何知识,《理论》34(2),255-276·Zbl 1427.00023号
[7] Ducheyne,S.(2005)。牛顿在亚里士多德教科书传统中的训练:从影响到原因再回来,《科学史》43,217-236。
[8] Giaquinto,M.(2011年)。交叉曲线:在证明中使用图表的限制,《数学哲学》19281-307·Zbl 1272.03019号
[9] Guerlac,H.(1973)。牛顿和分析方法。在维纳(Ed.)。《思想史词典》3(第378-391页)。纽约:Scribners。
[10] Guicciardini,N.(2016)。牛顿数学工作中的分析与综合。Cohen,B.I.&Smith,G.E.(编辑)。《剑桥牛顿指南》(第308-38页)。剑桥:剑桥大学出版社。
[11] Guicciardini,N.(2016)。艾萨克·牛顿的数学著作简介。In Iliffe,R.&Smith,G.(编辑)。《剑桥与牛顿的伙伴》(第382-420页)。剑桥:剑桥大学出版社。
[12] Hamou,P.(2018)。实验坩埚。牛顿的经验主义正处于十字路口。在Bodenmann,S.和Rey,A-L.(编辑)。作为经验主义者意味着什么?(第47-69页),纽约等:施普林格。Heath,T.L.(1968)。《欧几里德元素一》的十三本书。剑桥:剑桥大学出版社。Hintikka,J.,Remes,U.(1974年)。分析方法。多德雷赫特:雷德尔。
[13] Hintikka,J.,Remes,U.(1976年)。古代几何分析和现代逻辑。In Cohen,R.S.&Feyerabend,P.K.&Wartofsky,M.W.(编辑)。纪念伊姆雷·拉卡托斯的散文(第253-276页)。多德雷赫特:雷德尔·Zbl 0354.0203号
[14] 胡克,R.(1665)。Micrographia,伦敦:Martyn and Allestry。
[15] 胡克·R(1705)。关于地震的论述。Waller,R.(编辑)。罗伯特·胡克博士的遗作(第277-450页)。伦敦:史密斯和沃尔福德。
[16] 282 Theoria,2021,36/2261-283·Zbl 1478.03020号
[17] 牛顿的实验证明·Zbl 0972.03522号
[18] Ihmig,K.N.(2004年)。分析和合成牛顿程序自然数学基础。在Meixner,U.和Newen,A.(编辑)。哲学与逻辑分析7(第91-119页)。帕德博恩:薄荷糖。
[19] Jalobeanu,D.(2014)。构建自然历史事实。牛顿关于光和颜色的第一篇论文中的培根自然史。在Biener,Z.和Schliesser,E.(编辑)。牛顿与经验主义(第39-65页)。牛津:牛津大学出版社。
[20] Lampert,T.(2017)。维特根斯坦的反义词:一个标志性的证明程序,《逻辑的历史与哲学》38.3,239-262·Zbl 1417.03082号
[21] Lampert,T.(2018)。图标逻辑和理想图表:维特根斯坦方法。在Chapman,P.&Stapleton,G.&Moktefi,A.&Perez-Kriz,S.&Bellucci,F.(编辑)中。图表表示和推断(第624-639页)。查姆:斯普林格·Zbl 1528.03042号
[22] Lampert,T.(2020年)。可判定性和符号,《逻辑与分析》251365-386·Zbl 1508.03019号
[23] Manders,K.(2008)。欧几里得图。在Mancosu,P.(编辑)。数学实践哲学(第80-133页)。纽约:牛津大学出版社·Zbl 1163.03001号
[24] Menn,S.(2002)。《柏拉图与分析方法》,弗罗内西47.3,193-223。
[25] Miller,N.(2001)。《欧几里德几何的图解形式系统》,康奈尔:康奈尔大学出版社。
[26] Mumma,J.(2012)。构造性几何推理和图表,综合186,103-119·Zbl 1274.03017号
[27] 牛顿,I.(1671/2)。艾萨克·牛顿先生的一封信,其中载有他关于光和颜色的新理论。哲学学报80,3075-3087。
[28] 牛顿,I.(1730)。Opticks:或者是关于光的反射、折射、屈折和颜色的论文。第4版。伦敦:Innys。
[29] 牛顿,I.(1962)。自然哲学的数学原理及其世界体系。Motte,A.和Cajori,F.(翻译)。伯克利:加利福尼亚大学出版社。
[30] 亚历山大的帕普斯(1986)。《收藏》第七卷第二部分。引言、文本和翻译。Jones,A.(编辑,翻译)。纽约:斯普林格·Zbl 0588.01014号
[31] Sabra,A.I.(1981)。从笛卡尔到牛顿的光理论。剑桥:剑桥大学出版社。
[32] Schwartz,D.(2017)。《重要实例和弗朗西斯·培根对确定性的追求》,《国际科学哲学史学会期刊》第7期,130-150页。
[33] 夏皮罗,A.E.(2004)。牛顿的“实验哲学”,《早期科学与医学》,9(3),185-217。
[34] Shimojima,A.(1996年)。图表推理中的操作约束。在Barwise,J.&Allwein,G.(编辑)中。用图表进行逻辑推理(第27-48页)。牛津:牛津大学出版社。
[35] Stapleton,G.、Jamnik,M.、Shimojima,A.(2016)。信息的有效表示:推广免费乘车服务。Jamnik,M.和Shimojima,A.(编辑)。图表表示和推断(第296-299页),查姆:施普林格。
[36] Stapleton,G.、Jamnik,M.、Shikojima,A.(2017年)。信息的有效表征:观测优势的正式描述,《逻辑、语言与信息杂志》26(2),143-177·Zbl 1368.68294号
[37] Tarski,A.(1959年)。什么是初等几何?在Henkin,L.A.&Suppes,F.&Tarski,A.(编辑)。公理方法。阿姆斯特丹:北荷兰·Zbl 0092.38504号
[38] Thompson,E.(1995)。彩色视觉。认知科学和感知哲学的研究。伦敦:劳特利奇。
[39] Turnbull,H.W.(1959年)。艾萨克·牛顿的信件。体积。66-675,英国剑桥:剑桥大学出版社·Zbl 1170.01010号
[40] Turnbull,H.W.(1960)。艾萨克·牛顿的信件。第2卷。676-687,英国剑桥:剑桥大学出版社·Zbl 1170.01011号
[41] tiMM laMpert自2014年起担任柏林洪堡大学哲学副教授。
[42] 他最近的研究集中于一阶逻辑中的证明理论、象似逻辑和决策过程。
[43] 地址:柏林洪堡大学哲学系,Unter den Linden 6,D-10099 Berlin。
[44] 电子邮件:lampertt@staff.hu-berlin.de。ORCID代码:https://orcid.org/0000-0003-3912-7933
[45] https://doi.org/10.1387/理论
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。