证伪的模型论
逻辑
2022-09-27 v1
摘要
本文关注一个理论何时能够基于原初观测序列被确定地反驳的问题。从将可证伪性简单定义为可被某个有限观测集合所反驳出发，我在当代模型论分界线的语境中评估了关于证伪及其衍生工作的文献。静态情形广泛关注该理论的多大程度可受制于证伪实验。在许多文献中，此问题与该理论是否可由一组全称一阶句子公理化纠缠在一起。本文通过证明一类具有独特模型论意义的自然理论——所谓的 NIP 理论——本身高度可证伪，论证这是对证伪过于狭隘的概念。
引用
@article{arxiv.2209.12067,
title = {The Model Theory of Falsification},
author = {Reid Dale},
journal= {arXiv preprint arXiv:2209.12067},
year = {2022}
}