Ser Universitrio Tudo sobre vestibulares e o mundo da educao. Acesse Agora! www.seruniversitario.com.

br

LGICA
Lgica, cincia que trata dos princpios vlidos do raciocnio e da argumentao. Seu estudo um esforo no sentido de determinar as condies que permitem tirar de determinadas proposies, chamadas de premissas, uma concluso delas derivada. A validade lgica a relao entre as premissas e a concluso. O que hoje se conhece como lgica clssica, ou tradicional, foi enunciado pela primeira vez por Aristteles, que elaborou leis para um raciocnio correto, a ser desenvolvido mediante silogismos. Em meados do sculo XIX, os matemticos britnicos George Boole e Augustus De Morgan abriram lgica um novo campo, que hoje se conhece como lgica simblica ou moderna, posteriormente desenvolvida por Bertrand Russell e por Alfred North Whitehead, cobrindo todo um espectro de argumentaes possveis, maior do que aquelas encontradas na lgica silogstica. Tanto o ramo clssico como o moderno implicam em mtodos de lgica dedutiva, embora tambm tenha havido esforos no sentido de desenvolver mtodos de lgica indutiva, sendo neste ltimo campo a contribuio mais importante a do filsofo britnico John Stuart Mill, com sua obra Sistema de lgica (1843). Estudos posteriores desenvolveram sistemas da chamada lgica combinatria: uma afirmao pode ter um valor diferente de verdadeiro ou falso. Em alguns pressupostos, apenas um terceiro valor, neutro; em outros, um valor de probabilidade. Lgica paraconsistente, noo segundo a qual a lgica admite contradies. Foi introduzida pelo filsofo e matemtico brasileiro Newton da Costa. A necessidade da cincia de trabalhar com a contradio surgiu do interesse em estudar temas complexos, como por exemplo os tratados pela mecnica quntica. Desde a dcada de 1930, supunha-se que a lgica clssica no podia ser aplicada mecnica quntica. A partir das lgicas no-clssicas, em especial os paradoxos na lgica e/ou na matemtica, surgiu o conceito de lgica paraconsistente, formulado em 1963. Na realidade, esse conceito nasceu da idia de Georg Cantor, que dizia que a essncia da matemtica est na sua liberdade. Muitos dos paradoxos surgidos no incio do sculo XX, em geral foram eliminados com a manuteno da lgica tradicional e com a introduo de restries nos postulados da teoria dos conjuntos. Se a matemtica fosse absolutamente livre, como supunha Cantor, em vez de introduzir restries aos postulados da teoria dos conjuntos poderamos mudar a lgica e, desse modo, reconstituir a matemtica clssica inteira.

Ser Universitrio Tudo sobre vestibulares e o mundo da educao. Acesse Agora! www.seruniversitario.com.br Para melhor entender o que a lgica paraconsistente, convm recordar que a lgica o estudo dos processos pelos quais determinadas sentenas ou proposies podem ser deduzidas de outras. Desde a poca de Aristteles, um dos princpios da lgica o da no-contradio. Essa idia estabelece a impossibilidade de que uma sentena qualquer e sua negao sejam ambas verdadeiras. A lgica clssica no admite contradies. No entanto, medida que os diferentes campos da cincia evoluem e se tornam mais complexos, as contradies aparecem. Na fsica, as partculas elementares em determinadas circunstncias no se comportam como matria, mas como ondas. Sob certos aspectos, elas so e no so partculas. Tal dificuldade pode ser ultrapassada, como em geral fazem os fsicos, tentando eliminar a contradio e manter a lgica clssica. No entanto, se o pesquisador quiser tratar diretamente o problema, sem desvios tericos, torna-se necessrio o emprego de uma lgica no-convencional, que aceite as contradies. A lgica paraconsistente foi idealizada para tratar desses problemas. A idia de trabalhar com a contradio atraiu para a lgica paraconsistente pesquisadores de vrias reas do conhecimento, inclusive psicanalistas que reconhecem no trabalho a formalizao da idia de contradio que, segundo Freud, existiria no prprio plano do inconsciente. Na informtica, os especialistas j desenvolveram sistemas para processar dados contraditrios. No campo da teoria da cincia, surgiu o conceito de "quaseverdade", uma variante da verdade pragmtica. Consideremos o caso da mecnica clssica newtoniana, em relao relatividade einsteiniana: a primeira no se aplica aos corpos que se deslocam em velocidades muito altas, prximas da luz, ao contrrio do que ocorre em determinados domnios, como na engenharia civil, onde a mecnica newtoniana estritamente verdadeira. Ela , portanto, quase-verdadeira para um determinado setor. Assim tambm pode ocorrer com a teoria da luz ondulatria e corpuscular. Ambas so quase-verdade para certos aspectos da teoria da luz. Matemtica, estudo das relaes entre quantidades, magnitudes e propriedades, e das operaes lgicas utilizadas para deduzir quantidades, magnitudes e propriedades desconhecidas. No passado, a matemtica era considerada a cincia da quantidade, aplicada s magnitudes (como na geometria), aos nmeros (como na aritmtica) ou generalizao de ambos (como na lgebra). Em meados do sculo XIX, a matemtica passou a ser considerada como a cincia das relaes, ou como a cincia que produz condies necessrias. Esta ltima noo abarca a lgica matemtica ou simblica cincia que consiste em utilizar smbolos para gerar uma teoria exata de deduo e inferncia lgica baseada em

Ser Universitrio Tudo sobre vestibulares e o mundo da educao. Acesse Agora! www.seruniversitario.com.br definies, axiomas, postulados e regras que transformam elementos primitivos em relaes e teoremas mais complexos. HISTRIA As primeiras referncias matemtica avanadas e organizadas datam do terceiro milnio a.C., na Babilnia e no Egito. Esta matemtica estava dominada pela aritmtica. Os primeiros livros egpcios, escritos no ano 1800 a.C., mostram um sistema de numerao decimal com diferentes smbolos para as sucessivas potncias de 10 (1, 10, 100, ...), semelhante ao sistema utilizado pelos romanos. Na geometria, foram obtidas as regras corretas para calcular a rea de tringulos, retngulos e trapzios, e o volume de figuras como ortoedros, cilindros e pirmides. Os gregos usaram elementos da matemtica dos babilnios e dos egpcios. A inovao mais importante foi a inveno da matemtica abstrata, com base numa estrutura lgica de definies, axiomas e demonstraes. Este avano comeou no VI a.C., com Tales de Mileto e Pitgoras. Alguns de seus discpulos fizeram importantes descobertas sobre a teoria numrica e a geometria, que so atribudas ao prprio Pitgoras. No final do sculo IV a.C., Euclides escreveu Elementos, obra que contm a maior parte do conhecimento matemtico da poca. O sculo posterior a Euclides esteve marcado por um grande desenvolvimento da matemtica, como se pode comprovar nos trabalhos de Arquimedes e Apolnio. Este escreveu um tratado em oito volumes sobre as cnicas e estabeleceu seus nomes: elipse, parbola e hiprbole. Os avanos dos matemticos rabes, junto com as tradues dos gregos clssicos, foram os principais responsveis pelo crescimento da matemtica durante a Idade Mdia. Entre outros avanos, os matemticos rabes ampliaram o sistema indiano de posies decimais na aritmtica de nmeros inteiros, estendendo-o s fraes decimais. Al-Khwarizmi desenvolveu a lgebra dos polinmios. Os gemetras, como Ibrahim ibn Sinan, continuaram as investigaes de Arquimedes sobre reas e volumes. Em 1545, o italiano Gerolamo Cardano publicou em sua obra Ars magna uma frmula algbrica para a resoluo das equaes de terceiro e quarto graus. Esta conquista levou os matemticos a se interessarem pelos nmeros complexos e estimulou a busca de solues semelhantes para equaes de quinto grau ou mais. Tambm no sculo XVI, comearam a ser utilizados os modernos smbolos matemticos e algbricos. O sculo XVII comeou com a descoberta dos logaritmos pelo matemtico John Napier. Na geometria pura, Descartes publicou em seu Discurso do mtodo (1637)

Ser Universitrio Tudo sobre vestibulares e o mundo da educao. Acesse Agora! www.seruniversitario.com.br sua viso da geometria analtica, que mostrava como utilizar a lgebra para investigar a geometria das curvas. Outro avano importante na matemtica do sculo XVII foi o surgimento da teoria da probabilidade. No entanto, o acontecimento mais importante do sculo na matemtica foi o estudo dos clculos diferencial e integral por Newton, entre 1664 e 1666. Alguns anos mais tarde, o alemo Leibniz tambm descobriu o clculo e foi o primeiro a divulg-lo, em 1684 e 1686. O sistema de notao de Leibniz usado hoje no clculo. O grande matemtico do sculo XVIII foi o suo Euler, que contribuiu com idias fundamentais sobre clculo e outros ramos da matemtica e suas aplicaes. Em 1821, o matemtico francs Cauchy conseguiu um enfoque lgico e apropriado do clculo, baseado apenas em quantidades finitas e no conceito de limite. Alm de fortalecer os fundamentos da anlise, nome dado a partir de ento s tcnicas do clculo, os matemticos do sculo XIX realizaram importantes avanos nesta parte. No incio do sculo, Gauss deu uma explicao adequada sobre o conceito de nmero complexo. Outra descoberta do sculo XIX, que na poca foi considerada abstrata e intil, foi a geometria no-euclidiana. Os fundamentos da matemtica foram completamente transformados no sculo XIX, principalmente pelo ingls George Boole, em seu livro Investigaes das leis do pensamento, sobre as quais se baseiam as teorias matemticas da lgica e das probabilidades (1854) e por Cantor em sua teoria dos conjuntos. O computador revolucionou a matemtica e converteu-se num elemento primordial. Este avano deu grande impulso a certos ramos da matemtica, como a anlise numrica e a matemtica finita, e gerou novas reas de investigao, como o estudo dos algoritmos. Tornou-se, portanto, uma poderosa ferramenta em campos to diversos quanto a teoria numrica, as equaes diferenciais e a lgebra abstrata. O melhor exerccio que poder fazer de lgica o nosso teste de QI, ento no perca tempo e acesse j, o seu resultado instantneo. WWW.VESTIBULAR1.COM.BR