欧美福利大片二区_97视频久久人人_中文字幕av无码免费一区_午夜一级毛片福利视频

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

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

第一章 引言 / 1

1.1研究背景 / 1

1.2研究目標(biāo) / 5

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

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

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

2.1 中世紀(jì)知識(shí)邏輯研究中的“理解” / 17

2.2 “理解”的哲學(xué)理論 / 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

參考文獻(xiàn) / 167

后 記/ 179

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