A1EXANDRISMO

25

ALGUM

refa que constituiu a sua grandeza no perodo clssico: a de procurar livremente os caminhos e os modos de uma existncia propriamente humana. Enrijece-se na pretenso de assegurar ao homem, a todo custo, a paz e a serenidade de esprito, e desse modo torna-se privilgio de uns poucos pensadores que conseguem isolar-se do resto da vida e dos problemas que a dominam, desinteressando-se, portanto, tambm da pesquisa cientfica. A cincia da era alexandrina conta com grandes matemticos (Euclides, Arquimedes, Apolnio); astrnomos (Hiparco e Ptolomeu); gegrafos (Eratstenes); mdicos (Galeno). A filosofia apresenta-se dividida em duas grandes escolas: o Epicurismo (v.) e o Estoicismo (v.); e em duas tendncias filosficas sustentadas por escolas diferentes: o Ceticismo (v.) e o Ecletismo (v.). Pode-se dizer que desse perodo que provm a noo de filosofia, ainda hoje muitas vezes predominante no senso comum, como atividade consoladora ou tranqilizante, que impede ao homem imiscuir-se nas coisas da vida comum e procura garantir-lhe a imperturbabilidade de esprito. ALEXANDRISMO (in. Alexandrianisni; fr. Alexandrisme, ai. Alexandrismus; it. Alessandrism). Assim foi chamada, no Renascimento, a doutrina de Alexandre de Afrodsia sobre o intelecto ativo (v.). ALFA-MEGA. Expresso usada no Apocalipse para designar Deus como princpio e fim do mundo (Ap., I, 8; 21, 6; 22, 13; etc). LGEBRA DA LGICA (in. Logical lgebra; fr. Algbre de Ia logique, ai. lgebra derLogik; it. lgebra delia lgica). J Leibniz intura a possibilidade de um clculo literal que tivesse afinidade com a A. comum, em que, definindo-se por axiomas (muito semelhantes aos algbricos) certas operaes lgicas (adio, subtrao, multiplicao, diviso, negao) e certas relaes (implicao, identidade) fundamentais, indicadas com smbolos extrados da matemtica, seria possvel derivar desses axiomas, mediante clculo, todas as regras da silogstica tradicional. Mas (talvez pelo predomnio de fortes preocupaes com o contedo de origem filosfica sobre a idia pura do clculo) Leibniz no chegara a resultados satisfatrios. No foram mais felizes as tentativas de seus continuadores, como Lambert. Somente os lgicos ingleses do sc. XIX conseguem fundar uma verdadeira A. O primeiro foi George Boole {Mathematical Analysis of Logic, 1847; Laws of Thougbt, 1854), cujas

pegadas foram seguidas por Stanley Jevons (PurLogic, 1864), porj. Venn (Symbolic Logic, 1881) e pelo alemo E. Schrder (lgebra der Logk, 1890-1895). A lgebra da lgica geralmente entendida como um clculo literal bivalente, caracterizado: \- pelo fato de que as equaes podem assumir apenas os valores 0 ou 1; 2 pelos axiomas "a + a = a" e "a = a" (com todas as conseqncias que da derivam); 3fi pela ausncia de operaes indiretas, como a subtrao (no sendo possvel equiparar a negao"- a" subtrao, no obstante o axioma, j enunciado por Leibniz, "a ~ a = 0"). Esse clculo literal em si nada significa, um mero jogo simblico (precisamente, uma "A. booliana" entre as muitas possveis), mas passvel de duas interpretaes, que interessam Lgica. Na primeira, os smbolos a, b, c,... indicam classes; os sinais "+", "." indicam operaes entre classes (v. ADIO; MULTIPLICAO LGICA); a < b interpreta-se como "a classe a est includa na classe b"; o sinal de negao "- a" ou "a"' indica a classe formada por todos os indivduos que no pertencem classe a-, 0 indica a classe vazia; 1 indica a classe total ou universo do discurso (v.). A segunda interpretao , ao contrrio, proposicional: os smbolos a, b, c,... indicam proposies; os sinais "+", ".", indicam operaes sobre proposies; "a< b" indica implicao ("a implica >"); "- a" (ou a') indica a negao da proposio a; finalmente, 0 interpretado como "falso", 1 interpretado como "verdadeiro". Desse modo, funda-se a interpretao do clculo lgico-algbrico que vai absorver a silogstica tradicional, transformando-a em disciplina formal e dedutiva. Foi ultrapassada pela Lgica matemtica, fundada por Frege e Russell, e, depois, pela Lgica simblica contempornea, que absorveu os elementos mais vitais da A. da Lgica. G. P. ALGORITMO (in. Algorism; fr. Algorithme, ai. Algorithmus; it. Algoritmo). Qualquer processo de clculo. Esse termo, derivado do nome do autor rabe de um tratado que introduziu a numerao decimal na Europa do sc. IX, designava a princpio os processos de clculo aritmtico e depois foi generalizado para indicar todos os processos de cclulo. ALGUM (in. Some, fr. Quelque, ai. Einige, it. Qualch). Na Lgica contempornea, "A." ou "alguns" um operador de campo, cujo smbolo mais usado ''(3x)", p. ex., em frmulas como "(3x) . f(x)", que se l "existe ao menos