Правила вывода в императивной логике

Аннотация

В  статье  анализируются  наиболее влиятельные  неформальные  концепции  импе-ративного  вывода  с  точки  зрения  их прагматической и логической приемлемости. Парадоксы императивного  вывода  объясняются  методологической  установкой  параллелизма,  которой придерживалось  большинство  исследователей. Отказ  от  параллелизма  позволяет  приступить к  формулировке  прагматических  правил  для императивов,  гарантирующих  их  эффективное
использование.