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