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: mechanismGödel, Kurt
Issue Date: 2003
Publisher: EUT Edizioni Università di Trieste
Source: 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.
Type: Article
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 PDFThumbnail
View/Open
Show full item record


CORE Recommender

Page view(s) 10

1,173
checked on Jun 29, 2022

Download(s) 50

527
checked on Jun 29, 2022

Google ScholarTM

Check


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