亦稱“自然語言邏輯”、“日常語言邏輯”或“自然邏輯”。一般認(rèn)為是運用邏輯工具(包括一階邏輯、模態(tài)邏輯、時間邏輯以及內(nèi)涵類型論等)研究自然語言的語形句法、語義和語用諸方面特征的邏輯分支。當(dāng)今歐美盛行的形式語義 (本文共 1045 字 ) [閱讀本文] >>
海量資源,盡在掌握
 亦稱“自然語言邏輯”、“日常語言邏輯”或“自然邏輯”。一般認(rèn)為是運用邏輯工具(包括一階邏輯、模態(tài)邏輯、時間邏輯以及內(nèi)涵類型論等)研究自然語言的語形句法、語義和語用諸方面特征的邏輯分支。當(dāng)今歐美盛行的形式語義 (本文共 1045 字 ) [閱讀本文] >>