{"resolved":true,"match_type":"uuid","source_type":"original_book","book_id":"cf76bc49-7e9b-4f42-bee8-3050a9fb9feb","title":"智慧的疆界 从图灵机到人工智能","author":null,"edition":null,"publisher":null,"year":null,"isbn":"9787111778004","requested_by":"printed_page","book":{"source_type":"original_book","book_id":"cf76bc49-7e9b-4f42-bee8-3050a9fb9feb","id":"cf76bc49-7e9b-4f42-bee8-3050a9fb9feb","uuid":"cf76bc49-7e9b-4f42-bee8-3050a9fb9feb","title":"智慧的疆界 从图灵机到人工智能","normalized_title":"智慧的疆界从图灵机到人工智能","author":null,"edition":null,"publisher":null,"year":null,"isbn":"9787111778004","isbns":["9787111778004","9787111695714"],"parsed":true,"ai_readable":true,"document_type":"book","page_count":456,"navigation_url":"https://workshop.closeclaw.top/ai/book/cf76bc49-7e9b-4f42-bee8-3050a9fb9feb","title_url":"https://workshop.closeclaw.top/ai/title/%E6%99%BA%E6%85%A7%E7%9A%84%E7%96%86%E7%95%8C%20%E4%BB%8E%E5%9B%BE%E7%81%B5%E6%9C%BA%E5%88%B0%E4%BA%BA%E5%B7%A5%E6%99%BA%E8%83%BD","fixed_page_url_template":"https://workshop.closeclaw.top/ai/book/cf76bc49-7e9b-4f42-bee8-3050a9fb9feb/page/{printed_page}","path_api_url_template":"https://workshop.closeclaw.top/api/ai/book/cf76bc49-7e9b-4f42-bee8-3050a9fb9feb/page/{printed_page}","read_url":"https://workshop.closeclaw.top/api/ai/read/cf76bc49-7e9b-4f42-bee8-3050a9fb9feb","page_url":"https://workshop.closeclaw.top/api/ai/books/cf76bc49-7e9b-4f42-bee8-3050a9fb9feb/page","search_url":"https://workshop.closeclaw.top/api/ai/books/cf76bc49-7e9b-4f42-bee8-3050a9fb9feb/search"},"page":{"printed_page":69,"pdf_page":84,"physical_index":84,"physical_index_base":0,"printed_page_status":"recognized","page_sha256":"79f618d04c245320902ae0c2a6c621236a6cd319e0ef06a28b645550379d43f3"},"chapter":"内容简介","content":"这个例子里，三句话的每一句都被称为一个“命题”（Proposition），其中最后一句是“结论”（Conclusion），前两句分别是这个结论成立的大、小“前提”（Premise），三段论就是从前提到结论的演绎推理。\n\n如果将命题作为逻辑分析的最小单位，研究形式是“如果前提p 成立，那么结论 q 成立”“如果前提p 并且 q 成立，那么结论 s 不成立”这类关注点在命题间关系上的逻辑，就称为“命题逻辑”（Propositional Logic）。\n\n如果把逻辑分析的对象进一步细化，对单个命题再做分解，按语言学关系拆分出其中的主项、谓项、联项和量项，去研究形如“所有 S都是 P”“有些 S不是 P”“a（S中的某一个）是 P”（特别地，如这里列举的“判断事物是否具有某种属性”的命题称为“直言命题”）这类关注点在命题词项之间关系上的逻辑，就称为“词项逻辑”（Lexical Logic）。\n\n因为传统上使用的亚氏三段论的前提都是直言命题，所以也称为直言三段论。三段论推理看起来简单，但生活中以此为指导的例子无所不在，例如曾有一段时间引起公众哗然的王健林提出的“一个亿的小目标”，我们就可以用三段论来分析一下：\n\n对中国首富来说赚一个亿是个小目标；\n\n王健林是中国首富；\n\n王健林赚一个亿是小目标。\n\n这个三段论的推理形式没有问题，结论“赚一个亿是小目标”对王健林确实是成立的，但是这个推理的小前提“ S是中国首富”对王健林之外的其他人不成立，因此大家觉得“一个亿小目标”对公众来说并不合理。\n\n到这里为止的逻辑学，即亚里士多德建立的词项逻辑系统，在今天被称为“传统逻辑”。经过“斯多葛学派”（Stoicism）的学者，特别是亚里士多德的学生泰奥弗拉斯（Theophrastus，公元前 370—公元前 285）的补全，补充了针对一般命题的五个推理形式和排中律之后，传统逻辑持续统治了逻辑学长达 2000年之久，人们一度认为词项逻辑就是逻辑学的全部内容。17 世纪的著名哲学家伊曼努尔·康德（Immanuel Kant，1724—1804）曾断言：“逻辑学在亚里士多德之后就已完善到一步也不能前进的程度了。”但康德下完这个结论之后还不到 100 年，逻辑学就发生了自其诞生 2000 多年以来最大的变革，变革的一项重要成果是产生了一种全新的逻辑形式—谓词逻辑（Predicate Logic）。\n\n第 3 章 符号主义学派\n\n69","previous_page":68,"next_page":70}