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