Tpicos de lgebra Moderna Elementar Aury de S Leite

0.1

Captulo Zero - Introduo Sobre Lgicas e lgebras

No exageraramos se asseverssemos, como A.N. Whitehead, que a lgica atual est para a lgica aristotlica como a matemtica moderna est para a aritmtica das tribos primitivas. Newton C. A. da Costa Na Folha de So Paulo 0.1.- A Lgica Aristotlica A Lgica uma cincia e, como toda cincia ela fruto de um complexo processo de produo de conhecimento. Os processos de produo de conhecimentos, de modo geral, possuem caractersticas dinmicas prprias e inerentes a cada rea do saber. Estes processos s vezes lentos, truncados, caticos ou errticos, s vezes extremamente rpidos, incisivos e contnuos possuem fortes componentes histricas, polticas, emocionais e sociais que, por sua vez, esto assentados na grande malha dos conhecimentos humanos que puderam ser, at ali, conservados como vlidos. O processo evolutivo da Lgica, como cincia, pode ser enquadrado em praticamente todas as possibilidades do quadro acima apresentado. Muitos filsofos antes de Aristteles fizeram incurses em busca da definio e compreenso do que seria a verdade, mas foi Aristteles (384 a.C.-322 a.C.) um filsofo grego discpulo de Plato, nascido em Estagira, na Macednia quem elaborou o primeiro sistema completo de Lgica que se tem notcia. No incio do texto intitulado Analticos, que um dos vrios textos que compem o rganon1, ele se prope investigar a cincia da demonstrao e do saber demonstrativo, ali considerada um instrumento (rganon) para o pensamento correto e para a elaborao da verdadeira cincia. No entanto, no coube a ele a atribuio de um nome especfico a esta cincia que, somente mais tarde, ser adotado: Lgica. A Lgica Aristotlica dominou o pensamento ocidental por mais de dois mil anos, at o advento da Lgica Moderna, no final do sculo XIX. A histria da produo ou ainda, da proposio ou descoberta dos conceitos e dos mtodos de prova da Lgica Moderna ser o fio condutor deste livro e que nos levar, de forma bastante adequada, ao estudo comparado das Teorias Axiomticas dos Conjuntos, aos processos de construo dos Conjuntos
1

A designao escolhida pelos comentadores gregos do Corpus Aristotlico (do latim: Documentos de Aristteles) para ser dada ao conjunto dos escritos daquele filsofo que abordam o tema da lgica foi rganon (do grego: instrumento).

Captulo Zero - Introduo - Verso 1.1 - Janeiro de 2004 Sobre Lgicas e lgebras

0.2

Numricos e a um rpido enfoque, agora, sob nova forma de olhar, Teoria dos Nmeros Primos e s Equaes Diofantinas. 0.2.- A Lgica Moderna O Inicio da Lgica Moderna, mas no ainda a sua consolidao, se d com a publicao do livro "An Investigation of the Laws of Thought On which are founded the mathematical theories of Logic and Probabilities"2 no ano de 1854, por George Boole (1815/1864) matemtico e lgico ingls. No prefcio dessa importante obra o autor afirma: "O objetivo desse tratado investigar as leis fundamentais em virtude das quais ocorrem as operaes da mente; expressar estas leis numa linguagem que possibilite clculos e, estabelecer a cincia da Lgica construindo seu mtodo sobre tal fundamento; fazer deste mtodo a base de um mtodo geral [...] ". A Lgica de Boole ou Lgica Booleana tem hoje grande aplicao no campo da Eletrnica e da Computao e, quando abordada a partir desta perspectiva, estudada com o nome de lgebra de Boole, devido aos componentes simblicos e formais que a revestem, bem como necessidade de validao de frmulas e obteno de provas de diversos teoremas por mtodos algbricos. Em 1884, Gottlob Frege (1848-1925), publica o seu primeiro trabalho cujo ttulo completo : Begriffschrift, eine der arithmetischen nachgebildet Formelsplash des reine Denkes, ou numa traduo livre: Ideografia3, uma linguagem formalizada do pensamento puro com base na linguagem aritmtica, que normalmente referido como Begriffschrift. De sua obra, constam ainda o livro Die Grundlagen der Arithmetik, eine logisch mathematische Untersuchung ber den begriff der zahl (Os Fundamentos da Aritmtica - Investigao lgico-aritmtica sobre o conceito de nmero), publicado 1884. Os dois volumes do seu trabalho Grundlagen der Arithmetik, begriffsschriftlich abgeleitet (Leis Bsicas da Aritmtica, ideogaficamente deduzidas) foram publicados respectivamente nos anos 1893 e 1903. Os trabalhos de Gottlob Frege (1848-1925), tanto no que diz respeito ao desenvolvimento da Lgica Moderna quanto fundamentao da Matemtica no tiveram grande repercusso na poca, apesar de terem sido reconhecidos, alguns anos mais tarde, por Bertrand Russell (1872-1970), como sendo bsico para o desenvolvimento do contedo do Principia Mathematica (Volumes I, II e III), profundo tratado de Lgica e Matemtica escrito em colaborao com Alfred North Whitehead (1861-1947) e publicados respectivamente nos anos de: 1910, 1912 e 1913. Cabe ressaltar que a dificuldade encontrada para a

Uma Investigao das Leis do Pensamento - Na qual esto fundadas as Teorias Matemticas da Lgica e Probabilidades. Ideografia: representao direta do sentido das palavras por sinais grficos (Dicionrio Houaiss ed. 2001) ; representao de idias atravs de smbolos grficos; o uso de ideogramas para expressar idias (The American Heritage Dictionary 3rd edition).
3

Tpicos de lgebra Moderna Elementar Aury de S Leite

0.3

difuso dos trabalhos de Frege residia na dificuldade de compreender-se o tipo de notao utilizada por ele, extremamente original, mas que envolvia grande complexidade. Finalmente, cabe registrar que a consolidao dos princpios do que se denominar Lgica Moderna se dar, somente a partir das contribuies de David Hilbert (1862-1943), Kurt Gdel (19061978) e Alfred Tarski (1902-1983), que mais frente sero comentadas. 0.2.1. Lgica - Uma tentativa de definio A definio do que seja hoje em dia, a lgica, tal a quantidade de novas lgicas que vm surgindo descobertas, criadas ou propostas e vm sendo estudadas e aplicadas, exige o esforo de se recolher dados em diversas fontes e frentes de pesquisas extremamente geis, num trabalho que poderia ser, metaforicamente, comparado faanha de se recolher os pedaos de um grande espelho estilhaado, na tentativa de recomp-lo, sabendo-se antecipadamente que cada um dos pedaos recolhidos so autnomos em sua essncia e em particular em sua funo de nos mostrar os reflexos do que possam ser as lgicas que vm sendo reunidas sob o noe Lgica Moderna. j seria suficiente para vermos refletido o necessrio para uma primeira viso do que seja a Lgica Moderna. Apresentado este quadro pouco animador, tentaremos recompor parte do nosso espelho estilhaado, apontando a seguir o que a Lgica Moderna e o que devem ser as Lgicas Modernas: A Lgica ....

A Lgica a cincia que visa estudar e estabelecer leis formais que bem dirijam as operaes da mente.

A Lgica a cincia que trata das formas do pensamento em geral (deduo,

induo, hiptese, inferncia etc) e das operaes intelectuais que visam determinao do que verdadeiro ou no.

A Lgica (formal) se preocupa com a anlise e prova da validade ou da

invalidade de proposies, com ateno para a forma, abstraindo-se totalmente do assunto. As Lgicas devem ....

As Lgicas devem ser apresentadas atravs de linguagens formais ou

simblicas que permitam manipulaes algbricas ou lingsticas bem fundadas e consistentes.

Captulo Zero - Introduo - Verso 1.1 - Janeiro de 2004 Sobre Lgicas e lgebras

0.4

As Lgicas devem prover ferramentas para raciocnios e argumentaes

sistematicamente corretos para as mais diversas reas do conhecimento humano.

As Lgicas devem possibilitar o trabalho com proposies, permitindo

distinguir o contedo das mesmas e o mtodo de validao dos raciocnios dedutivos que envolvam estas proposies, sejam elas atmicas ou compostas.

As Lgicas devem estudar e criar estruturas formais baseadas em linguagens

artificiais que permitam diferenciar os raciocnios vlidos dos invlidos.

As Lgicas devem mostrar como procede o pensamento e como se deve

estruturar o raciocnio na busca da verdade, deve ainda indicar como possvel realizar demonstraes, quais so as formas de faz-la e quando elas so possveis ou no. Em resumo, as diversas Lgicas devem prover, para as mais diversas reas do conhecimento humano, ferramentas que permitam raciocnios claros e argumentaes que sejam sistematicamente corretas. Sendo assim, elas devem ser apresentadas atravs de linguagens formais que permitam manipulaes algbricas ou lingsticas bem fundadas e consistentes.

0.2.2. Lgica - Uma tentativa de Classificao H muitos tipos de Lgica e todas as tentativas de classific-las segundo o tipo, normalmente encontradas na literatura, apesar de bastante complexas, espelham, quando muito, a poca em que foram propostas. No entanto, para as finalidades deste livro adotaremos uma diviso que, diga-se de passagem, bastante simplificada, mas panormica o suficiente para dar uma idia precisa do caminho que foi seguido no desenvolvimento deste livro. Veja na figura a seguir: A Lgica Aristotlica [1] que no considerada matemtica, mas to somente formal, foi seguida pela Lgica Moderna [2], cuja estrutura algbrica bastante evidente, debitada matemtica, estar subdividida em duas: a Lgica Moderna Clssica [2.1] cujo ncleo composto pela Lgica Predicativa, que abarca, de forma natural, a Lgica Proposicional que, por sua

Tpicos de lgebra Moderna Elementar Aury de S Leite

0.5

vez, pode ser considerada como contida na Lgica Boolena , e as Lgicas Modernas No-Clssicas [2.2], cujo escopo bastante amplo e diversificado abrangendo lgicas de muitos e variados tipos.

[1] Lgica Aristotlica

[2] Lgica Moderna

[2.1] Lgica Moderna Clssica

[2.2.] Lgicas Modernas No-Clssicas

Lgica Predicativa
Lgica Boolena
Lgica Proposicional

[2.2.1] Lgica Trivalorada [2.2.2] Lgica Multivalorada [2.2.3] Lgica Fuzzy

[2.2.n] Muitas outras Lgicas

Algumas das Lgicas Modernas No-Clssicas sero apresentadas no captulo 6, mas pode-se saber algo sobre muitas outras delas atravs de rpidas pesquisas na Internet atravs de alguma ferramenta de busca como, por exemplo, o Google [http://www.google.com.br/]. Para facilitar suas buscas tente os seguintes tipos de Lgicas, aqui dispostos em ordem alfabtica: Lgica de Crenas; Lgica Dentica; Lgica Epistmica; Lgica Fuzzy; Lgica Intuicionista; Lgica Modal; Lgica Multivalorada; Lgica Paraconsistente; Lgica Temporal; Lgica Trivalorada. 0.3.- Sobre a lgebra e as lgebras A palavra lgebra aparece pela primeira vez como parte do ttulo de um manuscrito rabe possivelmente datado de 800 a.C. que continha regras para a resoluo de certos tipos de equaes. A palavra lgebra, segundo a edio 2001 do Dicionrio Houaiss, provm do rabe: al djabr, o que pode ser

Captulo Zero - Introduo - Verso 1.1 - Janeiro de 2004 Sobre Lgicas e lgebras

0.6

traduzido como a reduo por causa das simplificaes de escrita que essa tcnica matemtica tornou possvel. At o incio do sculo XIX, lgebra era o nome dado Teoria das Equaes. A partir dos estudos mais aprofundados sobre as equaes algbricas, desenvolvidos por Lagrange, Vandermonde e Gauss que iro envolver necessariamente operaes sobre entes abstratos , seguidos de estudos realizados por Abel, Cauchy e, sobretudo por Galois, chegar-se- Teoria dos Grupos de Substituies com Serret e Jordan nos meados do sculo XIX. Tambm, j no incio do sculo XIX, a representao dos nmeros complexos, descoberta simultaneamente por Argand, Wessel, Cauchy e Gauss, abriam um novo campo de pesquisa algbrica atravs dos vetores, fazendo surgir a lgebra Linear, com os matemticos ingleses Hamilton, Cayley e Sylvester e com Mbius e Grassmann, matemticos alemes. Foi assim que, pouco a pouco, foi sendo alterado o significado da palavra lgebra. Em resumo, a partir dos meados do sculo XIX a lgebra, que antes s se ocupava com o estudo das equaes, passa a dizer respeito tambm ao estudo de sistemas formais abstratos. Os sistemas formais abstratos envolvem conjuntos de smbolos, numricos ou no, bem como o estudo das propriedades e operaes que possam ser realizadas com os mesmos. Modernamente, o nome lgebra ou o adjetivo algbrico aparece dando nome a vrias lgebras que levam especificamente o nome de seus autores ou de suas propriedades caractersticas(*): lgebra Abstrata, lgebra Alternativa, lgebra Associativa, lgebra B* (B-estrela), lgebra Booleana, lgebra C*, lgebra Comutativa, lgebra da Medida, lgebra de Banach, lgebra de Cayley, lgebra de Clifford, lgebra de Grassmann, lgebra de Hecke, lgebra de Heyting, lgebra de Hopf, lgebra de Jordan, lgebra de Lie, lgebra de Robbins, lgebra de Schur, lgebra de Stenrood, lgebra de Von Newmann, lgebra Exterior, lgebra Homolgica, lgebra Linear, lgebra No-Associativa, Sigmalgebra de Borel, Sigma-lgebra, e muitas outras. 0.4.- Sobre a Estrutura deste Livro Reunidos sob o nome de Tpicos de lgebra Moderna Elementar este livro apresenta, no Captulo 1, o conceito de Linguagens Formais e Sistemas Formais, que iro servir de base para a introduo da Lgica Proposicional no Captulo 2 e de um bom exemplo de lgebra da Lgica a lgebra de Boole no Captulo 3. No Captulo 4 vai-se tomar contato com a Estrutura Dedutiva da Lgica Proposicional. O Captulo 5 estar reservado para a apresentao do tratamento algbricoaxiomtico da Lgica de Predicados ou Lgica Predicativa.
Dados resumidos sobre estas e outras lgebras podem ser encontrados no site: http://mathworld.wolfram.com/Algebra.html [em ingls].
(*)

Tpicos de lgebra Moderna Elementar Aury de S Leite

0.7

No Captulos 6, intitulado Hilbert e a Formalizao da Matemtica, o leitor ir encontrar idias bastante interessantes sobre possibilidade da Matemtica ser expressa atravs de axiomas e provas de teoremas diretamente neles baseadas, tentativa estas que, sugeridas por uns e levada a efeito por diversos eminentes matemticos, no se mostrou possvel. No Captulo 7, sobre as Lgicas Modernas NoClssicas, envolvendo idias revolucionrias que mudaram a maneira de se pensar a Lgica a partir da segunda metade do sculo XX. Mais frente, no Captulo 8, a Teoria Informal dos Conjuntos em sua verso intuitiva ou ingnua, como comumente chamada, devida a Cantor e algumas idias resumidas sobre as Teorias Axiomticas dos Conjuntos, que iro figurar no Captulo 9, permitiro um desenvolvimento bastante claro sobre a construo e a verificao de maioria das propriedades dos Conjuntos Numricos, que ser providenciada no Captulo10. Finalmente no Captulo 11, o leitor encontrar uma introduo bastante razovel sobre a Teoria Elementar dos Nmeros, completando assim a sua preparao para o futuro estudo das Estruturas Algbricas, que podero ser encontradas nos livros de lgebra Moderna, em tratamentos de maior ou menor profundidade.

Captulo Zero - Introduo - Verso 1.1 - Janeiro de 2004 Sobre Lgicas e lgebras

0.8

0.5.- Sumrio do Captulo Zero

A Histria da Lgica tem seu incio

na Grcia muito antes de Aristteles, mas ele quem estabelece o

primeiro sistema completo de Lgica. Por mais incrvel que possa parecer, a Lgica Aristotlica permaneceu como hegemnica no pensamento ocidental por mais de dois sculos, at o advento da Lgica Moderna a partir do final do sculo XIX com George Boole, Frege, Peano, Dedekind, Bertrand Russel, Alfred North Whitehead e outros matemticos notveis.

Deve-se observar atentamente, que os trabalhos de Boole foram publicados bem antes dos trabalhos de Frege. Na poca da publicao do livro "Uma Investigao das Leis do Pensamento" que continha as idias de

Boole, Frege teria por volta de seis anos de idade. Enquanto o trabalho de Boole ganhou rpida
repercusso, os trabalhos de Frege s foram reconhecidos tardiamente, em particular, por Bertrand Russell. No entanto, a verdadeira consolidao da Lgica Moderna se dar, finalmente, a partir das contribuies de David Hilbert, Kurt Gdel e Alfred Tarski.

A partir dos meados do sculo XIX a lgebra, que antes s se ocupava com o estudo das equaes, passa a dizer respeito tambm ao estudo de sistemas formais abstratos. Os sistemas formais abstratos envolvem conjuntos de smbolos, numricos ou no, bem como o estudo das operaes que possam ser realizadas com os mesmos e de suas propriedades.

Tpicos de lgebra Moderna Elementar Aury de S Leite

0.9

0.6.- Trabalhos de Pesquisa Recomendados - Captulo Zero 1.- (Pesquisa) Leia atentamente o texto desta Introduo anotando os nomes de todos os matemticos que ali figuram. Elabore linhas de tempo paralelas para cada um deles contendo: (i) nome do matemtico e pas de origem, data de nascimento; (ii) data das obras mais notveis e (iii) data do falecimento (veja um exemplo a seguir). Compare estas linhas de tempo com os acontecimentos notveis da Histria da Humanidade, fazendo uma ltima linha que contenha estes acontecimentos.
Investigaes das Leis do Pensamento George Boole Inglaterra

1815

1854

1864

Begriffschrift (Ideografia) Gottlob Frege Alemanha

1848

1884

1925

2.- (Pesquisa) Use a ferramenta de buscas Google [http://www.google.com.br/] para saber mais sobre os diversos tipos de lgicas mencionados neste captulo. 3.- (Pesquisa) Examine no site http://mathworld.wolfram.com/Algebra.html [onde as informaes esto em ingls]: os dados sobre algumas das lgebras e dos nomes associados palavra lgebra destacados a seguir: Abstract Algebra, Alternative Algebra, Associative Algebra, B-Star-Algebra, Banach Algebra, Boolean Algebra, Borel Sigma-Algebra, C-Star-Algebra, Cayley Algebra, Clifford Algebra, Commutative Algebra, Derivation Algebra, Exterior Algebra, Fundamental Theorem of Algebra, Graded Algebra, Grassmann Algebra, Hecke Algebra, Heyting Algebra, Homological Algebra, Hopf Algebra, Jordan Algebra, Lie Algebra, Linear Algebra, Measure Algebra, Nonassociative Algebra, Power Associative Algebra, Quaternion, Robbins Algebra, Schur Algebra, Semisimple Algebra, SigmaAlgebra, Simple Algebra, Steenrod Algebra, Umbral Algebra, von Neumann Algebra