论文标题
伪造的模型理论
The Model Theory of Falsification
论文作者
论文摘要
本文关注的问题是，何时可以根据原始观察的顺序进行理论肯定地进行理论。首先是对假冒性的简单定义作为通过某些有限的观察收集来驳斥的能力，我在当代模型理论的分裂线背景下评估了有关伪造及其后代的文献。静态案例广泛关注以下问题，即可以进行伪造实验的理论。在许多文献中，这个问题与所讨论的理论是否可以通过一系列通用的一阶句子可以公理化。我认为，这太狭窄了伪造的概念，即证明一种自然的模型理论兴趣的理论（所谓的nip理论）本身是高度伪造的。
This paper is concerned with the question of when a theory is refutable with certainty on the basis of sequence of primitive observations. Beginning with the simple definition of falsifiability as the ability to be refuted by some finite collection of observations, I assess the literature on falsification and its descendants within the context of the dividing lines of contemporary model theory. The static case is broadly concerned with the question of how much of a theory can be subjected to falsifying experiments. In much of the literature, this question is tied up with whether the theory in question is axiomatizable by a collection of universal first-order sentences. I argue that this is too narrow a conception of falsification by demonstrating that a natural class of theories of distinct model-theoretic interest -- so-called NIP theories -- are themselves highly falsifiable.
