This paper clarifies, revises, and extends the account of the transmission of truthmakers by core proofs that was set out in chap. 9 of Tennant (2017). Brauer provided two kinds of example making clear the need for this. Unlike Brouwer’s counterexamples to excluded middle, the examples of Brauer that we are dealing with here establish the need for appeals to excluded middle when applying, to the problem of truthmaker-transmission, the already classical metalinguistic theory of model-relative evaluations.

中文翻译：

---

传输验证

本文通过第一章中提出的核心证明阐明、修改和扩展了关于真相制造者传输的说明。9 坦能（2017 年）。Brauer 提供了两种示例来说明这一点的必要性。与 Brouwer 的排中反例不同，我们在此处理的 Brauer 的例子确立了需要在将已经经典的模型相对评估的元语言理论应用于真值传递问题时，诉诸排中。