Na lógica clássica dedutiva, uma teoria é chamada de consistente se não contém contradição. A ausência de contradição pode ser definida tanto em termos sintáticos como em termos semânticos. A definição semântica diz que uma teoria é consistente, se e somente se, tem um modelo, i.e. existe uma interpretação sob as quais todas as fórmulas são verdadeiras. Essa é a compreensão usada na lógica aristotélica, embora na lógica matemática contemporânea o termo usado é satisfatível. A definição sintática diz que uma teoria é consistente, se e somente se, não existe nenhuma fórmula P, tal que tanto P como sua negação são demonstráveis a partir dos axiomas da teoria do sistema dedutivo, as quais estão associados.

Se as definições semânticas e sintáticas são equivalentes para qualquer teoria formulada usando a lógica dedutiva, a lógica é chamada de completa. A completude da lógica proposicional foi provada por Paul Bernays em 1918 e Emil Post em 1921, enquanto a completude da lógica de predicados foi provada por Kurt Gödel em 1930 e a prova de consistência para aritmética restrita que serve para o axioma da indução matemática foi provada por Ackermann (1924), von Neumann (1927) e Herbrand (1931). Lógicas mais fortes, como a lógica de segunda ordem, não são completas.

Uma prova de consistência é uma prova matemática que uma teoria particular é consistente. O desenvolvimento precoce da teoria da prova matemática foi dirigida pelo desejo de fornecer provas finitas consistentes para toda a matemáticas, como parte do programa de Hilbert. O programa de Hilbert foi fortemente impactado pelos teoremas da incompletude, que mostraram que teorias de provas suficientemente fortes não podem provar suas próprias consistências (dado que elas sejam de fato consistentes).

Embora consistência possa ser provada por meio da teoria dos modelos, muitas vezes é feito simplesmente pelo método sintático, sem precisar de fazer nenhuma referência a algum modelo da lógica. O teorema da eliminação do corte (ou equivalentemente a normalização do cálculo subjacente, caso exista algum) implica a consistência do cálculo: desde de que não exista obviamente uma prova de corte livre da falsidade, no geral, não existe nenhuma contradição.

Consistência e completude na aritmética e na teoria dos conjuntos

editar

Em teorias da aritmética, como a aritmética de Peano, existe uma complexa relação entre a consistência e a completude de uma teoria. Uma teoria é completa se, para toda fórmula φ em um idioma, pelo menos um φ ou ¬ φ é uma consequência lógica dessa teoria.

A Aritmética de Presburger é um sistema axiomático para os números naturais sob a adição. Ela é tanto consistente, como completa.

Os teoremas da incompletude de Gödel mostram que qualquer teoria efetiva suficientemente forte da aritmética não pode ser completa e consistente ao mesmo tempo. O teorema de Gödel se aplica às teorias da Aritmética de Peano (PA) e à Aritmética primitiva recursiva (PRA), mas não para a aritmética de Presburger.

Além disso, o segundo teorema da incompletude de Gödel mostra que a consistência de uma teoria suficientemente eficaz da aritmética pode ser testada de uma maneira particular. Tal teoria é consistente se e somente se ele não prova uma sentença particular, chamada de sentença de Gödel da teoria, que é uma afirmação sustentada no fato de que uma teoria é de fato consistente. Assim a consistência de uma suficientemente forte, efetiva, consistente teoria da aritmética não pode nunca ser provada nesse sistema por si só. O mesmo resultado de teorias efetivas pode se descrever um fragmento suficientemente forte de aritmética – incluindo um conjunto de teorias como os axiomas de Zermelo-Fraenkel(ZF). Esses axiomas não podem provar as suas próprias sentenças de Gödel – fornecendo que elas são consistentes, que é o que se acredita.

Por causa da consistência de ZF não é provável em ZF, a noção mais fraca de consistência relativa é interessante em um conjunto de teorias (e em outros sistemas axiomáticos suficientemente expressivos). Se T é uma teoria e A é um axioma adicional, T + A é consistente. Se ambas A e ¬A sãos consistentes com T, então A é dita ser independente de T.

Lógica de primeira ordem

editar

Notação

editar

⊢ (símbolo de catraca) no contexto da lógica matemática, significa “dedutível de”. Ou seja, a ⊢ b é lido como: b é dedutível de a (em algum sistema formal) – veja Lista de símbolos lógicos. Em outros casos, o símbolo de catraca pode ter o significado de inferir; derivável de. Veja Tabela de símbolos matemáticos.

Definição

editar

Um conjunto de fórmulas   na lógica de primeira ordem é consistente (escrito como Con ) se e somente se não existe nenhuma fórmula   tal que   e  . Caso contrário   é inconsistente e é escrito com Inc .

  é dito ser simplesmente consistente se e somente se para nenhuma fórmula   de  , ambas   e a negação de   são teoremas de  .

  é dito ser absolutamente consistente se e somente se pelo menos uma fórmula de   não é um teorema de  .

  é dito ser maximamente consistente se e somente se para toda fórmula , se Con( ) então  .

  é dito conter testemunhas se e somente se para toda fórmula na forma   existe um termo   tal que  . Veja Lógica de primeira ordem.

Resultados básicos

editar
  1. A fórmulas a seguir são equivalentes:
    1. Inc  
    2. Para todo  
  2. Todo conjunto de fórmulas satisfazíveis é consistente, onde um conjunto de fórmulas   é satisfazível se e somente se existe um modelo   tal que  .
  3. Para todo   e  
    1. se não  , então Con ;
    2. se Con   e  , então Con ;
    3. se Con  , então Con  ou Con .
  4. Deixe   ser um conjunto de fórmulas maximamente consistente e conter testemunhas. Para todo   e  :
    1. se  , então  ,
    2. ou   ou  ,
    3.  se e somente se   ou  ,
    4. se   e  , então  ,
    5.   se e somente se existe um termo   tal que  .

Teorema de Henkin

editar

Deixe   ser um conjunto de  -fórmulas maximamente consistente contendo testemunhas.

Defina uma relação binária   no conjunto de  -termos tal que   se e somente se  ; e deixe   denotar a classe de equivalência dos termos que contem  ; e deixe  , onde   é o conjunto de termos no conjunto de símbolos  .

Defina a  -estrutura   sobre  a estrutura de termos correspondente a   por:

  1. Para cada símbolo de relação   de aridade  ,  ,   se e somente se  ;
  2. Para cada símbolo de função   de aridade  ,  ,  ;
  3. Para  ,  .

Deixe   ser a interpretação do termo associado com  , onde  .

Para todo  ,   se e somente se  .

Esboço da prova

editar

Existem diversas coisas para serem verificadas. Primeiro, que   é uma relação de equivalência. Depois, é preciso verificar que (1), (2) e (3) são bem definidas. Isso decorre do fato que   é uma relação de equivalência e também é necessário uma prova que (1) e (2) são escolhas independentes dos representantes da classe de equivalência de  . Finalmente,   pode ser verificado por indução nas fórmulas.

Veja também

editar

Referências

editar
  • Stephen Kleene, 1952 10th impression 1991, Introduction to Metamathematics, North-Holland Publishing Company, Amsterday, New York, ISBN 0-7204-2103-9.
  • Hans Reichenbach, 1947, Elements of Symbolic Logic, Dover Publications, Inc. New York, ISBN 0-486-24004-5,
  • Alfred Tarski, 1946, Introduction to Logic and to the Methodology of Deductive Sciences, Second Edition, Dover Publications, Inc., New York, ISBN 0-486-28462-X.
  • Jean van Heijenoort, 1967, From Frege to Gödel: A Source Book in Mathematical Logic, Harvard University Press, Cambridge, MA, ISBN 0-674-32449-8 (pbk.)
  • The Cambridge Dictionary of Philosophy, consistency
  • H.D. Ebbinghaus, J. Flum, W. Thomas, Mathematical Logic
  • Jevons, W.S., 1870, Elementary Lessons in Logic