Transmission of Verification

Ethan BRAUER, Neil TENNANT

Research output: Journal PublicationsJournal Article (refereed)peer-review

1 Citation (Scopus)

Abstract

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 [2017]. 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.

Original languageEnglish
Number of pages16
JournalReview of Symbolic Logic
DOIs
Publication statusE-pub ahead of print - 21 Jul 2020
Externally publishedYes

Bibliographical note

The authors’ names are listed alphabetically. The authors are most grateful to two anonymous referees for their insightful and helpful comments on an earlier version.

Keywords

  • Core Logic
  • Core proof
  • Evaluation
  • Falsification
  • Falsitymaker
  • Logical consequence
  • Truthmaker
  • Truthmaker-transmission
  • Verification

Fingerprint Dive into the research topics of 'Transmission of Verification'. Together they form a unique fingerprint.

Cite this