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 pelo matemtico
George 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 [Bel37].
No incio 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.
4.3.1

Boole e os fundamentos da Lgica Matemtica e da Computao

O ingls George Boole (1815 - 1864) considerado o fundador da Lgica Simblica

([Bri79a], volume III). 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.

Figura 13: George Boole

Sem Boole, que era um pobre professor autodidata em Matemtica, o caminho pelo
qual se ligou a Lgica Matemtica talvez demorasse muito a ser construdo. Com relao
Computao, se a Mquina Analtica de Babbage (ver captulo sobre a Pr-Histria Tecnolgica)
56

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, desenvolvendo-a de modo exemplar. Ele 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 [Kne68].
O que chamou a ateno na obra foi a clara descrio do que seria a essncia do clculo, isto
, o formalismo, procedimento, conforme descreveu, cuja validade no depende da
interpretao dos smbolos mas sim da exclusiva combinao dos mesmos [Boc66]. Ele
concebeu a lgica como uma construo formal qual se busca posteriormente uma
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 .
George Boole estava convencido de que sua lgebra no somente tinha
demonstrado a equivalncia entre Matemtica e Lgica, como representava a sistematizao
do pensamento humano. Na verdade a cincia, depois dele, principalmente com Husserl, pai
da Fenomenologia, demonstrar 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 lgebra booleana foi importante, e s os anos fizeram ver, pois a lgica at

Leibniz j tinha compreendido no sculo XVII que h alguma semelhana entre a disjuno e conjuno de conceitos e a
adio e multiplicao de nmeros mas foi difcil para ele formular precisamente em que consistia essa semelhana e como
us-la depois como base para um clculo lgico [Kne68].

A base do hardware sobre a qual so construdos todos os computadores digitais formada de dispositivos eletrnicos
diminutos denominados portas lgicas. um circuito digital no qual somente dois valores lgicos esto presentes. Para se
descrever os circuitos que podem ser construdos pela combinao dessas portas lgicas necessria a lgebra booleana.

57

ento era incompleta e no explicava muitos princpios de deduo empregados em

raciocnios matemticos elementares.
Mas, a lgica booleana estava limitada ao raciocnio proposicional, e somente aps o
desenvolvimento de quantificadores, introduzidos por Peirce, que a lgica formal pde ser
aplicada ao raciocnio matemtico geral. Alm de Peirce, tambm Schreder 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.
4.3.2

A importncia de Frege e Peano

Frege (1848 - 1925) e Peano (1858 - 1932) trabalharam para fornecer bases mais
slidas lgebra e generalizar o raciocnio matemtico [Har96].
Gottlob Frege ocupa um lugar de destaque dentro da Lgica. Embora no to
conhecido em seu tempo e bastante incompreendido, deve-se ressaltar que ainda hoje tornase difcil descrever a quantidade de conceitos e inovaes, muitos revolucionrios, que
elaborou de forma exemplar pela sua sistematizao e clareza. Muitos autores comparam seu
Begriffsschrift aos Primeiros Analticos de Aristteles, pelos pontos de vista totalmente geniais.
Frege foi o primeiro a formular com preciso a diferena entre varivel e constante,
assim como o conceito de funo lgica, a idia de uma funo de vrios argumentos e o conceito de
quantificador . A ele se deve uma conceituao muito mais exata da teoria aristotlica sobre
sistema axiomtico, assim como uma clara distino entre lei e regra, linguagem e
metalinguagem. Ele autor da teoria da descrio e quem elaborou sistematicamente o
conceito de valor. Mas isto no tudo, pois todas estas coisas so apenas produtos de um
empreendimento muito maior e fundamental, que o inspirou desde suas primeiras pesquisas:
uma investigao das caractersticas daquilo que o homem diz quando transmite informao
por meio de juzos.
Na verdade o que Frege chamou de Lgica assim como seus contemporneos
Russell e Wittgenstein no o que hoje chamado Lgica, fruto do formalismo e da teoria
dos conjuntos que acabaram por predominar entre os matemticos, mas sim o que se
denomina semntica, uma disciplina sobre o contedo, natureza desse contedo e estrutura.
Ele gastou considervel esforo na separao de suas concepes lgicas daquelas concepes
dos 'lgicos computacionais' como Boole, Jevons e Schreder. Estes estavam, como j foi
dito, empenhados no desenvolvimento de um clculo do raciocnio como Leibniz propusera,
mas Frege queria algo mais ambicioso: projetar uma lngua characteristica. Dizia ele que uma das
*

Jevons foi o primeiro a compreender que os mtodos booleanos podem ser reduzidos s regras do clculo elementar, com a
possibilidade, portanto, de ser mecanizados. Em 1869 conseguiu construir uma mquina lgica apresentada no ano
seguinte ao pblico: era um dispositivo de 21 chaves para testar a validade de inferncias na lgica equacional. Algumas das
caractersticas deste dispositivo foram usadas mais tarde na implementao do computador. A mquina est conservada no
museu de Histria da Cincia em Oxford.

O emprego de quantificadores para ligar variveis, principal caracterstica do simbolismo lgico moderno e que o torna
superior em alguns aspectos linguagem vulgar e ao simbolismo algbrico de Boole, est entre as maiores invenes
intelectuais do sculo XIX [Kne68].

58