Una inferencia inmediata es una inferencia que puede hacerse a partir de un solo enunciado o proposición . [1] Por ejemplo, a partir de la declaración "Todos los sapos son verdes", se puede inferir inmediatamente que "ningún sapo no es verde". Hay una serie de inferencias inmediatas que pueden hacerse válidamente mediante 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 , del cuadrado tradicional de oposición , "No S son P ", se puede hacer la inferencia inmediata de que "No P son S ", que es la inversa de la declaración dada.
- Dada una declaració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 declaración dada.
Anverso
- Dada una declaración de tipo A , "Todos los S son P ", se puede hacer la inferencia inmediata de que "No S no son P ", que es el anverso de la declaración dada.
- Dada una declaración de tipo E , "No S son P ", se puede hacer la inferencia inmediata de que "Todos los S son no P ", que es el anverso de la declaración dada.
- Dada una declaració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 anverso de la declaració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 anverso de la declaración dada.
Contrapositivo
- Dada una declaración de tipo A , "Todos los S son P ", se puede hacer la inferencia inmediata de que "Todos los que no son P son no S ", que es el contrapositivo del enunciado dado.
- Dada una declaración de tipo O , "Algunos S no son P ", se puede hacer la inferencia inmediata de que "Algunos que no son P no son no S ", que es la contraposición de la declaración dada.
Inferencias inmediatas no válidas
Los casos de la aplicación incorrecta de las relaciones contrarias, subcontrary y subalternación son falacias silogísticas llamados contrario ilícita , subcontrary ilícita , y subalternación ilícita . Los casos de aplicación incorrecta de la relación contradictoria son tan infrecuentes que por lo general no se reconoce una falacia "ilícita contradictoria".
Contrario ilícito
- Es falso que todos Un son B , por lo tanto, no hay una son B .
- Es falso que hay un son B , por lo tanto, todo Un son B .
Subcontrato ilícito
- Algunos A son B , por lo tanto, es falso que algunos Un no son B .
- Algunos A no son B , por lo tanto, algunos Un son B .
Subalternación ilícita (superalternación)
- Algunos A no son B , por lo tanto, no hay una son B .
- Es falso que todos Un son B , por lo tanto, es falso que algunos Un son B .
Ver también
Referencias
- ^ Churchill, Robert Paul (1990). Lógica: Introducción (2ª ed.). Nueva York: St. Martin's Press. pag. 162. ISBN 0-312-02353-7. OCLC 21216829 .
La inferencia inmediata es la suposición, sin intervenir —o "mediar" premisas, de que debido a que un enunciado categórico es verdadero (o falso), un enunciado categórico lógicamente equivalente también debe ser verdadero (o falso).