{"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":195,"pdf_page":203,"physical_index":203,"physical_index_base":0,"printed_page_status":"recognized","page_sha256":"472d5fc6077e2ab2d4c278901ea55b30e7b043a469a6bbf10b4c61f0e1ae84bc"},"chapter":"人工智能哲学","content":"另一方面，也确实有许多公理化模型不包含实在的物理对象，但是在这些模型中，标志指称的可能是整数或其他符号。事实上，任何一阶公理化，只要它具有任何一个模型(也就是说它是无矛盾的)，那么它就具有一个只有符号存在的模型—这是“赫伯兰德解释”，在这解释中，我们令标志指称它们自己。这样，塔尔斯基的模型理论并不保证公理化同任何特定的世界“有关”。常常会出现一致的看法：只有形式化符号本身才是存在的。1这或许可以称为“唯我论”解释：不承认外部世界的存在，同时却有一个关于它的周详理论。\n\n由此可知任何公理化都有多个(常常是无穷多个)模型，我们不能仅仅举出其中一个与真实有些相似的模型，就证明该公理化是一个恰当的描述。因为该公理化可能还有一个比它简单得多的模型。如果公理化有这样一个比较简单的模型，那么出现在公理化中的标志的含义，就不多于它在这一简单模型中的含义。这正是我所说的“精确性”。比如说，积木世界的低精度的形式化所接纳的模型比预期的要简单得多。例如这样的模型：其中的“积木”是整数，“在上方”意味着大于，等等；或者是这种模型：其中的“积木”是离散的二维空间中的一些点，或者其他什么模型。一个积木世界的恰当的形式化，即一个高精度的形式化，应该是这样的：它的任一模型都必须有一个本质上是三维的结构。因此，SHRDLU的积木世界公理化(Winograd 1972)采用了三维笛卡尔坐标。(找到一个有用的、但定量性较少的描述三维结构的方式，是很有意义的。例如，一个刚性连件需要三个接触点：两条腿的\n\n8 朴素物理学宣言\n\n[1] 虽然通常的一阶逻辑的形式化不能表达这种信念，但是至少在一个外延中是可以表达的，它的否定形式——存在着某些不是符号的东西，同样能得到表达。\n\n195","previous_page":194,"next_page":196}