Non-assertoric inference.
Robert P. McArthur, David J. Welker · Notre Dame Journal of Formal Logic · 1974
Like many contemporary writers, we consider inferences involving commands an undisputable fact of which any completely general theory of logic must take account. 1 Yet, stating and commanding are but two of (about) three thousand illocutionary acts; 2 and once one has broken with the dictum that only assertions can stand in logical relationships, there arises the possibility not of just two or three modes of inference, but rather of an indefinitely large number.At any moment of linguistic history there may be a finite number of illocutionary acts which can enter into inference patterns; but our resource of illocutionary acts, like our lexicon, may develop and change.Given our present linguistic resources, we submit that the following are valid inferences.(A) Shoot all traitors!John is a traitor.therefore, Shoot John! (B) If I request you to pass him, then I promise that if you do, you will be rewarded.Please pass him.therefore, I promise that if you pass him you will be rewarded.(C) If I both request and order you to leave, then I really want you to leave.Please leave.Leave 1 therefore, I really want you