IRI

http://www.metaontology.pl/metaontology_populated.owl#publication_998
Label Język Typ
Necessary Truth and Proof en rdfs:label

Adnotacje

Identyczne obiekty

Typy

Object properties

Data properties

  • jest opublikowany w roku

    • 2010
  • ma metadane w formacie Bibtex

    • @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}}@
  • ma tytuł

    • Necessary Truth and Proof
  • ostatnia strona

    • 67
  • pierwsza strona

    • 47