OpenstarTs >
EUT-Periodici >
Etica & Politica / Ethics & Politics >
Etica & Politica / Ethics & Politics (2003) V/1 >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10077/5478

Title: The Implications of Gödel's Theorem
Authors: Lucas, John R.
Keywords: mechanism
Gödel, Kurt
Issue Date: 2003
Publisher: EUT Edizioni Università di Trieste
Citation: J.R. Lucas, "The Implications of Gödel's Theorem", in: Etica & Politica / Ethics & Politics, V (2003) 1
Series/Report no.: Etica & Politica / Ethics & Politics
V (2003) 1
Abstract: After a brief and informal explanation of the Gödel’s theorem as a version of the Epimenides’ paradox applied to Elementary Number Theory formulated in first-order logic, Lucas shows some of the most relevant consequences of this theorem, such as the impossibility to define truth in terms of provability and so the failure of Verificationist and Intuitionist arguments. He shows moreover how Gödel’s theorem proves that first-order arithmetic admits non-standard models, that Hilbert’s programme is untenable and that second-order logic is not mechanical. There are furthermore some more general consequences: the difference between being reasonable and following a rule and the possibility that one man’s insight differs from another’s without being wrong. Finally some consequences concerning moral and political philosophy can arise from Gödel’s theorem, because it suggests that – instead of some fundamental principle from which all else follows deductively – we can seek for different arguments in different situations.
URI: http://hdl.handle.net/10077/5478
ISSN: 1825-5167
Appears in Collections:Etica & Politica / Ethics & Politics (2003) V/1

Files in This Item:

File Description SizeFormat
Lucas8_E&P_V_2003_1.pdf47.37 kBAdobe PDFView/Open
View Statistics

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.