[FOM] illative logic

[Rob Arthan]

"Illative" means relating to inference (presumably logical inference in the case of illative logic).

It comes from the delightfully irregular Latin verb "fero" that seems to have been assembled out of a broken giftset of other verbs (see http://webpages.ursinus.edu/classics/latin/grammar_verbsfero.htm).

Regards,

Rob.

On 26 Mar 2012, at 13:39, Arnold Neumaier wrote:

> What is the origin of the term ''illative'' in illative combinatory logic? What does it mean?
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom