Inferencia

Ir a la navegaci�nIr a la b�squeda
Help books.svg
Este art�culo o secci�n tiene un estilo dif�cil de entender para los lectores
interesados en el tema.
Si puedes, por favor ed�talo y contribuye a hacerlo m�s accesible para el p�blico
general, sin eliminar los detalles t�cnicos que interesan a los especialistas.
La inferencia es el proceso por el cual se derivan conclusiones a partir de
premisas.1? Cuando una proposici�n se sigue de otras de ese modo, se dice que �stas
implican aquella.

La inferencia es el objeto de estudio tradicional de la l�gica (as� como la materia

es de la qu�mica y la vida es de la biolog�a). La l�gica investiga los fundamentos
por los cuales algunas inferencias son aceptables, y otras no. Cuando una
inferencia es aceptable, lo es por su estructura l�gica y no por el contenido
espec�fico del argumento o el lenguaje utilizado. Por esto se construyen sistemas
formales que capturan los factores relevantes de las deducciones como aparecen en
el lenguaje natural.2?

Tradicionalmente se distinguen tres clases de inferencias: las deducciones, las

inducciones y las abducciones, aunque a veces se cuenta a la abducci�n como un caso
especial de inducci�n.3? La validez o no de las inducciones es asunto de la l�gica
inductiva y del problema de la inducci�n. Las deducciones, en cambio, son
estudiadas por la mayor parte de la l�gica contempor�nea.4?

En las investigaciones sobre la inteligencia artificial, la inferencia es la

operaci�n l�gica utilizada en los motores de inferencia de los sistemas expertos.

�ndice
1 Inferencia l�gica
1.1 L�gica aristot�lica
1.2 L�gica moderna
1.2.1 Esquema de inferencia
2 Inferencia por evidencias
3 Tipos de inferencia
4 Inferencia estad�stica (administraci�n y gesti�n)
5 Inferencia aplicada al conocimiento del comportamiento humano
6 V�ase tambi�n
7 Referencias
8 Bibliograf�a
Inferencia l�gica
L�gica aristot�lica
En la l�gica aristot�lica, la forma esencial de inferencia es una forma de
razonamiento deductivo. No obstante, se reconoc�an algunas inferencias directas o
inmediatas.

La l�gica aristot�lica consideraba la posibilidad de inferencias inmediatas:

aquellas que se pueden obtener directamente a partir de la relaci�n que establece
un juicio5? respecto a los t�rminos, sujeto y predicado, que le constituyen, en
funci�n de la cualidad (afirmativo-negativo) y la cantidad (universal-particular)
del mismo.

Arist�teles estudi� con detalle ciertas operaciones que permit�an tales inferencias
inmediatas o directas. Para ello elabor� el llamado cuadro de oposici�n de los
juicios, en el que dadas las relaciones que cada juicio aristot�lico, A,E,I,O,
lleva impl�citas se pueden establecer ciertas inferencias directas.

Asimismo en la l�gica tradicional se admit�an ciertas operaciones l�gicas de

transformaci�n de un juicio manteniendo sus condiciones de verdad. Tales
operaciones eran:

Conversi�n l�gica
Obversi�n l�gica
Contraposici�n l�gica
Inversi�n l�gica
La l�gica tradicional aristot�lica no resuelve del todo bien los problemas que
surgen de los juicios negativos por lo que este tipo de operaciones l�gicas se
prestan a argumentaciones que producen resultados aberrantes.6?

La l�gica actual formaliza los enunciados ling��sticos bien como relaci�n de clases
o como funciones proposicionales o relaciones.7? Hoy se exige el rigor formal de la
aplicaci�n de una regla de inferencia.8? La idea de inferencia inmediata no es m�s
que la aplicaci�n de una regla modo impl�cito. La formalidad l�gica, sin embargo,
exige que sea expl�cita la regla que permite la transformaci�n de una EBF.

L�gica moderna
Art�culo principal: C�lculo l�gico
Se llama inferencia l�gica a la aplicaci�n de una regla de transformaci�n que
permite transformar una f�rmula o expresi�n bien formada (EBF) de un sistema formal
en otra EBF como teorema del mismo sistema. Ambas expresiones se relacionan
mediante una relaci�n de equivalencia, es decir, que ambas tienen los mismos
valores de verdad o, dicho de otra forma, la verdad de una coimplica la verdad de
la otra.

Surge as� lo se conoce como postulado o transformada de una expresi�n original

conforme a reglas previamente establecidas, que puede enmarcarse en uno o varios
contextos referenciales diversos,9? obteni�ndose en cada uno de ellos un
significado como valor de verdad de equivalente.10?11?12?

{\displaystyle (p\land q)\rightarrow (r\land s)\lor (t\lor v)} (p\land

q)\rightarrow (r\land s)\lor (t\lor v) podr�a ser transformada en:

{\displaystyle A\rightarrow B\lor C} A\rightarrow B\lor C

donde {\displaystyle A=(p\land q)} A=(p\land q); {\displaystyle B=(r\land s)}

B=(r\land s) y {\displaystyle C=(t\lor v)} C=(t\lor v).

Elaborando la tabla de valores de verdad de dicha equivalencia contenida en la

funci�n del bicondicional el resultado ha de ser una tautolog�a.

Esquema de inferencia
Art�culo principal: C�lculo l�gico
Se refiere a la estructura l�gico-formal que permite obtener una expresi�n bien
formada (EBF) desligada, libre, como teorema de un sistema formal previamente
definido por la regla de separaci�n estrictas de formaci�n y transformaci�n de
f�rmulas.

Dicha estructura es el fundamento de un argumento l�gico-formal mediante la

aplicaci�n de la regla de Sustituci�n de f�rmulas.

{\displaystyle (A\land B\land C...\land N)\rightarrow D} (A\land B\land C...\land

N)\rightarrow D donde {\displaystyle (A\land B\land C...\land N)} (A\land B\land
C...\land 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
expresi�n libre y conclusi�n del argumento. aivy
Inferencia por evidencias
Evidencia inductiva: Surge de la constataci�n de una misma ocurrencia en una serie
de casos. Observando que muchos lobos tienen la cola larga, infiero que �los lobos
tienen la cola larga�, como una generalizaci�n.
Evidencia enumerativa o inducci�n completa: Cuando se enumeran todos los casos la
inferencia se convierte en una verdad demostrada, como inducci�n completa. Tal es
el caso de que tras contar a todos y cada uno se pueda inferir: �los alumnos de
esta clase son 22�.
Arist�teles y con �l la escol�stica tradicional admit�a una inducci�n perfecta,
siempre y cuando la relaci�n entre los individuos y la clase, como concepto, sea
aprendida como conexi�n esencial necesaria de un proceso de abstracci�n; o bien
entre clases como conceptos incluidas en otra clase, como concepto. De esta forma
tal inducci�n ven�a a ser una forma de silogismo, en la relaci�n de conceptos entre
s�. As�, en la medida en que �guilas, cig�e�as, gorriones, etc., vuelan, y todas y
cada una de las clases de tales animales son aves, se puede concluir que la
conexi�n entre �aves� y �volar� es esencial: �todas las aves vuelan�.

Argumentos as� provocaron incidentes tan ins�litos en la historia de la ciencia

como la aparici�n del ornitorrinco.13?

Por otro lado, el conocimiento de la experiencia siempre singular, cada caso �nico
e irrepetible, hace problem�tica la posibilidad de llegar al conocimiento de
conceptos universales, esenciales y plantea el problema del estatus epistemol�gico
de la ciencia como conocimiento de conceptos y leyes universales.

Al ponerse en cuesti�n el mundo de las formas esenciales y la propia entidad

conceptual entendida como clase l�gica, y la posibilidad de la no existencia de
individuos dentro de una clase bien definida, la inferencia inductiva sobre un
universo no conocido en todas sus ocurrencias produce el llamado problema de la
inducci�n que, por su car�cter, excede del caso de este art�culo referido a la
inferencia (v�ase inductivismo).

Tipos de inferencia
Inferir por l�gica cl�sica: Inferencia que s�lo admite dos valores: verdadero o
falso.
Inferencia trivaluada: Una inferencia de este estilo da como posibles resultados
tres valores.
Inferencia multivaluada: Una inferencia de este estilo da como posibles resultados
m�ltiples valores.
Inferencia difusa: Una inferencia de este estilo describe todos los casos
multivaluados con exactitud y precisi�n.
Inferencia probabil�stica: en el sentido de una inducci�n que permite establecer
una verdad con mayor �ndice de probabilidad que las dem�s.
Si bien, cuando el universo posible es de infinitas ocurrencias la probabilidad
siempre ser� 0. Por lo que algunos establecen para el estatuto de la ciencia el
falsacionismo, como m�todo cient�fico y contrastaci�n de teor�as y las l�gicas
humanas.

Inferencia estad�stica (administraci�n y gesti�n)

Cuando la descripci�n 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 metodol�gica. Sin embargo, en la mayor�a de los problemas
estad�sticos actuales se emplea m�s una muestra que un censo, y la descripci�n se
ha convertido simplemente en una preparaci�n de la siguiente rama de la
estad�stica: inferencia.

Cuando hacemos uso de la inferencia, llegamos a una conclusi�n o formulamos una

afirmaci�n bajo ciertas condiciones de incertidumbre. La incertidumbre puede ser el
resultado de las condiciones aleatorias, impl�citas en el trabajo con muestras, o
del desconocimiento de las leyes aleatorias precisas que son aplicables a una
situaci�n espec�fica. No obstante en la teor�a de la conclusi�n, la incertidumbre
sobre la exactitud de la afirmaci�n que se ha hecho o de la conclusi�n que se ha
sacado se expone simplemente en t�rminos de probabilidad de que ocurra.

La inferencia trata de dos tipos principales de problemas:la estimaci�n y la

contrastaci�n de hip�tesis

Inferencia aplicada al conocimiento del comportamiento humano

Se puede inferir todo lo que sea inteligible. Dentro del campo de la inteligencia
humana, encontramos campos muy interesantes, tal como la inteligencia emocional.
Dado que el cerebro humano est� sujeto a leyes f�sicas, existe la posibilidad de
que el comportamiento humano sea potencialmente previsible, con un grado de
incertidumbre, al mismo grado que el resto de ciencias lo pudiera ser, pues todas
se basan en la inteligencia del hombre. La capacidad de inferir el sentimiento
humano se llama empat�a; cada sentimiento motiva a actuar de cierta manera. La
capacidad de predecir como va a actuar cierta persona roza lo esot�rico, pero nada
m�s lejos de la realidad, se pueden generar modelos de comportamientos humanos y el
grado de exactitud de la predicci�n depender� de lo emp�tico que sea la persona
(dado que la �nica m�quina capaz de reproducir una mente, hasta la fecha, es un
cerebro humano). [cita requerida]

V�ase tambi�n
Deducci�n
C�lculo
Validez l�gica
Inferencia bayesiana
Inferencia estad�stica
Razonamiento
Razonamiento diagram�tico
Referencias
Robert Audi (ed.). �Inference�. The Cambridge Dictionary of Philosophy (en ingl�s)
(2nd Edition). Cambridge University Press.
�formal system�. Encyclopedia Britannica (en ingl�s). Consultado el 3 de agosto de
2009.
�inference�. The Oxford Companion to Philosophy (en ingl�s). Oxford University
Press. 2005. Consultado el 1� de agosto de 2009.
Error en la cita: Etiqueta <ref> no v�lida; no se ha definido el contenido de las
referencias llamadas Consequence
V�ase proposici�n (l�gica):proposici�n, enunciado y creencia
Por ejemplo la existencia de los �ngeles o demonios partiendo del juicio: Todos
los hombres son mortales: Todos los hombres son mortales ? Ning�n no-mortal es
hombre (por conversi�n); ning�n no-mortal es hombre ? Todo no-mortal es no-hombre
(por obversi�n); Todo no-mortal es no-hombre ? Alg�n no-hombre es no-mortal
(conversi�n per accidens). Para nombrar conceptos como no-caballo o no-hombre cre�
Arist�teles el t�rmino ???�a ????st?? o nomen infinitum. V�ase Pascual, J., �El
nombre indeterminado de Arist�teles: �una nueva categor�a ling��stica?�, Habis, 17
(1986), 21-32, pp. 28-32.
V�ase C�lculo l�gico
Es decir la aplicaci�n de una �ley l�gica� o tautolog�a que garantice la verdad de
la transformaci�n como una verdad equivalente que se muestra en todos los posibles
casos de la tabla de verdad de las dos proposiciones relacionadas con un
coimplicador
Modelos te�ricos
Chomsky, Noam - The Psychology Of Language And Thought
Noam Chomsky - Logical Syntax And Semantics, Their Linguistic Relevance
Noam Chomsky - Syntactic Structures ISBN 3-11-017279-8
U. Eco. Kant y el ornitorrincio
Bibliograf�a
STEBBING, L. S. (1930). A Modern Introduction to logic. Londres.
HARMAN, G. (1965). The Inference to the Best Explanation. Philosophical Rewiew.
ECO.U. (1999). Kant y el ornitorrinco. Barcelona. Editorial Lumen. 84-264-1265-3.
Heyel, Carl (ed.) (1984). Gesti�n y Administraci�n de Empresas. Barcelona.

Control de autoridades
Proyectos Wikimedia Wd Datos: Q408386 Identificadores BNF: 11935348h (data) GND:
4139983-3 LCCN: sh85066082 NDL: 00571577 Diccionarios y enciclopedias Britannica:
url
Categor�a: L�gica
Men� de navegaci�n
No has accedidoDiscusi�nContribucionesCrear una
cuentaAccederArt�culoDiscusi�nLeerEditarVer historialBuscar
Buscar en Wikipedia
Portada
Portal de la comunidad
Actualidad
Cambios recientes
P�ginas nuevas
P�gina aleatoria
Ayuda
Donaciones
Notificar un error
Imprimir/exportar
Crear un libro
Descargar como PDF
Versi�n para imprimir
Herramientas
Lo que enlaza aqu�
Cambios en enlazadas
Subir archivo
P�ginas especiales
Enlace permanente
Informaci�n de la p�gina
Elemento de Wikidata
Citar esta p�gina

En otros idiomas
???????
Deutsch
English
Fran�ais
??????
Portugu�s
???????
????
??
30 m�s
Editar enlaces
Esta p�gina se edit� por �ltima vez el 11 jul 2019 a las 18:44.
El texto est� disponible bajo la Licencia Creative Commons Atribuci�n Compartir
Igual 3.0; pueden aplicarse cl�usulas adicionales. Al usar este sitio, usted acepta
nuestros t�rminos de uso y nuestra pol�tica de privacidad.
Wikipedia� es una marca registrada de la Fundaci