基於力結構更新的祈使句語義和推理理論 琚鳳魁 9787522747637 【台灣高等教育出版社】

內容簡介
本書的主要內容是基於更新框架來構造祈使句的形式語義，給出有效性概念，刻畫涉及到祈使句的有效推理形式。力結構描述了主體所受祈使力的狀態。力結構對應自由選擇，其是主體完成力結構的方式。祈使句對應力結構。說一個祈使句的結果是之前的力結構與這個祈使句對應的力結構的合併，除非這兩個力結構不相容。一個力結構接受一個祈使句當且僅當用這個祈使句更新這個力結構不會改變其自由選擇。一個推理是有效的當且僅當其前提更新極小力狀態的結果接受其結論。祈使句沒有真值。存在一些在經典邏輯下有效但直觀上並非有效的祈使句推理。因此，傳統的邏輯後承理論對於祈使句推理來說並不直接適用。什麼是祈使句推理的有效性概念並不是一個很容易回答的問題。本書針對祈使句推理，提出了一種新的邏輯後承理論。
詳細資料或其他書籍請至台灣高等教育出版社查詢，查後請於客服中心或Line或本社留言板留言，我們即儘速上架。