“理解”是近年來(lái)國際知識論、科學(xué)哲學(xué)以及人工智能等領(lǐng)域中廣受關(guān)注的議題，然而學(xué)界缺乏從邏輯層面刻畫(huà)“理解”的研究。事實(shí)上，中世紀的知識邏輯工作就已經(jīng)開(kāi)始關(guān)心“理解”的問(wèn)題了，只是現代知識邏輯專(zhuān)注于“知識”與“信念”的推理模式，“理解”近乎被遺忘。本書(shū)從邏輯的視角出發(fā)，試圖刻畫(huà)哲學(xué)討論中“理解”概念的語(yǔ)義以及基本推理形式，以期闡明“理解”與“知道”“相信”等標準認知模態(tài)的區別與聯(lián)系，并希望借助邏輯視角澄清文獻中不同“理解”類(lèi)型的相關(guān)哲學(xué)論點(diǎn)。

魏宇，本科畢業(yè)于東南大學(xué)數學(xué)系，博士畢業(yè)于北京大學(xué)哲學(xué)系邏輯學(xué)專(zhuān)業(yè)，阿姆斯特丹大學(xué)訪(fǎng)問(wèn)學(xué)者?，F為華東師范大學(xué)哲學(xué)系晨暉學(xué)者、助理教授，2022年入選上海市浦江人才計劃。在A(yíng)nnals of Pure and Applied Logic、Erkenntnis、《邏輯學(xué)研究》等期刊發(fā)表論文多篇，主持國家社會(huì )科學(xué)基金青年項目一項。主要研究方向是模態(tài)邏輯及其在哲學(xué)中的應用。

第一章 引言 / 1

1.1研究背景 / 1

1.2研究目標 / 5

1.3研究現狀 / 7

1.4研究貢獻與結構安排 / 14

第二章 “理解”的理論 / 17

2.1 中世紀知識邏輯研究中的“理解” / 17

2.2 “理解”的哲學(xué)理論 / 21

2.3 人工智能研究中的“理解”/ 29

第三章 “理解為何”的邏輯 / 33

3.1 問(wèn)題簡(jiǎn)介 / 33

3.2 初步工作 / 37

3.3 “理解為何”的邏輯構架 / 42

3.4 公理化以及可靠性、完全性證明 / 52

3.5 系統 SUY 的模塊化語(yǔ)義 / 63

3.6 “理解為何”的概念譜系 / 70

3.7 結語(yǔ)以及未來(lái)工作 / 96

第四章 “理解現象”的邏輯 / 98

4.1 問(wèn)題簡(jiǎn)介 / 98

4.2 “理解現象”的邏輯架構 / 107

4.3 公理化 / 116

4.4 從模態(tài)邏輯到 SOSU 的嵌入 / 122

4.5 完全性與可判定性 / 125

4.6 討論以及與相關(guān)邏輯的比較 /135

4.7 結語(yǔ)以及未來(lái)工作 / 144

第五章 比較與展望 / 146

5.1 比較“理解為何”的邏輯與“理解現象”的邏輯 / 146

5.2 理解語(yǔ)言 / 152

第六章 總結 / 163

參考文獻 / 167

后 記/ 179

在知識論、科學(xué)哲學(xué)和人工智能領(lǐng)域，“理解”的重要性日益凸顯，但學(xué)術(shù)界對其邏輯層面的研究卻相對匱乏。本書(shū)突破傳統，深入探討了“理解”的邏輯結構和語(yǔ)義，旨在揭示其與“知道”和“相信”等認知狀態(tài)的微妙聯(lián)系。作者不僅追溯了中世紀知識邏輯對“理解”的早期關(guān)注，還批判性地分析了現代知識邏輯的局限性。通過(guò)邏輯工具，本書(shū)為讀者提供了一個(gè)全新的視角，以澄清和理解不同哲學(xué)文獻中關(guān)于“理解”的論點(diǎn)，是對該領(lǐng)域研究的一次重要補充和深化。