PROPOSICIONES E INFERENCIAS

Proposición
En filosofía y lógica, el término proposición se usa para referirse a:
 Las entidades portadoras de los valores de verdad.
 Los objetos de las creencias y de otras actitudes proposicionales.
 El significado de las oraciones declarativas o enunciativas, como «el Sol es una
estrella».
Intuitivamente una proposición expresa un contenido semántico a la que bajo cierto
procedimiento acordado o prescrito es posible asignarle un valor de verdad
(usualmente "verdadero" o "falso", aunque en lógica formal se admiten otros valores
de verdad diferentes).
Una proposición es una cadena de signos expresados en un determinado lenguaje. En
un lenguaje natural, esos signos usualmente son sonidos o caracteres escritos,
mientras que un tipo de lenguaje formalizado pueden ser signos arbitrarios. Dado que
los lenguajes son tipos de estructuras combinatorias que admitida mente pueden
representar entidades de la realidad, se admite que las proposiciones son cadenas de
signos a las que es posible emparejar con objetos reales. Es importante notar que lo
que hace de una cadena de signos una proposición, es que sea interpretable (ya que
existen por ejemplo cadenas de signos u oraciones de un lenguaje que carecen de
un referente o interpretación bien definidos).
En ese sentido una proposición puede entenderse como un producto lógico del
pensamiento humano que es expresado mediante una lengua natural, aunque también
existen lenguajes formales (como la notación matemática). Una proposición expresada
en lenguaje natural deberá ser una oración gramatical o como mínimo una oración
semánticamente no vacía, mientras que una proposición expresada en un lenguaje
formal deberá ser una cadena de signos que constituya una fórmula bien formada.

Índice
 1Lógica
 2Ciencias naturales y sociales
 3Proposición, enunciado y creencia
 4Estructura y clasificación de las proposiciones
o 4.1Proposición atómica y molecular

o 4.2Proposición lógica y valores de verdad

 4.2.1Verdad de hecho o contingente, contradicción y tautología

 5Análisis lógico de las proposiciones
o 5.1Proposición en la lógica tradicional llamada aristotélica

o 5.2Proposición en lógica matemática

  6Críticas a la noción de proposición
 7Véase también
 8Referencias
o 8.1Bibliografía

o 8.2Enlaces externos

Lógica
En lógica tradicional se distinguen la proposición y el juicio, por cuanto la primera es el
producto lógico del acto por el cual se afirma o se niega algo de algo, mientras ese
acto constituye el juicio. Para Aristóteles, la proposición es un discurso enunciativo
perfecto, que se expresa en un juicio que significa lo verdadero y lo falso como juicio
de términos. Por eso el juicio es una afirmación categórica, es decir, incondicionada
porque representa adecuadamente la realidad.
En lógica formal se identifica una proposición lógica con una fórmula bien
formada usando los símbolos del alfabeto que caracteriza al lenguaje formal que se
esté empleando. Las reglas de buena formación garantizan que la proposición sea
interpretable en términos de verdad o en un modelo formal. Las fórmulas mal formadas
de hecho no pueden tener valor de verdad ya que no existen garantías de que sean
interpretables y por tanto puedan tener un valor de verdad.

Ciencias naturales y sociales

Un enunciado lingüístico (generalmente en la forma gramatical de una oración
enunciativa) puede ser considerado como proposición lógica cuando es susceptible de
poder ser verdadero o falso. Por ejemplo «Es de noche» puede ser verdadero o falso.
Aunque existen lógicas polivalentes, en orden a la claridad del concepto, aquí
consideramos únicamente el valor de verdad o falsedad. La condición de ser
susceptible de ser verdadero o falso requiere además algunas propiedades formales:
 Interpretabilidad: que la proposición sea interpretable en el conjunto de
hechos posibles o imaginables. Esto requiere que todos los predicados y
términos contenidos en la proposición estén correctamente definidos en el
campo de estudio de la teoría.
 Ausencia de ambigüedad: que la proposición esté formulada de manera
no ambigua y, por tanto, tenga una única interpretación posible (sin esto una
proposición, podría acabar teniendo diferentes valores de verdad).
Según su estructura o complejidad interna las proposiciones pueden clasificarse en:
 Proposiciones atómicas o simples, cuando hacen referencia a un único
contenido de verdad o falsedad; vendría a ser equivalente a la oración
enunciativa simple en la lengua.
 Proposiciones moleculares cuando están constituidas por varias
proposiciones atómicas unidas por ciertas partículas llamadas "nexos o
conectivas", que establecen relaciones sintácticas como función
de coordinación y subordinación determinadas entre las proposiciones que la
integran; tal ocurre en la función de las conjunciones en las oraciones
compuestas de la lengua.
Proposición, enunciado y creencia
Por proposición (cursivas en el original) entenderemos el contenido común de
oraciones declarativas sinónimas. Según este sentido, dos oraciones expresarán la
misma proposición si tienen el mismo significado. Otra interpretación considera como
una proposición al conjunto de los mundos posibles en los que es verdadera, o una
función de los mundos posibles en valores de verdad.
Debe notarse que proposición se refiere a contenidos semánticos (a la relación entre
una expresión lingüística y un hecho del mundo real), mientras que el
término enunciado se refiere a un hecho pragmático usualmente realizado a través de
una actuación lingüística como es una oración. Así por ejemplo, “Llueve” es
un oración, al igual que “It rains” y ambas oraciones expresan la misma proposición
lógica por cuanto ambos representan siempre el mismo valor.
También se distingue la proposición de la creencia.6 Apreciar, percibir que llueve como
acto interno del individuo fundamenta la creencia, con independencia de su expresión
lingüística. Podríamos de alguna forma considerarlo como pensamiento. Mirar por la
ventana y constatar que llueve suscita una creencia de que “está lloviendo”, con
independencia de que se exprese afirmándolo en un enunciado.
Como proposición, (independiente de las creencias y los pensamientos de cualquiera;
con independencia del lenguaje o forma de expresión lingüística en el que se exprese
el pensamiento, incluso de la realidad de que llueva o no llueva), a la lógica lo que le
interesa es únicamente la función: «poder ser verdadero o falso». Algunos filósofos,
por eso, llegaron a pensar que la lógica habla de lo posible, lo que puede ser o no ser,
o de “mundos compasibles”, pero no de lo real. (Mundo = conjunto determinado de
posibles compatibles en una unidad posible).
La lógica se preocupa de las proposiciones; y estudia las formas válidas según las
cuales a partir de la verdad o falsedad de una o varias proposiciones se
pueda argumentar o inferir la verdad o falsedad de otras.
Por eso la verdad lógica es una verdad formal, que no tiene contenido. Eso explica por
qué puede establecer sus leyes y reglas de modo simbólico, construyendo
diversos cálculos que puedan modernizar algunos contextos lingüísticos o teorías
científicas, de forma semejante a las matemáticas.
Su elemento fundamental es la proposición lógica y la definición de las reglas que,
tomadas como leyes lógicas, permiten la transformación de unas expresiones bien
formadas (EBF)s en otras equivalentes, como inferencias.
Tengamos en cuenta que el cálculo lógico basado en valor V y F, traducido
como sistema binario a 1 y 0, es la base sobre la que se han construido las máquinas
de cálculo y los ordenadores o computadoras. Los enunciados y los juicios subjetivos
son estudiados por otras ciencias.

Estructura y clasificación de las proposiciones

Proposición atómica y molecular
En lógica proposicional y lógica de primer orden (y en menor medida en las lenguas
naturales) existe una forma de clasificar las proposiciones de acuerdo a su estructura
interna. Una proposición atómica, fórmula atómica o simple puede ser representada
por una única variable proposicional inanalizable (en el contexto de la lógica
proposicional) o como una fórmula bien formada donde todas las variables están
ligadas (en el contexto de la lógica primer de primer orden).
Si establecemos conexiones lógicas entre varias proposiciones según unas reglas
perfectamente establecidas en sus elementos simbólicos y definidas como funciones
de verdad, construiremos proposiciones moleculares o compuestas. Una proposición
molecular es analizable a partir de los valores de verdad de las partes. Así las
condiciones de verdad de una proposición molecular, pueden derivarse
sistemáticamente de las proposiciones atómicas que la forman. Así la proposición «Si
llueve, entonces el suelo está mojado», enlaza la proposición «llueve» con la
proposición «el suelo está mojado», bajo el aspecto de función de verdad «si…
entonces…».
Proposición lógica y valores de verdad
El valor de verdad de una proposición lógica atómica (o variable proposicional)
en lógica bivalente es, por definición, verdadero o falso (podemos representarlo como
V o F). En lógica polivalente pueden existir más valores de verdad además de V o F.
Por ejemplo en lógica difusa el valor de verdad de una proposición se representa por
un número del intervalo cerrado [0,1] (nótese que aquí el conjunto de valores de
verdad es infinito), este número se interpreta como la probabilidad de que una
proposición sea cierta (dado que la probabilidad es un número entre 0 y 1).
Así el enunciado «llueve» es verdadero si y sólo si está lloviendo en ese momento.
Pero si dicho enunciado se considera como proposición lógica atómica, p, entonces
puede ser tanto verdadera como falsa. Es una verdad de hecho o contingente, porque
tiene los dos posibles valores de verdad, por la propia definición de proposición lógica.
El contenido de la relación de un enunciado con lo real no es objeto de la lógica sino
de otras ciencias.
Verdad de hecho o contingente, contradicción y tautología
El valor de verdad de una proposición molecular puede ofrecer los siguientes casos:
 Que su valor dependa del valor de verdad de las proposiciones que la integran,
según las conexiones lógicas que las unen. En ese caso dicha proposición
tiene un valor de Verdad de hecho o contingente. Puede ser unas veces
verdadera y otras veces falsa según la verdad o falsedad de cada una de las
proposiciones atómicas que la integran.
El valor lógico V (verdad) de la proposición “llueve y hace calor”, sólo se dará en el
caso de que las dos proposiciones “llueve” (p) y “hace calor” (q) sean tomadas en su
valor de V; en los demás casos será falsa. Sin embargo en la proposición “llueve o
hace calor” basta que una de las dos sea considerada en su valor de verdad V para
que la proposición molecular sea verdadera. La función “y” conjuntiva y la función “o”
disyuntiva se definen en tablas de verdad, como funciones de verdad, factores o
conectivas.
Las dos proposiciones moleculares enunciadas más arriba pueden ser verdaderas o
falsas según sean los valores que tomemos en consideración en cada una de las
proposiciones que la integran. Por eso ambas son contingentes.
 Que su valor de verdad no dependa del valor de verdad de las proposiciones
que la forman, sino que, por la forma en que se establecen sus conexiones,
 como relaciones lógicas, siempre y necesariamente es falsa. Entonces esa
proposición es una contradicción.
El valor de verdad de la proposición “llueve y no llueve” es una contradicción y siempre
será falsa, con independencia del valor que consideremos V o F de “llueve” (p) y de
“no llueve” (¬p). La función de verdad “no” se define mediante una tabla de verdad.
 Que su valor de verdad no dependa del valor de verdad de las proposiciones
que la forman, sino que, por la forma en que se establecen sus conexiones,
siempre y necesariamente es verdadera. Entonces esa proposición es
una tautología.
El valor de verdad de la proposición “llueve o no llueve”, es una tautología y siempre
será verdadera con independencia de los valores que consideremos de “llueve” (p) o
de “no llueve” (¬p).
El análisis del valor de verdad de una proposición se realiza mediante las tablas de
verdad.
Las tautologías se constituyen como «leyes lógicas» o «verdades formales» y son la
base sobre la que se construyen las reglas de inferencia en el razonamiento o cálculo
lógico.
Análisis lógico de las proposiciones
Si bien pueden estudiarse las proposiciones como elementos dados de los cuales
estudiar sus condiciones de verdad, es más útil analizar lógicamente las proposiciones
mediante diferentes enfoques:
 Como la atribución que se hace de una propiedad en tanto que predicado de
un sujeto gramatical. Así ha sido considerada la proposición lógica, como juicio
de términos, en la lógica tradicional. Según este modo de entender la
proposición lógica, los términos designan:
o sustancias existentes mediante un nombre propio, o

o conceptos que representan adecuadamente la realidad

como esencias abstraídas por el entendimiento según
las categorías lógicas.
Suele simbolizarse como S es P.
“Maximiliano corre” es interpretada según este punto de vista como “Maximiliano es un
ser que está corriendo ahora”, es decir, a Maximiliano, sujeto lógico, se le atribuye
un predicado: la acción de correr ahora como una propiedad (correr) que se
está realizando, (ahora), en Maximiliano y manifiesta un aspecto de la identidad de
Maximiliano en este momento; sobre la base de esa identidad es posible la atribución.
Tradicionalmente la lógica aristotélica consideraba de esta forma las proposiciones
lógicas. Este tipo de análisis está claramente en desuso, pues introduce el verbo «ser»
como referencia a la realidad que, por definición, es un elemento extralógico.9 Por eso
Aristóteles consideraba la validez formal de sus argumentos como silogismo
categórico. Hoy día no se acepta dicha argumentación como categórica, lo que no
quita nada a la validez formal del silogismo. Hoy día la lógica aristotélica se
«interpreta» como lógica de clases:10 Como la unión o separación de clases que tienen
o no tienen una propiedad común. Una clase es el concepto de una propiedad que
puede definir o no a una colección o conjuntode individuos. La clase tiene su sentido
aun cuando no existan individuos que pertenezcan a ella; pero los individuos que
pertenecen a ella están de esta manera clasificados. La proposición así analizada
queda definida como relación entre clases. Una entidad es un conjunto cuando existe
una clase de la que es elemento.
La proposición “los perros son mamíferos”, se interpreta como la clase de los
mamíferos incluye a la clase de los perros o dicho de otra forma: “Todos
los individuos que pertenezcan a la clase de los perros pertenecerán a la clase de los
mamíferos”.La clase ordena, clasifica todo universo, total o parcialmente definido, en
dos clases: dicha clase y su clase complementaria. Cualquier individuo del universo se
define por pertenecer o no pertenecer a una clase.
En el caso de Maximiliano, Maximiliano es una clase entera, universal, porque
únicamente está formada por un único individuo: Maximiliano. El enunciado anterior ha
de leerse ahora como: "La clase Maximiliano=Maximiliano, pertenece a la clase de los
seres que corren".
El valor de verdad de las proposiciones atómicas parte de los individuos x, y, z, etc.
considerados únicamente como pertenecientes o no pertenecientes a una clase. Los
valores de verdad de las proposiciones moleculares y sus relaciones con otras
proposiciones surgen a partir de las relaciones y operaciones entre las clases.
La lógica de clases estudia dichas operaciones y sus conectivas lógicas.
En matemáticas las clases se consideran como conjuntos y los individuos son
considerados como elementos:
 Como esquema cuantificacional de un predicado que se afirma de
un argumento.
”Maximiliano corre” es ahora analizado como Fx en que el argumento x es
reemplazado por Maximiliano y F como predicado reemplaza a correr. Por lo mismo
F(x, y) cuando x es Maximiliano e y es Fernando. Para proposiciones generales y
particulares hay que utilizar cuantificadores  Para todo x se cumple Fx. Así "[Todos los
hombres] son mortales" se interepreta como "x es un hombre" y F es "ser mortal".  se
interpreta como "Existe algún x en el que se cumple Fx" o "Algunos hombres son
mortales".
 Como esquema relacional.
Pepe ama a María es ahora analizada como , donde  es la relación que simboliza
"amar a";  es Pepe y  es María. Nótese que no es lo mismo que , pues sería María
ama a Pepe.
Lo que da lugar a una lógica de relaciones. Los cálculos pueden ser eternamente
infinitos según consideremos las proposiciones y definamos las reglas. Pero a la lógica
le interesan aquellos que resultan útiles para ser aplicados a un ámbito específico,
capaces de generar modelos de interpretación, bien sean lingüísticos o de otra clase.
El llamado cálculo de deducción natural, es el más fácilmente ligado a la expresión
lingüística habitual.
Proposición en la lógica tradicional llamada aristotélica
Artículo principal: Silogismo
Las proposiciones en la lógica aristotélica pueden ser afirmativas o negativas.
En lógica bivalente o lógica binaria, la negación de una proposición negativa equivale
a una afirmativa.
El predicado de una proposición negativa está tomado en su extensión universal, se
refiere a todos. El predicado de una proposición afirmativa está tomado en su
extensión particular, algunos.
Por su extensión, las proposiciones pueden clasificarse en universales, cuando el
sujeto está tomado en su extensión universal ("Todo S es P"), particulares, cuando el
sujeto está tomado en su extensión particular ("Algún S es P"). La combinación de
ambos criterios da lugar a los siguientes tipos de proposiciones:
 Universal afirmativa ("Todos los humanos son mortales").
 Universal negativa ("Ningún humano es mortal").
 Particular afirmativa ("Algunos planetas giran alrededor del Sol").
 Particular negativa ("Algunos planetas no giran alrededor del Sol").
 Existencial afirmativa ("Sócrates existe").
 Existencial negativa ("Sócrates no existe").
Las proposiciones son los elementos a partir de los cuales se construyen
los razonamientos. La lógica aristotélica estudia los razonamientos según un esquema
llamado silogismo.
Proposición en lógica matemática
Artículo principal: Lógica matemática
La lógica matemática estudia los sistemas formales, formados por conjuntos de signos
y reglas combinatorias definidas axiomáticas, que son interpretables semánticamente.
La lógica matemática suele dividirse en cuatro subcampos: teoría de modelos, teoría
de la demostración, teoría de conjuntos y teoría de la recursión. En lógica matemática,
la noción fundamental es la de lenguaje formal, un lenguaje formal viene definido por
tres elementos:
 Un conjunto de símbolos o alfabetos, así como reglas combinatorias que
definen cuales son las expresiones válidas del lenguaje (llamadas fórmulas
bien formadas). Los axiomas son fórmulas bien formadas concretas que se dan
como enumeración explícita o como sistema recursivamente enumerable.
 Las reglas de inferencia, propias de cada sistema y explícitamente definidas
como reglas combinatorias entre proposiciones válidas. Las fórmulas bien
formadas y obtenidas recursivamente mediante reglas de inferencias a partir de
los axiomas se denominan teoremas del lenguaje formal.
 Un conjunto interpretaciones lógicas, que permite asignar valores de verdad a
diferentes proposiciones. Una interpretación es una aplicación del conjunto de
todas las fórmulas bien formadas (proposiciones) en un modelo. El valor de
verdad cada proceso.
Críticas a la noción de proposición
Una cuestión planteada a propósito de las proposiciones es:
¿Es la proposición algo más que un enunciado expresado en un lenguaje
determinado?
Tradicionalmente en filosofía, se ha considerado que la verdad lógica es independiente
del lenguaje empleado para definirla y, por tanto, ha considerado, que la proposición
representa la estructura lingüística como algo independiente de los enunciados:
 porque no habla del mundo;
 porque las verdades lógicas únicamente representan una estructura gramatical
(sintaxis) que permite que cualquier sustitución de sus variables dará un
resultado tautológico, como verdad obvia.
Los que consideran que la verdad únicamente es aplicable al mundo y a los
enunciados directamente, sin tener que llegar a la fusión de la lógica con el lenguaje,
consideran la proposición como un artilugio conceptual inútil:
 La gramática, como estructura sintáctica, es un asunto del lenguaje.
 pero también el léxico
 y, cuando hablamos, hablamos del mundo y para ello tenemos que utilizar el
léxico
 y la verdad es un asunto del mundo
Ciertamente la verdad lógica se ha de mantener, como verdad, a través de todas las
sustituciones léxicas, y no depende de los rasgos del mundo que se expresan
mediante el léxico. Pero:
¿no puede depender de otros rasgos del mundo, de rasgos que nuestro lenguaje
refleje en sus construcciones gramaticales, y no en su léxico? No tendría ningún
interés objetar aquí que la gramática varía de un lenguaje a otro, porque lo mismo le
pasa al léxico. Tal vez las verdades lógicas deban su verdad a ciertos rasgos de la
realidad que se reflejan de un modo en la gramática de nuestro lenguaje, de otro modo
en la gramática de otro lenguaje, y de otro modo en la combinación de la gramática y
el léxico de un tercer lenguaje.
Lo que tal vez nos remita a la noción de la creencia como evidencia, anterior a la mera
constitución del signo y su articulación lingüística.

Inferencia
 La inferencia es el proceso por el cual se derivan conclusiones a partir de premisas.
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.
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

 1Inferencia lógica
o 1.1Lógica aristotélica
o 1.2Lógica moderna
 1.2.1Esquema de inferencia
 2Inferencia por evidencias
 3Tipos de inferencia
 4Inferencia estadística (administración y gestión)
 5Inferencia aplicada al conocimiento del comportamiento humano
 6Véase también
 7Referencias
 8Bibliografí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.101112
 podría ser transformada en:
donde ;  y .
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.
 donde  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]