Lgica Matemtica

Por influncia do pensamento de Aristteles, a lgica dizia respeito, tradicionalmente,

apenas s proposies da linguagem verbal. A partir do sculo XIX, no entanto, seus
princpios foram aplicados linguagem simblica da matemtica.
Lgica matemtica o conjunto de estudos que visam a expressar em signos matemticos as
estruturas e operaes do pensamento, deduzindo-as de um pequeno nmero de axiomas,
com o propsito de criar uma linguagem rigorosa, adequada ao pensamento cientfico, da
qual estejam afastadas as ambigidades prprias da linguagem comum. Fundamenta-se na
construo de sistemas formais, ou seja, modelos, para cuja definio se enunciam certos
axiomas (conceitos bsicos) e mtodos de deduo ou demonstrao.
Evoluo histrica. O termo "sistema" foi proposto por Laozi (Lao-ts) 500 anos antes da
era crist, ao dizer que "uma carroa mais que a soma de suas partes", ou seja, que a
relao entre os diversos elementos que formam a carroa faz com que ela tenha
propriedades especiais e diferentes da soma das propriedades de cada um de seus
componentes em separado. Aristteles j assinalara um princpio de abstrao ao descrever
sistema como um conjunto de funes, caractersticas e atributos que podem ser definidos.
No entanto, o termo lgica matemtica denota preferencialmente o conjunto de regras e
raciocnios dedutivos elaborado a partir da segunda metade do sculo XIX. Mediante a
eliminao das imprecises e erros lgicos da linguagem comum e a adoo de critrios de
formalizao e emprego de smbolos, a lgica formal converteu-se numa disciplina
associada matemtica.
Em 1854, George Boole descobriu que os conectivos, ou operadores, propostos por
Aristteles para as proposies (do tipo "e", "ou", "no" etc.) seguiam regras similares s
da soma e da multiplicao. Projetou, ento, a chamada lgebra de Boole, que se baseia na
lgica binria de "verdadeiro" e "falso" como alternativas para cada proposio.
Pouco depois, Georg Cantor criou a teoria dos conjuntos e suas operaes. Definiu conjunto
como a unio de objetos que satisfazem propriedades exprimveis, e conjunto de conjuntos
como um novo conjunto que contm a si mesmo, sendo um de seus prprios elementos.
Bertrand Russell detectou o paradoxo desse raciocnio e argumentou que um conjunto
pertence primeira categoria se no contm a si mesmo, e segunda se contm a si mesmo
como elemento. Assim, se o conjunto A tem como elementos os conjuntos da primeira
categoria, no pode, por deduo, pertencer a nenhuma das duas categorias mencionadas,
ainda que inicialmente se atribusse uma categoria a cada conjunto.
Ernst Zermelo formulou em 1904 um axioma de escolha sobre conjuntos no-vazios, isto ,
que contm elementos. Numa famlia de conjuntos no-vazios, qualquer que seja seu
tamanho, pode-se escolher ao mesmo tempo um elemento de cada conjunto e considerar o
conjunto A, que no podia pertencer a nenhuma categoria, como constitudo desses
elementos. Com esse axioma puderam ser demonstrados teoremas matemticos clssicos
carentes de lgica aparente, mas ao mesmo tempo comeou a polmica quanto validade

dos teoremas demonstrados com base nele, e a equiparao destes com aqueles que no
necessitam desse axioma para sua demonstrao. Enfim, tornou-se prtica indicar se em
determinado teorema havia sido usado ou no o axioma de escolha.
Para Kurt Gdel, um sistema matemtico que s fosse suficiente para a aritmtica clssica
seria necessariamente incompleto. Acrescentou que qualquer sistema pode ser coerente ao
se lhe incorporar o axioma de escolha, e assim se mantm quando nele se inclui a negao
desse mesmo axioma. A hiptese de continuidade geral tambm coerente com a
matemtica comum, que mantm a coerncia quando se lhe acrescentam simultaneamente
o axioma de escolha e a hiptese de continuidade geral. Essa hiptese prope uma
explicao provvel de um fato ou srie de fatos cuja verdadeira causa se desconhece.
Sistemas e subsistemas lgicos. No sculo XX, define-se sistema como um conjunto cujos
elementos esto em interao e no qual prevalecem as relaes recprocas entre os
elementos, e no os elementos em si. Por sua prpria natureza, sistema um conjunto de
partes, o que significa que pode ser analisado. O conjunto como um todo, porm, no pode
ser obtido pela simples acumulao das partes. A trama das relaes entre os elementos
constitui a estrutura do sistema, ou, o que a mesma coisa, o mecanismo de articulao de
suas partes.
As grandezas tomadas para descrever um sistema no so sempre as mesmas. Se uma delas
se comporta de forma particular, deve ter propriedades que suscitam tal comportamento e
dem lugar a certas regras de organizao. Os sistemas tm limites precisos, de modo que
possvel determinar sem ambigidades se um elemento pretence a um ou a outro sistema.
Os sistemas classificam-se em fechados, se no permutam matria com o exterior, mesmo
que haja permuta de energia para chegar ao equilbrio, e abertos, se podem permutar
matria e energia com o exterior e tendem estabilidade. Os ltimos se caracterizam por
um comportamento no plenamente determinado por uma cadeia causal, nem por puro
acaso. Os sistemas abertos tendem a se manter no estado em que melhor se adequam a
possveis perturbaes. Essa tendncia estabilidade lhes permite alcanar um estado final
caracterstico a partir de estados iniciais distintos e caminhos diferentes. A atuao ou
comportamento de cada subsistema ou componente de um sistema se difunde pelo sistema
inteiro. Os sistemas so representados formalmente mediante modelos, e chama-se
simulao a gerao de possveis estados do sistema pelo modelo que representa.
Conceitos de lgica matemtica. O processo dedutivo matemtico exige rigor. O modelo
tradicional de um sistema consiste na apresentao das assertivas principais em forma de
teoremas, como j o fizera Euclides na Grcia antiga. Formalmente, d-se o nome de
teorema a uma proposio cuja validade se prova por demonstrao. Assim, os axiomas,
que se definem como primeiros teoremas e se admitem sem demonstrao, pertencem a
uma categoria lgica diferente. Os teoremas se demonstram a partir de outros teoremas,
mediante procedimentos de deduo ou induo nos quais se encadeiam conseqncias
lgicas. A axiomtica da matemtica, e das cincias em geral, constitui o elemento bsico
para a deduo de teoremas derivados, e a escolha adequada dos axiomas um dos pontos
mais delicados na elaborao dos modelos de qualquer sistema. Um conjunto de axiomas
aceitvel, do ponto de vista matemtico, quando tem coerncia lgica, o que implica que de
um mesmo axioma no possvel deduzir dois teoremas contraditrios.
Desenvolvendo certo raciocnio, conclui-se que, alm dos axiomas, as prprias regras de
deduo deveriam estar sujeitas a variaes. Quando os axiomas e regras de deduo so
abertos, fala-se de sistema matemtico, ou formal, que exige que o sistema seja coerente
uma vez estabelecido o mtodo. Quando se pode demonstrar uma proposio ou sua

negativa, o sistema completo. Se um sistema que contm um teorema se altera, a mesma

proposio, ou a que corresponde nova entidade, passa a ser duvidosa ou inteiramente
falsa. Mesmo que sua validade se mantenha, seria preciso uma nova demonstrao, devido
possibilidade de que os axiomas ou as regras de deduo do sistema tenham perdido sua
pertinncia.
As regras bsicas da lgica matemtica exigem a formulao de enunciados, nos quais se
definem previamente os conceitos da proposio, e predicados ou sentenas matemticas
que empregam os enunciados descritos anteriormente.
A terminologia e a metodologia da lgica matemtica tiveram, ao longo do sculo XX,
importante papel no progresso das novas cincias da informtica e ciberntica. Desde as
origens, elas adotaram as estruturas formais da lgica binria e da lgebra de Boole e
empregaram a filosofia de enunciado-predicado em suas proposies, numa axiomtica e
num conjunto de regras hipottico-dedutivas definidas previamente.