Inferencia

Una inferencia es una evaluacin que realiza la mente ello elabor el llamado cuadro de oposicin de los juicios,
entre proposiciones.
en el que dadas las relaciones que cada juicio aristotlico, A,E,I,O, lleva implcitas se pueden establecer ciertas
Inferencia es aquella accin y efecto de inferir (sacar una
consecuencia de otra cosa, deducir algo, conducir a un inferencias directas.
resultado). La inferencia nace a partir de una evaluacin
mental entre distintas expresiones, que al ser relacionadas como abstracciones, permiten trazar una implicacin
lgica.

Asimismo en la lgica tradicional se admitan ciertas operaciones lgicas de transformacin de un juicio manteniendo sus condiciones de verdad. Tales operaciones
eran:

En lgica formal, son expresiones bien formadas (EBF)

de un lenguaje formal que, al ser relacionadas, permiten
trazar una lnea lgica de condicin o implicacin lgica entre las diferentes EBF. De esta forma, parte de lo
verdadero a lo falso: posible (como hiptesis) o conocida (como argumento) de alguna o algunas de ellas, puede
deducirse la verdad o falsedad de alguna o algunas de las
otras EBF.

Conversin lgica
Obversin lgica
Contraposicin lgica
Inversin lgica

Surge as lo que conocemos como postulado[1] o

transformada de una expresin original conforme a reglas
previamente establecidas,[2] que puede enmarcarse en
uno o varios contextos referenciales diversos,[3] obtenindose en cada uno de ellos un signicado como valor de
verdad de equivalente.[4][5][6]

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 resultados aberrantes.[8]

La lgica actual formaliza los enunciados lingsticos

Es la operacin lgica utilizada en los motores de infe- bien como relacin de clases o como funciones proposirencia de los sistemas expertos.
cionales o relaciones.[9] Hoy se exige el rigor formal de la
aplicacin de una regla de inferencia.[10] La idea de inferencia inmediata no es ms que la aplicacin de una regla
modo implcito. La formalidad lgica, sin embargo, exige
1 Inferencia lgica
que sea explcita la regla que permite la transformacin
de una EBF.

1.1

En la lgica tradicional

1. En la lgica tradicional, llamada aristotlica, la for1.2 En la lgica actual

ma esencial de inferencia es una forma de razonamiento deductivo.
Se llama inferencia lgica a la aplicacin de una regla
de transformacin que permite transformar una frmuNo obstante se reconocan algunas inferencias directas o la o expresin bien formada (EBF) de un sistema forinmediatas.
mal en otra EBF como teorema del mismo sistema.
Ambas expresiones se relacionan mediante una relacin
de equivalencia, es decir, que ambas tienen los mismos
1.1.1 Inferencias inmediatas
valores de verdad o, dicho de otra forma, la verdad de
La lgica aristotlica consideraba la posibilidad de infe- una coimplica la verdad de la otra.
rencias inmediatas: aquellas que pueden obtenerse direc- (p q) (r s) (t v) podra ser transformada en:
tamente a partir de la relacin que establece un juicio[7]
respecto a los trminos, sujeto y predicado, que le constitu- A B C
yen, en funcin de la cualidad (armativo-negativo) y la donde A = (p q) ; B = (r s) y C = (t v) .
cantidad (universal-particular) del mismo.
Elaborando la tabla de valores de verdad de dicha equiAristteles estudi con detalle ciertas operaciones que valencia contenida en la funcin del bicondicional el repermitan tales inferencias inmediatas o directas. Para sultado ha de ser una tautologa.
1

4 INFERENCIA ESTADSTICA (ADMINISTRACIN Y GESTIN)

1.2.1

Esquema de inferencia

Se reere a la estructura lgico-formal que permite obtener una expresin bien formada (EBF) desligada, libre,
como teorema de un sistema formal previamente denido
por la regla de separacin estrictas de formacin y transformacin de frmulas.
Dicha estructura es el fundamento de un argumento
lgico-formal mediante la aplicacin de la regla de Sustitucin de frmulas.

lgica, y la posibilidad de la no existencia de individuos

dentro de una clase bien denida, la inferencia inductiva
sobre un universo no conocido en todas sus ocurrencias
produce el llamado problema de la induccin que, por su
carcter, excede del caso de este artculo referido a la inferencia (vase inductivismo).

3 Clases de inferencia

(A B C... N ) D donde (A B C... N )

representa cada variable la premisa de un argumento. Conocida la verdad de cada una, como premisas de un argumento, su producto verdadero exige la verdad de todas y
cada una de dichas expresiones; lo que permite establecer
D como expresin libre y conclusin del argumento. aivy

Inferir por lgica clsica: Inferencia que slo admite

dos valores: verdadero o falso.

Inferencia difusa: Una inferencia de este estilo describe todos los casos multivaluados con exactitud y
precisin.

Inferencia por evidencias

Evidencia inductiva: Surge de la constatacin de
una misma ocurrencia en una serie de casos. Observando que muchos lobos tienen la cola larga, inero
que los lobos tienen la cola larga, como una generalizacin.
Evidencia enumerativa o induccin completa:
Cuando se enumeran todos los casos la inferencia se
convierte en una verdad demostrada, como induccin completa. Tal es el caso de que tras contar a
todos y cada uno se pueda inferir: los alumnos de
esta clase son 22.

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 entre aves y volar es esencial: todas las aves
vuelan.

Inferencia trivaluada: Una inferencia de este estilo

da como posibles resultados tres valores.
Inferencia multivaluada: Una inferencia de este estilo da como posibles resultados mltiples valores.

Inferencia probabilstica en el sentido de una induccin que permite establecer una verdad con mayor
ndice de probabilidad que las dems.
Si bien, cuando el universo posible es de innitas ocurrencias la probabilidad siempre ser 0. Por lo que algunos
establecen para el estatuto de la ciencia el falsacionismo,
como mtodo cientco y contrastacin de teoras y las
lgicas humanas.

4 Inferencia estadstica (administracin y gestin)

Cuando la descripcin se aplica a condiciones de certeza, como en las tablas del mercado de valores en que se
muestra un censo de los valores negociados, se convierte
en una entidad metodolgica. Sin embargo, en la mayora
de los problemas estadsticos actuales se emplea ms una
muestra que un censo, y la descripcin se ha convertido
simplemente en una preparacin de la siguiente rama de
la estadstica: inferencia.

Cuando hacemos uso de la inferencia, llegamos a una

Argumentos as provocaron incidentes tan inslitos conclusin o formulamos una armacin bajo ciertas
en la historia de la ciencia como la aparicin del condiciones de incertidumbre. La incertidumbre puede
ornitorrinco.[11]
ser el resultado de las condiciones aleatorias, implcitas
Por otro lado, el conocimiento de la experiencia siempre en el trabajo con muestras, o del desconocimiento de las
singular, cada caso nico e irrepetible, hace problemti- leyes aleatorias precisas que son aplicables a una situaca la posibilidad de llegar al conocimiento de conceptos cin especca. No obstante en la teora de la conclusin,
universales, esenciales y plantea el problema del esta- la incertidumbre sobre la exactitud de la armacin que
tus epistemolgico de la ciencia como conocimiento de se ha hecho o de la conclusin que se ha sacado se expone
conceptos y leyes universales.
simplemente en trminos de probabilidad de que ocurra.
Al ponerse en cuestin el mundo de las formas esencia- La inferencia trata de dos tipos principales de probleles y la propia entidad conceptual entendida como clase mas:la estimacin y la contrastacin de hiptesis

7.1

Bibliografa

Inferencia aplicada al conocimiento del comportamiento humano

[8] Por ejemplo la existencia de los ngeles o demonios partiendo del juicio: Todos los hombres son mortales: Todos
los hombres son mortales Ningn no-mortal es hombre
(por conversin); ningn no-mortal es hombre Todo
no-mortal es no-hombre (por obversin); Todo no-mortal
es no-hombre Algn no-hombre es no-mortal (conversin per accidens)

Se puede inferir todo lo que sea inteligible. Dentro del

campo de la inteligencia humana, encontramos campos
muy interesantes, tal como la inteligencia emocional. Da- [9] Vase Clculo lgico
do que el cerebro humano est sujeto a leyes fsicas, exis- [10] Es decir la aplicacin de una ley lgica o tautologa que
te la posibilidad de que el comportamiento humano sea
garantice la verdad de la transformacin como una verdad
potencialmente previsible, con un grado de incertidumequivalente que se muestra en todos los posibles casos de
bre, al mismo grado que el resto de ciencias lo pudiera
la tabla de verdad de las dos proposiciones relacionadas
ser, pues todas se basan en la inteligencia del hombre.
con un coimplicador
La capacidad de inferir el sentimiento humano se llama
empata; cada sentimiento motiva a actuar de cierta ma- [11] U. Eco. Kant y el ornitorrincio
nera. La capacidad de predecir como va a actuar cierta
persona roza lo esotrico, pero nada ms lejos de la reali7.1 Bibliografa
dad, se pueden generar modelos de comportamientos humanos y el grado de exactitud de la prediccin depender
STEBBING, L.S. (1930). A Modern Introduction to
de lo emptico que sea la persona (dado que la nica mlogic. Londres.
quina capaz de reproducir una mente, hasta la fecha, es
HARMAN, G. (1965). The Inference to the Best Exun cerebro humano). [cita requerida]
planation. Philosophical Rewiew.

Vase tambin
Deduccin
Clculo
Validez lgica
Motor de inferencia
Inferencia bayesiana
Inferencia estadstica
Razonamiento diagramtico

Referencias

[1] posibilidad o hiptesis

[2] producto o conjuncin de todos los elementos abstractos
que intervienen, y aplicacin de reglas de transformacin,
como un clculo o argumento
[3] Modelos tericos
[4] Chomsky, Noam - The Psychology Of Language And
Thought
[5] Noam Chomsky - Logical Syntax And Semantics, Their
Linguistic Relevance
[6] Noam Chomsky - Syntactic Structures ISBN 3-11017279-8
[7] Vase proposicin (lgica):proposicin, enunciado y
creencia

ECO.U. (1999). Kant y el ornitorrinco. Barcelona.

Editorial Lumen. 84-264-1265-3.
Carl Heyel, ed. (1984). Gestin y Administracin de
Empresas. Barcelona.

8 ORIGEN DEL TEXTO Y LAS IMGENES, COLABORADORES Y LICENCIAS

Origen del texto y las imgenes, colaboradores y licencias

8.1

Texto

Inferencia Fuente: https://es.wikipedia.org/wiki/Inferencia?oldid=86506759 Colaboradores: Oblongo, Dodo, Ejmeza, Mariano Deheza, Jecanre, Richy, Soulreaper, Airunp, Taichi, Magister Mathematicae, RobotQuistnix, Unicacion, Yrbot, BOTijo, YurikBot, Demetrio~eswiki, Gtz, Filipo, ZEN ic, BOTpolicia, CEM-bot, Alexav8, Davius, Julian Mendez, P.o.l.o., Isha, Wybot, Humberto, Netito777,
MONIMINO, AlnoktaBOT, VolkovBot, Technopat, Galandil, ElVaka, BlackBeast, Molinaroca, Seraphita~eswiki, Muro Bot, El Pantera, SieBot, PaintBot, Kimbosirk, Javierito92, HUB, Esancaro, Vladimir Vargas, Kikobot, Estirabot, Eduardosalg, Leonpolanco, Alejandrocaro35, Furti, BetoCG, Justedgard, Camilo, Chatran20, AVBOT, LucienBOT, Diegusjaimes, Arjuno3, Madalberta, Andreasmperu,
Afrachel, SuperBraulio13, Jkbw, Dreitmen, Ricardogpn, Macucal, Botarel, Jerowiki, PatruBOT, Savh, Obgoodies, MercurioMT, Emiduronte, MadriCR, Antonorsi, MerlIwBot, KLBot2, StockBot, Acratta, Johnbot, Elvisor, Helmy oved, Emferr, Balles2601, Hans Topo1993,
Jmaster888, Jarould, Lectorina, Juandete, Hernn Lagos y Annimos: 165

8.2

Imgenes

8.3

Licencia del contenido

Creative Commons Attribution-Share Alike 3.0