Breve Histria da Lgica Perodo Clssico | Perodo Moderno | Perodo Contemporneo

Perodo Clssico (Sculo IV a.C ao Sculo XIX)

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 tornouse 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 possuiapenas 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 eram independentes, mas formalizadas ao mesmo tempo. - 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 dedica-se 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. Carlos Fontes Carlos Fontes Referncias Histricas 11 - Novo Programa Navegando na Filosofia 11-Antigo Programa n