Inferência imediata
Uma inferência imediata é uma inferência na qual pode ser feita a partir de apenas uma afirmação ou proposição.[1] Por exemplo, partindo da afirmação “Todos os sapos são verdes” podemos obter a inferência imediata “Nenhum sapo não é verde”. Há várias inferências imediatas que podem ser validamente usadas em operações lógicas, o resultado dessas é a forma de afirmação logicamente equivalente à afirmação dada. Existem também inferências imediatas inválidas que são falácias silogísticas.
Inferências imediatas válidas
[editar | editar código-fonte]Conversão
[editar | editar código-fonte]
Ver artigo principal: Recíproca- Dada uma afirmação do tipo E, a partir da ordem tradicional de oposição, “Nenhum S é P.”, pode-se obter a inferência imediata “Nenhum P é S” que é a conversão da afirmação dada.
- Dada uma afirmação do tipo I, “Algum S é P.”, pode-se obter a inferência imediata “Algum P é S” que é a conversão da afirmação dada.
Oposição
[editar | editar código-fonte]- Dada uma afirmação do tipo A, “Todo S é P.”, pode-se obter a inferência imediata “Nenhum S é não P” que é a oposição da afirmação dada.
- Dada uma afirmação do tipo E, “Nenhum S é P.”, pode-se obter a inferência imediata “Todo S é não P” que é a oposição da afirmação dada.
- Dada uma afirmação do tipo I, “Algum S é P.”, pode-se obter a inferência imediata “Algum S não é não P” que é a oposição da afirmação dada.
- Dada uma afirmação do tipo O, “Algum S não é P.”, pode-se obter a inferência imediata “Algum S é não P” que é a oposição da afirmação dada.
Contrapositiva
[editar | editar código-fonte]- Dada uma afirmação do tipo A, “Todo S é P.”, pode-se obter a inferência imediata “Todo não P é não S” que é a contrapositiva da afirmação dada.
- Dada uma afirmação do tipo O, “Algum S não é P.”, pode-se obter a inferência imediata “Algum não P não é não S” que é a contrapositiva da afirmação dada.
Inferências imediatas inválidas
[editar | editar código-fonte]Os casos de aplicação incorreta das relações contrárias, subcontrárias e subalternação são falácias silogísticas chamadas de contrário ilícito, subcontrário ilícito e subalternação ilícita. Casos de aplicação incorreta da relação contraditória são tão pouco frequentes, que geralmente não é reconhecida uma falácia “ilícita contraditória”.
Ilícita contrária
[editar | editar código-fonte]- É falso que todo A é B, portanto, nenhum A é B.
- É falso que nenhum A é B, portanto, todo A é B.
Ilícita subcontrária
[editar | editar código-fonte]- Algum A é B, portanto, é falso que algum A é não B.
- Algum A é não B, portanto, algum A é B.
Ilícita subalternação (Superalternação)
[editar | editar código-fonte]- Algum A é não B, portanto, nenhum A é B.
- É falso que todo A é B, portanto, é falso que algum A é B.
Referências
- ↑ Churchill, Robert Paul (1990). Logic: An Introduction 2nd ed. New York: St. Martin's Press. p. 162. ISBN 0-312-02353-7. OCLC 21216829.
Immediate inference is the assumption, without intervening—or 'mediating'—premises, that because one categorical statement is true (or false), a logically equivalent categorical statement must also be true (or false).
