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]

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).

Este artigo sobre lógica é um esboço. Você pode ajudar a Wikipédia expandindo-o.

[1] 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).

[1]