国产国产人免费人成免费,在线播放午夜无码毛片

內容簡介

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

作者簡介

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

圖書目錄

第一章引言 / 1
1.1研究背景 / 1
1.2研究目標 / 5
1.3研究現(xiàn)狀 / 7
1.4研究貢獻與結構安排 / 14
第二章 “理解”的理論 / 17
2.1 中世紀知識邏輯研究中的“理解” / 17
2.2 “理解”的哲學理論 / 21
2.3 人工智能研究中的“理解”/ 29
第三章 “理解為何”的邏輯 / 33
3.1 問題簡介 / 33
3.2 初步工作 / 37
3.3 “理解為何”的邏輯構架 / 42
3.4 公理化以及可靠性、完全性證明 / 52
3.5 系統(tǒng) SUY 的模塊化語義 / 63
3.6 “理解為何”的概念譜系 / 70
3.7 結語以及未來工作 / 96
第四章 “理解現(xiàn)象”的邏輯 / 98
4.1 問題簡介 / 98
4.2 “理解現(xiàn)象”的邏輯架構 / 107
4.3 公理化 / 116
4.4 從模態(tài)邏輯到 SOSU 的嵌入 / 122
4.5 完全性與可判定性 / 125
4.6 討論以及與相關邏輯的比較 /135
4.7 結語以及未來工作 / 144
第五章比較與展望 / 146
5.1 比較“理解為何”的邏輯與“理解現(xiàn)象”的邏輯 / 146
5.2 理解語言 / 152
第六章總結 / 163
參考文獻 / 167
后記/ 179