论文标题
可计算物理模型的语义
Semantics of Computable Physical Models
论文作者
论文摘要
本文重新制定了以前由作者提出的可计算物理模型理论，作为一阶逻辑中应用模型理论的一个分支。它为科学哲学提供了一种语义方法，该方法结合了操作主义的各个方面和Popper的可行性程度。
This article reformulates the theory of computable physical models, previously introduced by the author, as a branch of applied model theory in first-order logic. It provides a semantic approach to the philosophy of science that incorporates aspects of operationalism and Popper's degrees of falsifiability.
