ABSTRACT

It would seem plausible to maintain, for example, that an immediate inference from a command premiss to a conclusion that represents a presupposition of this command should be regarded as valid. The nervus probandi of arguments of this sort seems to be that they can be validated by means of an antilogistic argument of the standard command inference type. Presupposition-inferences must be exempted from the province of antilogistic reasoning (exactly as is the case with purely assertoric presupposition-inferences). A command inference that infers a command conclusion from premisses containing a mixture of commands and assertoric statements can be valid only if the command conclusion must be terminated whenever all the command premisses are terminated and all of the assertoric premisses are true. The only fundamentally different promising alternative strategy of approach to the conception of validity in command inference is based a very conscientious survey of other ideas in the field.