Opis

• Tytuł:
  A Note on Gödel, Priest and Naïve Proof
• Twórca:
  Carrara, Massimiliano;
  Martino, Enrico
• Opis:
  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.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa:
  Prawa autorskie (c) 2020 Logic and Logical Philosophy
• Data:
  2020.10.15
• Typ:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Język:
  angielski
• Źródło:
  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
• Wydawca:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relacja: https://apcz.umk.pl/LLP/article/view/LLP.2020.017/26807
• Temat i słowa kluczowe:
  incompleteness;
  standard model;
  naïve proof;
  dialetheia;
  liar paradox;
  Curry’s paradox
• Identyfikator: https://apcz.umk.pl/LLP/article/view/LLP.2020.017
• Dostawca danych:
  Akademicka Platforma Czasopism
• Czy mogę z tego obiektu skorzystać?:
  poproś o pozwolenie
• Rodzaj zawartości:
  teksty