Transmission of Verification

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


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.



    Upload a copy of this work     Papers currently archived: 79,724

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

Concerning 'Eschatological Verification Reconsidered'.Beth Mackie - 1987 - Religious Studies 23 (1):129 - 135.
Program verification: the very idea.James H. Fetzer - 1988 - Communications of the Acm 31 (9):1048--1063.
Verificationist Theory of Meaning.Markus Schrenk - 2008 - In U. Windhorst, M. Binder & N. Hirowaka (eds.), Encyclopaedic Reference of Neuroscience. Springer.
How Old Are These Bones? Putnam, Wittgenstein and Verification.Cora Diamond - 1999 - Aristotelian Society Supplementary Volume 73:99-150.
How Old Are These Bones?: Putnam, Wittgenstein and Verification.Cora Diamond & Steven Gerrard - 1999 - Aristotelian Society Supplementary Volume 73 (1):99-150.
Cultural traits and cultural integration.R. Lee Lyman - 2006 - Behavioral and Brain Sciences 29 (4):357-358.
Verification of concurrent programs: the automata-theoretic framework.Moshe Y. Vardi - 1991 - Annals of Pure and Applied Logic 51 (1-2):79-98.
On Greco on transmission.Alejandro Pérez Carballo - 2016 - Episteme 13 (4):499-505.


Added to PP

22 (#536,930)

6 months
1 (#479,335)

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 - forthcoming - Review of Symbolic Logic:1-40.

Add more citations

References found in this work

Cut for core logic.Neil Tennant - 2012 - Review of Symbolic Logic 5 (3):450-479.
Cut for classical core logic.Neil Tennant - 2015 - Review of Symbolic Logic 8 (2):236-256.
The relevance of premises to conclusions of core proofs.Neil Tennant - 2015 - Review of Symbolic Logic 8 (4):743-784.

Add more references