David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Kriterion: Journal of Philosophy 51 (121):47-67 (2010)
What makes necessary truths true? I argue that all truth supervenes on how things are, and that necessary truths are no exception. What makes them true are proofs. But if so, the notion of proof needs to be generalized to include verification-transcendent proofs, proofs whose correctness exceeds our ability to verify it. It is incumbent on me, therefore, to show that arguments, such as Dummett's, that verification-truth is not compatible with the theory of meaning, are mistaken. The answer is that what we can conceive and construct far outstrips our actual abilities. I conclude by proposing a proof-theoretic account of modality, rejecting a claim of Armstrong's that modality can reside in non-modal truthmakers.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Greg Restall (2009). Truth Values and Proof Theory. Studia Logica 92 (2):241 - 264.
David Ripley (2012). Conservatively Extending Classical Logic with Transparent Truth. Review of Symbolic Logic 5 (2):354-378.
Andrew Aberdein (2006). Proofs and Rebuttals: Applying Stephen Toulmin's Layout of Arguments to Mathematical Proof. In Marta Bílková & Ondřej Tomala (eds.), The Logica Yearbook 2005. Filosofia 11-23.
Gregor Damschen (2011). Questioning Gödel's Ontological Proof: Is Truth Positive? European Journal for Philosophy of Religion 3 (1):161-169.
Göran Sundholm (1994). Existence, Proof and Truth-Making: A Perspective on the Intuitionistic Conception of Truth. Topoi 13 (2):117-126.
E. M. Zemach (1987). Are There Logical Limits for Science? British Journal for the Philosophy of Science 38 (4):527-532.
Added to index2010-08-10
Total downloads17 ( #147,710 of 1,699,807 )
Recent downloads (6 months)1 ( #362,609 of 1,699,807 )
How can I increase my downloads?