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 | 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 | Size | Format | |
---|---|---|---|---|
Lucas8_E&P_V_2003_1.pdf | 47.37 kB | Adobe PDF | ![]() View/Open |
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.