Inferencia lógica a partir de una sola afirmación
Una inferencia inmediata es una inferencia que se puede hacer a partir de un solo enunciado o proposición . [1] Por ejemplo, a partir del enunciado "Todos los sapos son verdes", se puede hacer la inferencia inmediata de que "ningún sapo no es verde" o "ningún sapo no es verde" (Anverso). Hay una serie de inferencias inmediatas que se pueden hacer válidamente utilizando operaciones lógicas, cuyo resultado es una forma de enunciado lógicamente equivalente al enunciado dado. También hay inferencias inmediatas inválidas que son falacias silogísticas .
Inferencias inmediatas válidas
Conversar
- Dada una declaración de tipo E , "No hay S que sean P ", se puede hacer la inferencia inmediata de que "No hay P que sean S ", que es la inversa de la declaración dada.
- Dada una afirmación de tipo I , "Algunos S son P ", se puede hacer la inferencia inmediata de que "Algunos P son S ", que es la inversa de la afirmación dada.
Anverso
- Dada una afirmación de tipo A , "Todos los S son P ", se puede hacer la inferencia inmediata de que "Ningún S es no-P ", que es el reverso de la afirmación dada.
- Dada una declaración de tipo E , "No hay S que sean P ", se puede hacer la inferencia inmediata de que "Todos los S son no P ", que es el reverso de la declaración dada.
- Dada una afirmación de tipo I , "Algunos S son P ", se puede hacer la inferencia inmediata de que "Algunos S no son no-P ", que es el reverso de la afirmación dada.
- Dada una declaración de tipo O , "Algunos S no son P ", se puede hacer la inferencia inmediata de que "Algunos S no son P ", que es el reverso de la declaración dada.
Contrapositivo
- Dada una afirmación de tipo A , "Todos los S son P ", se puede hacer la inferencia inmediata de que "Todos los no-P son no-S ", que es la contrapositiva de la afirmación dada.
- Dada una declaración de tipo O , "Algunos S no son P ", se puede hacer la inferencia inmediata de que "Algunos no-P no son no-S ", que es la contrapositiva de la declaración dada.
Inferencias inmediatas no válidas
Los casos de aplicación incorrecta de las relaciones contraria, subcontraria y subalternativa (que se dan en el cuadrado de oposición tradicional , no en el cuadrado de oposición moderno) son falacias silogísticas llamadas contrario ilícito , subcontraria ilícita y subalternativa ilícita , respectivamente. Los casos de aplicación incorrecta de la relación contradictoria (esta relación se da tanto en el cuadrado de oposición tradicional como en el moderno) son tan poco frecuentes que, por lo general, no se reconoce una falacia de "contradictoria ilícita". A continuación se muestran ejemplos de estos casos.
Ilícito contrario
- Es falso que todos los A sean B , por lo tanto ningún A es B.
- Es falso que ningún A sea B , por lo tanto todos los A son B.
Subcontrario ilícito
- Algunos A son B , por lo tanto es falso que algunos A no sean B.
- Algunos A no son B , por lo tanto algunos A son B.
Subalternidad ilícita y superalternación ilícita
- Algunos A no son B , por lo tanto ningún A es B.
- Es falso que todos los A sean B , por lo tanto es falso que algunos A sean B.
Véase también
Referencias
- ^ Churchill, Robert Paul (1990). Lógica: una introducción (2.ª ed.). Nueva York: St. Martin's Press. pág. 162. ISBN 0-312-02353-7. OCLC 21216829.
La inferencia inmediata es la suposición, sin premisas intermedias (o "mediadoras"), de que debido a que una afirmación categórica es verdadera (o falsa), una afirmación categórica lógicamente equivalente también debe ser verdadera (o falsa).
