Transmission of Verification

Review of Symbolic Logic:1-16 (forthcoming)
  Copy   BIBTEX

Abstract

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. 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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,698

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Analytics

Added to PP
2020-07-21

Downloads
40 (#396,080)

6 months
14 (#256,717)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Neil Tennant
Ohio State University

Citations of this work

What is a Rule of Inference?Neil Tennant - 2021 - Review of Symbolic Logic 14 (2):307-346.

Add more citations

References found in this work

Cut for core logic.Neil Tennant - 2012 - Review of Symbolic Logic 5 (3):450-479.
The Relevance of Premises to Conclusions of Core Proofs.Neil Tennant - 2015 - Review of Symbolic Logic 8 (4):743-784.
Cut for classical core logic.Neil Tennant - 2015 - Review of Symbolic Logic 8 (2):236-256.

Add more references