Transmission of Verification

Ethan BRAUER; Neil TENNANT

doi:10.1017/S1755020320000234

Transmission of Verification

Ethan BRAUER, Neil TENNANT

Research output: Journal Publications › Journal 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 language	English
Pages (from-to)	866-881
Number of pages	16
Journal	Review of Symbolic Logic
Volume	14
Issue number	4
Early online date	21 Jul 2020
DOIs	https://doi.org/10.1017/S1755020320000234
Publication status	Published - Dec 2021
Externally published	Yes

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

Access to Document

10.1017/S1755020320000234

Cite this

@article{afa72e512f744ca7af0e17b1d983035d,

title = "Transmission of Verification",

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

keywords = "Core Logic, Core proof, Evaluation, Falsification, Falsitymaker, Logical consequence, Truthmaker, Truthmaker-transmission, Verification",

author = "Ethan BRAUER and Neil TENNANT",

note = "The authors{\textquoteright} names are listed alphabetically. The authors are most grateful to two anonymous referees for their insightful and helpful comments on an earlier version.",

year = "2021",

month = dec,

doi = "10.1017/S1755020320000234",

language = "English",

volume = "14",

pages = "866--881",

journal = "Review of Symbolic Logic",

issn = "1755-0203",

publisher = "Cambridge University Press",

number = "4",

}

TY - JOUR

T1 - Transmission of Verification

AU - BRAUER, Ethan

AU - TENNANT, Neil

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

PY - 2021/12

Y1 - 2021/12

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

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

KW - Core Logic

KW - Core proof

KW - Evaluation

KW - Falsification

KW - Falsitymaker

KW - Logical consequence

KW - Truthmaker

KW - Truthmaker-transmission

KW - Verification

UR - http://www.scopus.com/inward/record.url?scp=85094603432&partnerID=8YFLogxK

U2 - 10.1017/S1755020320000234

DO - 10.1017/S1755020320000234

M3 - Journal Article (refereed)

AN - SCOPUS:85094603432

SN - 1755-0203

VL - 14

SP - 866

EP - 881

JO - Review of Symbolic Logic

JF - Review of Symbolic Logic

IS - 4

ER -

Transmission of Verification

Abstract

Bibliographical note

Keywords

Access to Document

Other files and links

Fingerprint

Cite this