[FOM] illative logic
urquhart at cs.toronto.edu
Mon Mar 26 12:02:02 EDT 2012
"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?
More information about the FOM