政大機構典藏-National Chengchi University Institutional Repository(NCCUR):Item 140.119/100108
English  |  正體中文  |  简体中文  |  Post-Print筆數 : 27 |  Items with full text/Total items : 109951/140887 (78%)
Visitors : 46272943      Online Users : 1327
RC Version 6.0 © Powered By DSPACE, MIT. Enhanced by NTU Library IR team.
Scope Tips:
  • please add "double quotation mark" for query phrases to get precise results
  • please goto advance search for comprehansive author search
    •  Adv. Search
    Home ‧ Login ‧ Upload ‧ Help ‧ About ‧ Administer Goto mobile version


    Please use this identifier to cite or link to this item: https://nccur.lib.nccu.edu.tw/handle/140.119/100108


    Title: 哥德爾的不完備性定理與心靈是否為機器的論爭
    Authors: 蔡行健
    Tsai, Hsing-Chien
    Keywords: 哥德爾;不完備性;心靈;機器;證明;一致
    Gödel;Incompleteness;Mind;Machine;Proof;Consistency
    Date: 2009-01
    Issue Date: 2016-08-11 15:53:59 (UTC+8)
    Abstract: 哥德爾的不完備性定理是現代邏輯發展過程中所發現的最重要的獨立性結果。在晚近的文獻中常可看到有些學者試圖利用不完備性定理來證明不可能有能夠完整地模擬人類心靈的機器存在，持此立場之較有代表性的學者有盧卡斯 (Lucas)、潘若斯 (Penrose) 以及麥扣 (McCall) 等。這些學者個別的主張雖不盡相同，但都認為: 對任何機器而言，根據不完備性定理，都會有一些數學命題是它所無法證明的，但人類心靈卻可得知其為真。而持反對立場的學者，如弗蘭森 (Franzén)、林德斯仲 (Lindström)、夏皮洛 (Shapiro) 及蓋夫曼 (Gaifman) 等人則分別指出：上述學者的論證不足以保證所宣稱的心靈相對於機器的優勢。在本文中，筆者將審視關於這個議題的主要的正反論證，並釐清牽涉於論爭的幾個重要概念，如「機器」、「證明」以及「一致」等。筆者將指出：限制在不完備性定理的脈絡下，心靈是否為機器這個問題不可能有數學上或邏輯上的明確答案，然而就哲學的觀點而言，機器論者必須承擔較大的舉證責任。
    Gödel’s incompleteness theorems are the most important independent results ever discovered so far in the continuing development of modern logic. Recently in the literature several attempts have been made to use the incompleteness theorems to argue that no machine can fully capture what the human mind can do: for the incompleteness theorems seem to imply that, for any machine, there are always some mathematical propositions which the human mind can know to be true but which machine cannot prove. I shall look into the major arguments, both pro and con, that can be found in the literature and clarify some relevant concepts such as “machine”, “proof” and “consistency”. Then I shall argue that in the vein of the incompleteness theorems there is no answer with mathematical certitude to the mind-machine debate and that much of the philosophical burden of proof will lie with mechanists in this debate.
    Relation: 政治大學哲學學報, 21, 35-84
    The national Chengchi university philosophical
    Data Type: article
    Appears in Collections:[NCCU Philosophical Journal] Articles

    Files in This Item:

    File Description SizeFormat
    21-35-84.pdf661KbAdobe PDF2421View/Open


    All items in 政大典藏 are protected by copyright, with all rights reserved.


    社群 sharing

    著作權政策宣告 Copyright Announcement
    1.本網站之數位內容為國立政治大學所收錄之機構典藏，無償提供學術研究與公眾教育等公益性使用，惟仍請適度，合理使用本網站之內容，以尊重著作權人之權益。商業上之利用，則請先取得著作權人之授權。
    The digital content of this website is part of National Chengchi University Institutional Repository. It provides free access to academic research and public education for non-commercial use. Please utilize it in a proper and reasonable manner and respect the rights of copyright owners. For commercial use, please obtain authorization from the copyright owner in advance.

    2.本網站之製作，已盡力防止侵害著作權人之權益，如仍發現本網站之數位內容有侵害著作權人權益情事者，請權利人通知本網站維護人員(nccur@nccu.edu.tw)，維護人員將立即採取移除該數位著作等補救措施。
    NCCU Institutional Repository is made to protect the interests of copyright owners. If you believe that any material on the website infringes copyright, please contact our staff(nccur@nccu.edu.tw). We will remove the work from the repository and investigate your claim.
    DSpace Software Copyright © 2002-2004  MIT &  Hewlett-Packard  /   Enhanced by   NTU Library IR team Copyright ©   - Feedback