国产又爽又黄又紧无遮挡_国产精品成人无码a无码_国产亚洲日韩a欧美在线人_色婷婷AV一区二在线观看_美女粉嫩极品国产高潮无套在线

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

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

第一章 引言 / 1

1.1研究背景 / 1

1.2研究目標 / 5

1.3研究現(xiàn)狀 / 7

1.4研究貢獻與結(jié)構(gòu)安排 / 14

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

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

2.2 “理解”的哲學理論 / 21

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

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

3.1 問題簡介 / 33

3.2 初步工作 / 37

3.3 “理解為何”的邏輯構(gòu)架 / 42

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

3.5 系統(tǒng) SUY 的模塊化語義 / 63

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

3.7 結(jié)語以及未來工作 / 96

第四章 “理解現(xiàn)象”的邏輯 / 98

4.1 問題簡介 / 98

4.2 “理解現(xiàn)象”的邏輯架構(gòu) / 107

4.3 公理化 / 116

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

4.5 完全性與可判定性 / 125

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

4.7 結(jié)語以及未來工作 / 144

第五章 比較與展望 / 146

5.1 比較“理解為何”的邏輯與“理解現(xiàn)象”的邏輯 / 146

5.2 理解語言 / 152

第六章 總結(jié) / 163

參考文獻 / 167

后 記/ 179

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