Repository logo
  • English
  • Italiano
  • Log In
    Have you forgotten your password?
Repository logo
Repository logo
  • Archive
  • Series/Journals
  • EUT
  • Events
  • Statistics
  • English
  • Italiano
  • Log In
    Have you forgotten your password?
  1. Home
  2. EUT Edizioni Università di Trieste
  3. Periodici
  4. Etica & Politica / Ethics & Politics
  5. Etica & Politica / Ethics & Politics (2003) V/1
  6. Human and Machine Logic: a Rejoinder
 
  • Details
  • Metrics
Options

Human and Machine Logic: a Rejoinder

Lucas, John R.
2003
Loading...
Thumbnail Image
ISSN
1825-5167
http://hdl.handle.net/10077/5470
  • Article

Abstract
These two articles are very interesting examples of how Lucas’ argument is not a direct proof but a dialectical argument depending from Mechanists’ first move. Good, starting from the Mentalists’ point of view, underlines that it is useless to argue that any program can be improved because the process for improving it can be programmed; he argues against Mentalism by denying that there are particular mental powers, because otherwise they could be described and so a computer could be programmed to simulate them. The Lucas’ answer is constituted by a starting point’s change: his starting point is indeed the hypothesis that Mechanism is true and so that a complete specification of the mental mechanism of any human being can be given; therefore he argues that, once given, such a specification appears inadequate because it cannot produce as true its Gödelian formula, truth that a human being can see.
Series
Etica & Politica / Ethics & Politics
V (2003) 1
Subjects
  • Gödel, Kurt

  • Good, I. J.

Publisher
EUT Edizioni Università di Trieste
Source
John R. Lucas, "Human and Machine Logic: a Rejoinder", in: Etica & Politica / Ethics & Politics, V (2003) 1
Languages
en
File(s)
Loading...
Thumbnail Image
Download
Name

Lucas3_E&P_V_2003_1.pdf

Format

Adobe PDF

Size

18.38 KB

Indexed by

 Info

Open Access Policy

Share/Save

 Contacts

EUT Edizioni Università di Trieste

OpenstarTs

 Link

Wiki OpenAcces

Archivio Ricerca ArTS

Built with DSpace-CRIS software - Extension maintained and optimized by 4Science

  • Cookie settings
  • Privacy policy
  • End User Agreement
  • Send Feedback