本文選題：哲學(xué)學(xué)院 + 形式系統(tǒng)　； 參考：《自然辯證法研究》2017年07期

【摘要】：正北京師范大學(xué)哲學(xué)學(xué)院李建會(huì)教授主持的國(guó)家社科基金的結(jié)項(xiàng)成果《計(jì)算主義及其理論難題研究》2016年由中國(guó)社會(huì)科學(xué)出版社出版。本書的主要內(nèi)容包括八個(gè)部分:第一部分是追蹤計(jì)算主義理論的思想根源、產(chǎn)生過(guò)程和發(fā)展的主要階段。第二部分概括和分析了計(jì)算主義所面臨的挑戰(zhàn)。第三部分分析了計(jì)算主義所面對(duì)的形式系統(tǒng)難題的典型表現(xiàn),即基于哥德爾不完全性定理的挑戰(zhàn)。第四部分分析了計(jì)算主義中意義獲取難題的典型表現(xiàn),即來(lái)自塞爾"中文屋"論證的挑戰(zhàn)。第五部分主要內(nèi)容是對(duì)計(jì)算主義中心難題解
[Abstract]:Li Jianhui, Professor, School of philosophy, Beijing normal University. A study on Computational and theoretical problems of the National Social Science Foundation. Published by China Social Sciences Press in 2016. The main content of this book consists of eight parts: the first part is to trace the ideological origin, the process and the main stages of the development of computational theory. The second part summarizes and analyzes the challenges faced by computations. In the third part, we analyze the typical representation of formal system problems faced by computations, that is, the challenge based on Godel's incompleteness theorem. The fourth part analyzes the typical representation of the meaning acquisition problem in computations, namely the challenge from the argumentation of Searle's "Chinese House". The fifth part is to solve the central problem of computations.
【分類號(hào)】：N02-5

【相似文獻(xiàn)】

相關(guān)期刊論文 前1條

1 ;中英暑期哲學(xué)學(xué)院第四期招生《現(xiàn)代認(rèn)識(shí)論》(1993年7月19日-8月6日)[J];自然辯證法通訊;1993年02期

，

本文編號(hào)：2048284