IRI

http://www.metaontology.pl/metaontology_populated.owl#publication_998
Label Language Type
Necessary Truth and Proof en rdfs:label

Annotations

Same Individuals

Types

Object properties

Data properties

  • first page

    • 47
  • has Bibtex metadata

    • @article{Read2010-STENTA,volume = {51},title = {Necessary Truth and Proof},pages = {47--67},number = {121},abstract = {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.},author = {Stephen Read},year = {2010},journal = {Kriterion}}@
  • has title

    • Necessary Truth and Proof
  • is published in

    • 2010
  • last page

    • 67