Consistency, mechanicalness, and the logic of the mind

DOI10.1007/BF00485195zbMath0752.03002MaRDI QIDQ1187223

Qiuen Yu

Publication date: 28 June 1992

Published in: Synthese (Search for Journal in Brave)

zbMATH Keywords

mindGödel's first incompleteness theoremPriestLucasambiguity between two notions of proof

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Related Items (2)

Yu and your mind ⋮ Further explanations of the Gödel scenario of the mind -- a reply to Prof. Graham Priest

Cites Work

• Priest, the Liar, and Gödel
• Logic of paradox revisited
• Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra. 2nd printing
• Mechanism, mentalism, and metamathematics. An essay on finitism
• The logic of paradox
• Second Thoughts about Church's Thesis and Mathematical Proofs
• Logic and Limits of Knowledge and Truth
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Consistency, mechanicalness, and the logic of the mind