掃一掃
關注中圖網
官方微博
>
基于力結構更新的祈使句語義和推理理論
本類五星書更多>
-
>
貨幣大歷史:金融霸權與大國興衰六百年
-
>
(精)方力鈞作品圖錄
-
>
《藏書報》2021合訂本
-
>
(精)中國當代書畫名家作品集·范碩:書法卷+繪畫卷(全2卷)
-
>
(噴繪樓閣版)女主臨朝:武則天的權力之路
-
>
書里掉出來一只狼+狼的故事-全2冊
-
>
奇思妙想創意玩具書(精裝4冊)
基于力結構更新的祈使句語義和推理理論 版權信息
- ISBN：9787522747637
- 條形碼：9787522747637 ; 978-7-5227-4763-7
- 裝幀：暫無
- 冊數：暫無
- 重量：暫無
- 所屬分類：
基于力結構更新的祈使句語義和推理理論 內容簡介
本書的主要內容是基于更新框架來構造祈使句的形式語義，給出有效性概念，刻畫涉及到祈使句的有效推理形式。力結構描述了主體所受祈使力的狀態。力結構對應自由選擇，其是主體完成力結構的方式。祈使句對應力結構。說一個祈使句的結果是之前的力結構與這個祈使句對應的力結構的合并，除非這兩個力結構不相容。一個力結構接受一個祈使句當且僅當用這個祈使句更新這個力結構不會改變其自由選擇。一個推理是有效的當且僅當其前提更新極小力狀態的結果接受其結論。祈使句沒有真值。存在一些在經典邏輯下有效但直觀上并非有效的祈使句推理。因此，傳統的邏輯后承理論對于祈使句推理來說并不直接適用。什么是祈使句推理的有效性概念并不是一個很容易回答的問題。本書針對祈使句推理，提出了一種新的邏輯后承理論。
書友推薦
- >
史學評論
- >
我與地壇
- >
新文學天穹兩巨星--魯迅與胡適/紅燭學術叢書(紅燭學術叢書)
- >
朝聞道
- >
唐代進士錄
- >
自卑與超越
- >
人文閱讀與收藏·良友文學叢書:一天的工作
- >
李白與唐代文化
本類暢銷
