Dicionario de filosofia.pdf - Charlezine

A1EXANDRISMO 25 ALGUM
refa que constituiu a sua grandeza no período
clássico: a de procurar livremente os caminhos
e os modos de uma existência propriamente
humana. Enrijece-se na pretensão de assegurar
ao homem, a todo custo, a paz e a serenidade
de espírito, e desse modo torna-se privilégio
de uns poucos pensadores que conseguem isolar-se
do resto da vida e dos problemas que a
dominam, desinteressando-se, portanto, também
da pesquisa científica. A ciência da era
alexandrina conta com grandes matemáticos
(Euclides, Arquimedes, Apolônio); astrônomos
(Hiparco e Ptolomeu); geógrafos (Eratóstenes);
médicos (Galeno). A filosofia apresenta-se dividida
em duas grandes escolas: o Epicurismo
(v.) e o Estoicismo (v.); e em duas tendências
filosóficas sustentadas por escolas diferentes: o
Ceticismo (v.) e o Ecletismo (v.). Pode-se dizer
que é desse período que provém a noção de
filosofia, ainda hoje muitas vezes predominante
no senso comum, como atividade consoladora
ou tranqüilizante, que impede ao homem imiscuir-se
nas coisas da vida comum e procura
garantir-lhe a imperturbabilidade de espírito.
ALEXANDRISMO (in. Alexandrianisni; fr.
Alexandrisme, ai. Alexandrismus; it. Alessandrismó).
Assim foi chamada, no Renascimento,
a doutrina de Alexandre de Afrodísia sobre o
intelecto ativo (v.).
ALFA-ÔMEGA. Expressão usada no
Apocalipse para designar Deus como princípio
e fim do mundo (Ap., I, 8; 21, 6; 22, 13; etc).
ÁLGEBRA DA LÓGICA (in. Logical álgebra;
fr. Algèbre de Ia logique, ai. Álgebra derLogik;
it. Álgebra delia lógica). Já Leibniz intuíra a
possibilidade de um cálculo literal que tivesse
afinidade com a A. comum, em que, definindo-se
por axiomas (muito semelhantes aos algébricos)
certas operações lógicas (adição, subtração,
multiplicação, divisão, negação) e certas
relações (implicação, identidade) fundamentais,
indicadas com símbolos extraídos da matemática,
seria possível derivar desses axiomas,
mediante cálculo, todas as regras da
silogística tradicional. Mas (talvez pelo predomínio
de fortes preocupações com o conteúdo
de origem filosófica sobre a idéia pura do
cálculo) Leibniz não chegara a resultados
satisfatórios. Não foram mais felizes as tentativas
de seus continuadores, como Lambert.
Somente os lógicos ingleses do séc. 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
(PurêLogic, 1864), porj. Venn (Symbolic Logic,
1881) e pelo alemão E. Schrõder (Álgebra der
Logík, 1890-1895). A álgebra da lógica geralmente
é entendida como um cálculo literal bivalente,
caracterizado: \- pelo fato de que as
equações podem assumir apenas os valores 0
ou 1; 2° pelos axiomas "a + a = a" e "a = a"
(com todas as conseqüências que daí derivam);
3 fi pela ausência de operações indiretas,
como a subtração (não sendo possível equiparar
a negação"- a" à subtração, não obstante
o axioma, já enunciado por Leibniz, "a ~ a =
0"). Esse cálculo literal em si nada significa,é
um mero jogo simbólico (precisamente, uma
"A. booliana" entre as muitas possíveis), mas
é passível de duas interpretações, que interessam
à Lógica. Na primeira, os símbolos a, b,
c,... indicam classes; os sinais "+", "." indicam
operações entre classes (v. ADIÇÃO; MULTIPLI-
CAÇÃO LÓGICA); a < b interpreta-se como "a
classe a está incluída na classe b"; o sinal de
negação "- a" ou "a"' indica a classe formada
por todos os indivíduos que não pertencem à
classe a-, 0 indica a classe vazia; 1 indica a classe
total ou universo do discurso (v.). A segunda
interpretação é, ao contrário, proposicional:
os símbolos a, b, c,... indicam proposições; os
sinais "+", ".", indicam operações sobre proposições;
"a< b" indica implicação ("a implica
£>"); "- a" (ou a') indica a negação da proposição
a; finalmente, 0 é interpretado como
"falso", 1 é interpretado como "verdadeiro". Desse
modo, funda-se a interpretação do cálculo
lógico-algébrico que vai absorver a silogística
tradicional, transformando-a em disciplina
formal e dedutiva. Foi ultrapassada pela Lógica
matemática, fundada por Frege e Russell, e,
depois, pela Lógica simbólica contemporânea, que
absorveu os elementos mais vitais da A. da
Lógica. G. P.
ALGORITMO (in. Algorism; fr. Algorithme,
ai. Algorithmus; it. Algoritmo). Qualquer processo
de cálculo. Esse termo, derivado do nome
do autor árabe de um tratado que introduziu a
numeração decimal na Europa do séc. IX, designava
a princípio os processos de cálculo
aritmético e depois foi generalizado para indicar
todos os processos de cáclulo.
ALGUM (in. Some, fr. Quelque, ai. Einige,
it. Qualché). Na Lógica contemporânea, "A."
ou "alguns" é um operador de campo, cujo
símbolo mais usado é ''(3x)", p. ex., em fórmulas
como "(3x) . f(x)", que se lê "existe ao menos