A Note on Gödel, Priest and Naïve Proof

Download Edit this record How to cite View on PhilPapers
In the 1951 Gibbs lecture, Gödel asserted his famous dichotomy, where the notion of informal proof is at work. G. Priest developed an argument, grounded on the notion of naïve proof, to the effect that Gödel’s first incompleteness theorem suggests the presence of dialetheias. In this paper, we adopt a plausible ideal notion of naïve proof, in agreement with Gödel’s conception, superseding the criticisms against the usual notion of naïve proof used by real working mathematicians. We explore the connection between Gödel’s theorem and naïve proof so understood, both from a classical and a dialetheic perspective.
(categorize this paper)
PhilPapers/Archive ID
Upload history
First archival date: 2020-10-15
Latest version: 2 (2020-10-15)
View other versions
Added to PP index

Total views
24 ( #51,558 of 53,569 )

Recent downloads (6 months)
24 ( #27,178 of 53,569 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.