Academic Bibliography

 Search 200 years of publications by Ghent University researchers.
Advanced search
2 files | 321.38 KB
Add to list
  1. Search results
  2. Informal provability and dialetheism

Informal provability and dialetheism

Pawel Pawlowski (UGent) and Rafal Urbaniak (UGent)
(2023) THEORIA-A SWEDISH JOURNAL OF PHILOSOPHY. 89(2). p.204-215
Author
Organization
Project
Abstract
According to the dialetheist argument from the inconsistency of informal mathematics, the informal version of the Godelian argument leads us to a true contradiction. On one hand, the dialetheist argues, we can prove that there is a mathematical claim that is neither provable nor refutable in informal mathematics. On the other, the proof of its unprovability is given in informal mathematics and proves that very sentence. We argue that the argument fails, because it relies on the unjustified and unlikely assumption that the informal Godel sentence is informally provable.
Keywords
Lob's theorem, informal provability, incompleteness, dialetheism, REFLECTION PRINCIPLES, PROBABILITY

Downloads

  • Download
    Informal provability and dialetheism.pdf
    • full text (Accepted manuscript)
    • |
    • open access
    • |
    • PDF
    • |
    • 161.94 KB
  • Download
    (...).pdf
    • full text (Published version)
    • |
    • UGent only
    • |
    • PDF
    • |
    • 159.44 KB

Citation

Please use this url to cite or link to this publication:

MLA
Pawlowski, Pawel, and Rafal Urbaniak. “Informal Provability and Dialetheism.” THEORIA-A SWEDISH JOURNAL OF PHILOSOPHY, vol. 89, no. 2, 2023, pp. 204–15, doi:10.1111/theo.12456.
APA
Pawlowski, P., & Urbaniak, R. (2023). Informal provability and dialetheism. THEORIA-A SWEDISH JOURNAL OF PHILOSOPHY, 89(2), 204–215. https://doi.org/10.1111/theo.12456
Chicago author-date
Pawlowski, Pawel, and Rafal Urbaniak. 2023. “Informal Provability and Dialetheism.” THEORIA-A SWEDISH JOURNAL OF PHILOSOPHY 89 (2): 204–15. https://doi.org/10.1111/theo.12456.
Chicago author-date (all authors)
Pawlowski, Pawel, and Rafal Urbaniak. 2023. “Informal Provability and Dialetheism.” THEORIA-A SWEDISH JOURNAL OF PHILOSOPHY 89 (2): 204–215. doi:10.1111/theo.12456.
Vancouver
1.
Pawlowski P, Urbaniak R. Informal provability and dialetheism. THEORIA-A SWEDISH JOURNAL OF PHILOSOPHY. 2023;89(2):204–15.
IEEE
[1]
P. Pawlowski and R. Urbaniak, “Informal provability and dialetheism,” THEORIA-A SWEDISH JOURNAL OF PHILOSOPHY, vol. 89, no. 2, pp. 204–215, 2023.
@article{01GK1CQ7R6DZSEAZ9T46W40Q4S,
  abstract     = {{According to the dialetheist argument from the inconsistency of informal mathematics, the informal version of the Godelian argument leads us to a true contradiction. On one hand, the dialetheist argues, we can prove that there is a mathematical claim that is neither provable nor refutable in informal mathematics. On the other, the proof of its unprovability is given in informal mathematics and proves that very sentence. We argue that the argument fails, because it relies on the unjustified and unlikely assumption that the informal Godel sentence is informally provable.}},
  author       = {{Pawlowski, Pawel and Urbaniak, Rafal}},
  issn         = {{0040-5825}},
  journal      = {{THEORIA-A SWEDISH JOURNAL OF PHILOSOPHY}},
  keywords     = {{Lob's theorem,informal provability,incompleteness,dialetheism,REFLECTION PRINCIPLES,PROBABILITY}},
  language     = {{eng}},
  number       = {{2}},
  pages        = {{204--215}},
  title        = {{Informal provability and dialetheism}},
  url          = {{http://doi.org/10.1111/theo.12456}},
  volume       = {{89}},
  year         = {{2023}},
}
Altmetric
View in Altmetric
Web of Science
Times cited: