UNIVERSIDADE FEDERAL DA PARABA DEPARTAMENTO DE MATEMTICA-CCEN DISCIPLINA: Fundamentos da Matemtica PROFESSORA: Maria Lewtchuk Espindola ALUNO/MATRCULA: Andr Lucio

da Silva Cabral/10711155

A LGICA INTUICIONISTA

Joo Pessoa, 31/11/2013

INTRODUO

O presente trabalho ir acercar um acontecimento significativo na histria da matemtica, o qual, em defesa de um pensamento construtivo presente na escola de pensamento intuicionista, fez surgir uma nova lgica diferenciada da tradicional. A esta se deu o nome de Lgica Intuicionista. Mais concretamente, ser investido nos seguintes tpicos: no motivo original pelo o qual esta lgica fez-se surgir, sua notao lgico-simblica, a concepo que fazem para determinar a validade dos princpios lgicos e o significado de algumas proposies como universais e de existncias, os distinguindo da lgica clssica. objetivo deste trabalho expor de que forma o pensamento intuicionista fez por caracterizar essa nova lgica. Este trabalho est organizado em 6 captulos, sendo os 4 primeiros norteado ao desenvolvimento do tema proposto, o 5 concluso e o 6 referncia bibliogrfica. Comearemos evidenciando a lgica tradicional e em que princpios ela se fundamenta. No captulo 2, a lgica intuicionista, iremos se aproximar rapidamente do intuicionismo de Brouwer, por necessidade de se situar, e conhecer o motivo pelo o qual esta lgica surgiu, traando caminhos que, no captulo 3, a diferena da lgica clssica e da lgica intuicionista, se tornar claro em que juzo ela se opem lgica clssica. Na 4 parte, a concepo intuicionista em algumas proposies matemticas, finalizaremos o trabalho abordando a viso inserida pelos intuicionistas nas proposies utilizando os quantificadores universal e existencial.

SUMRIO

1. A lgica tradicional_________________________________________4 2. A lgica intuicionista________________________________________5 3. A diferena da lgica clssica e da lgica intuicionista______________6 4. A concepo intuicionista em algumas proposies matemticas_____7 5. Concluso_________________________________________________8 6. Referncias________________________________________________9

1. A lgica tradicional

No contexto do trabalho, o termo lgica se refere organizao do raciocnio estruturada nos pensamentos. Em matemtica, foi dotada uma lgica simblica para servir de argumento, por exemplo, nas demonstraes de teoremas. Sejam e proposies, usam-se os referidos conectivos e seus respectivos significados abaixo:

1. V 2. 3. 4. 5.

= = e

; ; ; = . ;

Usualmente, a lgica tradicional fundamentada de alguns princpios, os quais possuem suas constantes lgicas representadas por smbolos e um sentido particular matemtico. Vejamos estes princpios lgicos:

(princpio do terceiro excludo) o princpio que define: dada uma proposio , temos por concluso apenas que ou verdadeiro, ou falso, excluindo qualquer terceira possibilidade. Mediante este, boa parte da matemtica facilmente demonstrada. Est presente no mtodo de demonstrao por meio da reduo ao absurdo. Dessa maneira, para provar que uma proposio verdadeira, basta chegar ao resultado que conduz a um absurdo. Portanto, falso e, pelo princpio do terceiro excludo, temos que verdadeiro; ( (princpio da contradio) Este pode parecer anlogo ao princpio do terceiro excludo, mas eles se diferem. Pois o princpio da contradio usado nas demonstraes para expressar a concluso de que uma proposio no pode ser verdadeiro e falso ao mesmo tempo; (princpio da dupla negao) O princpio da dupla negao se dar por concluir que duas negaes sucessivas uma proposio equivalem afirmar a prpria proposio .

2. A lgica intuicionista

Na tentativa de vencer a crise nos fundamentos da matemtica que a escola logicista causou, Kronecker foi adaptando seus valores filosficos elaborao de novos conceitos matemticos. Para ele, uma demonstrao de uma proposio qualquer s seria bem fundamentada se todos os objetos e etapas de sua prova fossem construdos, ou seja, a validade de tem que ser garantida por um processo construtivista. Embora este matemtico tenha colaborado bastante para formar a base desta corrente terica, foi atravs do holands Brouwer que suas teses atingiram o auge e se tornaram caracterstica de uma nova filosofia matemtica, denominada de intuicionismo, que faz uma abordagem matemtica de acordo com a atividade mental construtiva. Com a investida nesta nova escola filosfica, na qual os conceitos matemticos devem ser construdos, a lgica tradicional foi se mostrando inadequada pelo fato de admitir o princpio do terceiro excludo. A partir da, os seguidores de Brouwer viramse na funo de elaborar uma nova lgica, na qual no valasse o referido princpio, baseada em uma matemtica onde o carter construtivo fundamental. A lgica intuicionista o sistema de lgica simblica desenvolvida para fornecer uma base para o intuicinismo. Os conectivos clssicos tero os mesmo sentidos na lgica intuicionista, mas a forma de interpretar o significado das constantes lgicas diferente. Nela, admite-se:

O princpio da contradio : ( ; Que implicaria na sua dupla negao: ; A negao da negao do princpio do terceiro excludo: Que trs negaes sucessivas equivalem a uma:

3. A diferena da lgica clssica e da lgica intuicionista

Apesar dos conectivos clssicos terem os mesmos significados na lgica intuicionista, j se sabe que a combinao de proposies utilizando conectivos lgicos no so definveis da mesma maneira que na lgica clssica. Mas no essa a principal diferena entre essas duas lgicas. Vamos analis-las de uma maneira confrontante, utilizando termos bem comparativos. A lgica clssica trata de verdade absoluta, uma vez que uma proposio bem formulada sempre falsa ou verdadeira. Logo admite o princpio do terceiro excludo. Esta lgica bastante importante nas provas de teoremas, contribuindo de forma significativa aos fundamentos da matemtica, por assumir como vlido o mtodo de demonstrao por meio de reduo ao absurdo. A lgica intuicionista trata de verdade construtiva, uma vez que uma proposio bem formulada se, e somente se, for possvel construir uma prova para a mesma. Essa lgica preserva a justificativa e no penas a verdade, ou seja, na lgica intuicionista, dizer que uma proposio foi demonstrada, significa dizer que as suas hipteses so verdadeiras e justificveis construtivamente; com efeito, a sua concluso tambm ser verdadeira e justificvel construtivamente. Desta forma, o princpio do terceiro excludo se torna inapropriado por forar uma concluso absoluta. Para enxergar a diferena sucintamente consideremos e proposies. Para o intuicionista, dizer ou equivale a dizer que ou ou pode ser provado construtivamente. Analogamente, utilizando o princpio do terceiro excludo, desta forma ou , seria inapropriada assumir que sempre possvel provar ou ou . Por esta razo, a lgica intuicionista no admite o princpio do terceiro excludo, sendo esta a principal diferena em sua comparao com a lgica clssica.

4. A concepo intuicionista em algumas proposies matemticas

Assim como na lgica clssica, a intuicionista pode utilizar os quantificadores universal e existencial, mas o significado diferente de seu sentido clssico. A essncia da palavra todo nos d uma ideia de um total acabado, completo, ntegro, que no existe algo que esteja de fora desse todo, ou at de um conjunto que no se faltam partes, mas para os intuicionistas, essa maneira de classificar o todo no aplicvel em todos os casos. Analisando a afirmao Todo nmero natural possui a propriedade P, observamos que, como para os brouwerianos o conjunto dos nmeros naturais no acabado em sua totalidade, s ser conveniente interpretar a frase entre aspas da forma: possvel construir um nmero natural qualquer, tendo a certeza de que este nmero possuir a propriedade P. Com o quantificador existencial no diferente. At nos dias de hoje comum dizermos que x existe porque sua no existncia implicaria em uma contradio, pela demonstrao por reduo ao absurdo. Isso se ope abordagem intuicionista. A contradio da no existncia no significa que seria possvel provar de maneira construtiva a sua existncia. Para demonstrar a existncia de um objeto, no podemos supor que ele existe, mas sim constru-lo. S assim a sua existncia ser verdadeira. Analisando a afirmao Existe um nmero natural que possui P, j que a suposio da existncia no intuicionismo implicaria uma contradio, a nica soluo para essa demonstrao seria encontrar um mtodo construtivo pelo qual obteremos este nmeto, tendo a certeza que o mesmo possuir P.

5. Concluso

Neste trabalho abordamos o conceito lgico do intuicionismo, o comparando com o conceito lgico clssico, sempre fazendo a comparao e diferenciao, a fim de alcanar da melhor forma o entendimento desta nova lgica, que apesar de no tido fora expressiva em suas concepes, teve sua importncia. Com base em todo este trabalho, conclumos por fim, que a lgica intuicionista no fundamenta a matemtica intuicionista. Pois a lgica no a linguagem desta matemtica.

6. Referncias

Neutow C. A. Da Costa, Introduo aos Fundamentos Da matemtica. Quarta edio. So Paulo, 2008. Editora Hucitec.