Description

• Title:
  A Note on Gödel, Priest and Naïve Proof
• Creator:
  Carrara, Massimiliano;
  Martino, Enrico
• Description:
  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.
• Object availability:
  free access
• Rights:
  Prawa autorskie (c) 2020 Logic and Logical Philosophy
• Date:
  2020.10.15
• Type:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Language:
  English
• Source:
  Logic and Logical Philosophy; Vol. 30 No. 1 (2021): March; 79-96;
  Logic and Logical Philosophy; Tom 30 Nr 1 (2021): marzec; 79-96;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Publisher:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relation: https://apcz.umk.pl/LLP/article/view/LLP.2020.017/26807
• Subject:
  incompleteness;
  standard model;
  naïve proof;
  dialetheia;
  liar paradox;
  Curry’s paradox
• Identifier: https://apcz.umk.pl/LLP/article/view/LLP.2020.017
• Data provider:
  Akademicka Platforma Czasopism
• Can I use it?:
  seek permission
• Type:
  text