<p> 摘　要：科学哲学领域的方法论研究者提出了各种对最佳解释,融贯性或者统合性的概率测度。这些测度如果有用，至少在某些情况下依赖它们作解释性推理应该比因果推理中通常用的统计方法更准确。格拉斯（2012）发现，大多数此类测度在小样本的情况下都不优于通常统计方法中用的似然度（likelihood）或后验概率。此后，格拉斯（2013）比较了他定义的测度和后验概率对解决一类假说选择问题的优劣。在该类问题中，需要从一组互不相容且非此即彼的假说中择一，但假说的概率未知。他的结果显示，在似然度已知而主观的先验概率和真实的概率分布不同的情况下，如果样本很小，极大化他的测度选择假说可以比极大化后验概率更准确。本文在格拉斯的框架下探究一些一致的模型选择方法在有限样本下的准确性。笔者发现不同方法在准确性上的优劣依赖于真实假说的分布以及所采用的主观先验概率。虽然很多方法可能在所有设置下都不是最优，但也没有方法在所有设置下都是最优。笔者认为，如果对真实假说的分布和主观先验概率没有限定，讨论哪种方法在样本量不大的情况下能更准确的选出真假说意义不大。<br /> 关键词：主观先验概率&nbsp; 假说选择&nbsp; 贝叶斯主义&nbsp; 因果推理<br /> 第二作者：约瑟夫&bull;拉姆塞&nbsp; 卡内基-梅隆大学哲学系<br /> 第三作者：丁绰文&nbsp; 佛罗里达人类与机器认知研究所</p>

<p> 摘　要：数学命题的证明在结构上必然存在某种预设性，在其论证过程中必然存在逻辑空隙。数学推理在所采用的逻辑工具和方法上并非无懈可击，加之数学形式体系的非完整性与非封闭性，这些都充分表明数学知识无论是在其原初形式上、形成过程中和构成方式三个维度上都无法获得完全意义上的可靠性。即使在元层面的证明论诉求亦复如此。数学证明的标准是一个综合评判的动态体系。<br /> 关键词：数学证明&nbsp; 严格性&nbsp; 证明论&nbsp; 哥德尔不完全性定理<br /> 第二作者：黄秦安&nbsp; 陕西师范大学数学与信息科学学院</p>

<p> 摘　要：科学样例和模型都是科学家们在表征外部世界过程中所取得的重要成就。然而，在追求正确刻画科学实践真实面貌的科学哲学事业中，样例很少被纳入哲学思考的视野。基于古德曼关于艺术表征的符号理论，埃尔金完善了例证学说并将其运用于科学领域。她对科学样例的符号分析，丰富了科学实践哲学。由于表征的语言学范式不能很好地处理虚构建模问题，埃尔金试图借助于&ldquo;贴切的非真&rdquo;概念来加以解决。然而，进一步的分析表明，她的论证策略存在一系列难以克服的困难。在如何理解虚构与表征问题上，假装理论提供了一个更好的概念框架，可以用于对模型的分析。<br /> 关键词：表征&nbsp; 例证&nbsp; 假装&nbsp; 科学样例&nbsp; 科学模型<br /> &nbsp;</p>

<p> 摘　要：德绍尔独特的技术思想使其在技术哲学史上极具影响力。追溯其思想渊源，它的结构性逻辑极为明晰：以苏格拉底的&ldquo;techne&rdquo;为基础构建思想基石；以柏拉图式的&ldquo;理念&rdquo;和宗教神学的创世学说为基础阐释技术发明成为可能的先验前提，构建思想内核；阐明康德先验哲学中&ldquo;物自体&rdquo;发生必然联系的&ldquo;中介&rdquo;，构建思想支点；发展康德的三大王国，构建系统的&ldquo;第四王国&rdquo;技术思想，到达形而上学的顶峰。这不仅填补了关于他对思想渊源缺乏详细分析的&ldquo;空白&rdquo;，而且阐明了其思想的四维结构，明确了其思想中引发争论的焦点问题。<br /> 关键词：德绍尔&nbsp; 技术思想&nbsp; 四维结构&nbsp; 争论<br /> &nbsp;</p>

<p> 摘　要：本文讨论维多利亚时代杰出的物理学家丁铎尔在塑造自我形象时所使用的各种策略。它追溯了丁铎尔的转变历程。最初他是一名保守主义者，到他成为一名测量员时他反抗自己保守的教养，在皇家学院任职以后他掩盖自己激进的立场，而他的&ldquo;科学父亲&rdquo;法拉第逝世以后他又重回反叛之路。通过对丁铎尔形象的重新描述，笔者试图解释他作为赫胥黎和其他科学自然主义者的亲密朋友，为何没有参加19世纪60年代关于达尔文《物种起源》一书的辩论。<br /> 关键词：丁铎尔&nbsp; 自我塑造&nbsp; 赫胥黎&nbsp; 法拉第&nbsp; 皇家学院&nbsp; 贝尔法斯特讲演<br /> &nbsp;</p>