[FOM] illative logic

Rob Arthan rda at lemma-one.com
Mon Mar 26 15:17:00 EDT 2012

"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).



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

More information about the FOM mailing list