LGICA A ARTE DE PENSAR

RODRIGO ANGELO TOMAZI E-mails rodrigotomazi@yahoo.com.br rodrigo@viasoft.com.br

Acadmico de Sistemas de Informao Faculdade Mater Dei Pato Branco PR.

Palavras chaves: Lgica Aplicabilidade Raciocnio Argumento Premissa rea do Conhecimento: Cincias da Computao.

RESUMO

A presente pesquisa discute o ato de pensar corretamente ou no, ou seja, a lgica e a ilgica do pensamento humano. Aborda a histria da lgica, sua diversidade e aplicabilidade em geral.

INTRODUO

Estudar lgica representa aprimorar a arte de pensar. O dom de raciocinar e o dom da inteligncia, todo ser humano normal os possui, o que difere no entanto, a forma com qual usamos e demonstramos esses dons. No instante que haja um aprimoramento, treinamento e uma aplicabilidade de nossos dons, poderemos julgar e at avaliar o rendimento intelectual do ser humano. Lgica, de maneira geral, consiste em ser a arte de pensar corretamente, isto , nem sempre raciocinamos da maneira correta, s vezes tomamos uma deciso ao invs de outra, agimos diversas vezes de maneira ilgica. Mas por que isso acontece? Se todo ser humano normal tem o dom de raciocinar, como pode cometer equvocos lgicos? verdade que problemas externos tais como: estresse, pressa, ou at mesmo comodismo, contribuem para isso, mas na verdade o que falta mesmo pensar tranqilamente, pacientemente e principalmente corretamente, e neste ponto que encontramos a lgica como, uma cincia que estuda as leis e critrios de validade que regem o pensamento e a demonstrao, ou seja, cincias dos princpios formais do raciocnio. [Manzano] Todo profissional que possu como ferramenta de trabalho o raciocnio, seja para resolver problemas de ordem administrativa ou financeira, problemas matemticos, de planejamento ou de estratgia, entre outros, utiliza como matria prima para o seu trabalho a arte de pensar. Resolver problemas na mesma ordem dos citados

anteriormente requer muita ateno e tima performance de conhecimento do raciocnio. H de lembrar que no existe disciplina que ensine puramente a pensar, o que existe so disciplinas que mostram como desenvolver e aperfeioar o dom de pensar. de fundamental importncia estudar lgica para o desempenho de qualquer profisso que necessite de um alto nvel de raciocnio. Percebemos a importncia da lgica na nossa vida, no s na teoria, como tambm na prtica, j que quando queremos pensar, falar ou escrever corretamente, precisamos ordenar primeiro no pensamento, isto , utilizar a lgica

MATERIAL E MTODOS

O presente estudo foi realizado tendo como metodologia a pesquisa bibliogrfica. Partiu-se da seleo de autores e textos para a leitura, a anlise e a interpretao.

RESULTADO E DISCUSSO

Histria da Lgica O incio da histria da lgica encontra-se na Grcia. Nessa poca, a lgica e suas frmulas eram desenvolvidas utilizando a linguagem ordinria, sujeitas s regras sintticas usuais. Em seus esforos para fazer uma teoria da lgica concisa, houve muitas discusses. Parmnides gerou grande polmica com sua primeira verso da "Lei do Meio Excludo" (por volta de 400(a.C.), que dizia que uma coisa s podia ser verdadeira ou falsa. Em resposta, Heraclitus props que as coisas podiam ser verdadeiras e falsas ao mesmo tempo. E assim estudos sobre a lgica iniciaram-se. Porm com Aristteles que se d o verdadeiro nascimento da lgica, cincia das idias e dos processos da mente. Aristteles possua a concepo de que a Lgica deveria fornecer os instrumentos mentais necessrios para enfrentar qualquer tipo de investigao. Ele redigiu uma srie de trabalhos, os quais seriam editados posteriormente, com o nome de Organon, que significa Instrumento. Aristteles chamava a lgica de Analtica (do grego analysis, que significa "resoluo"). A analtica explica o mtodo pelo qual, partindo de uma dada concluso, resolve-se precisamente nos elementos dos quais deriva, isto , nas premissas e nos elementos de que brota, e assim fica fundamentada e justificada. Aristteles construiu uma sofisticada teoria dos argumentos, cujo ncleo a caracterizao e anlise dos assim chamados silogismos, os tpicos raciocnios da lgica desse filsofo. O argumento: Todo homem mortal Scrates homem

Logo Scrates mortal. o exemplo tpico do silogismo perfeito. Foi com Aristteles que tivemos uma das primeiras tentativas de se estabelecer um rigor nas demonstraes matemticas. Sua anlise do papel das definies e hipteses na matemtica foi bastante positivo. Ainda com os gregos, os megricos (originrios da cidade Mgara), fizeram estudos no campo. Alm de interesse por certos enigmas lgicos como o "paradoxo do mentiroso": quem diz "O que eu afirmo agora falso", enuncia algo verdadeiro ou falso? Houveram estudos sobre as condicionais construdas com se... ...ento, como "Se chove ento a rua est molhada", as definindo em termos extremamente polmicos, mas que seriam assumidos como corretos, vinte e trs sculos mais tarde pelos fundadores da Lgica Contempornea. Os esticos, tambm gregos, j tinham germinado o conceito de "proposio". Com Crsipo de Soles (280-206 a.C.), considerado o grande precursor do que hoje chamado "Clculo Proposicional", tiveram sua maior contribuio. Ele estudou as sentenas condicionais e tambm as disjuntivas (regidas pela partcula "ou") e as copulativas (regidas pelo "e"), tendo tambm reconhecido claramente o papel lgico desempenhado pela negao. Alm disto, Crsipo foi capaz de relacionar tais idias com as modalidades, elaborando, ento, um sistema de princpios lgicos que, no seu campo especfico, foi muito alm dos poucos resultados obtidos por Aristteles e seu discpulo Teofrasto. Lgica Moderna comeou no sculo XVII com o filsofo e matemtico alemo Gottfried Wilhelm Leibniz. Leibniz pensava que o problema das interrogaes e polmicas no resolvidas nas discusses filosficas, assim como a insegurana dos resultados, no poderiam ser tratados luz dos termos e dos processos conclusivos da linguagem ordinria, devido ambiguidade desta. Ele queria dotar a Metafsica (aquela parte da Filosofia que estuda o "ser" em si) de um instrumento suficientemente poderoso que a permitisse alcanar o mesmo grau de rigor que tinha alcanado a Matemtica. Assim, o projeto de criao de uma lgica simblica e de carter completamente calculstico, anlogos aos procedimentos matemticos, foi a idia central de sua lgica. Leibniz percebeu tambm uma tendncia verificada naquele momento histrico: o simbolismo matemtico estava se tornando cada vez mais manipulvel e seguro em todas as reas, sendo mais automtico e dispensando contnua referncia a contedos geomtricos intuitivos. Ele concebeu ento, tambm para a lgica uma desvinculao anloga com respeito ao contedo semntico das proposies, aproveitando pela primeira vez a oportunidade de reduzir as regras da deduo lgica a meras regras de clculo, isto , a regras cuja aplicao possa prescindir da considerao do contedo semntico das expresses. A contribuio de Leibniz ao desenvolvimento da lgica aparece sob dois aspectos: ele aplicou com sucesso mtodos matemticos para a interpretao dos silogismos aristotlicos, e apontou aquelas partes da lgebra que esto abertas a uma interpretao no aritmtica. Pela primeira vez se exps de uma maneira clara o princpio do procedimento formal. Leibniz tornou-se assim o grande precursor da Lgica Matemtica. A partir de meados do sculo XIX a lgica formal se elabora como um clculo algbrico, adotando um simbolismo peculiar para as diversas operaes lgicas. Graas a este novo mtodo, foi possvel construir grandes sistemas axiomticos de lgica, de

maneira parecida com a matemtica, com os quais se podem efetuar com rapidez e simplicidade raciocnios que a mente humana no consegue espontaneamente. O ingls George Boole (1815-1864) considerado o fundador da Lgica Simblica. Boole nasceu numa famlia de pequenos negociantes de poucos recursos em Linciln, Inglaterra, e tinha apenas instruo de uma escola comum. Acreditando que seus conhecimentos o ajudariam a se elevar acima de sua situao, Boole percebeu que tinha que estudar mais matemtica. Boole fez amizade com De Morgan, se interessou por uma controvrsia sobre lgica que fora levantada com De Morgan pelo escocs Sir William Hamilton. Boole forneceu uma idia clara de formalismo e a desenvolveu de modo exemplar. Boole percebeu que poderia ser construda uma lgebra de objetos que no fossem nmeros, no sentido vulgar, e que tal lgebra, sob a forma de um clculo abstrato, seria capaz de ter vrias interpretaes. O que chamou a ateno na obra foi a clara descrio do que seria a essncia do clculo, isto , o formalismo, o procedimento, conforme o prprio George Boole descrevia, "cuja validade no depende da interpretao dos smbolos mas sim da exclusiva combinao dos mesmos" . Ele concebeu a lgica como uma construo formal qual se busca posteriormente um interpretao. Boole criou o primeiro sistema bem sucedido para o raciocnio lgico, tendo sido pioneiro ao enfatizar a possibilidade de se aplicar o clculo formal em diferentes situaes e fazer clculos de acordo com regras formais, desconsiderando as interpretaes dos smbolos usados. Atravs de smbolos e operaes especficas, as proposies lgicas poderiam ser reduzidas a equaes e as equaes silogsticas poderiam ser computadas, de acordo com as regras da lgebra ordinria. Pela aplicao de operaes matemticas puras e contando com o conhecimento da lgebra booleana possvel tirar qualquer concluso que esteja contida logicamente em qualquer conjunto de premissas especficas. No comeo do sculo XX a Lgica Simblica se organiza com mais autonomia em relao matemtica e se elabora em sistemas axiomticos desenvolvidos, que se colocam em alguns casos como fundamento da prpria matemtica e que prepararam o surgimento do computador. Aplicabilidade da Lgica A aplicabilidade da lgica encontra-se dividida conforme sua necessidade em determinados perodos da histria, desde os primrdios com pensadores, filsofos e matemticos at a atualidade, na presena de computadores, da tecnologia de informao, enfim, na Era da Tecnologia Digital. Lgica Matemtica A passagem do sculo XVIII para o sculo XIX marca o incio de um novo tempo na Histria da Computao. Mais do que qualquer perodo precedente, mereceu ser conhecido como a idade urea da Matemtica. O que se acrescentou ao assunto durante esses 100 anos supera de longe tanto em quantidade como em qualidade a produo total combinada de todas as pocas precedentes. Com uma possvel exceo da idade conhecida na matemtica como idade herica, na Grcia antiga, foi uma das mais revolucionrias etapas do desenvolvimento dessa cincia e consequentemente tambm da Computao. Ser particularmente objeto de estudo deste artigo a evoluo

da Lgica Simblica - ou Lgica Matemtica - que teve Leibniz como predecessor distante. A partir de meados do sculo XIX a lgica formal se elabora como um clculo algbrico, adotando um simbolismo peculiar para as diversas operaes lgicas. Graas a este novo mtodo, puderam-se construir grandes sistemas axiomticos de lgica, de maneira parecida com a matemtica, com os quais se podem efetuar com rapidez e simplicidade raciocnios que a mente humana no consegue espontaneamente. A Lgica Simblica - Lgica Matemtica a partir daqui - , tem o mesmo objeto que a lgica formal tradicional: estudar e fazer explcitas as formas de inferncia, deixando de lado - por abstrao - o contedo de verdades que estas formas possam transmitir. No se trata aqui de estudar Lgica, mas chamar a ateno para a perspectiva que se estava abrindo com o clculo simblico: a automatizao de algumas operaes do pensamento. A Mquina de Turing, conceito abstrato que efetivamente deu incio era dos computadores, baseou-se no princpio de que a simples aplicao de regras permite passar mecanicamente de uns smbolos a outros. Sistema lgico que foi inaugurado por Boole. Entretanto a lgica booleana estava limitada ao raciocnio proposicional e somente mais tarde, com o desenvolvimento dos quantificadores, a lgica formal estava pronta para ser aplicada ao raciocnio matemtico em geral. Os primeiros sistemas foram desenvolvidos por F.L.G. Frege e G. Peano. Ao lado destes ser necessrio citar George Cantor (1829-1920), matemtico alemo que abriu um novo campo dentro do mundo da anlise, nascida com Newton e Leibniz, com sua teoria sobre conjuntos infinitos. No comeo do sculo XX a Lgica Simblica se organizar com mais autonomia em relao matemtica e se elaborar em sistemas axiomticos desenvolvidos, que se colocam em alguns casos como fundamento da prpria matemtica e que prepararo o surgimento do computador. Lgica Difusa Aristteles, filsofo grego (384 - 322 a.C.), foi o fundador da cincia da lgica, e estabeleceu um conjunto de regras rgidas para que concluses pudessem ser aceitas logicamente vlidas. O emprego da lgica de Aristteles levava a uma linha de raciocnio lgico baseado em premissas e concluses. Como por exemplo: se observado que "todo ser vivo mortal" (premissa 1), a seguir constatado que "Sarah um ser vivo" (premissa 2), como concluso temos que "Sarah mortal". Desde ento, a lgica Ocidental, assim chamada, tem sido binria, isto , uma declarao falsa ou verdadeira, no podendo ser ao mesmo tempo parcialmente verdadeira e parcialmente falsa. Esta suposio e a lei da no contradio, que coloca que "U e no U" cobrem todas as possibilidades, formam a base do pensamento lgico Ocidental. A Lgica Difusa (Fuzzy Logic) viola estas suposies. O conceito de dualidade, estabelecendo que algo pode e deve coexistir com o seu oposto, faz a lgica difusa parecer natural, at mesmo inevitvel. A lgica de Aristteles trata com valores "verdade" das afirmaes, classificando-as como verdadeiras ou falsas. No obstante, muitas das experincias humanas no podem ser classificadas simplesmente como verdadeiras ou falsas, sim ou no, branco ou preto. Por exemplo, aquele homem alto ou baixo? A taxa de risco para aquele empreendimento grande ou pequena? Um sim ou um no como resposta a estas questes , na maioria das vezes, incompleta. Na verdade, entre a certeza de ser e a certeza de no ser, existem infinitos graus de incerteza. Esta imperfeio intrnseca informao representada numa linguagem

natural, tem sido tratada matematicamente no passado com o uso da teoria das probabilidades. Contudo, a Lgica Difusa, com base na teoria dos Conjuntos Nebulosos (Fuzzy Set) tem se mostrado mais adequada para tratar imperfeies da informao do que a teoria das probabilidades. De forma mais objetiva e preliminar, podemos definir Lgica Difusa como sendo uma ferramenta capaz de capturar informaes vagas, em geral descritas em uma linguagem natural e convert-las para um formato numrico, de fcil manipulao pelos computadores de hoje em dia. Considere a seguinte afirmativa: Se o tempo de um investimento longo e o sistema financeiro tem sido no muito estvel, ento a taxa de risco do investimento muito alta. Os termos "longo", "no muito estvel" e "muito alta" trazem consigo informaes vagas. A extrao (representao) destas informaes vagas se d atravs do uso de conjuntos nebulosos. Devido a esta propriedade e a capacidade de realizar inferncias, a Lgica Difusa tem encontrado grandes aplicaes nas seguintes reas: Sistemas Especialistas; Computao com Palavras; Raciocnio Aproximado; Linguagem Natural; Controle de Processos; Robtica; Modelamento de Sistemas Parcialmente Abertos; Reconhecimento de Padres; Processos de Tomada de Deciso (decision making). A Lgica Difusa ou Lgica Nebulosa, tambm pode ser definida , como a lgica que suporta os modos de raciocnio que so aproximados, ao invs de exatos, como estamos naturalmente acostumados a trabalhar. Ela est baseada na teoria dos conjuntos nebulosos e difere dos sistemas lgicos tradicionais em suas caractersticas e detalhes. Nesta lgica, o raciocnio exato corresponde a um caso limite do raciocnio aproximado, sendo interpretado como um processo de composio nebulosa. A lgica em questo foi desenvolvida por Lofti A. Zadeh da Universidade da Califrnia em Berkeley na dcada de 60 e combina lgica multivalorada, teoria probabilstica, inteligncia artificial e redes neurais para que possa representar o pensamento humano, ou seja, ligar a lingustica e a inteligncia humana, pois muitos conceitos so melhores definidos por palavras do que pela matemtica. O valor verdade de uma proposio pode ser um subconjunto nebuloso de qualquer conjunto parcialmente ordenado, ao contrrio dos sistemas lgicos binrios, onde o valor verdade s pode assumir 2 valores : verdadeiro (1) ou falso (0). Foi Plato quem fez a base para o que viria a se tornar a Lgica de Fuzzy, indicando que havia uma terceira regio (alm de Verdadeiro ou Falso). Outros filsofos mais modernos tambm demonstraram este sentimento, como Hegel, Marx e Engels. Mas foi Lukasiewicz quem props pela primeira vez uma alternativa sistemtica para a lgica de dois valores de Aristteles. No incio do sculo XX, Lukasiewicz descreveu uma lgica de trs valores. O terceiro valor que ele props pode ser melhor expresso como o termo "possvel", e lhe foi dado um valor numrico entre Verdadeiro e Falso. Assim ele props uma notao e sistema axiomtico inteiro do qual ele esperava derivar matemticas modernas. Posteriormente, ele explorou lgicas de quatro valores, cinco valores, e ento declarou que a princpio no havia nada que impedisse a derivao de uma lgica de infinitos valores. Lukasiewicz sentiu que lgicas de trs valores e de infinitos valores eram os mais intrigantes, mas ele se concentrou na lgica de quatro valores porque parecia ser mais facilmente adaptvel lgica de Aristteles. Knuth props uma lgica de trs valores semelhante de Lukasiewicz, da qual ele especulou que a matemtica se tornaria at mais elegante do que na lgica de dois valores. Sua viso, aparentemente perdida por Lokasiewicz, foi usar a integral definida

[-1,0,+1] ao invs de [0,1,2]. Entretanto, esta alternativa falhou em ganhar aceitao, e passou a relativa obscuridade. A noo de uma lgica de infinitos valores no veio a tona at recentemente. Em 1965 Lotfi A. Zadeh publicou seu trabalho "Conjuntos de Fuzzy", que descreveu a teoria da matemtica de conjuntos de fuzzy, e por extenso a lgica de Fuzzy. Esta teoria props fazer uma funo (ou os valores Verdadeiro e Falso) operarem sobre o intervalo dos nmeros reais [0.0,1.0]. Novas operaes para o clculo da lgica foram propostas, e mostraram ser a princpio pelo menos uma generalizao da lgica clssica. Lgica Nebulosa (Fuzzy Logic) tem como objetivo modelar o modo aproximado de raciocnio, tentando imitar a habilidade humana de tomar decises racionais em um ambiente de incerteza e impreciso. Deste modo, a Lgica Nebulosa uma tcnica inteligente que fornece um mecanismo para manipular informaes imprecisas, como conceitos de pequeno, alto, bom, muito quente, frio, que permite inferir uma resposta aproximada para uma questo baseada em um conhecimento que inexato, incompleto ou no totalmente confivel. Devido s suas caractersticas intrnsecas, a Lgica Nebulosa capaz de incorporar tanto o conhecimento objetivo (a partir de dados numricos) quanto o conhecimento subjetivo (a partir de informaes lingsticas). aplicada em sistemas de controle e de suporte deciso onde a descrio do problema (regras de produo) no pode ser feita de forma precisa. Lgica Digital Desde o princpio das mquinas calculadoras, precessoras dos computadores atuais, os nmeros foram transformados em sinais (mecnicos, inicialmente), controlados por um conjunto de engranagens e possibilitando a realizao de operaes matemticas. Os primeiros computadores, ainda valvulados, conseguiam ser mais eficientes que os computadores mecnicos, pois possibilitavam a troca de estado (entre 0 e 1, desligado e ligado, falso e verdadeiro) de forma mais eficiente. Os transstores possibilitaram a substituio das vlvulas, bem como o incio da integrao de portas lgicas, sendo que os integrados tipo Transistor-Transistor Level (TTL) formaram a primeira famlia de integrados, depois substitudos por tcnicas mais avanadas de integrao. O objetivo tomar contato com os componentes, e compreender um pouco como se realizam as operaes lgicas (e depois, as operaes matemticas) utilizando circuitos lgicos. Resumidamente trata-se de apresentar em matria fsica o pensamento lgico exposto pela mente at ento. As identidades booleanas utilizadas, podem ser demonstradas a partir da definio das portas lgicas AND, OR e NOT. Lgica Computacional Uma introduo s tcnicas do chamado raciocnio dedutivo usando as ferramentas da Lgica Matemtica. A Lgica Matemtica estuda as noes de validade e consistncia de argumentos utilizando elementos da Matemtica, tais como a teoria dos conjuntos e a lgebra booleana. A noo de procedimento efetivo, que deu origem s primeiras "mquinas abstratas de computao efetiva" (como, por exemplo, a chamada Mquina de Turing, o primeiro modelo de computador programvel por software, e que deu origem chamada Tese de Church que afirma que qualquer funo efetivamente computvel pode ser computvel por uma Mquina de Turing apropriadamente definida) est intimamente ligada noo de "deduo em um sistema formal (simblico)", como concebido por

Gottlob Frege, o mentor da Lgica Moderna, justamente porque esta ltima veio como a implementao do sonho do filsofo Leibniz (sculo XVII) de criar uma mquina de verificao da validade de argumentos. A Lgica Computacional, uma rea bastante ativa de pesquisas em Teoria de Computao trata dos fundamentos matemticos dos processos computacionais e das atividades de desenvolvimento, verificao e execuo de programas. O tratamento formal dessas questes tem levado a que diversas Lgicas Computacionais venham sendo propostas. De uma maneira geral, essas lgicas podem ser classificadas em dois grandes grupos: (i) lgicas de processos, que buscam caracterizar algebricamente seqncias de eventos computacionais e suas inter-relaes - por exemplo, formalismos como a Lgica Dinmica, e Lgica de Processos; e (ii) lgicas de recursos controlados, que procuram explorar a estreita relao existente entre programas, - clculos e rvores de deduo como a Lgica Linear. A base do funcionamento de um computador PC est na eletrnica e na lgica digital. O computador faz, na realidade, clculos. Operaes aritmticas e lgicas com nmeros e textos (chamadas "strings"). Ora, se trabalhado num sistema de clculo decimal (com dez algarismos), seria muito lgico imaginar que um computador tem de ser capaz de identificar 10 nveis diferentes de energia para codificar cada um dos 10 algarismos. Mas no isto que acontece. Um computador com esta caracterstica seria muito caro e complexo. Ao contrrio, o computador trabalha com o mnimo possvel de nveis de energia para a codificao de todas as informaes. Este mnimo so os dois estados fsicos de energia distintos que os chips trabalham (por exemplo, 0 e 5V), a chamada eletrnica digital ou binria. Associados a estes estados fsicos distintos temos dois estados lgicos distintos, que convencionou-se chamar de 0 e 1. Em computadores faz-se uso da chamada aritmtica digital ou binria e da lgica digital, binria ou Booleana. Temos assim, o conceito de BIT, que a menor unidade de informao que pode ser representada pelo computador. Ou seja, um bit s pode assumir um dos dois estados lgicos j citados, ou 0, ou 1. Dizemos, tambm por conveno, que um bit 0 est desligado e um bit 1 est ligado. Mas como vamos conseguir representar todos os dez algarismos do nosso sistema decimal e ainda letras e outros caracteres com apenas dois estados lgicos de um bit? Simplesmente agrupando-se estes bits. Para representar um algarismo, uma letra, um caractere dentro do computador, vamos utilizar um conjunto de bits, e no apenas um. Chegou-se a um nmero de 8 bits como sendo o suficiente. A este conjunto de 8 bits deu-se o nome de BYTE. O byte a palavra do computador. atravs do byte que o computador se comunica, trabalha, processa, armazena, calcula etc. Quantos bytes diferentes existem? Quantos conjuntos diferentes posso fazer com 8 bits? 256 (que 28). Como cada byte representa um caracter, posso representar 256 caracteres diferentes (o suficiente para representar os 10 algarismos, todas as letras do alfabeto, diferenciando-as em maisculas e minsculas, e ainda alguns caracteres especiais. Mas para podermos fazer esta representao necessrio uma tabela onde so relacionados cada byte diferente com um caracter e todos os computadores precisam usar a mesma "tabela de converso" para poderem se entender. Estas tabelas j existem e so chamadas de cdigos. De importante para ns temos os cdigos EBCDIC (Extend Binary Coded Decimal Interchange Code) e ASCII (American Standart Code for Information Interchange). O cdigo EBCDIC um esquema de codificao desenvolvido pela IBM para ser usado em seus computadores como um mtodo de padronizao de associao de

valores binrios e caracteres alfabticos, numricos, de pontuao e de controle de transmisso. anlogo ao ASCII, e utiliza os 8 bits para a definio de 256 caracteres. Embora o EBCDIC no seja freqente na microinformtica, ele bastante conhecido e utilizado em todo o mundo como o padro da IBM para computadores de grande porte e minicomputadores. O cdigo ASCII o conjunto de caracteres do cdigo padro americano para o intercmbio de informao, que consiste dos caracteres disponveis num teclado padro de 128 caracteres e incluindo cdigos de controle no imprimveis como retorno da cabea de impresso e quebras de pgina. So 256 cdigos divididos em dois conjuntos: o standard (bsico) e o estendido, com 128 cdigos cada. O ASCII Standard (bsico) utiliza 7 bits (ou 0 + 7 bits para formar um byte) gerando 128 cdigos de caracteres numerados de 0 a 127. Os 32 primeiros valores ficam reservados para cdigos de controle de comunicao e da impressora. Os 96 cdigos restantes esto associados aos sinais de pontuao convencionais, aos dgitos 0 a 9, e s letras maisculas e minsculas do alfabeto romano. O ASCII Estendido utiliza 8 bits para cada cdigo, proporcionando 128 cdigos numerados de 128 a 255. Ficam associados a conjuntos de caracteres que podem variar conforme o fabricante do computador e quem desenvolve softwares. Portanto, enquanto o conjunto de caracteres ASCII standard um padro universal para os equipamentos e programas, os caracteres estendidos s podero ser interpretados corretamente por programas projetados especialmente para faz-lo. Por isso utilizamos com muita freqncia o byte para quantificarmos caractersticas do computador, como memria, capacidade de disco etc. Como o byte a unidade, e, por isso mesmo, muito pequeno, fazemos uso dos mltiplos do byte. Mas lembre-se que estamos no campo da aritmtica digital, onde mil vezes um byte so, na realidade, 1.024 bytes (210). A Lgica Matemtica e Computacional por George Boole Fundamentos da Lgica Matemtica e da Computao O ingls George Boole (1815-1864) considerado o fundador da Lgica Simblica. Ele desenvolveu com sucesso o primeiro sistema formal para raciocnio lgico. Mais ainda, Boole foi o primeiro a enfatizar a possibilidade de se aplicar o clculo formal a diferentes situaes, e fazer operaes com regras formais, desconsiderando noes primitivas. Sem Boole, um pobre professor autodidata em Matemtica, o caminho onde se ligou a Lgica Matemtica talvez demorasse muito a ser construdo. Com relao Computao, se a Mquina Analtica de Babbage foi apenas uma tentativa bem inspirada que teve pouco efeito sobre os futuros construtores do computador, sem a lgebra booleana, no entanto, a tecnologia computacional no teria progredido com facilidade at a velocidade da eletrnica. Durante quase mais de dois mil anos a lgica formal dos gregos, conhecida pela sua formulao silogstica, foi universalmente considerada como completa e incapaz de sofrer uma melhora essencial. Mais do que isso, a lgica aristotlica parecia estar destinada a ficar nas fronteiras da metafsica j que somente se tratava, a grosso modo, de uma manipulao de palavras. No se havia ainda dado o salto para um simbolismo efetivo, embora Leibniz j tivesse aberto o caminho com suas idias sobre o "alfabeto do pensamento".

Foi Boole em sua obra The Mathematical Analysis of Logic (1847) quem forneceu uma idia clara de formalismo e a desenvolveu de modo exemplar. Boole percebeu que poderia ser construda uma lgebra de objetos que no fossem nmeros, no sentido vulgar, e que tal lgebra, sob a forma de um clculo abstrato, seria capaz de ter vrias interpretaes. O que chamou a ateno na obra foi a clara descrio do que seria a essncia do clculo, isto , o formalismo, o procedimento, conforme o prprio George Boole descrevia, "cuja validade no depende da interpretao dos smbolos mas sim da exclusiva combinao dos mesmos". Ele concebeu a lgica como uma construo formal qual se busca posteriormente um interpretao. Boole criou o primeiro sistema bem sucedido para o raciocnio lgico, tendo sido pioneiro ao enfatizar a possibilidade de se aplicar o clculo formal em diferentes situaes e fazer clculos de acordo com regras formais, desconsiderando as interpretaes dos smbolos usados. Atravs de smbolos e operaes especficas, as proposies lgicas poderiam ser reduzidas a equaes e as equaes silogsticas poderiam ser computadas, de acordo com as regras da lgebra ordinria. Pela aplicao de operaes matemticas puras e contando com o conhecimento da lgebra booleana possvel tirar qualquer concluso que esteja contida logicamente em qualquer conjunto de premissas especficas. De especial interesse para a Computao, sua idia de um sistema matemtico baseado em duas quantidades, o 'Universo' e o 'Nada', representados por '1' e '0', o levou a inventar um sistema de dois estados para a quantificao lgica. Mais tarde os construtores do primeiro computador entenderam que um sistema com somente dois valores pode compor mecanismos para perfazer clculos. Boole estava convencido de que sua lgebra no somente demonstrou a equivalncia entre Matemtica e Lgica, mas que tambm representou a sistematizao do pensamento humano. A cincia, a partir de Boole, viu que a razo humana mais complicada e ambgua, difcil de ser conceituada e mais poderosa que a lgica formal. Mas do ponto de vista da Matemtica e da Computao, a lgica simblica booleana foi importante - e s os anos fizeram ver - pois a lgica de at ento era incompleta e no explicava muitos princpios de deduo empregados em raciocnios matemticos elementares. No entanto a lgica booleana estava limitada ao raciocnio proposicional, e somente aps o desenvolvimento de quantificadores, introduzidos por Pierce, que a lgica formal pde ser aplicada ao raciocnio matemtico geral. Alm de Peirce, tambm Schder e Jevons aperfeioaram e superaram algumas restries do sistema booleano: disjuno exclusiva, emprego da letra v para exprimir proposies existenciais, admisso de coeficientes numricos alm do 0 e 1 e o emprego do sinal de diviso. O resultado mais importante no entanto foi a apresentao do clculo de uma forma extremamente axiomatizada.

CONCLUSO

Tendo em vista a base de informaes constituda com os parmetros expostos torna-se concreto a importncia do raciocnio lgico em todas as questes abordadas pelo ser humano no seu dia-a-dia. O Ato de pensar corretamente antes de executar

qualquer ao comprovadamente um ponto positivo para que tal tarefa seja executada com total sucesso. A histria de fato, quem logicamente melhor apresenta isso, na antigidade, prevaleceram e tiveram respaldo maior os mais sbios, pensadores, filsofos e matemticos. Com o modernismo chegou a tecnologia mecatrnica, so computadores, robs, enfim, a era digital com sucesso e credibilidade cada vez maior. Mas em meio a tantas transformaes, o que dizer da lgica do pensamento, do raciocnio, enfim do ser humano? Simples e lgico, o homem de crescimento demonstrou um alto nvel nas questes relacionadas ao aprimoramento, treinamento e aplicabilidade de seus dons, tendo assim a capacidade no s de aperfeioar a si prprio, como tambm de criar inmeras invenes, de alto nvel de qualidade e de vital necessidade ao ser humano. Enfim, toda evoluo alcanada pela inteligncia humana tem como base conclusiva trs importantssimos fatores: O homem em si prprio; O raciocnio lgico: a arte de pensar; A aplicabilidade: treinar para aperfeioar.

REFERNCIAS BIBLIOGRFICAS

Lgica de Programao A construo de Algoritmos e Estrutura de Dados. Andr Luiz V. Forbellone Henri Frederico Eberspcher.

Lgica de Programao Lgica de Programao com Pascal. Ana Fernanda Gomes Ascencio

Algoritmos Lgica para desenvolvimento de Programao. Jos Augusto N. G. Manzano Jayr Figueiredo de Oliveria.

Sites utilizados atravs da pesquisa pelo assunto: Lgica Aplicada UFPE: Universidade Federal de Pernambuco - CIN: Centro de informtica PUC-SP: Universidade Pontifcia Catlica de So Paulo. UEM: Universidade Estadual de Maring. - DIM: Departamento de Informtica