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