ABSTRACT
The central problem for any adequate logical theory of commands is the articulation of a semantical conception of (valid) inference, on the basis of which one command can be said to be entailed or implied by (one or more) others. Before turning to this key issue, one develops a conception of command coverage, which is to serve as a conceptual model or paradigm for valid command inference. Command coverage serves as a means of facilitating our approach to the troublesome problem of the concept of validity in the ‘inference’ of one command from another. The command is said to be decomposed (simpliciter) into the commands if the commands are a (complete and residueless) list of commands resulting from decomposing (in any manner) of either the command itself, or commands resulting from decompositions of the command. The discussion of (absolute) command decomposition is readily extended to the case of contextual command decomposition in the face (context) of given assertoric statements.
