本文選題：心靈 + 計算��； 參考：《華東師范大學》2017年碩士論文

【摘要】：當今主流的認知科學對人的思維或心靈的理解是一種計算-表征的方式。經(jīng)典的心靈哲學理論對計算-表征模式的理解是強調(diào)計算和表征的獨立性,它對計算的理解或觀念被稱為計算形式觀,即計算過程或計算操作對被操作項的語義性質(zhì)不敏感,而僅僅敏感于其形式性質(zhì)或句法性質(zhì)。如果我們接受心理過程是計算過程,計算是形式的,那么計算形式觀的理論后果是:心理過程對心理表征的語義性質(zhì)不敏感,而僅僅敏感于其形式性質(zhì)。從奎因開始哲學家就試圖論證意向性或心理表征的內(nèi)容在嚴肅的科學討論中不扮演任何角色。現(xiàn)在越來越多的哲學家開始反對這樣一種對表征-計算模式的理解,反對計算和表征的獨立性。主要的動機是:(1)對上述計算形式觀的理論后果不滿;(2)常識心理學認為,心理內(nèi)容與心理過程因果相關;(3)當今科學心理學認為心理內(nèi)容與心理過程解釋相關。越來越多的哲學家開始辯護另一種對計算的理解,即計算語義觀——計算過程或計算操作不僅對計算的形式性質(zhì)敏感,而且對計算的語義性質(zhì)敏感。本文試圖辯護一種"標準計算形式觀"。首先,由于傳統(tǒng)的計算形式觀的理論表述不一、表達暖昧,本文將對計算形式觀進行嚴格描述,稱該描述為"標準計算形式觀"。標準計算形式觀將滿足兩個條件:"句法規(guī)則"和"自由條件"。其次,本文試圖說明計算語義觀者對計算形式觀的反駁實質(zhì)上對"句法規(guī)則"或"自由條件"的反駁,在此基礎上論證這兩種反駁分別都是不成立的。并且,如果舍棄"句法規(guī)則"或"自由條件",計算語義觀的理論將很難處理所謂的"數(shù)學問題"。然后,本文考察一種新近的、基于認知科學實踐的計算語義觀理論,它似乎可以解決"數(shù)學問題",成為有希望的替代理論。但是,本文將論證這種計算語義觀無法規(guī)避"小矮人謬誤"。最后,本文指出,雖然標準計算形式觀的理論無法解決"協(xié)調(diào)問題",并且,與奎因等哲學家的認識相反,當前認知科學和科學心理學的實踐偏向于計算語義觀的立場,但是,正如文中分析,計算語義觀距離成為一種成熟的哲學理論還面臨著諸多困難。本文站在計算形式觀的立場上。
[Abstract]:The understanding of human mind or mind by mainstream cognitive science is a computational-representation method. The classical philosophical theory of mind emphasizes the independence of computation and representation, and its understanding or concept of computation is called the concept of computational form, that is, the process or operation of calculation is insensitive to the semantic nature of the term being manipulated. Only sensitive to its formal or syntactic nature. If we accept that psychological process is computational process and calculation is formal, the theoretical consequence of computational formal view is that psychological process is not sensitive to the semantic nature of psychological representation, but only sensitive to its formal nature. Since Quinn, philosophers have tried to argue that intentionality or psychological representation does not play any role in serious scientific discussions. Now more and more philosophers are opposed to the understanding of representational-computing model and the independence of computation and representation. The main motivation is: (1) dissatisfied with the theoretical consequences of the above concept of computational form. (2) Common sense psychology holds that psychological content is related to psychological process causality (3) nowadays scientific psychology thinks that psychological content is related to psychological process interpretation. More and more philosophers begin to defend another kind of understanding of computation, that is, computational semantic view-the process or operation of computation is not only sensitive to the formal nature of computation, but also sensitive to the semantic nature of computation. This paper attempts to defend a "standard form of calculation". First of all, due to the different theoretical expression of the traditional concept of computational form, this paper will describe the concept of computational form strictly and call it "the standard view of computational form". Standard computational formalism will satisfy two conditions: syntactic rules and free conditions. Secondly, this paper attempts to explain the refutation of the computational semantic viewer's view of computational form to the "syntactic rules" or "free conditions" in essence. On this basis, it is proved that the two kinds of refutation are respectively untenable. Moreover, if we abandon the syntactic rules or free conditions, the theory of computational semantics will be difficult to deal with the so-called "mathematical problems". Then, this paper examines a new computational semantic theory based on the practice of cognitive science, which seems to solve "mathematical problems" and become a promising alternative theory. However, this paper will demonstrate that this view of computational semantics cannot avoid the "dwarf fallacy". Finally, this paper points out that although the theory of standard computational form can not solve the "coordination problem", and contrary to the understanding of Quinn and other philosophers, the current practice of cognitive science and scientific psychology is biased towards the standpoint of computational semantics. As analyzed in this paper, it is difficult to calculate the distance of semantic view as a mature philosophical theory. This paper stands on the viewpoint of computational form.
【學位授予單位】：華東師范大學
【學位級別】：碩士
【學位授予年份】：2017
【分類號】：N02
，

本文編號：1898435