Self-reference and incompleteness in a non-monotonic setting

DOI10.1007/BF01048689MaRDI QIDQ1332147zbMATH OpenFDO

Authors Timothy McCarthy

Publication date 1994

Published in Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

nonmonotonic reasoning[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=analogues+of+G%EF%BF%BD%EF%BF%BDdel%27s+first+incompleteness+theorem&go=Go analogues of G��del's first incompleteness theorem]

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) Philosophy of mathematics (00A30) Decidability of theories and sets of sentences (03B25) First-order arithmetic and fragments (03F30)

Recommendations

• A direct proof of Gödel's incompleteness theorems
• scientific article; zbMATH DE number 1749189
• Gödel incompleteness theorems and the limits of their applicability. I
• scientific article; zbMATH DE number 5037238

Cites work

• scientific article; zbMATH DE number 3991464 (Why is no real title available?)
• scientific article; zbMATH DE number 3485695 (Why is no real title available?)
• scientific article; zbMATH DE number 3635994 (Why is no real title available?)
• scientific article; zbMATH DE number 3105938 (Why is no real title available?)
• Believing the axioms. I
• Experimental logics and ^0_2-theories
• Trial and error predicates and the solution to a problem of Mostowski

Cited in

(17)

• Heterologicality and imcompleteness
• An implication of Gödel's incompleteness theorem. II: Not referring to the validity of oneself's assertion
• Finite mimicry of Gödel's incompleteness theorem
• Rebuttal to the review of my paper ``An implication of Gödel's incompleteness theorem appeared in Zentralblatt für Mathematik
• Program self-reference in constructive Scott subdomains
• Gödel's first theorem
• Self-reference and the Languages of Arithmetic
• scientific article; zbMATH DE number 4006256 (Why is no real title available?)
• Infinitary self-reference in learning theory
• Self-verifying axiom systems, the incompleteness theorem and related reflection principles
• scientific article; zbMATH DE number 799322 (Why is no real title available?)
• An implication of G\"odel's incompleteness theorem
• Self-monitoring machines and an \(\omega^ \omega\) hierarchy of loops
• The Gödelian foundations of self-reference, the liar and incompleteness: arms race in complex strategic innovation
• Gödel's incompleteness phenomenon -- computationally
• A demonstration of the incompleteness of calculi of inductive inference
• Reference in arithmetic

This page was built for publication: Self-reference and incompleteness in a non-monotonic setting

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1332147)