This paper clarifies, revises, and extends the account of the trans-misson of truthmakers by core proofs that was set out in Chapter 9 of Tennant . Brauer provided two kinds of example making clear the need for this. Unlike Brouwer's counterexamples to excluded mid-dle, 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.
Bibliographical noteThe authors’ names are listed alphabetically. The authors are most grateful to two anonymous referees for their insightful and helpful comments on an earlier version.
- Core Logic
- Core proof
- Logical consequence