Andreas Holger, Schiemer Georg
Department of Philosophy, University of British Columbia, Canada.
Munich Center for Mathematical Philosophy, LMU, Munich, Germany; Department of Philosophy, University of Vienna, Austria.
Stud Hist Philos Sci. 2016 Aug;58:1-8. doi: 10.1016/j.shpsa.2016.02.001. Epub 2016 Mar 19.
A central topic in the logic of science concerns the proper semantic analysis of theoretical sentences, that is sentences containing theoretical terms. In this paper, we present a novel choice-semantical account of theoretical truth based on the epsilon-term definition of theoretical terms. Specifically, we develop two ways of specifying the truth conditions of theoretical statements in a choice functional semantics, each giving rise to a corresponding logic of such statements. In order to investigate the inferential strength of these logical systems, we provide a translation of each truth definition into a modal definition of theoretical truth. Based on this, we show that the stronger notion of choice-semantical truth captures more adequately our informal semantic understanding of scientific statements.
科学逻辑中的一个核心主题涉及对理论语句（即包含理论术语的语句）进行恰当的语义分析。在本文中，我们基于理论术语的ε-项定义，提出了一种新颖的关于理论真的选择语义解释。具体而言，我们在选择函数语义学中开发了两种指定理论陈述真值条件的方法，每种方法都产生了相应的此类陈述的逻辑。为了研究这些逻辑系统的推理强度，我们将每个真值定义翻译成理论真的模态定义。基于此，我们表明更强的选择语义真概念更充分地捕捉了我们对科学陈述的非正式语义理解。
