 书单推荐 新书推荐 |
基于力结构更新的祈使句语义和推理理论 
定 价：58 元
9 7 7 8 4 7 7 5 6 2 3 2 7 读者对象:大众
本书的主要内容是基于更新框架来构造祈使句的形式语义，给出有效性概念，刻画涉及到祈使句的有效推理形式。 力结构描述了主体所受祈使力的状态。力结构对应自由选择，其是主体完成力结构的方式。祈使句对应力结构。说一个祈使句的结果是之前的力结构与这个祈使句对应的力结构的合并，除非这两个力结构不相容。一个力结构接受一个祈使句当且仅当用这个祈使句更新这个力结构不会改变其自由选择。一个推理是有效的当且仅当其前提更新极小力状态的结果接受其结论。 祈使句没有真值。存在一些在经典逻辑下有效但直观上并非有效的祈使句推理。因此，传统的逻辑后承理论对于祈使句推理来说并不直接适用。什么是祈使句推理的有效性概念并不是一个很容易回答的问题。本书针对祈使句推理，提出了一种新的逻辑后承理论。
你还可能感兴趣
我要评论
|
