Inferencias lógicas

Solo disponible en BuenasTareas
  • Páginas : 2 (363 palabras )
  • Descarga(s) : 0
  • Publicado : 16 de noviembre de 2010
Leer documento completo
Vista previa del texto
Inferencias

• inferencia es “sacar de” un lado una cosa nueva o contenida en ella… hay dos tipos de inferencias:
❖ Inmediatas: aquellas que pueden obtenerse directamente apartir de la relación que establece un juicio respecto a los términos, sujeto y predicado, que le constituyen, en función de la cualidad (afirmativo-negativo) y la cantidad (universal-particular) delmismo.
❖ Mediatas: silogismo

Cuadro de oposición lógica

Se llama cuadro de oposición de los juicios al esquema mediante el que se estudian las relaciones formales entre los diversostipos de juicios aristotélicos, A, E, I, O, considerando cada juicio con términos idénticos. En su día fue con considerado por el mismo Aristóteles.
[pic]

• Se llaman juicios opuestos a los queteniendo los mismos términos difieren en cantidad, en cualidad o en ambas. Se representan en cada uno de los vértices del cuadrado de oposición, estableciéndose las siguientes relaciones:
❖ Ay E son contrarios porque difieren en cualidad siendo universales.
❖ I y O son subcontrarios, porque siendo particulares difieren en la cualidad.
❖ A con respecto a O, e I conrespecto a E son contradictorios, porque difieren en cantidad y cualidad.
❖ A con respecto a I, y E con respecto a O son subalternos porque difieren en la cantidad.

• Las relaciones conrespecto al valor de verdad en relación de unos y otros se muestran en el siguiente cuadro:
❖ Los contradictorios, si uno es verdadero el otro es falso y viceversa. Ni ambos verdaderos, niambos falsos.
❖ Los contrarios, no pueden ser ambos verdaderos, pero pueden ser los dos falsos.
❖ Los subcontarios pueden ser ambos verdaderos, pero no pueden ser los dos falsos.Para otras posibles inferencias directas a partir de un juicio es necesario hacer unas operaciones que producen nuevos juicios: la conversión y la obversión, contraposición e inversión.

•...
tracking img