[FOM] illative logic

[Alasdair Urquhart]

"The second phase of combinatory logic will be called
*illative* because we have to deal with concepts
such as quantification, implication, and categories,
which are characteristic of logic in the more
orthodox sense, and there is some precedent for
using `illation' in connection with logical deduction.
The word comes from the past participle of Latin
'inferre'; the word 'inferential', which
has acquired a somewhat different meaning, comes
from the present participle of the same verb."
 	Curry and Feys, Combinatory Logic, Vol. 1, pp. 257-258.

On Mon, 26 Mar 2012, Arnold Neumaier wrote:

> What is the origin of the term ''illative'' in illative combinatory logic? 
> What does it mean?