Nome: Maurilio Marchi dos Santos Nusp.

: 3681524
Trabalho de Histria da Matemtica Sobre Lgica
Grupo 14
Lgica Aristotlica
O estudo das condies em que podemos afirmar que um dado raciocnio correcto, foi
desenvolvido por filosfos como Parmnides e Plato. Mas foi Aristteles quem o
sistematizou e definiu a lgica como a conhecemos, constituindo-a como uma cincia
autnoma. Falar de Lgica durante sculos, era o mesmo que falar da lgica
aristotlica. Apesar dos enormes avanos da lgica, sobretudo a partir do sculo XIX, a
matriz aristotlica persiste at aos nossos dias.
No sculo XVI os problemas que diziam respeito sistematizao do conhecimento
cientfico designavam-se por "lgica menor" e no sculo XIX, por "lgica formal". Os
problemas que diziam respeito verdade dos juzos constituram o objecto do que se
chamou no sculo XVI "lgica maior", e no sculo XIX por "lgica material".
Os principais escritos de Aristtoles sobre lgica, foram reunidos pelos seus
continuadores aps a sua morte, numa obra a que deram o nome de "Organun", e que
significa "Instrumento da Cincia".

O Organon est dividido nas seguintes partes:

Categorias ( escritos sobre a teoria dos tipos, isto , uma teoria na qual
os objectos so classificados de acordo com o que se pode dizer
significativamente acerca deles).
Tpicos (escritos para orientar todos aqueles que tomam parte em
competies pblicas de dialctica ou discusso )
Refutaes dos Sofistas.
Interpretao (escritos sobre os juzos)
Primeiros Analticos (escritos sobre o silogismo em geral)
Segundos Analticos (escritos sobre a demonstrao)

Foram mltiplas as contribuies de Aristotles para a criao e desenvolvimento da

lgica como a conhecemos. Entre outras, devem-se-lhe as seguintes contribuies:
- A separao da validade formal do pensamento e do discurso da sua
verdade material.
- A identificao dos conceitos bsicos da lgica.

- A introduo de letras mudas para denotar os termos.

- A criao de termos fundamentais para analisar a lgica do discurso:
"Vlido", "No Vlido", "Contraditrio", "Universal", "Particular".
A lgica de Aristteles tinha um objectivo eminentemente metodologico. Tratava-se de
mostrar o caminho correcto para a investigao, o conhecimento e a demonstrao
cientficas. O mtodo cientfico que ele preconizava assentava nos seguintes fases: 1.
Observao de fenmenos particulares; 2. Intuio dos princpios gerais (universais) a
que os mesmos obedeciam; 3. Deduo a partir deles das causas dos fenmenos
particulares. Aristteles estava convencido que se estes princpios gerais fossem
adequadamente formulados, e as suas consequncias correctamente deduzidas, as
explicaes s poderiam ser verdadeiras.
Apesar dos enorme avanos que produziu, a lgica aristotlica, tinha enormes
limitaes que se revelaram mais tarde, verdadeiros obstculos para o avano da
cincia.
- Assentava no uso da linguagem natural, e portanto, estava muitas vezes
enredada na confuses sobre o sentido das palavras.
- Atribuiu uma enorme importncia ao estudo dos 256 modos do
silogismo e considerao de enunciados que continham exactamente
dois termos. Os seus continuadores, acabaram por reduzir a lgica ao
silogismo.
Ainda na antiguidade clssica so de referir os notveis contributos para a lgica formal
devida aos estoicos

Lgica Medieval
Durante a Idade Mdia, em especial durante o florescimento da escolstica (sculos XIII
a XV) foram realizados notveis progressos na lgica aristotlica. A lgica tornou-se
mais sistemtica e progressiva. So de salientar os contributos de Duns Escoto,
Guilherme de Occam, Alberto da Saxnia e Raimundo Llio.Este ltimo concebeu o
projecto de mecanizao da lgica dedutiva, ideia mais tarde desenvolvida por Leibniz..
neste perodo que o portugus Pedro Hispano escreve a "Summulae Logicals", o
tratado de lgica mais difundido em toda a Europa at ao sculo XVI .
A lgica foi durante a Idade Mdia era entendida como a "cincia de todas as cincias".
Competia-lhe validar os actos da razo humana na procura da Verdade. De acordo com
o pensamento corrente no tempo, o saber cientfico tinha que obedecer lgica formal.
A partir de um conjunto de princpios universais admitidos como verdadeiros, por um
processo dedutivo procurava-se encontrar a explicao para todos os fenmenos
particulares. Embora este mtodo fosse igualmente preconizado por Aristteles, na
Idade Mdia deu-se uma enorme importncia deduo, desvalorizando-se por
completo a induo na descoberta cientfica. Este facto teve como consequncia ter-se
cortado com a base emprica da investigao.
Crtica Lgica Aristotlica
A partir do sculo XVI a lgica aristotlica comea a ser questionada. Os mtodos
dedutivos que a mesma preconizava para a investigao cientfica, comeam a ser
postos em causa, com o chamado a cincia experimental. A partir do particular os
cientistas procuram agora atingir o universal, e no o contrrio, como preconizava a
lgica aristotlica. Rompeu-se assim com os estudos seculares da lgica dedutiva e
procurou-se fundamentar as regras do raciocnio indutivo. A lgica formal entra num
perodo de descrdito, devido s criticas de filsofos como Francis Bacon (1561-1626) e
R. Descartes (1596-1650).
A principal obra de F. Bacon -Novo Organon- , indica desde logo a sua inteno de
substituir o organon aristotlico. Tratava-se de criar um novo mtodo de investigao
cientfica- o mtodo indutivo-experimental. A principal contribuio est no facto de ter
valorizado o papel da induo. A investigao cientfica devidamente conduzida era uma
ascenso gradual indutiva, desde as correlaes de baixo grau de generalidade at s
de maior nvel de generalidade.
Perodo Moderno (Sculo XIX a princpios do sculo XX)
Leibniz
Gottfried Wilhelm Leibniz (1646-1716) ocupa um lugar especial na histria da lgica.
Este filosofo procurou aplicar lgica o modelo de calculo algbrica da sua poca. Esta
concebida como um conjunto de operaes dedutivas de natureza mecnica onde so
utilizados smbolos tcnicos. Era sua inteno submeter a estes clculos algbricos a
totalidade do conhecimento cientfico. Na sua obra Dissertao da Arte Combinatria,
apresenta os princpios desta nova lgica:
- Criao de uma nova lngua, com notao universal e artificial
- Fazer o inventrio das ideias simples e simboliz-las de modo a obter
um "alfabeto dos pensamentos" simples expressos em caracteres

elementares.
- Produzir ideias compostas combinando estes caracteres elementares.
- Estabelecer tcnicas de raciocnio automatizveis, de modo a substituir
o pensamento e a intuio, por um clculo de signos.
O raciocnio torna-se, neste projecto de Leibniz, um clculo susceptvel de ser efectuado
por uma mquina organizada para o efeito. Esta ideia ir inspirar at aos nossos dias
no apenas o desenvolvimento da lgica, mas a criao de mquinas inteligentes.
A Criao da Lgica Matemtica
Em meados do sculo XIX, opera-se na lgica uma verdadeira revoluo. Diversos
investigadores de formao matemtica, iro conceber, no apenas uma nova
linguagem simblica, mas tambm uma forma de transformar a lgica numa algebra. A
lgica passou a ser vista como um calculo, tal como a algebra, visto que mabas se
fundam nas leis do pensamento humano. Os enunciados seriam atemporais,
semelhana das proposies matemticas.
atribuido a George Boole (1815-1864) a criao da lgica matemtica. Na sua obra
"Mathematical Analysis of Logic", publicada em 1847, a lgica foi pela primeira vez de
uma forma consistente tratada como um calculo de signos algbricos. Esta algebra
booleana ser fundamental para o desenho dos circuitos nos computadores electrnicos
modernos. ainda a base da teoria dos conjuntos. Outras das suas contribuies
decisivas foi ter acabado com as restries impostas lgica desde Aristteles,
afirmando que existia uma infinidade de raciocnios vlidos e uma infinidade de
raciocnios no vlidos. Ernest Schroder (1890-1895), nas suas "Lies sobre a algebra
lgica" deu a forma acabada logica de Boole
No final do sculo XIX os estudos da lgica matemtica deram passos gigantescos, no
sentido da formalizao dos conceitos e processos demonstrativos. Entre os
matemticos e filsofos que mais contriburam para os avanos destacam-se Gottlob
Frege, Peano, B. Russell, Alfred N. Witehead e David Hilbert. nesta fase que so
criados os seguintes sistemas lgicos: o calculo proposicional e o clculo de
predicados.
Frege (1848-1925), cujas obras principais datam de 1879 e 1893, o primeiro a
apresentar o calculo proposicional na sua forma moderna. Introduziu a funo
proposicional, o uso de quantificadores e a formao de regras de inferncia primitivas.
Procurou em sintese criar todo um sistema capaz de sistema capaz de transformar em
raciocnios dedutivos todas as demonstraes matemticas. Para isso todas as
demonstraes foram traduzidas num vocabulrio fixo- um certo conjunto de modos de
traduo. Nesta notao, a construo de cada frase, o seu significado, e o modo como
no raciocnio se deduziam os novos passos a partir dos anteriores, tudo devia de ser
devidamente explicitado. Com Frege passa-se da algebra da lgica (matematizao do
pensamento) logstica (logicizao das matemticas) e mesmo ao logicismo (reduo
das matemticas lgica).

A lgica matemtica caracteriza-se por ter construdo uma linguagem

artificial, simblica, para representar o pensamento de uma forma
unvoca. Cada signo possui apenas com um nico significado.
Esta linguagem possui as seguintes propriedades:
- No exige qualquer traduo numa linguagem natural
- A escrita ideogrfica ( no fontica). As ideias so representadas por
sinais
- A forma gramatical substituda pela forma lgica
Giuseppe Peano (1858-1932) desenvolve o sistema de notao empregue pelos
lgicos e matemticos. Peano demonstrou igualmente que os enunciados matemticos
no so obtidos por intuio, mas sim deduzidos a partir de premissas.
Bertrand Russel (1872-1970) procura desenvolver o projecto do logicismo, isto , a
reduo das matemticas lgica. Na sua volumosa obra "Principia Mathematica"
(1910-1913), escrita em colaborao com Whitehead, tornou-se na obra de referncia
da lgica matemtica.
Aps estas contribuies decisivas, os lgicos acabaram por se dividir quanto s
relaes entre a lgica e a matemtica, tendo surgido trs escolas:
- Os logiscistas, que defendiam que a lgica era um ramo da matemtica.
- Os formalistas, que defendia que ambas as cincias
independentes, mas formalizadas ao mesmo tempo.

eram

- Os intuicionistas, para os quais a lgica era um derivado da matemtica

porque era axiomatizada.

Perodo Contemporneo (Incios do sculo XX at aos nossos dias)

Expanso dos Estudos da Lgica
Ao longo do sculo XX assistiu-se por um lado generalizao e diversificao dos
estudos da lgica matemtica, atingindo um elevado grau de formalizao. A lgica
possui actualmente um sistema completo de smbolos e regras de combinao de
smbolos para obter concluses vlidas. Este facto tornou-a particularmente adaptada a
ser aplicada concepo de mquinas inteligentes.
Aplicaes da Lgica
A ideia de criar mquinas inteligentes no nova. Desde o Renascimento que se tem
procurado de forma sistemtica conceber mquinas capazes de substituirem o homem
em certas tarefas.
Foi no sculo XVII que comeou uma sucesso de notveis investigaes e invenes
que iriam conduzir inteligncia artificial. As ideias filosficas do tempo estimulavam
estas descobertas. Ren Descartes, por exemplo, criou uma nova viso mecnica do
Universo, inspirada no modelo de um relgio. As plantas como os animais eram simples

mquinas criadas para executarem funes muito precisas. Se o corpo humano era uma
mquina, j a razo fazia operaes que as mquinas no conseguiam, como a
elaborao de clculos matemticos. Apesar disso, neste sculo apareceram as
primeiras mquinas de calcular.
Blaise Pascal, em 1642, inventa a primeira mquina de somar.
Leibniz, em 1694, inventa uma calculadora que para alm de somar,
subtrair, podia multiplicar, dividir e extrair razes quadradas.
No sculo XVIII a viso mecnica do universo acompanhada por uma verdadeira
paixo pelas mquinas, sobretudo aquelas que fossem capazes de substituir o homem
na realizao de mltiplas tarefas fsicas, mas tambm em operaes mentais. Esta
viso mecanicista particularmente notria na obra de La Mettrie (1709-1751), mdico e
filsofo. Aps ter estudado as relaes entre as faculdades mentais e os fenmenos
corporais defendia que o pensamento era um produto da matria cerebral. As mesmas
leis que regiam a matria regiam o pensamento. O mecanicismo predominava na
filosofia. No por casso que este tenha sido tambm o sculo da Revoluo Industrial.
No sculo XIX, as ligaes entre a lgica e a matemtica vieram a demonstrar a
possibilidade de conceber as operaes mentais como simples clculos, susceptveis de
serem executados por mquinas. A ideia vinha sendo explorada, como vimos, no
domnio da tecnologia. Charles Babbage, em meados do sculo ir conceber uma
mquina analtica, cujas caractersticas antecipam os actuais computadores. No censo
da populao da Gr-Bretenha, em 1890, Herman Hollerith, concebe uma mquina que
utiliza cartes perfurados (utilizados desde 1801, em teares mecnicos, por Jacquard).
Esta mquina era capaz de separar, contar e catalogar os dados recolhidos.
.
Charles Barbbage (1792 - 1871), concebeu, em 1834, uma "mquina
analtica" que podia ser programada, utilizando cartes prefurados. Ela
seria capaz de solucionar problemas matemticos complexos,
envolvendo uma srie de clculos independentes. Esta mquina tinha
cinco caractersticas comuns aos actuais computadores:
1. Um mecanismo de entrada de dados (input), para fornecer
maquina a informao necessria para equocionar e resolver os
problemas.
2. Uma memria para armazenar a informao.
3. Uma unidade de matemtica para efectuar clculos.
4. Uma unidade de controlo para indicar mquina quando devia
utilizar a informao armazenada.
5. Uma unidade de sada de dados (output), para fornecer a resposta
impressa.
Apesar dos notveis avanos tericos, a maquina de Barbbage nunca
passou de um projecto. A ideia contudo, inspirou muitos dos inventos

posteriores.
interessante constatar que em 1991, o Museu da Cincia de Londres,
tenha construdo, segundo os planos originais, uma calculadora
projectada por Barbbage entre 1847 e 1848. A mquina no funcionou
de forma perfeita. O peso que era elevado: 3 toneladas!
No sculo XX, os inventores de mquinas inteligentes tinham ao seu dispor uma
ferramenta fundamental: uma lgica amplamente formalizada. As operaes lgicas
elementares foram rapidamente aplicadas nas novas mquinas. O primeiro computador
totalmente automtico, o IBM-Havard Mark 1, s se concretizou em 1944. Dois anos
depois, Eckert e Mauchly apresentam o ENIAC, um computador totalmente electrnico.
Em 1950, entra em funcionamento o EDVAC, concebido entre outros, por Von
Neumann. Este computador tinha duas caracteristicas que se tornaram comuns aos
futuros computadores: os programas memorizados e o sistema numrico binrio (criado
pelo matemtico e lgico G. Boole).Os primeiros circuitos integrados prticos datam de
1959. Os microprocessadores foram inventados em 1969, no ano em que surgia a
Internet. Comeava ento a revoluo dos computadores.
Ciberntica
A ciberntica tem a sua origem nos anos trinta do sculo XX. A comunidade cientfica e
filosfica debatia ento com grande entusiasmo a questo das novas mquinas. Entre
os que participavam nesses debates destacavam-se A. Rosenbluth (especialista em
fisiologia nervosa) e Norbert Wiener (matemtico que se dedicava construo de
mquinas electrnicas). Este ltimo estava convencido que os sistemas de
comunicao dos animais eram semelhantes aos de uma mquina. Wiener teve ento a
ideia de criar uma cincia interdisciplinar para o estudo dos sistemas de controlo e
comunicao nos animais e nas mquinas (como se organizam, regulam, reproduzem,
evoluem e aprendem). Um dos ramos mais importantes desta cincia tem sido a
robtica- estudo e construo de mquinas inteligentes.
Informtica
O desenvolvimento dos computadores acabou conduzir criao de uma nova cincia
aplicada, a informtica. Esta cincia dedica-se ao estudo do tratamento automtico da
informao que fornecida a uma mquina a partir do meio exterior.
Inteligncia Artificial
O desenvolvimento dos computadores acabou por impulsionar o aparecimento de uma
nova cincia nos anos cinquenta, a inteligncia artificial. Esta cincia aplicada dedicase ao estudo da construo de mquinas capazes de simularem actividades mentais,
tais como a aprendizagem por experincia, resoluo de problemas, tomada de
decises, reconhecimento de formas e compreenso da linguagem. As linhas de
investigao so essencialmente trs: simulao das funes superiores da inteligncia;
modelizao das funes cerebrais, explorando dados da anatomia, fisiologia ou at da
biologia molecular; reproduo da arquitectura neuronal de um crebro humano, de
forma a produzir numa mquina condutas inteligentes.
Consequncias
Perante a enorme capacidade destas mquinas para armazenarem e tratarem a
informao, desde os anos quarenta que se coloca a questo das suas consequncias
para a sociedade, nomeadamente pelo poder que conferem os grupos de individuos que
controlem esta informao. Mas essa outra questo que discutiremos noutro lugar.