Informatica

Consequência Lógica
Um dos problemas mais interessantes em filosofia da lógica é tentar compreender como uma conclusão é uma consequência lógica (válida) das premissas. Nós podemos dizer que as premissas implicam a conclusão ou que a conclusão se segue validamente das premissas, mas qual é a melhor maneira de explicar esse fenômeno? É este problema que Stephen Read aborda de maneira clara no segundo capítulo de seu livro Thinking About Logic. Uma tradução livre desse capítulo, da autoria de Guilherme de Oliveira, Cristiano Picasso e revisada por Abílio Rodrigues, está aqui. Como não é uma tradução profissional certamente contém erros, que devem ser apontados.
Consequência lógica é um conceito fundamental na lógica. Trata-se de uma relação entre um conjunto de sentenças (ou proposições) e uma sentença (proposição), na qual o primeiro acarreta o segundo. Por exemplo, diz-se que "Caco é verde" é uma consequência lógica de "todos os sapos são verdes" e "Caco é um sapo", porque seria "auto contraditório" afirmar estas últimas sentenças e negar a primeira. A consequência lógica é a relação entre as premissas e a conclusão de um argumento válido. Estas definições tendem a ser circulares; fornecer uma explicação razoável para consequência lógica e para o acarretamento constitui um tópico importante da Filosofia da lógica.
A verdade da consequência acima depende tanto da verdade dos antecedentes como da relação de consequência lógica entre os antecedentes e o consequente. A consequência poderá não ser verdadeira, se nem todos os sapos forem verdes. Consequências lógicas ou inferências por raciocínio dedutivo são um aspecto importante da epistemologia que comunica ao público em geral hipóteses a cerca da causalidade de fatores de risco.
Uma relação de consequência lógica especificada formalmente pode ser caracterizada através da teoria dos modelos ou da teoria da demonstração (ou ambos).
A consequência lógica também pode ser expressa como uma função de conjuntos de