Inferencia logica: En la lgica tradicional, llamada aristotlica, la forma esencial de inferencia es una forma de razonamiento deductivo.

No obstante se reconocan algunas inferencias directas o inmediatas. La lgica tradicional aristotlica no resuelve del todo bien los problemas que surgen de los juicios negativos por lo que este tipo de operaciones lgicas se prestan a argumentaciones que producen 8 resultados aberrantes. La lgica actual formaliza los enunciados lingsticos bien como relacin de clases o como 9 funciones proposicionales o relaciones. Hoy se exige el rigor formal de la aplicacin de 10 una regla de inferencia. La idea de inferencia inmediata no es ms que la aplicacin de una regla modo implcito.

Aristteles y con l la escolstica tradicional admita una induccin perfecta, siempre y cuando la relacin entre los individuos y la clase, como concepto, sea aprendida como conexin esencial necesaria de un proceso de abstraccin; o bien entre clases como conceptos incluidas en otra clase, como concepto. De esta forma tal induccin vena a ser una forma de silogismo, en la relacin de conceptos entre s. As, en la medida en que, guilas, cigeas, gorriones, .... etc. vuelan, y todas y cada una de las clases de tales animales son aves, se puede concluir que la conexin aves y volar es esencial, "Todas las aves vuelan".