著者

宇野 光範

出版者

香川高等専門学校

雑誌

高松工業高等専門学校研究紀要 (ISSN:03899268)

巻号頁・発行日

vol.44, pp.19-35, 2009-03

---

Arguments on minds and machines using G?del's incompleteness results are reexamined. Starting with the so-called naive criticisms against mechanism, Benacerraf's argument is analyzed by especially making a closer attention to the assumptions of his argument. Then, Crispin Wright's argument is discussed, where he attempts to overcome a certain consistency problem through the aid of intuitionist logic. Finally, it is shown that Wright's conclusion wouldn't follow, that his argument should be taken as a half of the argument from a larger perspective, in which the other half, if completed, seems to be consistent with mechanism.