{"resolved":true,"match_type":"uuid","source_type":"original_book","book_id":"7f418071-0fdc-4a5a-a4c5-82dd1979d9c2","title":"人工智能哲学","author":null,"edition":null,"publisher":null,"year":null,"isbn":"7532740544","requested_by":"printed_page","book":{"source_type":"original_book","book_id":"7f418071-0fdc-4a5a-a4c5-82dd1979d9c2","id":"7f418071-0fdc-4a5a-a4c5-82dd1979d9c2","uuid":"7f418071-0fdc-4a5a-a4c5-82dd1979d9c2","title":"人工智能哲学","normalized_title":"人工智能哲学","author":null,"edition":null,"publisher":null,"year":null,"isbn":"7532740544","isbns":["7532740544"],"parsed":true,"ai_readable":true,"document_type":"book","page_count":501,"navigation_url":"https://workshop.closeclaw.top/ai/book/7f418071-0fdc-4a5a-a4c5-82dd1979d9c2","title_url":"https://workshop.closeclaw.top/ai/title/%E4%BA%BA%E5%B7%A5%E6%99%BA%E8%83%BD%E5%93%B2%E5%AD%A6","fixed_page_url_template":"https://workshop.closeclaw.top/ai/book/7f418071-0fdc-4a5a-a4c5-82dd1979d9c2/page/{printed_page}","path_api_url_template":"https://workshop.closeclaw.top/api/ai/book/7f418071-0fdc-4a5a-a4c5-82dd1979d9c2/page/{printed_page}","read_url":"https://workshop.closeclaw.top/api/ai/read/7f418071-0fdc-4a5a-a4c5-82dd1979d9c2","page_url":"https://workshop.closeclaw.top/api/ai/books/7f418071-0fdc-4a5a-a4c5-82dd1979d9c2/page","search_url":"https://workshop.closeclaw.top/api/ai/books/7f418071-0fdc-4a5a-a4c5-82dd1979d9c2/search"},"page":{"printed_page":120,"pdf_page":128,"physical_index":128,"physical_index_base":0,"printed_page_status":"recognized","page_sha256":"048b74161ecc3f64b9ae6a78ece4a18bb2dfd84353fd8249caa8bfa46b0a422f"},"chapter":"人工智能哲学","content":"物理符号系统假设显然是一个定性结构定律，它规定了系统的一般类别，在这些系统中我们会看到那些具有智能行动能力的系统。\n\n这是一个经验假设。我们已定义了一个系统类别，还希望了解这个类别的系统是否说明了我们在现实世界中看到的一组现象。在我们周围的生物界中，主要是在人类行为中，智能行动随处可见。它是一种行为形式，我们可以根据其结果识别它是否是由人类完成的。该假设的确可能有误。智能行为并非这么容易产生，以至于任何系统不管其愿意不愿意都会表现出这种行为。有些人经过分析，确定能以哲学或科学为根据得出这一假设为误的结论。而科学的态度是，只有拿出关于自然界的经验证据，我们才能攻击这一假设，或为它作出辩护。\n\n现在我们需要回顾一下这一假设的形成过程，并看一看它的证据。\n\n符号系统假设的形成\n\n物理符号系统是通用机的一个例子。所以符号系统假设就意味着智能将由一台通用的计算机来实现。然而这一假设远远超出了通常在物理决定论的一般基础上得出的论点：任何可实现的计算，只要得到详细说明，就可以由通用机来实现。由于它明确地断言智能机器是一个符号系统，所以它以特定的构造方式断言了智能系统的性质。了解这一新增的特性是如何出现的，十分重要。\n\n形式逻辑该假设的起源要追溯到弗雷格、怀特海和罗素就形式化逻辑提出的方案：以逻辑方式获取基本的概念式数学观念，把证明和演绎观念置于可靠的根基上。这种努力在数理逻辑中达到了顶点，这就是我们所熟悉的命题逻辑，一阶和高阶逻辑。它形成了一种独特的观点，常常被称为“符号游戏”。逻辑，也包括所有数学，是根据特定的纯句法规则，用无意义的标记所做的一场游戏。所有的意义都被清除了。我们具有的是一个机械系统，尽管是非强制性的(我们现在也称之为非决定论的)，而有关这一系统的种种事情都可加以证明。这样的成功首先是通过一步步远离所有看来与意义和人类的符号相关的东西而取得的。我们可以把这一阶段称为形式符号处理阶段。\n\n人工智能哲学\n\n120","previous_page":119,"next_page":121}