Informal provability and dialetheism
Bibliographic Data
| ID | 20143745 |
|---|---|
| Authors | Pawel Pawlowski (0000-0002-4993-6454, Institute of Philosophy University of Gdansk Gdansk Poland, corresponding author), Rafal Urbaniak (0000-0002-6321-2866, Institute of Philosophy University of Gdansk Gdansk Poland) |
| Year | 2023 |
| Volume | 89 |
| Issue | 2 |
| Pages | 204-215 |
| Publication date | 2023-04-01 |
| Open Access | Yes |
| Type | ARTICLE |
| Venue | Theoria (JOURNAL) |
| Journal identifiers | ISSN: 0040-5825 • E-ISSN: 1755-2567 |
| Publisher | Wiley (PUBLISHER • GB) |
| DOI | 10.1111/theo.12456 |
| OpenAlex | W4320728974 |
| Language | EN |
| References cited | 30 |
According to the dialetheist argument from the inconsistency of informal mathematics, the informal version of the Gödelian 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 Gödel sentence is informally provable
Argument (complex analysis) · Calculus (dental) · Contradiction · Epistemology · Informal logic · Linguistics · Mathematical economics · Sentence · Computability, Logic, AI Algorithms · Mathematics · Philosophy · Philosophy and History of Science · Philosophy and Theoretical Science
| Highly cited | No |
|---|