內容簡介
現代邏輯自誕生起就與語言有著密切的聯繫。盡管蒙塔古的範疇語法理論引起了語言邏輯的一次革命,但對自然語言內涵性的形式刻畫仍然沒有得到很好的解決。本書運用範疇論、代數語義和博弈語義對該問題進行了探索:首先,介紹了範疇論的基本概念和基於範疇論的邏輯語義。運用範疇論語義對內涵推理進行了刻畫;其次,通過引入語境和語境同義性思想,給出了若干超內涵邏輯,並針對範疇語法較為靈活的語言給出了一種極小內涵邏輯;最後,本書通過引入多主體和隨機行動的概念,發展了博弈語義。
|
|
首頁 | 電影 | 連續劇 | 音樂 | 圖書 | 女裝 | 男裝 | 童裝 | 內衣 | 百貨家居 | 包包 | 女鞋 | 男鞋 | 童鞋 | 計算機周邊 |
![]() | |||
|