| 祈使逻辑 imperative logic 亦译“命令逻辑”。现代逻辑分支之一。研究表达请求、命令这类语句的逻辑特点及其推理。在20世纪50年代，人们认为命令的发出和接受是道德规范行为。1963年冯·赖特的《规范和行为》却认为：“道义逻辑即规范逻辑不是祈使句逻辑。”1966年雷谢尔在《命令逻辑》中，提出了命令逻辑系统。从语形上划分的陈述句，祈使句和疑问句，在语义上分别表示命题，命令和问题。在广义上“命令”还包括指令、要求、请求、劝导乃至期望、准许等。其共同点是促使他人采取行动以实施某种行为或实现某种状态。祈使句有预设，即指该祈使句得以实现的逻辑必要条件。预设是一个先决条件，用陈述句表述，因而是一命题，因此语句才有意义，方可在正常意义下被理解和正常地用于交际。一个祈使句I预设语句S，当且仅当，S所表述的是I尚未实现的那种事实。预设有真、假、空之分。一个语句或命题的预设“空”时，这个语句或命题就不能在正常意义下被理解，祈使句有终结，即指祈使句所表达的命令能得到最终的反应。一般有三种情况：一是“实现”，即令行禁止，命令见诸行动;二是“逆实现”，即无动于衷，命令未见诸行动;三是“反实现”，即无所适从，命令无法见诸行动。预设为空的祈使句，其终结总是“反实现”的。和疑问句一样，祈使句本无真假，但是祈使句有服从不服从、终结反映如何的问题，从而可以根据命令与服从的关系，命令是否得到实现，来确定它的真假。据此祈使句的逻辑值如下：祈使句I真，当且仅当，I的终结是实现;祈使句I假，当且仅当，I的终结是逆实现;祈使句I空，当且仅当，I的终结是反实现。根据命令和实现之间的关系以及相应的组合真值表，就可进行祈使句的推理，即从一个或若干个命令句的真，推出另外一个真命令句来。如果不考虑空值，那么祈使句就有类似于陈述句逻辑的推理形式，如祈使句推理同一律，祈使推理传递律，祈使推理反证律和祈使推理蕴涵律等。也可根据前提与结论的不同组合，将祈使推理分为纯粹的命令句推理、混合命令句推理以及命令三段论等。 |