免费人妻中文不卡无码_日本精品爽爽van在线_久久精品国产99久久丝袜蜜桃_女强人被春药精油按摩bd电影

本書的主要內(nèi)容是基于更新框架來構(gòu)造祈使句的形式語義，給出有效性概念，刻畫涉及到祈使句的有效推理形式。 力結(jié)構(gòu)描述了主體所受祈使力的狀態(tài)。力結(jié)構(gòu)對應(yīng)自由選擇，其是主體完成力結(jié)構(gòu)的方式。祈使句對應(yīng)力結(jié)構(gòu)。說一個祈使句的結(jié)果是之前的力結(jié)構(gòu)與這個祈使句對應(yīng)的力結(jié)構(gòu)的合并，除非這兩個力結(jié)構(gòu)不相容。一個力結(jié)構(gòu)接受一個祈使句當且僅當用這個祈使句更新這個力結(jié)構(gòu)不會改變其自由選擇。一個推理是有效的當且僅當其前提更新極小力狀態(tài)的結(jié)果接受其結(jié)論。 祈使句沒有真值。存在一些在經(jīng)典邏輯下有效但直觀上并非有效的祈使句推理。因此，傳統(tǒng)的邏輯后承理論對于祈使句推理來說并不直接適用。什么是祈使句推理的有效性概念并不是一個很容易回答的問題。本書針對祈使句推理，提出了一種新的邏輯后承理論。