{"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":223,"pdf_page":231,"physical_index":231,"physical_index_base":0,"printed_page_status":"recognized","page_sha256":"c8d899f9a7e3094fbf4cc49c2f834e4ba3dc9287c6fcd10e05a1462dd0704f25"},"chapter":"人工智能哲学","content":"接下来讨论的是，对于记录知识来说，数理逻辑是一种理想的标记法。从某种意义上说，这也是惟一的标记法。我们所使用的标记法，对于使用者和阅读者来说必须是可理解的，所以它必然包含语义学，而且必定是塔尔斯基的语义学，因为别无选择。标记法的句法并不重要，所以我们就采用传统的逻辑标记法，因为我们已经知道怎样把它扩展到我们希望达到的任何程度。根据设想，较新的标记法(例如语义网络)的优点是以混淆和幻想为基础的—有关实现方式与内容的混淆，以及有关我们有时希望标记法具有某种意义的幻想。\n\n关于逻辑在最终写出的程序中起什么作用的设想，有可能被误解。因为我们在开始时说过，知识应当表述出来，所以人们或许会得出这样的结论：我们所构造的公理理论最终会明显地出现在程序中，并伴以某种解读公理的解释程序，以决定该做什么。事实上，这种模型可能实现，也可能实现不了。例如，可能有这种情况：一个并未明显地出现在程序中的传递公理，会体现在某种图形移动器中。逻辑主义的观点是，我们应当暂且(比如说一代人的时间)忽略编程序的繁锁细节，代之以记录人们了解的(或一致地相信的)日常生活。如果我们真的能够提出非形式知识的形式化理论，那么毫不夸张地说，我们就得到了我们期望未来编程者所必备的那种东西。从这一观点来看，为什么逻辑主义者偏爱经典逻辑，而不喜欢较新的标记法，如联想网络，就更加清楚了。人们所说的逻辑与其他标记法之间的差别是，后者通过程序以各种不同的方式对知识进行组织，以供使用，而这正是逻辑主义者不感兴趣的。要知道，他们想要的只是事实，像“液体离开倾斜容器”之类的事实。遗憾的是，这并不是他们偏爱逻辑的惟一原因。在其观点中还隐含着一个前提：有相当大量的思想是演绎的。离开这一前提，如下的看法就缺乏基础：你只管记录人们所知道的内容，而不考虑他们是怎样使用这一知识的。\n\n9 纯粹理性批判\n\n223","previous_page":222,"next_page":224}