Lógica

r
,/
J-0-S 1!. PECEGUEI R.0-

- ' '
11 .
CADERNO AUXILIAR
DE
FILOSOFIA
II
AME.~J
,.. A '
li V r a r ~p dro d t . ...so u::.i a' Lda..
/{Januel e~ 111
E. ANGOL"
AV. HER\5 O 2AQ1 LEI l t Dt
e\et 27914 -
2061
Tipografia e Encadernao
DOMINGOS DE OLIVEIRA
Campo Mrtires da Ptria, I 44-A - l>orto
JOS PECEGUEIRO
PROFESSOR DO ENSINO LICEAL
CADERNO AUX\L\AR
DE
FlLOSOF\A
PORTO
1 9 6 5
Alm da exposio da matria, este CADERNO contm:
-VOCABULRIO AUXILIAR adaptado ao esclareci-

mento de palavras e expresses que no texto vo
indicadas com um asterisco (*);
- QUESTIONRIOS de revises com perguntas, exer-

ccios e temas de exposio;
- NDICE IDEOGRFICO que permitir encontrar

com rapidez todas as importantes noes que no
texto foram paragrafadas margem.
LGICA
Nota Prvia
Os problemas d-e lgica constituem, hoje em dia, tema da maior

relevncia~ Na verdade, depois dos trabalhos iniciados por Boole com a
lgebra da lgica, caminha-se para a integral logificao de todos os
ramos do conhecimento, e a lgica passou a ser disciplina fundamental
na problemtica filosfica contempornea. Importa, por isso, que tambm
em livros escolares se comece a chamar a ateno para as perspectivas da
lgica moderna, libertando o estudante do preconceito de que a lgica se
reduz ao esquema aristotlico, ultrapassado no por intil, mas to-
-somente porque a investigao abriu horizontes novos anlise do pensa-
mento, tornando o esquema tradicional simples tapa de um instrumento
analtico que, nos nossos dias, adquiriu profundidade e rigor muito maiores.
Essa a razo porque este Caderno - ao contrrio do que habi-
tual - analisa trs fases da evoluo histrica da lgica: a primeira,
a que costume chamar lgica clssica e foi estruturada por Aristteles
no rganon mantendo-se prticamente inalterada at ao sc. XIX; a
segunda, que se denominou lgica indutiva e que marca a rutura da cin-
cia renascentista com a tradio aristotlica, estabelecendo as bases de
um novo instrumento do conhecer - o mtodo experimental; a terceira,
que a fase actual, ou da lgica moderna, tambrn conhecida por logs-
tica, e constitui uma nova lgica formal com exigncias de rigor analtico
superiores at ao da prpria matemtica, da qual no obstante recebeu o
impulso inicial.
Assim, este segundo Caderno Auxiliar de Filosofia poder
contribuir para que os estudantes, sobretudo os de admisso s Faculdades,
comecem a actualizar os seus conhecimentos, e chamar a ateno para a
necessidade de uma actualizao oficial dos programas, evidenciando ser
relativamente fcil elaborar compndios sobre to importante matria,
sem ultrapassar o nvel do ensino secundrio.
A profunda remodelao que a didctica das matemticas tem
sofrido nestes ltimos anos, precisamente como consequncia dos trabalhos
de lgzca moderna, confere por outro lado nova justificao iniciauva
agora tomada. Mal parece, sem dvida, que os professores de matem-
tica comecem tambm entre ns a adoptar mtodos de ensino que tm a
sua raz em problemas filosficos, enquanto os professores de filosofia
perststem em fazer a preparao da mentalidade lgica dos seus disc-
pulos como se, depois d~ Aristteles, nada mais houvesse de novo.
INTRODUO
1 Aristteles (384-322 A. C.), o grande filsofo grego a quem

uso chamar tambm o Estagirita por ter nascido em Estagira, na
pennsula Calcdica, - dedicou, na sua vasta obra, especial ateno
anlise do pensa1nento. Tornava-se necessria essa anlise para ten-
tar estabelecer as bases de um instrumento seguro que permitisse
distinguir verdade e erro, entre tantos e to complexos problemas
postos pelos filsofos anteriores, sobretudo Heraclito*, os Eleatas*,
os Sofistas*, Scrates* e Plato*. Nesse sentido, escreveu uma srie
de tratados conhecidos pela designao geral de Organon, nome que
significa precisamente instrumento. Foi assim que Aristteles
criou uma cincia nova) de capital importncia na reflexo filosfica
- a Lgica.
A Lgica , com efeito, o instrumento que, pela rigorosa an-
lise da linguage1n, permite distinguir o pensamento claro do pensa-
mento errado ou sofstico *.
Texto irrefutvel durante sculos, o Organon, serviu de alicerce
a toda a filosofia ocidental, principalmente durante a Idade Mdia.
Nos sculos XVI, XVII e XVIII, invocando argumentos especial-
mente discutveis quanto lgica, - filsofos e cientistas como Petrus
Ramus*, Francisco Sanches*, Bacon*, Galileu*, Descartes*, Pascal*
e Verney*, refutam, criticam ou simplesmente desprezam a obra do
Estagirita. Sem embargo disso, na mesma poca e at depois, lgicos
como os da Escola de Port-Royal* e filsofos da categoria de Lei-
bnitz* e de I<ant* consideram a lgica aristotlica maravilhoso ins-
trumento analtico.
Ver-se- em que medida, uns e outros, tiveram ou no tiveram
,.,
razao.
II
A Palavra e a Frase
As palavras - instrumentos com que se exprimem ideias - so

partes constitutivas de um todo que se denomina frase.
A funo gramatical da palavra depende, lgicamente, da frase
em que se encontra contida. Palavras que parecem ter sentido bem
definido, como por exemplo a palavra cabea, variam de signifi-
cado conforme o sentido da frase a que pertencem. A funo sin-
tctica e a categoria morfolgica das palavras so portanto variveis
dependentes do contexto lgico.
Foi o que ps em relevo um eminente stilista portugus,
empregando exemplos como os seguintes:
A cabea a parte superior do corpo humano.
Deu-lhe agora na cabea fazer versos.
O ciclista vinha cabea do peloto.
Aquele homem uma grande cabea.
Penafiel cabea de concelho.
Da o primado da frase (isto , do pensamento expresso) sobre
a palavra, que um dos elementos da expresso.
Anlise lgica e anlise gramatical
Primado do pensamento expresso quer dizer primado lgico.

A palavra lgica vem do grego logos que significa pensamento.
A gramtica deriva, portanto, da lgica. Anlise gramatical correcta
tem de ser, antes de mais, correcta anlise lgica.
Como a um mesmo pensamento corresponde uma variedade de
expresses gramaticais, visto que a variedade depende da lngua em
que o pensamento expresso, - conclui-se que existem tantas
gramticas quantas as lnguas; mas uma s lgica, porque o homem,
animal pensante, pensa sempre de acordo com as mesmas leis de lgica
independentemente da lngua em que fala ou se exprime. Quer dizer:
se um ingls, um francs, um alemo, um sueco e um portugus,
A PALAVRA E A PRASB 13
por exemplo, pensam que est um lindo dia de primavera e comu-

nicam esse pensamento nas respectivas lnguas, - varia a expresso
gramatical, mas a expresso lgica no varia porque o pensamento o
mesmo para todos e para cada um. H, portanto, uma linguagem
universal que todos os homens podem entender, mesmo quando no
entendem a linguagem gramatical em que cada um se exprime: essa
linguagem universal a Lgica - cincia das lezs f ormaz"s do pensamento.
Psicologia, lgica e gramtica
Se recordarmos agora os conhecimentos que adquirimos em

Psicologia sobre a actividade psquica, podemos concluir:
a) pergunta: o que o pensamento? responde a PSICOLO-
GIA, estudando as funes do intelecto;
b} pergunta: como pensamos? responde a LGICA,
estudando as leis formais, isto , a actividade genrica e essencial do pen-
samento;
e) pergunta: como exprimir verbalmente aquilo que
pensamos? respondem as GRAMTICAS das lnguas respectivas,
estudando as regras da correcta ~radio lingustica.
/' -.
. ~ . . -- - ... . - " . . - -- - -
Matria e forma do pensamento
Cnsi.deremos o seguinte. texto ( = discur~o) :

A. lgica ._a cinca positiva ds leis -do pensamento. - -o que
caracteriza essemialrr.ente o pensamento que ele ou verdadeiro ou
falso. Ora o acto do conhecimento do qual se pode dizer ser verdadeiro
ou falso o juzo. No discurso, a proposio simples o enunciado de
Ul-juzo: a Terra esfrica.
O juzo contm idezas, e ele prprio entra na composio dos
raciocnios. As ideias so propriamente os objectos do pensamento.
Designamo-las, a maioria das vezes, por adjectivos: vermelho, pesado,
ou por substantivos: homem, leo, casa ou por substantivos compos-
tos: a flor campestre, o livro de Pedro.
Corresponde uma ideia a cada palavra do discurso que apresenta
um sentido. Acontece pr vezes certas palavras nada significarem: so
:.
14 CADERNO AUXILIAR DE FILOSOFIA
-. - ~
ento puros instrumentos gramaticais (Charles Serrus - Trait de

Logique).
Se quisermos destacar as afirmaes mais importantes do texto

reproduzido, poderemos enumer-las assim:
.
I) A .lgica a cincia positiva das leis do pensamento.
2) O que caracteriza essencialmente o pensamento que ele
ou verdadeiro ou falso.
3) O acto do conhecimento o juzo.
4) A proposio simples o enunciado do juzo.
5) A Terra esfrica.
6) O juzo contm ideias.
7) O juzo entra na composio dos raciocnios.
8) As ideias so os objectos do pensamento .
.9) Correspond~ uma ideia a cada palavra do discurso que apre-
sente um sentido.
10) As palavras que nada significam so puros instrumentos
gramaticais.
As afirmaes (==proposies) 1), 3), 4), 5) e 8) fcilmente se

compreende serem dw.n mesmo iipo formal, de que o caso mais tpico
5): A Terra esfrica. Com efeito, trata-se duma relao formal
do tipo: .- _:__ -~
X e" y
: "" - .~ -= - . .
~ A.s .restantes afirmaes pontadas; claramente se v, "poderiam

ser condensadas em proposies do n1esmo tipo, se se conviesse em que
x e y se referem no apenas a substantivos (como Terra) ou adjectivos
(como esfrica), mas a expresses substantivas (como O acto do conhe-
cimento) ou adjectivas (como contm ideias == continente de ideias).
Assim~
A Terra esfrica
~~
X y
O acto do conhecimento o juzo

"-v-'
X y
etc.
A PALAVRA E A FRASE
15
Acrescentemos agora lista afirmaes como estas :
I 1)A lgica no a gramtica.

12) Algumas frases so equvocas.
13) Alguns filsofos no so lgicos.
Verifica-se que se trata ainda de relaes formais entre um dado

x (==A lgica>. Algumas frases; Alguns filsofos) e um dado y (===a
gramtica>. equvocas>. lgicos). Com uma diferena, porm: nos pri-
meiros dez exemplos a relao entre x e y foi expressa pelo verbo ser
afirmativamente considerado>. em I 1), 12) e 13) a relao expressa
pelo verbo ser considerado negativamente. De onde podemos concluir
que, se empregarmos R como smbolo de uma relao mais geral que
admite dois casos especiais - relao afirmativa (x y); relao nega-
tiva (x no y) : - :
{x R Y - }-{x y}
x no y
Se tomarmos em conjunto ~as proposies. expressas em 5),

11), 12) e 13) e aceitarmos como equivalentes as exp_resses:
A Terra = Toda a Terra

A lgica= T~4a a l~gica
talvez no seja difcil compreender o seguinte quadro das relaes

formais at aqui analisadas:
(I) Todo o x y ( =0 x y)
(II) Todo o x no y (=Nenhum -X y)
8 - xRy (III) Algum x y
(IV) Algum x no y
A lgica clssica precisamente, no qu~ ~ de, es.sencial na

sua estruturao formalstica, o estudo d~s r~laoes po~s.1ve1s entre os
quatro tipos de proposio (ou determ1naoes espec1a1s_ de x R y)
acima apresentados.
CADERNO AUXILIAR DE FILOSOFIA
Assim:
A relao formal (I) Todo o x y corresponde a proposies
como as que foram expressas nos exemplos 1), 2), 3), 4), 5) e 8).
A relao formal (II) Todo o x no y ( == Nenhum x y) cor-
responde ao exemplo expresso na proposio 11).
A relao formal (III) Algum x y corresponde ao exemplo 12).
A relao formal (IV) Algum x no y ao exemplo 13).
Resta analisar os exemplos 6), 7), 9) e 10).
Dizer:
6) - O juzo contm ideias idntico a:
Todo o juzo constitudo por ideias [relao - (I)].
7) - O juzo entra na composio dos raciocnios idntico a:
Todo o juzo componente de raciocnios [relao - (I)].
9) - Corresponde uma ideia a cada palavra do discurso que apre-
sente um sentido idntico a :
Todas as palavras do discurso que apresentem um sentido
so ideias, ou seja:
Todas as palavras intelegveis do discurso so ideias [rela-
o - (I)].
10) - As palavras que nada significam so puros instrumentos
gramaticais i,d ntico a:
As palavras inintelegveis so puros instrumentos gramati-
cais [relao - (1)].
Primado da relao predicativa

Segundo Aristteles, "rela rJtedicativa:
X y }
{ x no y
lgica e ontologicamente* essencial: traduz a essncia do pensa-
mento e do ser. (Consulte: Ontologia).
S um maior aprofundamento analtico* e a necessidade de
rigor maior na expresso das ideias, sobretudo com a descoberta de
novas formas de relacionao mental, havia de levar, muito mais
tarde, a reconhecer a insuficincia da relao predicativa; entretanto
a lgica aristotlica, alicerce e ncleo fundamental da lgica clssica,

permaneceria.
LGIC1\ CLSSICA
LGICA DO CONCEITO /
10 Palavra, termo e conceito
Dissemos que por palavras se exprimem, numa lnguaJ as idez-as

ou conceitos. Mas nem todas as palavras exprimem ideias porque
algumas so puros instrumentos gramaticais. Por exemplo: a palavra
lgica exprime uma ideia ou conceito (a ideia da cincia respectiva,
cincia de que temos tido at aqui muito vaga ideia ... ); e exprimem
igualmente ideias palavras como Trra e Home1n.
A toda palavra qu-e exprime uma ideia se d o nome de termo.
O termo , por conseguinte, a expresso verbal (=por palavras) da
ideia ou conceito.
Palavras que no exprimem ideias no recebem a designao de
termos; so puros sons, apenas co1n funo gramatical mas no lgica,
como por exe1nplo as palavras: de, que, por, etc.
Definir IDEIA talvez o mais difcil de todos os problemas de
filosofia (Consulte: <(Caderno Auxiliar - r. 0 volume). O que o pr-
prio Aristteles entende por ideias s pode ser compreendido pelo
estudo de problemas da Teoria do Conhecimento* (Teoria das Ideias
ou Problema do Valor Objectivo das Ideias).
Por agora talvez seja suficiente estabelecer as seguintes dis-
tines:
a) Tenho percepo da mesa em que estou a escrever; tenho
percepo de um objecto sensvel.
b) Tenho imagen1 clara da mesa da sala de jantar da casa
de meus pais, objecto que me sensvel sempre que o percepciono,
mas que na sua ausncia apenas posso reproduzir ou recordar mental-
mente.
2
18 CADER NO AU XILIAR DE F ILOSOFIA
e) Nem-toda-a-gente-tem-mesa-para-comer quanto mais para

se dar ao luxo de escrever Cadernos de Filosofia, - eis uma ideia que
infelizmente verdadeira e s mentalmente posso conceber, visto que
no se refere a esta ou quela mesa concreta, mas a toda e qualquer
mesa possvel. portanto um universal.
11 Extenso e compreenso das ideias
Na frase Nem toda a gente tem mesa para comen> o termo

mesa exprime uma ideia ou conceito. Fcilmente se depreende que
esse termo no se refere a uma certa e determinada mesa, mas a
toda e qualquer mesa que possa servir para comer.
O termo, ao exprimir a ideia, pode tom-la em toda ou em parte
da sua extenso. No h, portanto, ideias universais e ideias parti-
culares; os termos, sim, que podem ser universais, particulares e
singulares.
Propriamente, a ideia sempre universal, quer dizer, pro-
duto abstracto referido a uma generalidade de objectos da mesma
natureza concreta; o grau de generalidade pode variar em relao a
outras ideias de maior ou menor generalidade do que a ideia consi-
derada; mas, em qualquer grau de abstraco* que seja, a ideia
sempre universal, por oposio aos seres concretos que so parti-
culares, ou melhor, singulares. (As dificuldades que a anlise deste
problema necessriamente levanta derivam da prpria dificuldade
de qefinir ideia, como atrs dissemos).
Nos exemplos que seguem, os termos em itlico exprimem
ideias tomadas ern toda (ou em parte) da sua extenso:
j Todos os homens so mortais

Todo o homem mortal == O homem mortal
l Os homens so mortais.
LGICA CLSSICA 19
H filsofos gregos
Alguns filsofos so gregos = Muitos filsofos so gregos
{
Certos filsofos so gregos.
No pritneiro exemplo, o termo hon1em (=homens; o singular e

o plural no tm significado lgico) universal, porque a ideia que o
termo exprime est tomada em toda a sua extenso; no segundo
exemplo, o termo filsofos particular, porque a ideia respectiva est
tomada apenas numa parte da sua extenso; como claramente o evi-
denciam as duas representaes por meio de crculos.
No exemplo,
Aristteles moralista
O termo Aristteles toma a ideia em toda a sua extenso,

visto que h muitos moralistas que no so Aristteles. Esta espcie
de termos denomina-se singlar porque, s~ndo a extenso igual a um
cert<? e determinado indivduo, o~jecto ou ser, - a ideia respectiva,
desde que expressa, est necessriamente tomada em toda a sua extenso.
Extenso de uma ideia o conjunto de indivduos ( = objec-

tos; seres; etc.) a que a ideia se refere.
Compreenso de uma ideia o conjunto de caractersticas

que determinam essa ideia. Ex.: O homem um animal, vertebrado,
mamfero, primata, racional, etc.
Admitamos a seguinte srie de termos:
Substncia - Animal - Vertebrado - Mamfero - Primata -

Hornem - Grego - Aristteles.
Se reptesentssemos a srie por meio de crculos, viria:
O que permite perceber imediatamente que o termo Subs-

tncia designa a ideia de maior extenso e o termo Aristteles a ideia
de menor _extenso. Os termos apresentam-se portanto, neste mo--
mento, por ordem de extenso decrescente.
Exactamente por isso tambm, o termo Aristteles designa uma
ideia que tem todas as caractersticas das ideias grego, racional,
primata, mamfero, vertebrado, animal, etc. - isto : designa a ideia
de maior compreenso; enquanto, por exemplo, o termo Mamifero
designa a ideia que tem apenas as caractersticas dos Vertebrados
e dos Animais, - isto : designa uma ideia de menor extenso que a
de Aristteles.
Em S'Qma: a extenso e a co1nprenso das ideias variam na razo
.inversa.
12 Gnero - a ideia de mior extenso que inclui em si outra

ou outras de menor extenso.
Ex.: Vertebrado GNERO, em relao a n1amfero, prnata, etc.
1 s Gnero prximo - a ideia de extenso imediatamente

superior a uma dada ideia.
Ex.: Vertebrado GNERO PRXIMO de Mamfero.

LGICA CLSSICA 21
14 Gnero supremo - a ideia de maior extenso que deter-

mina uma dada categoria* de seres.
Ex. : Substncia
15 Espcie - uma ideia de menor extenso que est contida nou-
tra ou noutras de maior extenso, as quais so gneros em relao
ideia considerada.
Portanto: Gnero e espcie so noes relativas - uma ideia
pode ser gnero em relao a outra de menor extenso e espcie
em relao a outra de maior extenso na qual est contida.
gnero
gnero
~ Vertebrado , gnero
~ Mamfero ~ , _ __,..___,.....--
(espcie)
(espcie)
Primata ~
-~
(espcie)
tG Espcie nfi~a - a ideia de menor extenso que no con-

tm em si outras de menor extenso; portanto aquela que designa
indivduos.
Ex.: Aristteles.
11 Diferena especfica - a caracterstica (ou caractersticas)
que permite distinguir as espcies que pertencem a um mesmo gnero
Ex.:
Mamferos = Vertebrados + (dif. esp.)
Vertebrados (gnero) Aves = Vertebrados + (dif. esp.)
Rpteis = Vertebrados -i- (dif. esp.)
Classificao dos termos
ts Termos universais - os que exprimem ideias ou conceitos

que esto tomados em toda a sua extenso.
Ex.: Todo elemento indecomponvel.
Os tomos so decomponveis.
19
Termos particulares - os que exprimem ideias ou conceitos
que esto tomados em parte da sua entenso.
Ex.: Alguns metais so slidos

H satlites artificiais ( = Alguns satlites so artificiais).
20 Termos singulares - os que exprimem uma ideia ou con-

ceito , que
. se refere a um certo e determinado indivduo, isto , a
um un1co ser.
Ex. : O homem que ali est professor

Portugal uma nao antiga.
21 Termos contrrios - os que expritnem ideias opostas.
Ex.: Grande - Pequeno

Branco - Preto
22 Termos contraditrios - os que exprimem ideias comple-

mentares, isto , cuja soma ou conjuno determina a totalidade
dos seres.
Ex.: Mamfero +
no-mammero == totalidade dos seres
Homem +
no-homem == totalidade dos seres.
2a Termos unvocos - os que designam ideias cujo sentido

rigoroso; todas as ideias cientficas devem ser expressas em lingua-
gem unvoca - a linguagem matemtica, rigorosa por excelncia.
Ex. : A soma dos ngulos internos de um tringulo igual

a 360.
24 Termos equvocos - os que exprimem ideias a que podem

atribuir-se sentidos diferentes.
Ex. : Este homem tem uma grande cabea.

1. o sentido - uma cabea de grandes propores;
2. sentido - uma inteligncia invulgar.
LGICA CLSSICA 23
Definio, Diviso e Classificao
A anlise das ideias pode ser feita sob dois pontos de vista:
o da compreenso e o da extenso.
25 Definio - a operao lgica que consiste em analisar

uma ideia sob o ponto de vista da sua compreenso; quer dizer:
a operao que consiste em decompor uma ideia nas caractersticas
que a constituem. Pode considerar-se de duas espcias:
a) Definio real e essencial, quando indica as caractersticas

essenciais do objecto defenido;
b) Definio descritiva quando se limita a enumerar carac-

tersticas sem distinguir do essencial o acidental.
. Gnero prximo e dzferena especfica constituem, na lgica

aristotlica, as caractersticas essenciais que definem uma ideia. Nesse
sentido, trs regras se devem observar numa definio essencial.
Regras de definio
I) A definio deve ser mais clara que o definido;
2) A definio deve convir a todo o definido e to-s ao

definido;
3) A definio deve ser recproca; isto : constitui com

o definido uma verdadeira igualdade.
Ex. : Homem = animal racional
2s Diviso - operao que consiste em decompor uma ideia

(= classe de seres) nas espcies que a constituem.
DIVISO DICOTMICA - aquela em que a ideia ou classe

subdividida em duas espcies contraditrias, cada uma das quais
24 - CADERNO AUXILIAR DE _FILOSOFIA
se subdivide, por seu turno, em duas novas espcies contraditrias

e assim sucessivamente.
Ex.: Primatas
Mamferos {
No primatas
Vertebrados
No-mamferos { : : : : : :
Seres vivos
No-vertebrados { : : : : : :
27 Classificao - operao que se realiza quando numa diviso

se renem todos os seres que so abrangidos por determinada ideia
( = classe), ordenando-os em gneros e espcies segundo as suas
diferenas especficas, de modo a realizar simultneamente uma
anlise da sua extenso e da sua compreenso. Nesse sentido, a
Definio e a Classifi~ao so operaes que mutuamente se
completam.
As cincias naturais (Botnica, Zoologia e Mineralogia) empre-
gam a classificao como principal mtodo de _trabalho na anlise
dos seres que tm por objecto de estudo.
Regras da Classificao
I) Deve ser exaustiva, quer dizer, realizar plenamente a orde-

nao dos seres sem deixar resduo.
2) Deve proceder de forma a estabelecer gneros e espcies
univocamente definidos.
3) Deve ser irredutvel, isto , no reunir-numa classe (gnero
ou espcie) seres que podem pertencer a outra.
,
LGICA DO JUIZO
aa O Juzo e a Proposio
O acto mental de afirmao de uma relao de concordncia

ou de discordncia entre duas ideias - o juzo.
- D-se o nome de proposio expresso verbal do juzo, isto ,
sua comunicao por meio de palavras.
Por isso o estudo da lgica do juzo o estudo da lgica das pro-
posies formalmente consideradas.
29 Elementos do Juizo
Em qualquer juzo de tipo predicativo ou redutvel forma

predicativa:
{
X e y
x no y
; }
podem distinguir-se trs elementos :
SUJEITO - ideia (ou termo) a que o juzo se refere.

Ex. : Os animais so seres vivos.
ATRIBUTO ou PREDICADO - ideia (ou termo) que se afirma

ou nega acerca do sujeito.
Ex.: Os electres so corpsculos intra-atmicos.
CPULA - tipo de relao entre o sujeito e o predicado,

expresso ou redutvel sempre ao verbo ser.
Ex. : Os atenienses so cultos.
26 CADERNO AUXILIAR D FILOSOFIA
Classificao dos Juzos

.
universais
.
Quanto quantidade particulares
singulares
Quanto qualidade afirm~tivos

{ negativos
analticos - a priori
Quanto compreenso . , . . .
szntetzcos
a riori
p . .
a posteriori {
apodticos - analticos
Quanto modalidade , . . ,.
assertorios - szntettcos
problemticos
, .
categorzcos
Quanto relao hipotticos
disjuntivos
Quanto matria de realidade - ou de facto

{ de valor - ou normativos
l ~,LJ,. 1.)
ao Juzos universais - aqueles em que o sujeito est tomado em
toda a sua extenso, isto , cujo sujeito universal.
Ex.: Todas as estrelas so luminosas
a1 Juzos particulares - aqueles em que o sujeito est tomado

em parte da sua extenso, isto , que tm o sujeito particular.
Ex.: Alguns tringulos so issceles.
a2 Juzos singulares - aqueles em que o sujeito se refere apenas

a um indivduo ( =objecto ou ser).
Nestes juzos o sujeito est tomado em toda a sua extenso,
visto que se trata de classe de um s elemento.
Ex. : Galileu astrnomo.
LGICA CLSSICA
27
as Juzos afirmativos - os que estabelecem relao de concor-

dncia (=compatibilidade lgica) entre o sujeito e o predicado.
Ex.: Os provenais so franceses.
34 Juzos negativos - os que estabelecem relao de discor-

dncia (=incompatibilidade lgica) entre o sujeito e o predicado.
Ex.: Os deuses no so mortais.
35 Juzos analticos - os que exprimem no atributo uma carac-

terstica ou caractersticas que fazem parte da compreenso do sujeito
e resultam portanto de anlise deste.
Ex. : Os tringulos so trilteros.
a6 Juzos sintticos - os que exprimem no predicado uma carac-

terstica ou caractersticas que no fazem parte da compreenso do
sujeito, resultando portanto da observao e da experincia.
Ex. : Os tomos so decomponveis.
37 Juzos a priori - os que se formulam, independentemente

de toda e qualquer experincia, como pura construo racional.

Ex.: A alma imortal.
as Juzos a posteriori - os que resultam da observao e da

experincia.
Ex.: Alguns mamferos so animais aquticos.
39 Juzos apodticos - os que estabelecem uma relao neces-

sria (=que existe e no pode deixar de existir) entre o sujeito e o
predicado.
Ex.: Todo o quadrado rectngulo.
-10 Juzos assertrios - os que afirmam uma verdade de facto,

mas no necessria, isto , uma relao entre o sujeito e o predicado
que existe mas poderia deixar de existir.
Ex. : Os alunos desta turma so inteligentes.
41 Juzos .problemticos - os que estabelecem relao pro-

blemtica entre o sujeito e o predicado, quer dizer, uma relao
na forma interrogativa directa ou indirecta.
Ex. : A inclinao musical hereditria?
-12 Juzos categricos - os que relacionam SUJetto e predicado

de farma incondicional, isto , afirmando (ou negando) sem alter-
nativa.
Ex. : O cristo humanitarista.
Juzos hipotticos - os que implicam uma condio.

Ex. : O progresso depende da cooperao entre os homens.
(=Se houver cooperao entre os homens, h progresso).
44 Juzos disjuntivos - os que admitem uma ou vrias alter-

nativas.
Ex.: O criminoso ou um doente ou um desadaptado social.
45 Juzos de realidade - os que afirmam o que .

Ex.: Os algarvios so portugueses.
Juzos de valor - os que, afirmando, indicam no o que ,

mas o que deve ser.
Ex. : Os homens deve1n amar-se uns aos outros.
47 Problema fundamental da 16gica clssica
A lgica clssica a teoria das relaes possveis entre quatro

tipos de juzos ou proposies predicativas:
PROPOSlES DE TIPO A:
Todo x y == O x y
, LGICA CLSSICA ,. ... 29
, ....
PROPOSIES DE TlPO E:
Nenhu1n x y == Todo x no y
PROPOSIES DE TIPO I:
Algum x y == Muitos x so y ==
H x que so y == Certos x so y.
PROPOSIES DE ~ T1PO O:
Algum x no y == Muitos x no so y==

H x -que no so y == Certos x no so y===
== Nem todo x y.
Trata-se de quatro determinaes especiais da relao
xAy
xRy=fxEy
x l y l X y
x A y significa que a relao entre x e y de tipo A:
universal afirmativa
x E y significa que a relao entre x e y de tipo E:
universal negativa
x I y significa que a relao entre x e y de tipo I:
particular afirniativa
x O y significa que a relao entre x e y de tipo O:
particular negativa
Por comodidade costuma convencionar-se que, para expressar

o tipo de proposio respectiva, basta a simples indicao dos
smbolo3:
A (universal afirmativa)
E (universal negativa)
I (particular afirmativa)
O (particular negativa)
til outrossim representar aqueles quatro tipos de propo-

sio por meio de crculos.
TIPO A
y
..

Todo x y = Todo x (algum) y
Algum y x
TIPO E
X y
Todo x no y =Todo x no (todo) y

Nenhum y x
LGICA CLSSICA
TIPO I
X y
Algum x y =Algum x (algum) y

Algum y x
TIPO O
=Algum x _no (todo) y

Algum x no y =Algum x no-y
==Algum x (algum) no-y
Todo y no y (algum) x
Algum no - y x
Pode considerar-se ainda um outro caso de proposies de tipo

A: as definies. Como sabemos pelas regras da defin'io, o sujeito
e o predicado so reversveis, quer dizer, estabelecem entre o definido
(x) e a definio (y) uma verdadeira igualdade; com efeito, se:
Todo x y
e
Todo y x
conclui-se que:
Todo x (todo) y
Ou seja, representando por meio de crculos:
x- v
A representao grfica indicada para os quatro tipos de propo-

sio (A, E, I, O) permite tirar a seguinte regra prtica:
Quantificao dos sujeitos e dos predicados:
a) O sujeito das proposies universais (A, E) universal.

O sujeito das proposis particulares (I, O) particular.
b) O pred,icado das proposies afirmativas particular.

O predicado das proposies negati~as universal
Porque a quantificao do sujeito evidente, importa destacar

apenas a
QUANTIFICAO J proposies afirmativas - particular

no PREDICADO l proposies negativas -~ universal
LGICA- CLSSICA 33
. .;
O que justifica que completemos agora o esquema dos quatro

tipos da relao predicativa da lgica clssica, quantificando os respec-
tJyo~ predicados :
,,?" Todo x (algum) y

xAy
~ Todo x (todo) y
xE y -+ Todo x no (todo) y
-
xRy
~ Algum x (algum) y
r XI y ~
Algum x (todo) y
r.
xOy -+ Algum x no (todo) y
.
Insista-se no facto das proposies de tipo A admitirem duas
quantificaes de predicado.
,'
Ex.: Todos os homens so (alguns) mamferos.
Todos os homens so (todos) animais racionais.
49 Mas obser\re-se tambm que as proposies de tipo I admitem

igualmente duas quantificaes de predicado. s proposies de tipo I
cujo predicado se encontra quantificado universalmente d-se o
nome de prop~sies de ordenao inversa; o que acontece
com proposies. COffi<? .esta: . _ . .~
Alguns anim<:tis so (todos) veribrados (vista que seria ilgico
admitir que li algunsvertebrados que no so animis).
A lgica clssica, ao teorizar sobre aqueles quatro tipos de deter-

minao (A, E, I, O) da relao geral predicativa x R y, investiga dois
Problemas fundamentais :
_. - ~) rroblen1a d~s. lnf~rncias Imediatas,.

2) Problema das Inferncias Mediatas (lgica do raciocnio).
3
INFERNCIAS IMEDIATAS
Conquanto a lgica clssica no o ponha em evidncia por se

tratar duma lgica essencialmente conceptualista* e no relaciona-
lista *, - o priniado lgico e psicolgico sempre do Juzo e no da ideia
ou conceito; melhor dizendo: o primado do raciocnio; ou melhor
ainda: o primado da integral relacionao do campo lgico* axiomti-
camente estruturado. Simplificando, e em termos mais acessveis:
gramaticalmente, a palavra vale o que vale o contexto; logicamente, a
. ideia vale o que vale o juzo, e o juzo s adquire verdadeiro significado
quando se encontra em sustentao recproca* com outros juzos, isto
, quando, relacionando-se com outro ou outros juzos, estabelece o
que propriamente se chama raciocnio. Pensar , assim, raciocinar
(= inferir). (Consulte: Caderno Auxili"ar - I).
51 Noo de inferncia
Numa forma mais primitiva, a inteligncia obtm, a partir dum

dado juzo (proposio) outro juzo (proposio) que no primeiro se
encontrava implicitamente contido - o que se denomina inferncia
imediata.
Numa forma mais elaborada, a inteligncia relaciona dois ou
mais juzos (proposies) de modo a obter uma concluso que deles
lc)gicamente deriva - o que se denomina inferncia media ta.
. d.iatas {Converso
1me . _
0 iposiao
Classificao .das inferncias
mediatas - Raciocnio
52 Converso:
- inferncia imediata que consiste em pa""ssar de uma dada pro-

posio (antecedente) para outra proposio (consequente) obtida a
partir da primeira pela troca da posio respectiva do sujeito e do predi-
cado). isto , o sujeito do antecedente passa a predicado do consequente
e vice-versa.
LGICA CLSSICA 35
Tome-se em considerao a quantificao do predicado, ant~rior

mente estudada, e compreender-se- o seguinte quadro das leis da
converso.
53 Leis da Converso
Se: Conclui-se:
A -Todo x (algum) y ------~ I -Algum y x - Limitao
A-Todo x (todo) y - - - - - - ~ A - Todo y x - Simples
E -Todo x no (todo) y - - - - - ~ E - Todo y no x - Sin1ples
I - Algum x (algum) y ---- - - - _ __.. I - Algum y x - Simples
I -Algum x (todo) y - ---- ~ A-Todo y x -Inverso
O -Algum x no (todo) y =
=Algum x (algum) no-y - - - - ~ I - Algum no-y x - Negao
Todas as converses indicadas so evidentes, excepo da

converso das proposies de tipo O em que se operou, antes de conver-- ..
~
ter, a transformao da negativa em afirmativa, deslocando a negativa

da cpula para junto do predicado, e convertendo depois como _se se
tratasse duma proposio de tipo I.
Torna-se, portanto, possvel sinte~izar assim as leis da converso:
. . f simples: E, I, A (definies)
O - -- .. ---- - ~ - -- - - - - - - - - _____ M ___ _
_
e onversao por limitao : A
l
por inversijp: I (proposies de ordenao inversa)
por negao : O
54 Oposio
Inferncia imediata que consiste em passar de uma dada pro-

posio (antecedente) para outra ou outras (consequentes) que se obtm,
a partir daquela, pela alterao da quantidade, ou da qualidade, ou da
quantidade e qualidade ao mesmo tempo.
CADERNO .AUX-ILlAR ~ QE -FILOSOFIA
- Exemplificando :
- - . - .
Se muitos homens so sbios verdade contudo que a grande
. . ~ ,
ma1or1a nao o e.
Trata-se de uma OPOSIO de proposies esquematizvel
da seguinte forma:
.Muitos homens so sbios ~ Alguns homens so sbios

A grande maioria no o- == Alguns_homens no so sbios
V-se que, reduzidas . forma cannica*; so duas proposies

com o mesmo sujeito e o mesmo predicado e que variam apenas na
qualidade: a primeira, particular afirmativa (I), a segunda, particular
negativa (0). As proposies que se opem desta forma denomi-
nam-se subcontrrias.
_Que outras espcies de oposio existem?
Dado que a lgica tradicional analisa a problemtica das rela-
es formais entre quatro tipos de proposies - A, E, I, O -
o seguinte o quadro das oposies possveis :
Quadro da oposio
Todos os homens so sbios Nenhum homem sbio
contrrias
A~--------------~E
t ~"'- ; >~ . . _,. - . . ~- //#' t
cn 1
~ 1
E
~ I
~
1
..o;::s
cn
i k"
I ~- ~--~-___,_..--
sub-contrrias
Alguns homens so sbios Alguns. homens no so sbios

~ ;#. ..._ - ..
~
.
LOICA CLSS1CA
O quadro permite concluir que:
PROPOSIES CONTRRIAS (A E) - so as que variam na qualidade,

sendo ambas universais;
PROPOSIES SUBCONTRRIAS (I O) - as que variam na qualidade,

sendo ambas particulares;
.
PROPOSIES CONTRADITRIAS (A o-
I E) - as que variam na
quanudade e na qualidade ao mesmo tempo;
PROPOSIES SUBALTERNAS (A I - E O) - as que variam apenas na

quantidade.
36 Leis da Oposio
Seria ilgico que proposies opostas pudessem ser todas simul-

tneamente verdadeii:as. Como se viu ao estudar a Razo e seus
princpios (Consulte: Caderno Auxiliar - I), no possvel a
mesma coisa ser e no-ser ao mesmo tempo. A validade dos prin-
cpios racionais determina portanto as seguintes leis da oposio :
. -
CONTRRIAS - podem ser ou ambas falsas, ou uma verdadeira e
a outra falsa; portanto: nunca podem ser ambas
-verdadeiras.
SUBCONTRRIAS --:- podem ser ou ambas verdadeiras (quando so a

___ expresso dum juzo assertrico ), ou uma 'llerda-
deira e a outra falsa (quando exprimem um juzo
apodtico); portanto: nunca podem ser a1nbas
falsas.
~
CONTRADITRIAS - nem podem ser a1nbas falsas nem anibas verdadeiras;

portanto : se uma verdadeira a outra necess-
riamente falsa, e se uma falsa a outra neces-
srianzente verdadeira.
CADERNO AUXILIAR. DE FILOSOFIA
SUBALTERNAS - a verdade da universal determina a verdade da

particular, mas se a universal falsa a particular
pode ser verdadeira ou falsa; a verdade da parti-
cular no determina a verdade da universal (que
pode ser verdadeira ou pode ser falsa), mas a
falsidade da particular determina necessriamente
a falsidade da universal.
Esquematizando:
1
Proposies A E 1 1 o
1
1
j F +----+ F 1
! t
1
Contrrias 1
V ~-~ F 1
1
l
1
1 1 1
1
F ~--+ V ..
1
1
V ~-+ V
1
Sub-contrrias F ~~ V
1
,,._
V ~-~ F
1
V +---+ F
V +-- --+ F .
Contraditrias
F +---+ V
l F ~ --+ V
- V --+ -+ V
F ~ ~vouF
Sub-alternas idem idem
VouF~ +-- V
.
F "(---- ~ F
1
LGICA DO RACIOCiNIO
57 O raciocnio o encadeamento ou relacionao lgica de juzos;

a sua expresso verbal denomina-se discurso ou argumento. Desen-
volveremos na Metodologia o problema das diferentes espcies de
raciocnio, sua natureza e implicaes, por se tratar de questo com-
plexa que a ter maior relevncia. Por agora basta relembrar
os conhecimentos adquiridos em Psicologia (Consulte: Caderno
Auxiliar - l).
Inferncias { Converso
imediatas Oposio
Deduo f
Espcies
de
Raciocnio
l Inferncias { Silogismo
mediatas Deduo Matemtica
Completa ou Aristotlica
Induo { Incompleta ou Baconiana
Analogia
A lgica clssica teoriz~ especialmente relaes formais do

raciocni"o de tipo dedutivo ou deduo.
DEDUO: raciocnio que conclui do mais geral para o menos

geral* ou para o singular*; dos princpios* (axiomas* ou postula-
dos*) para as consequncias; das leis* para os factos*.
O raciocnio tpico da deduo aristotlica chama-se silogismo,
isto , deduo silogstica.
O Silogismo
! 58 Os silogismos podem ser de duas espcies : regulares e irregulares.

O silogismo regular o caso mais simples de uma inferncia
mediata constituda por trs proposies que relacionam entre si
trs termos e s trs.
Aristteles definiu o silogismo por esta_s palavras :
<{Silogismo um raciocnio no qual, postas certas coisas, segue-se
necessriamente algo distinto das coisas que se haviam posto, simples-
mente porque estas so ( .... ). Assim, pois, quando trs termos se
encontram relacionados entre si de tal maneira que o extremo est
-contido na totalidade do mdio, e o mdio est, ou no est, contido
na totalidade do primeiro, necessriamente perfeita a concluso dos
extremos.
""
As inferncias silogsticas em que a estrutura diferente d-se
o nome de silogismos irregulares. Importa ainda considerar outr
espcie- de silogismo de que no trataremos: o silogismo indutivo~
(Consulte; Pequeno Manual de Filosofia de Magalhes Vilhena;
pgs. 354 a 357).
so Estrutura do Silogismo Regular
Suponhamos a proposio :
Scrates mortal.
Tornemos interrogativa essa proposio: -
Scrates mortal?
Qualquer pergunta ou interrogao bem formulada exige uma

resposta, que s ser realmente satisfeita se for .acompanhada _da
respectiva razo.
PERGUNTA: Scrates mortal. .. porqu?

.RESPOSTA: Scrates mortal porque homem.
O que significa que o termo homem exprime a razo da afirma-

o Scrates niortal.
.. -LGICA CLSSTCA
J?issemos e explicmos que uma ideia s pode ser inteligvel

se estiver em sustentao recproca com outras ideias. A ideia
Scrates torna-se inte~g,vel, neste exemplo, quando se estabelece
relao lgica entr,e Scrates -e as ideias Mortal e Homem, - relao
lgica, por seu turno, em sustentao recproca com outras relaes.
Na verdade:
Scrates mortal porque homem.
Mas poderia
Scrates, sendo mortal, no ser homem?
Sendo certo que podia, tmos de concluir que ser homem

razo sficiente, embora no ne<:::essria, de Scrates ser mortal.
- E porque que ser homem . razo suficiente de que Scrates seja
mortal? Forque
Todo o homem mortal.
Ora, esta ltima proposio exprime um juzo apodtico, isto ,

estabelece relao necessria entre o sujeito e o predicado.
Portanto:
Razo necessria ~
_,,./' Todo o homem e, mortaz
(=premissa maior) ./'
Razo suficiente - ~ Scrates homern

( e::: premissa menor) /
Destas razes ou premissas se tira a concluso:
Scrates mortal
q. e. d.
42 CADER.NO AUXILIAR. DE FILOSOFIA
A argumentao silogstica obedece, portanto, ao seguinte

esquema, na sua forma regular perfeita (I. figura):
Premissa maior - Todo y x - 1. a Premissa
Premissa menor - Todo z y - 2. Premissa
Concluso - Todo z x
80
TERMINOLOGIA SILOGSTICA
TERMO MAIOR (x) - o termo que se encontra sempre como

predicado da concluso e na premissa maior ...
TERMO MENOR (z) - o termo que se encontra sempre como
sujeito da concluso e na premissa menor.
TERMO MDIO (y) - o termo que se encontra nas duas pre-
missas e no figura na concluso.
PREMISSA MAIOR (razo necessria do silogismo) - a proposi-
o antecedente que contm o termo maior e que se encontra geralmente
em primeiro lugar, isto , como primeira premissa.
PREMISSA MENOR (razo suficiente do silogismo) - proposi-

o antecedente que contm o termo menor e que se encontra geral-
mente _em segundo lugar, isto , como segunda premissa.
N. B.: O termo maior pode aparecer na 2. premissa (que
ser, ento, a premissa maior); da mesma forma, o
termo menor pode aparecer na 1. premissa (que ser,
ento, a premissa menor).
S se podem, portanto, determinar exactamente
os termos e as premissas pela anlise da:
CONCLUSO - proposio consequente, isto , logicamente de-

duzida das premissas e que contm como sujeito o termo menor e
como predicado o termo maior.
61 Figuras do Silogismo
D-se o nome de figura do silogismo funo lgica que o

termo mdio desempenha nas premissas, isto , disposio dos
termos nas premissas dependente da posio tomada pelo termo mdio.
LGICA CLSSICA 43
Observem-se os esquemas seguintes em que o termo mdio (y) se

encontra destacado.
y X X y
I. figura { z y 2. figura z y
{
Z X Z X
y X X y
3. figura
{
y z 4. figura y z
{
Z X Z X
Podem desta maneira, admitir-se quatro posies ou funes do

termo mdio, isto , quatro figuras.
r. figura 2. figura 3. figura 4. figura

s p s p
\p 1 1 1
p s s
I a

{sub*
prae *
2.
a { prae
prae 3
a {sub
sub 4
a { prae
sub
12 , Leis do silogismo
Todo o raciocnio sustentao recproca, quer dizer, relao

de coerncia entre juzos. Como vimos, a mais simples dessas relaes
mediatas denomina-se Silogismo. Porque expriine relaes de coe-
rncia, todo raciocnio dedutivo exprime relaes de compatibilidade
lgica deduzveis de certas relaes mais primitivas, axiomticas, a que
se d o nome de princpios lgicos (Consulte: Caderno Auxiliar-!).
Em relao deduo silogstica, costume explicitar os prin-
cpios lgicos da seguinte forma:
68 PRINCPIO DE COMPREENSO: duas ideias compatveis ( = em

sustentao recproca; coerentes) com uma terceira so compatveis
CADERNO AUXILIAR ~ DE FILOSOFIA
entre si; duas ideias das quais uma se encontra em sustentao rec-
proca-com
..... '
uma terceira, e outra no, no se encontram em sustenta-
ao reciproca entre si. .
64
PRINCPIO DE EXTENSO: o que verdadeiro acerca de um
todo (==classe; conjunto; ideia universalmente considerada) ver-
~adeiro acerca de cada uma de suas partes ( = sub-classe; subcon-
JUnto; ideia partcularmente considerada); os predicados de um
sujeito universalmente considerado so predicados de tudo o que est
contido na extenso desse sujeito.
Destes dois princpios se podem deduzir as seguintes leis do
silogismo, das quais se originam outras tantas regras :
65 LEIS DOS TERMOS :
) O silogismo tem trs termos e s trs: maior, mdio e menor.
2) O termo mdio no entra na concluso.
3) O termo mdio to1nado pelo menos uma vez ,universal-

mente (=em toda a sua extenso;=distribudo).
4) Nenhum termo mais extenso na concluso do que nas premissas.
66 LEIS DAS PROPOSIES:
I) De duas pren1issas afirmativas obtm-se sempre, quando

vlida, uma concluso afirmativa.
2) De duas premissas negativas no possvel tirar vlida-

mente uma concluso.
3) De duas premissas particulares no possvel obter uma con-

cluso vlida.
4) A concluso segue sempre a parte mais fraca, isto , uma:

p~emissa de quantidade particular, ou uma premissa de
qualidade negativa, ou ambas as coisas, simultneamente
na mesma premissa ou alternadamente em cada uma delas,
refiecte-se sempre na concluso, determinando-lhe a quan-
tidade e a qualidade, conforme o caso.
LGICA , Ct.SSICA
45
s1 Modos do silogismo
Dado que existem <:}Uatro tipos de proposies A, E, I, O, -

segue-se que se podem construir, com as premissas e a concluso,
variadssimas combinaes de proposies. Por exemplo, na r. figura,
mantendo constante uma proposio de tipo A na premissa maior,
podem obter-se:
I. combinao
y A X
z A y l_ Todo y x
Todo z y
z A X 1- Todo z x
yAx Todo y x
2. combinao z E y Nenhum z y
y X z E X Nenhum z x
z y
Z X yAx Todo y x
3. combinao z I Y Algum z y
z I X Algum z X
yAx Todo y x
4. combinao z O Y Algum z no y
Z X Algum z no x
Se se procedesse agora s combinaes possvei&, na I. figura,

substituindo na premissa maior A por E, ter--se-iam: .
E E -
A 0
E
Substituindo, na mesma premissa E por I, viria:

I I I I
A E -I ._-., 0 ' -
'
----- ~ '-... -J . .. .

46
Finalmente, substituindo I por O:
o o o o
A E I o
O que significa que, na 1. figura, so possveis 16 combina-
es ou modos. Analisando as combinaes ou modos possveis nessa
figura, verifica-se entretanto que s
A A E E
A I A I
A 1 E o
so modos vlidos, isto , modos que respeitam todas as leis do silo-
gismo. Com efeito, por exemplo, a 4. combinao no vlida na I.
figura porque o termo maior (x) tem maior extenso na concluso
do que na premissa, visto que na concluso universal por ser
predicado duma proposio negativa, enquanto na primeira pre-
missa particular por ser predicado duma proposio afirmativa
(confira: quantificao do predicado); ora, nenhum termo pode ter
maior extenso na concluso do que nas premissas, como indica a
4. lei dos termos.
Se so possveis 16 modos na l. figura, bvio que so possveis
16 modos tambm na 2. figura e portanto 16 modos em cada uma das
restantes (3. e 4. figuras). O que d 16 X 4 == 64 modos possveis.
Mas, porque desses 64 modos possveis nem todos permitem
construir silogismos que, nas respectivas figuras, observem as leis,
- segue-se que s um reduzido nmero de modos so vlidos. .
Se o estudante quiser d~r-se ao til trabalho de confirmar, verifi-
car que apenas possvel construir ao todo 19 modos vlidos, distri-
budos pelas seguintes figuras, respectivamente:
A A E E E
1. figura A 1 A A 1
A I E o o
A A A E E E
2. figura E E o A A I
E o o E o o
LGICA CLSSICA 47
A A E E I O
3 figura A I A I A A
1 1 O O I O
A A E E I
4 figura A E A I A
I E O O I
N. B. hbito indicar aqui uma mnemnica (e h pelo

menos uma clebre, referida em todos os compndios
desde a Idade Mdia) que permite decorar os modos
vlidos em cada figura, bem como as respectivas re-
gras para construir silogismos vlidos; fiis, porm,
ao princpio de que decorar no significa necessria-
mente perceber, poupamos ao estudante essa inutili-
dade, at porque se torna mais demorado decorar a
mnemnica do que perceber a explicao.
Os modos vlidos que em cada figura foram indicados em carac-

teres mais pequenos so os chamados modos fracos; designao que
se justifica pelo facto dos modos fracos resultarem de reduo vlida,
mas desnecessria, da quantidade da concluso nos modos fortes.
Por exemplo, o modo E A o reduo de E A E na quantidade da
concluso, que de E passa a o, vlida mas desnecessriamente.
Abordemos o problema doutra maneira:
- Porque razo dos 64 modos possveis alguns so vlidos e

outros no?
Porque uns obedecem s leis do silogismo e outros no
obedecem.
Ex.: E E
A o
E e o
CADERNO AUXIL1AR DE FILOSOFIA
EAE e' mo d o vlido porque no infringe nenhuma lei das

proposies. .
E O O modo invlido porque de duas premissas negativas no
se pode tirar uma concluso vlida (2. a lei).
_ - Porque razo o modo A A A, por exemplo, s vlido na
I. figura?
Ve.jamos:
yAx Razo: no infringe nenhuma lei do silo-

I . figura
z A y gismo, nem dos termos nem das
(vlido) proposies.
z A X
xAy
2.figura z A y Razo: o termo mdio sempre particular
(invlido) (infraco da 3. a lei).
A zAx
A
, .
A yA X Razo: o termo Z tem maior extenso na
3. figura yA z concluso do que na premissa t~-
(invlido) fraco da. 4. lei).
z A X , -.
. . - .. -
X A y
4. figura Razo: .o . t~o. m~dio: _ ~--:-~~J?'P~~ -- parti-
y A z
cular (infraco da 3. lei).
(invlido)
z A X
, -- ' . .- -
...
..
..
.

.
,_ -
.
-
,-
.-- ~
...
#
Pode agora o estudante, como exerccio~ entreter-se a fazer o

mesmo em relao aos outros modos e figuras, e confirmar o quadro
dos modos vlidos apresentado.
Da mesma maneira, poder resolver problemas como o seguinte:
- Em que figura ou figuras vlido, por exemplo, o modo
E A E? ~ ~,: -
LGICA CLSSICA 49
Vejan1os:
figura
y Ex l Todo o y no x
I.
z A y f Todo o z y
zEx Todo z no x
Verifica-se que obedece a todas as leis de silogismo, sendo por-

tanto vlido na I. figura. .
X E y Todo x no y
2. figura z A y Todo z y
z E X Todo z no x
E vlido tambm na 2. figura por no infringir nenhuma lei do

silogismo. -
y E X Todo y no x
3. figura y A z Todo y z
----
z E X Todo z no x
No vlido na 3. figura porque infringe a lei que determina

que nenhum termo pode .ter maior extenso_na c9ncluso do que nas
premissas. Ora, o t~rmo z .universal na c oncluso e particular na
e dicado duma . proposi~o afirm~tiva. (Confira:
2. premissa, por ser pr_
quantificao do predicado) . - -- -
.. . .. -
.- fx
4
E y Todo X no y
4. figural y A z Todo y z
z E X Todo z no y
No vlido na 4. figura, pelas mesmas razes da 3. - figura.
70 Reduo do silogismo
A I. figura tradicionalmente considerada figura perfeita J.

o modo AAA o nico onde se verifica sempre que o termo maior o
de maior extenso, o mdio est includo na extenso do maior e o menor
includo na extenso deste, sendo portanto dos trs o termo de menor
extenso.
'
Exemplificando :
Todos os mamferos so vertel?rados

Todos os primatas so mamferos
Todos os primatas so vertebrados
Fig. 10
Nas outras figuras no se verifica a mesma extenso em relao

aos termos. o que acontece no seguinte silogismo apesar de cons-
trudo com os mesmos termos; sendo rigorosamente vlido de acordo
com as leis, no tem, no entanto, os termos colocados segundo a sua
- ~ .
extensao: -
Todos os primatas so mamferos
Todos os primatas so vertebrados
--Alguns vertebrados so _mamferos '" ~
.
-
-
._ .... ..
Trata-se, como s .v, dum ~ilogismo de 3. figura (sub-

.--sub), mas: .
o TERMO mamferos porque PREDICADO DA CONCLUSO;

MAIOR
0 TERMO MDIO primatas~
O TERMO MENOR vertebrados porque SUJEITO DA CONCLUSO.
No entanto, como a representao por crculos demonstra, a

extenso dos termos no corresponde funo que desempenham e por-
tanto a respectiva designao convencional.
A Reduo do silogismo consiste em transformar um silo-

gismo da 2., 3. ou 4. figuras num silogismo da figura perfeita, isto
, da 1. figura. - .
.~
LOICA CLSSICA 51
Como se re'aliza essa operao?
Transpem-se as premissas se necessrio, convertem-se, se neces-

rio, as premissas e a concluso, - de modo a conseguir colocar os
termos na posio que tm quando o silogismo pertence I. figura.
Servindo-nos do exemplo anterior, teremos apenas, neste
caso, de converter a 2. premissa:
3 FIGURA 1 I. 3 FIGURA
.
T o dos os primatas - mamt1eros
sao '" 1T odos os primatas
. ,. , mann1eros
sao . 'e-.
Todos os primatas so vertebrados Alguns vertebrados so primatas
Alguns vertebrados so mamferos 1 Alguns vertebrados so mamferos
Um exemplo mais completo:
2. FIGURA I. FIGURA
Todos os deuses so imortais Os imortais no so homens

Os homens no so imortais Os deuses so imortais
Os homens no so deuses Os deuses no so homens
--Transpuseran1-:se as pr~missas; converteraft\-Se a 2. premissa

e a concluso.
11 Valor prtico do Silogismo
A lgica clssica considera fundamentalmente, como temos

visto, que todas as proposies se podem reduzir relao predi-
cativa - x ou no y - e que esta relao admite quatro tipos ou
determinaes especiais - A, E, I, O.
Segundo a lgica clssica, toda inferncia mediata esquema-
tizvel silogisticamente; realizada essa esquematizao, torna-se fcil,
conhecidas as leis, determinar a argumentao falaciosa (sofstica ou
paralgica), isto , a argumentao errada.
Dada, portanto, uma afirmao, um conjunto de argumentos
( = discurso) ou uma doutrina, que se pretende analisar, - h que
reduzi-la forma silogstica (regular ou irregular), se se trata de

proposies categricas. O caso dos silogismos hipotticos ser
estudado adiante.
Importa, por isso, saber formular silogismos.
72 Regras para a formulao dos silogismos regulares
1) Reduza-se sempre toda e qualquer afirmao a uma relao

predicativa (A, E, I, O).
2) O porqu ou razo de uma afirmao o termo mdio

do silogismo de que essa afirmao (=proposio em A, E, I ou O)
concluso. (Consulte: Estrutura do Silogismo).
3) Determinados, desta forma, os termos do silogismo (visto

que o termo nidio o porqu, o ter1no menor o sujeito da concluso
e o termo maior o predicado), - construa-seagora o silogismo partindo
da concluso para as premissas :
A premissa maior conter o tertno mdio e o termo maior; a
premissa menor, o termo menor e o termo mdio; uns e outros dispos-
tos de .forma a observar. as .-leis d . silogis.mo. (Consulte-se de novo:
Estrutura do Silogismo). -
4) Quando so dados trs termos para se construir com eles

um silogismo, proceda-se da seguinte forma:
a) Estabelea-se uma proposio (em A, E, I ou O) entre dois

dos termos dados, de maneira que o outro termo possa servir de
porqu ou razo dessa proposio. Seguidamente, raciocine-se
co1no foi indicado nas regras 1), 2) e 3).
b) Se, entre os termos dados, dois deles forem incompatveis,

isto termos contrrios (por exemplo: Aves e Rpteis), - pode come-
' . .
ar-se 0 silogismo construindo a premissa 1nazor com uma propos1ao
. ,.,.,
~e tipo E entre esses dois termos, e a partir da o silogismo tornar-se-
de fcil construo.
LGICA CLSSICA 53
Exemplificando:
Com os termos Aves, Rpteis, Animais construa um silogismo
da 2. figura.
Nenhuma Ave Rptil
Alguns animais so rpteis
Alguns animais no so aves.
Note-se que um silogismo deste tipo fcilmente se pode cons-

truir na I., 2., 3. ou 4. figura, bastando para isso atentar na escolha
do termo mdio e respectiva posio.
73 Classificao dos Silogismos

Regulares
Categricos Entimema
Irregulares Epiquerema
Polissilogismo
Silogismos Sorites
Condicionais
Hipotticos Disjuntivos
Dilemticos
Silogismos irregulares
74 Entimema - aquele silogismo em que uma ou mesmo ambas

as premissas se encontram subentendidas. Assim, trata-se dumaforma
condensada ou elptica dum silogismo regular.
O clebre argumento de Descartes - Penso, logo existo -
constitui um entimema que, desdobrando-se, isto , tornando expl-
cito o que est implcito, - mostra claramente a elipse da premissa

maior:
Penso ' Eu penso Eu sou pensante
Logo, Existo Eu existo Eu sou existente
Eu sou um ser pensante Todo o ser pensante um ser existente

Eu sou um ser existente Eu sou 'um ser pensante
t. m. T.M. Eu sou um ser existente
Para se compreender como possvel considerar entimemas em

~~e.~s duas premissas esto subentendidas releiam-se as consideraes
m1c1a1s do captulo Inferncias imediatas. Na verdade, no plano
lgico,
. , o, primado
. do raciocnio : a ideia vale o que vale o juzo e o
JUIZO so adquire verdadeiro significado, quando est implcito num
raciocnio. Tal o que acontece com o entimema em que as duas
premissas se encontram subentendidas.
Exemplificando:
A proposio 0 ferro bom condutor de calor clara concluso

dum argumento deste tipo:
Os metais so bons condutores de calor

O ferro metal
Logo, O ferro bom condutor de calor
Em todo juzo est portanto implcita uma estrutura lgica que

tem por base o raciocnio; toda proposio se pode considerar um
entimema, desde que seja redutvel forma predicativa.
11 Epiquerema - o silogismo que vem acompanhado, numa

9u em ambas as premissas, das respectivas justificaes; por
isso se chama tambm silogismo dos advogados. Com efeito, o cau-
sdico que pretende defender determinada tese tem toda a vanta-
gem, para tornar mais forte a argumentao, em provar que so
irrefutveis as premissas donde partiu.
Observe-se o clebre argumento de Ccero:
permitido matar aquele que atenta injustamente contra a

nossa vida - como o provam o direito natural, o direito positivo e nume-
rosos exemplos.
Ora, Cldio armou ciladas a Milo para lhe tirar a vida - como
0 provam a escolta que o acompanhava, as armas distribudas pela
mesma, etc ...
Logo, foi lcito a Milo matar Cldio.
~ LGlCA CLSStCA
76 Polissilogismo - silogismo irregular constitudo por uma

srie de silogismos regulares logicamente relacionados, de maneira
que a concluso do primeiro silogismo ( prossilogismo) premissa do
segundo silogismo, e, se o encadeamento prosseguir, a concluso do
segundo premissa do terceiro,-e assim sucessivamente at chegar ao
ltimo silogismo da srie (epissogismo).
Esquema:
Nenhum x y
Algum x z prossilogismo
Algum z no y
Todo z w
Algum w no y
Todo v y epissilogismo
Algum w no v
Exemplo:
Nenhum homem justo egosta

O verdadeiro cris~o homem justo
Logo, O verdadeiro cristo no egosta
O homem faccioso egosta
Logo, O homem faccioso no verdadeiro cristo
Os intolerantes so homens facciosos
Logo, Os intolerantes no so verdadeiros cristos.
11 Sorites - o silogismo constitudo por uma srie de pro-

posies de tal forma ligadas que:
a) NO SORITES PROGRESSIVO : o sujeito da primeira proposio

o predicado da segunda, o sujeito da segunda predicado da terceira,
o sujeito da terceira predicado -da quarta, e assim sucessivamente,
fechando a concluso com o sujeito da ltima e o predicado da primeira.
Esquema:
X y
. ~
z X
~
w z
~
V e' w
,
V e y
. ,., b ! o predicado da primeira propo-

N.O. SORITES REGRESSIVO :
s1ao. e su1eito . da segunda, o pre d'1cado da segunda sujeito da
te~ceira, o predicado da terceira sujeito da quarta e assim sucess1'va-
mente, cone zuzn
do com o suyezto
da primeira e o predicado
' da ltima.
Esquema:
X e' y
/
y e' z
/
z w I
/
w e' V
X V
Silogismos hipotticos
10 Silogismo condicional - aquele em que se estabelece uma

condio na premissa maior, seguindo-se uma proposio categrica
(afirmativa ou negativa) como premissa menor, dependendo a con-
cluso do que se afirma ou nega na premissa menor sobre a condio e
o condicionado expressos na premissa maior:
LOIC~ CLSSICA 57
a) MODO POSITIVO (modus ponens):
Se tens amor Verdade, s filsofo

Tens amor Verdade
Logo, s filsofo.
b) MODO NEGATIVO (modus tollens):
Se tens amor Verdade, s filsofo

No tens amor verdade
Logo, No s filsofo.
79 Silogismo disjuntivo - aquele em que a premissa maior

estabelece uma ou mais alternativas. Admite dois modos:
a) MODO POSITIVO-NEGATIVO (modus ponendo-tollens*):

Afirma-se uma das alternativas na premissa menor e negam-se
todas as outras na concluso:
Essa doutrina ou verdadeira ou falsa ou duvidosa

Essa doutrina verdadeira
Logo, Essa doutrina no falsa nem duvidosa
b) MODO NEGATIVO-POSITIVO (modus tollendo-ponens): negam-

-se na premissa menor todos os termos da alternativa excepo de
um que se afirma na concluso;
O que te preocupa ou um mal para a tua sade, ou para o teu

esprito, ou apenas para a tua riqueza material.
O que te preocupa no um mal para a tua sade, nem para o
' .
teu espirita.
Portanto o que te preocupa um mal apenas para a tua riqueza
material.
ao Silogismo dilemtico - espcie de silogismo disjuntivo

constitudo por uma alternativa na premissa maior, e em que se
verifica sempre a mesma concluso, quer se afirme quer se negue
na premissa menor qualquer dos termos dessa alternativa.
CADERNO - AUXILIAR DE FILOSOFIA
Exemplos:
Tertuliano, que foi no tempo das perseguies aos cristos um

dos mais notveis defensores dos direitos dos perseguidos, apresentou
contra a poltica do imperador Trajano o seguinte dilema:
~ Os cristos ou so culpados, ou inocentes.

Sce so culpados, porque proibes que sejam inquiridos nos tri-
bunais?
Se so inocentes, porque os condenas quando os denunciam?
clebre tambm o duplo dilema constitudo pela argumentao

com que se defrontaram no tribunal o sofista grego Protgoras e o
jovem Eutlo a quem aquele ensinara retrica, combinando-se entre
ambos que o pagamento das lies seria integralmente satisfeito se
Eutlo vencesse a primeira causa em que tomasse parte nos tribunais.
Como no~ mais lhe fosse satisfeita pelo discpulo a importncia em
dvida, Protgoras ps em tribunal a questo, argumentando
- -
perante .os juizes :~
Se Eutlo perde este processo, a deciso do tribunal obrig-lo-

a pagar_-me ;
._ Se ganha a causa, ter que me pagar de harmonia com o acordo
que estabelecemos.-
Em qualquer dos casos, portanto, Eutlo ter que me pagan> .
Ao que o discpulo retorquiu com este novo dilema:
Se ganhar este processo,nadc:- terei que pagar porque essa a

deciso dos juzes; . .
Se perder, nada terei tambm que pagar porque assim ficou esti-
ulado no meu contrato com Protgoras. . - .
P l _dos casos por conseguinte, nao terei que pagar
Em qua quer '
as lies.
LOICA CLSSICA
59
FALCIAS
st Denomina-se falcia todo raciocnio errado com aparncia

de verdadeiro.
Sofismas
Tipos de falcias { Paralogismos
A distino entre sofismas e paralogismos reside to-somente

no facto dos primeiros (sofismas) serem falcias em que h propsito
deliber~do de enganar e os segundos (paralogismos) serem falcias
cometidas involuntriamente. S psicolgica e eticamente se torna
portanto possvel a distino.
Condio sine qua non do rigor lgico , antes de mais, a no-

equivocidade dos elementos constitutivos do pensamento (ideias,
juzos e raciocnios), e por conseguinte da linguagem (termos, pro-
posies e argumentos). a expresso perfeita que constitui o facto
cientfico, a expresso perfeita que constitui o facto artstico. Pro-
va-o o progresso em qualquer domnio cientfico, dependente da
perfeio da sua linguagem tcnica, sem a qual em breve, na maioria
dos casos, cedo teria de parar a especulao*; contraprova-o a dificul-
dade real de faz-lo em termos carregados de imaginao vulgar e
pesados de contedo, e por outro _lado a impresso correlativa de
.ridculo, quando em tema vulgar se usa linguagem preciosa e pseudo-
-cientfica (Filosofia da Arte - Vieira de Almeida).
Por isso, se a lgica anlise do pensamento, importa saber

diagnosticar logismos e ilogismos.
Cabe, portanto, agora a vez de diagnosticarmos alguns dos mais
correntes ilogismos ou falcias. O pensamento e a linguagem vulgar
esto carregados deles sem que nos demos conta disso, na maior
parte dos casos.
66
CADERNO : AUXILIAR t> .FILOSOFIA
82
Classificao das falcias
dFalcias
d de ~b igu1-
{ de termos (metfora, etc.)
e ou equivoco de proposies (anfibologia)
falcias de converso
quanto forma falcias de oposzo
falcias de silogismo
Falcias de dedqo
- .
petio de princpio
quanto matria crculo vicioso (dia/elo)
ignorncia da questo
falcias de acidente
Falcias de induo quanto matria falcias de ignorncia
de causa
Falcias de analogia
argumento de autoridade (Magister dixit)

Falcias de atitude mental argumento ad hominem
argumento ad terrorem
argumento de dvida sistemtica
os Falcias de ambiguidade
Esta espcie de falcias co11siste em empregar, na argumentao,

determinado termo ou determinada proposio ou proposies com
duplo sentido.
Na oratria encontram-se muitos exemplos destas falcias.
A literatura portuguesa do sc. XVII - poca do cultismo e
do conceptismo - est carregada deles. A linguagem artstica
~ sobretudo a linguagem potica - que no da mesma natureza
/gica da linguagem doutrinal ou da cientfica - apresenta cons-
tantes ambiguidades, metforas, translaes de sentido: so as
chamadas figuras de retrica.
60
CADERNO . AXILIAR D .FILOSOFIA
82
Classificao das falcias
dFalcias
d de b1gu1-
?1 { de termos (metfora, etc.)
a e ou equivoco de proposies (anfibologia)
falcias de converso
quanto forma falcias de oposio
falcias de silogismo
Falcias de deduo
petio de princpio
quanto matria crculo vicioso (dialeto)
ignorncia da questo
falcias de acidente
Falcias de induo quanto matria falcias de ignorncia
de causa
Falcias de analogia
argumento de autoridade (Magister dixit)

. Falcias de atitude mental argumento ad hominem
argumento ad terrorem
argumento de dvida sistemtica
as Falcias de ambiguidade
Esta espcie de falcias con.siste em empregar, na argumentao,

determinado termo ou determinada proposio ou proposies com
duplo sentido.
Na oratria encontram-se muitos exemplos destas falcias.
A literatura portuguesa do sc. XVII - poca do cultismo e
do conceptismo - est carregada deles. A linguagem artstica
- sobretudo a linguagem potica - que no da mesma natureza
lgica da linguagem doutrinal ou da cientfica - apresenta cons-
tantes ambiguidades, metforas, translaes de sentido: so as
chamadas figuras de retrica.
I - LG[CA .CL-SSICA 61
Uin exemplo de duplo sentido de um termo,-no epigrama do

abade de Jazende:
Tendes o cravo no peito;

O lugar imprprio ,
Pois, se o tivsseis no p,
Era o lugar mais perfeito.
No julgueis que o meu conceito
Vos faz a menor censura:
~ com doce brandura,
E sem vos fazer agravo,
Dar-vos pancada no cravo ...
Sem tocar na f errad71ra . .
Exemplo de metforas (que, parece, a poca justificava), nos

Relgios Falantes de D. Francisco Manuel de Me.lo:
R. A. - Senhor Relgio da Ci'dade, badalemos limpo, que as
paredes ouvem, e as dos campanrias nunca foram de segredo.
R. C. - Olhai ora c: se -o estar senipre dependura me no
h-de valer para tirar o medo de morrer enforcado, melhor acabar
logo de umo vez.
R. A. - Cala-te que te fundiro!.
84
-- . - .....
a) quq:hto 4 f ornia :
As falcias de converso, de oposio e de silogismo consistem

- como evidente - em ometer infraces s leis dessas espcies
de inferncias.
b) .Quanto matria :
ss Petio de princpio - a falcia que se comete sempre
que, numa demonstrao, se admite como provado precisamente
aquilo que se deveria pretender provar; trata-se de uma transfor-
mao muito conhecida na histria do pensamento : a de pr como
princpio o que s deveria ser consequncia; por exemplo: parte-se da
diferena irredutvel de matria e esprito, como princpio, em vez
de ~=~ . .
d. f:chegar uuerena dutvel, como concluso, embora se
1rre
Is, a~ce um pouco a marcha; parte-se da distino entre o <<fsico-
~uuruco e o vital, como se qualquer dos dois domnios estivesse
Integralmente, definitivamente explorado, exausto para o conheci-
m~nto, estabelecendo como princpio o que , de plena evidncia,
ob1ecto da discusso e de dvida.
80 , . Crculo vicioso - conhecida tambm por dialeto, uma
falac1a formada por peties de princpio em srie. Assim, aceite
como verdadeiro o princpio, que precisava de ser demonstrado,
parte-se deste para uma nova demonstrao.
Partindo do princpio de que a Terra pelo seu grande pesume
est imvel no centro do mundo (como se dizia ainda no sc. XVI
- e ai de quem negasse o princpio!) Ptolomeu, o maior astrnomo
da Antiguidade, estabeleceu as bases do sistema geocntrico. Foi
necessrio Coprnico negar o princpio para fazer ruir o sistema.
87 Ignorncia da questo-como a prpria denominao indica,

trata-se de uma falcia frequente em todos os casos em que dis-
cutimos sobre um assunto invocando razes margem do problema
que deveria ser debatido.
88 Falcias de induo
O raciocnio indutivo - que ser estudado na Metodologia,

mais demoradamente - parte do menos geral ou singular par
mais geral, dos fa-tos para as leis, dos efeitos para as causas, das
consequncias para os princpios. Desta maneira, sempre que se
toma, na observao dos factos, o acidental pelo essencial comete-se a
falcia de acidente; sempre que se confunde uma simples circuns-
tncia acidental com a verdadeira causa dos fenmenos,- comete-se
a falcia que se denomina ignorncia da causa. O senso-comum cai
constai1 temente nestes erros; a chamada sabedoria popular, expressa
nos provrbios, exemplo flagrante:
Lua Nova trovejada, trinta dias molhada.

Pscoa em Maro ou fome ou mortao.
Barra robca em sol nascente, gua em trs dias no mente.
Agua fria, sarna cria; gua quente nem a so nem a doente. .
LGICA CLSSICA
89 Falcias de analogia
Tambm o senso-comum a todo momento estabelece relaes

de aparente semelhana, concluindo falsas analogias entre objectos
singulares. E no s o senso-comum; na histria da cincia encon-
tram-se muitos casos de erro provocados por analogias precipitada-
mente inferidas. Na literatura conceptista abundam tambm as
~nalogias, como mostra o seguinte exemplo tirado dum sermo do
P. e Antnio Vieira:
Como espelhos dos rezs e das rainhas ps Deus no cu um rei

que o Sol e uma rainha que a Lua ... E a que fim? A que os reis
na terra 1:mitem aqueles exemplares no cu.
oo Falcias de atitude mental
O amor da Verdade pressupe, da parte daquele que o tem ou

pretende alcanar, uma atitude filosfica que, por definio, incom-
patvel com a atitude mental de quem argumenta, por princpio, da
seguinte forma:
91 Argumento de autorida~e - cophecido pela expresso

latina lvl.agister dixit, condenaram-no . maioria dos renascentistas
portugueses e estrangeiros, nessa grande _poca ~a histria.em que se
iniciaram os Descobrimentos e se estabelecerm asbases da cincia e
da filosofia modernas, em oposio ao saber antigo ~ medieval.
No exijas tambm de mim -muitas citaes ou u1na reverncia_

para com os autores, que mais prpria de um ninio servil do que de
um esprito livre eni busca da verdade. (F. Sanches).
No me ponhais medo corfl Dioscrides nem Galeno. porque no
hei-de dizer .seno a verdade, e o que sei. (Garcia da Orta).
A expresso 1nagzster dixit adaptou-se na Idade Mdia para

referir que uma dada afirmao era indiscutvel por ser da autoria de
Aristteles, ento considerado o mestre dos mestres em matria filo-
sfica. Eis como no dilogo sobre o Fluxo e o Refluxo do Mar um
mestre renascentista responde ao discpulo pela boca do nosso grande

D Joao
~ d . o valor do argumento de autori-
e Castro, refutando assim
dade:
Discpulo - Todavia saibamos o que Aristteles sentiu desta

matria.
Mestre - Bem podemos deixar ir a sua opinio de volta coni as
outras, porque to-pouco atinou ele como os outros>>..
92 Argumento ad hominem - consiste em voltar contra o

- adversrio os seus prprios argumentos, pretendendo confundi-lo ou
confundir aqueles que os aceitam; geralmente, procura-se demonstrar
que h contradio entre aquilo que o adversrio pensa e a maneira
como age.
Por exemplo, contra as ideias expressas por Rousseau no Em-
lio (Tratado de Educao) costuma alegar-se que ele, que pretendia
dar lies de pedagogia, entregou os prprios filhos a um hospcio
de crianas abandonadas; o que verdade mas no pode logicamente
~ervir de argumento para combater as ideias pedaggicas do filsofo
francs, que foi um dos mais notveis percursores da .pedagogia
contempornea.
sa _ . . _Ar_gument~ ad t~_rrorem - Trata-se de un1a fa~cia do

~smo _ t ipo . da anterior, em q~e, por receio de um~ opinio ou. do~
!i'ina, .se ~ega o sell: yalor, no a discu~ndo, mas alegand9 _que . a s~a
ceita9 teria consequncias d~sa~t~osas. .
,_ Nas Actas p~ocons~lares en~on~ram-se constantemente ex~m.
plos de argumentao ad terrorem para condenar os cristos, sem
discusso da doutrina (verdadeira) que eles defendiam e .Pela qual
eram capazes de dar a vida:
Ento o procnsul pronunciou as palavras seguintes com uma voz

fraca e entrecortada: Desde h muito tempo que tu [Thcio Cipriano]
vives com intenes sacrlegas. Reun1:ste tua volta homens perversos
para tramar a runa dos deuses de Roma, das nossas santas leis, e os
nossos sagrados imperadores V aleriano e Galiano no puderam recon-
duzir-te ao teu culto. Em vista de seres autor dos mais infames aten-
tados e chefe duma seita mpia, tu seguirs o exemplo daqueles que os
teus crimes seduziram e o teu sangue vingar as leis do Imprio.
LGICA CLSSICA
Tendo dito estas palavras pegou numa tabuinha e leu a sentena

seguinte : Que Thcio Cipriano morra pelo gldio.
O santo bispo respondeu : <1Deus seja bendito.
94 Argumento da dvida sistemtica - veremos na Teoria do

Conhecimento que a argumentao alicerada na dvida metdica*
uma forma de raciocinar crtica mas construtiva, prpria da filosofia
moderna e contempornea. O caso da dvida sistemtica diferente.
Consiste em responder a uma questo com uma nova questo e assim suces-
sivamente, negando toda possibilidade de chegar a uma certeza. Trata-se
portanto de argumentao auto-contraditria. Como j S. Agos-
tinho notou: se a verdade no existe, verdade que a verdade no
existe, e por conseguinte, a verdade existe.
- -.:. ._.,, -
,
CONCLUSO
- -- -- -~ Lgica Clissica no ilnicamente a lgica aristotlica, mas a

lgica aristotlica (Organon) constitui, sem dvida, ncleo essencial
da lgica clssica.
0 Organon compe-se de duas partes, uma relativa ao que pode-
ramos chamar hoje Lgica pura, e a segunda Lgica aplicada.
A primeira compreende o livro das Categorias, a Hermeneia (a que os
comentadores acrescentaram o subttulo de Tratado da proposio) e
_os Analticos (primeira e segunda parte); a segunda formada pelos
Tpicos (primeira e segunda parte) e pela Sofstica, em que se estu-
dam e previnem os casos de falsa argumentao.
No deve esquecer-se que a Lgica de Aristteles se articula
com a sua Fsica e com a sua filosofia primeira, com o que veio depois
a designar-se pelo nome de metafsica.*( ... )
Aristteles comea pelas palavras e determina a expresso pos-
svel; assim conclui que, seja qual for a palavra, necessriamente ela
servir para exprimir alguma das categorias ou predicamentos [do
Ser], que so dez: a substncia, a quantidade, a qualidade, a relao,
lugar, tempo, situao, estado, aco, paixo. (A substncia prima*
impredicvel. A substncia segunda, que subsiste na anterior,
a que constitui os gneros e espcies. As categorias, alm da de
substncia so portanto gneros de acidentes. (Consulte : Lgica
do Conceito e sobretudo na Metafsica o captulo sobre Onto-
logia).
Esta classificao de palavras e tem todo o aspecto gramatical.
( ... )A substncia, como a palavra indica, a categoria do substantivo;
a qualidade, a do adjectivo; a quantidade e a relao, do numeral; a
aco e a paixo, do verbo; o lugar e o tempo, do advrbio; finalmente
a situao e o estado respeitam aos verbos em que no h aco (e
portanto no pode haver paixo, que recproca) ( ... ).
...
LGICA CLSSICA
Como as palavras, classificadas nas categorias, so neutras

como afirmao, e s em conjunto podem afirmar ou negar, o livro
Hermeneia trata da forma da proposio e da relao entre as diver-
sas formas, quanto verdade e erro. ( ... )
A escala ascendente continua nos Primeiros Analticos. Ao
estudo das categorias de palavras, que em si mesmas no contm
verdade ou erro, porque nada afirmam ou negam, seguiu-se o estudo
da proposio, que pode ser verdadeira, falsa ou sem sentido. A esse
estudo segue-se naturalmente o da forma dedutiva tpica e simples -
a de duas proposies com um termo comum -. a teoria do silo-
gismo, que no a demonstrao, mas sem o qual, segundo Arist-
teles, impossvel demonstrar.
Os Segundos Analticos tm por objectivo capital a demonstra-
o; pode at dizer-se que constituem uma desenvolvida teoria aristo-
tlica da demonstrao; e nesse sentido so a primeira aplicao geral
da teoria do silogismo. O objectivo dos Tpicos a dialctica, a
arte de raciocinar; e assim o diz o autor logo no comeo do tratado:
fim de esta obra achar um mtodo de construir silogismos sobre
qualquer tema, com proposies simplesmente provveis ( o cha1nado
silogismo dialctico) e evitar que ao discutir caamos em afirmaes
categricas. O final dos Tpicos elucida claramente sobre o esp-
rito da obra; o ltimo captulo (cap. XIV, liv. VIII) onde se do
regras prticas para argumentar e refutar.
Finalmente, o pequeno tratado contra a argumentao sofs-
tica, tem duas partes; na primeira, enumera e classifica os paralogismos;
na segunda, apresenta a soluo adequada.
Tal a estrutura da Lgica de Aristteles. (Introduo
Filosofia, Vieira de Almeida).

LGICA INDUTIVA
Introduo
Foram os homens do sc. XVI sobretudo os navegadores, os

cosmgrafos, os matemticos e os naturalistas portugueses dos Des-
cobrimentos que, juntamente com os artistas mecnicos, os tcnicos
e os engenheiros da prspera indstria das repblicas italianas (Flo-
rena, Gnova, Veneza, etc.), - realizaram a grande revoluo da
experincia, que estabeleceu as bases de uma nova maneira de explicar
a Natureza.
0 uso das foras da natureza levou ao sistemtico conhecimento

das suas maneiras de actuar, forando os espritos reflexivos inves-
tigaao das suas leis. Abra-se, por exemplo, uma das obras de Galileu,
o primez~ro dos seus Discursos e Demonstraes Matemticas Sobre
Duas Ci~ncias
'
Novas, e ver-se- que na boca de Salviati, a principal
personagem do dilogo, -pois um . dilogo-pe o fundador da
cincia .moderna as seguintes palavras proemiais :
Largo campo de filosofar me parece que subministra aos inte-
lectos especulativos a prtica frequente do vosso famoso arsenal,
Senhores Venezianos, e em particular naquela parte que tem o nome
de mecnica, pois numerosos artfices empregam aqui continuamente
mquinas e instrumentos novos. (Ensaios - II -Antnio Srgio).
O que Galileu (1564-1642) afirma tinham-no j afirn1ado os

quinhentistas portugueses por outras palavras e a propsito de outros
tipos de experincia. Como est sobejamente demonstrado, os por~u
gueses do sc. XVI, rompendo os horizontes milenrios do med1e-
LGICA INDUTIVA
valismo mediterrnico europeu, forjam, com as caravelas lusitanas,

uma Europa nova; nova, sobretudo, no plano da cultura e da tcnica.
Joo de Barros, o pico das Dcadas da ndia, o confirma, quando diz:
Rsticos pilotos sem mais letras especulativas que uma douirina

praticada no convs de um navio... reprovam as tbuas do ilustre
Ptolomeu,
E Pedro Nunes, co1n toda a sua autoridade, corrobora:

No h dvida que as navegaes deste reino, de cem anos a
esta parte, so as maiores, mais maravilhosas, de mais altas conjecturas,
do que as de nenhuma outra gente do mundo. Os portugueses ousaraw
cometer o grande Oceano. Entraram por ele sem nenhum receio. Des-
cobriram novas -ilhas, novas terras, novos mares, novos povos e, o que
mais , novo cu e novas estrelas. E perderam-lhe tanto o medo, que
nem a grande quentura da zona torrada, nem o descompassado frio da
extrema parte do Sul, co11z que os antigos escritores os ameaavam, os
pde estorvar. Perdendo a Estrela do Norte e tornando-a a cobrar,
descobrindo e passando o temeroso Cabo da Boa Esperana, o mar da
Etipia, da Arbia e da Prsia, puderam chegar ndia.
Ora manifesto que estes descobrimentos de costas, ilhas e terras
firmes no se fizeram indo a acertar, mas partiram os nossos mareantes
mui ensinados e providos de instrumentos e regras de astrologia e geo-
metria, que so as cousas de que os cosmgrafos ho-de andar aperce-
bidos. Levavam cartas mui particularmente rumadas e no j as de
que os antigos usavam.
Da o novo esprito que portugueses e italianos do ao mundo,

libertando a cultura europeia do critrio de verdade do magister
dixit, libertando-a de uma filosofia virada quase exclusivamente para
os problemas ticos e metafsicas; criando, em suma, uma nova arte
de pensar: a investigao racional (mas experimentalista) do mundo
fsico.
No era, todavia, apenas uma viragem no mtodo ou instru-
mento de estudar a natureza que desta forma se operava; desenhava-se
outrossim uma nova mentalidade filosfica: a mentalidade crtica, a
mentalidade daquilo a que um sculo depois, com Descartes, se iria
chamar dvida metdica.
Ouamos Francisco Sanches no Quod Nihil Scitur*, sad~ a

pblico em 1581, quinze anos antes do nascimento de Descartes:
Alm disso eu no te prometo inteiramente a verdade, visto que-
ignoro, assim como a tudo o mais~ procur-la-et', no entanto, at
onde puder;_ e tu, descoberta que seja e expulsa dos seus esconderijos,
segui-la-s. Nunca esperes, contudo, apossar-te dela ou ret-la ciente-
ment~. Basta-te o que para mim suficiente : agit-la.
esse o meu escopo : deve ser tambm o teu.
Em 1560 nascia o ingls Francisco Bacon que, entre outras

obras co1!1o a Introduo Interpretao da Natureza e 0 Pro-
gresso da Cincia, havia de escrever o Novum Organon (=Novo
~nstrumento ). Sistematizando teoricamente ideias que vinham dos
quinhentistas portugueses_, de Leonardo da Vinci, de IZpler e Galileu
e eram j praticadas concretamente na investigao; - o filsofo
ingls codificou os pricpios do novo mtodo: isto , substituiu a l-
gica clssica, ontolgica, dedutiva, qualfrativista e classificadora por uma
nova lgica, experimentalista, indutiva, quantitativista e- determinista~-
J Francisco Sanches criticara a -Lgica clssca em termos
inequvocos, referindo-se especialmente a Aristteles e aos silogismos:
Efectivamente, para que servem eles? Porque que- tanto traba-
lhou para os ensinar? Porque que depois dele tanto trabalham ainda
os outros? Escrevendo, nem ns, nem ele mesmo, nos servimos deles.
Nunca por meio deles se criou uma cincia, antes por causa deles
muitas se perderam e pertubaram.( ... )
Ainda hoje vrios patetas assim f a.zem, negando tudo o que no
se contm no modo e na figura, e tamanha a sua estupidez e a subti-
leza e utilidade dessa cincia silogstica que, esquecendo por completo
as coi"sas, se voltam para as sombras.( ... ) .
A razo que as outras (cincias) se fundam n~ realidade, e
esta uma fico subtil, de muito dano e nenhum p~ovei,to : afasta os
homens da observao da realidade, detendo-os em si proprios
o Novum Organon de Francisco Bacon

Bacon considera que para penetrar nos segredo~ e nas entr~nhas
da natureza, urge que noes e princpios sejam extra1dos da realidade
LGICA INDUTIVA 1I
por um mtodo mais certo e mais seguro (a induo) e que o esp-

rito empregue em tudo melhores processos.
Nesse sentido, importa que em primeiro lugar o investigador se
liberte inteiramente de um certo nmero de preconceitos (os ido la)
que tornam o entendimento incapaz de raciocinar e de investigar
com clareza e preciso. Podem ser de quatro espcies:
I. - IDOLA TRIBUS(quer dizer, os da espcie humana como

tal). Entre eles esto as iluses dos sentidos, a tendncia para
concepo antropomrfica* (e, sobretudo, teleolgica*) da natureza,
o apreo exagerado pela regularidade e igualdade nela.
2. - (quer dizer, da Caverna, aludindo pas-

IDOLA SPEcus
sagem do stimo livro da Repblica de Plato, em que os homens
so comparados aos habitantes da caverna que vem apenas as som-
bras* das coisas). So estes os diversos preconceitos individuais que
tm orige1n na compleio ou na educao; por exemplo: a tendncia
para observar de preferncia as semelhanas, ou ento as diferenas,
entre os objectos; a predileco pela antiguidade ou pela poca
moderna,_ inclinao para aplicar conceitos correntes a objectos que
lhes so estranhos.
3. - IDOLA FORI (quer dizer, da praa pblica). Surgem

estes devido s relaes dos homens, sobretudo linguagem, que
designa pelo mesmo nome coisas muito diversas. assim que se
recorre, nos raciocnios lgicos (silogismos), a conceitos aceites sem
crtica, e se generaliza precipitadamente a premissa maior.
4. - IDOLA THEATRI. So os mais perigosos, pois no cenrio

da vida dominam nomes e autoridades clebres (por exemplo, Aris .
tteles), que muitas vezes tm mais fora do que a prpria inves-
tigao das coisas.
A primeira fase deste novo instrumento de pesquisa das leis da

natureza comea pela observao dos factos; vai portanto do singular
para o geral, precisamente ao invs do mtodo dedutivo. Nesse
sentido Bacon apresenta as seguintes :
72 CADERNO AUXILIAR DB FILOSOFIA
Tbuas de Observao
<<I) (tabula praesentiae): aquela em que

TBUA DE PRESENA
se regista o maior nmero de fenmenos e os mais variados que
possuem uma determinada propriedade:
2) (tabula absentiae): registo anlogo ao

TBUA DE AUSNCIA
precedente, mas referido a fenmenos que no possuem a referida
propriedade.
3) TBUA DE GRAUS (tabula graduum): aquela em que se

registam as condies de crescimento ou de decrscimo da propriedade
considerada.
Atinge-se finalmente a lei cientfica, isto , a explicao dos

factos observados, se se proceder da seguinte forma:
I) Variar a experincia, i. ., modificar as condies em que

esta se realiza ;
2) Prolong-la por um certo tempo, a fim de verificar se algum
novo fenmeno ocorre;
3) Refazer a experincia sobre objectos anlogos mas no
idnticos;
4) Revert-la, i.., refazer a experincia em sentido inverso;
5) Destacar os fenmenos privilegiados, i.e., os que so mais
prprios a manifestar a lei a que obedecem, quer porque so mais
simples, quer porque o factor determinante neles mais perceptvel.
O Discurso do Mtodo de Descartes
Tambm Descartes sentiu a necessidade de um novo mtodo

de investigao, ao exprimir-se desta forma:
Sendo ainda novo, estudara um pouco entre as partes da filo-
sofia, a lgica( ... ). Mas, notei que os. seus silogismos e a maior parte
dos seus outros preceitos servem mais para explicar a outrem o que
j se sabe, ou mesmo( ... ) para falar sem critrio daquilo que se ignora,
do que para aprender ( ... ).
LOICA INDUTIVA 73
O que me levou a pensar que era necessrio procurar um outro

mtodo ( ... ). Assim em vez desse grande nmero de preceitos que
constituem a lgica, julguei que me bastariam os quatro sguintes,
contanto que tomasse a firme e constante resoluo de no deixar
uma s vez de os observar.
o PRIMEIRO, consistia em nunca aceitar como verdadeira qual-

quer coisa, sem a conhecer evidentemente como tal; isto , evitar cuidado-
samente a precipitao e a preveno; no incluir nos meus juzos
nada que se no apresentasse to clara e to distintamente ao meu
esprito, que no tivesse nenhuma ocasio para o pr em dvida.
o SEGUNDO, dividir cada uma das dificuldades que tivesse de

abordar no maior nmero possvel de parcelas que f osse1n necessrias
para melhor as resolver.
o TERCEIRO, conduzir por ordem os meus pensamentos, comeando

pelos objectos mais simples e mais fceis de conhecer, para subir
pouco _a pouco, gradualmente, at ao conhecimento dos mais compos-
tos; e admitindo mesmo certa ordem entre aqueles que no se pre-
cedem naturalmente uns aos outros.
E o LTIMO, fazer sempre enumeraes to completas e revises

to gerais, que tivesse a certeza de nada omitir.
Valor da lgica clssica e da lgica indutiva
A obra de Bacon (1560-1626) at pelo nome se v que pretende

ser resposta e substituio da de Aristteles, pela mesma razo da
inutilidade da primeira, em especial na forma como se ensinava.
Igualmente Descartes, no sc. XVII ( I 596-1650), insiste sobre a
inutilidade da Lgica aprendida nas escolas em que ele prprio
aprendera. Em Portugal houve ~cos da discusso, no livro de
Gouveia Pro Aristotele em que se defende o Stagirita das acusaes
de Ramus e nas cartas de Verney, completadas pelo livro didctico
De re logica em que critica o mtodo do ensino da lgica e se fere,
como sempre, a mesma nota da inutilidade de tais estudos, pelo
menos feitos como a tradio escolstica impunha.
74
CADERNO AUXILIAR DE F-ILOSOFIA
f: A acusao era Verdadeira, mas o fim atribudo Lgica era

1so.. Quase todos a tinham entendido como arte de pensar, e isto
tanto os ~efensores e sequazes de Aristteles, como os adversrios.
Assim, Bacon, adversrio agressivo de Aristteles, mantm
concepo da arte de pensar, agravando-a na pluralidade de aspec-
tos em que a subdivide ( ... ).
Mas o mais curioso que Aristteles, contra quem se dirige
~ ?~ de Bacon, e na Lgica em particular, pela convico da
inutilidade do que nela se ensinava, no construiu o Organon como
arte de pensar. Ningum melhor do que Aristteles sabia dos
filsofos anteriores que no tinham precisado da sua obra para pensar
e para lhe dar trabalho a refutar. certo que incluira no conjunto
da obra questes de carcter prtico como a que se ocupa dos argu-
mentos sofsticos; mas a maior parte da obra terica e essencialmente
analtica. (Vieira de Almeida).
Independentemente do facto de no terem compreendido cla-

ramente o significado da lgica aristotlica, o que certo que, com
o Novum Organon e o Discurso do Mtodo, Bacon e Descartes
estabelecem as bases da cincia e da filosofia modernas, utilizando um
novo instrumento de pensar; a lgica indutiva ou mtodo experimental.
Veremos, na Metodologia e na Teoria do Conhecimento,
a importncia dessa nova lgica que constituiu um parntesis na
evoluo da lgica formal, mas deu ao pensamento humano possi-
bilidades insuspeitadas de aprofundar o conhecimento da natureza.
Leibnitz e o clculo lgico
Leibnitz que viveu at aos princpiosd o sc. XVIII, realiza

entretanto um~ notvel tentativa : a de renovar a lgica arist~tlica,
seguindo portanto a tradio d~du~va? se~ embargo d_e ter. sido ~o
tempo um dos mais notaveis cientistas do seu seculo, expri-
mes mo . ,. ., d li
miu a ideia de que viria a ser pos~vel a ~onstr:iao e uma nguagem
vez da forma dialctica das cliscussoes vulgares, se pudesse
ta1 que, em . . e
'lculo lgico Leibnitz realizou ao mesmo tempo qu
recorrer ao Ca ' d. '
,..,o do Clculo Infinitesimal e, como extraor marta
Newton a invena . , .
' era queria dar lgica o rigor de uma matemauca
matemat1co que ' . .
. . 1 . t to ensaiado na obra De re combinatorta.
universa , 1n en
LGICA INDUTIVA 75
O Prof. Vieira de Almeida que aqui seguimos muitas vezes e

que foi o primeiro no nosso pas a dar aos estudos de lgica, na
Universidade, carcter verdadeiramente moderno, realizando com
Edmundo Curvelo, seu assistente na Faculdade de Letras de Lisboa,
uma renovao que em muitos aspectos chegou a ser original,
escreveu na sua Introduo Filosofia, no captulo dedicado lgica:
Ulteriormente a Leibnitz, pode dizer-se que at o sculo XIX
nada h novo em lgica. IZant pensa que tudo quanto se fez depois
de Aristteles foi intil ou prejudicial, o que implica a concepo
da lgica como doutrina fechada; no como cincia e portanto pro-
gressiva; e no ponto de vista lgico, a obra de Hegel*, apesar do
trao geral da dialctica*, que pode remontar a Plato, completa-
mente nula.
LGICA MODERNA
Introduo
, ~ ?ra verd~d~iramente iniciadora da fase nova na evoluo

da lo~ica e, sem duvida, a de Boole* (Laws of thought), criador de
um sistema de lgica simblica, que depois aplicou ao estudo
das probabilidades. Morgan (1806-1871), contemporneo de Boole
(1815-1864) deve citar-se no movimento renovador.
Mas apesar do mrito histrico da precedncia e seja qual
for o valor da concepo, a lgica actual desenvolve-se em plano
diferente do que Aristteles pde julgar, realizando cada vez mais
o tipo cincia, em vez do tipo norma.
O impulso dado por Boole o que se nota na lgica moderna.
Em primeiro lugar no foi por acaso ou preferncia pessoal que
os estudos de lgica se orientaram no sentido de uma expresso
matemtica e simblica rigorosa; essa orientao nada mais do
que a resposta necessidade sentida por Descartes e Pascal quando
afirmavam que o encadeamento de razes dos gemetras era o ver-
dadeiro, e que a lgica tradicional de nenhuma utilidade podia ser
cincia. (Vie~.ra de Almeida).
A obra de Boole (ou lgebra da lgica) passa a ser um caso espe-

cial de uma lgica de maior amplitude problemtica e de no menor
profundidade analtica - a lgica das relaes - com a obra capital
de dois ingleses do princpio do sculo: Bertrand Russell* e A. N.
Whitehead * que elaboram um trab~lh? . monumenta~ na histria
da matemtica e da lgica - os Principia Mathe11iattca.
LGICA MODERNA 77
A lgica moderna - ou logstica como tambm usual cha-

mar-se-lhe - tornou-se finalmente no nosso tempo cincia to
importante como o foi a lgica clssica ou aristotlica em relao
ao saber antigo e medieval. E o que interessante notar que ela
no se apresenta como refutao da lgica de Aristteles - que
est certa, mas to-somente estruturao insuficientemente ana-
ltica de um problema particular: o da relao predicativa.
A breve anlise de alguns problemas da lgica moderna a

que iremos circunscrever-nos tem apenas valor de introduo, sendo
como que um convite a ulteriores investigaes ao nvel universi-
trio, sobretudo para aqueles que desejam prosseguir a srio na
aventura da reflexo filosfica - que impotta que se torne entre ns,
cada vez menos, improvisao e delrio verbalista puramente retricos,
para se volver, cada vez mais, autntica profundidade especulativa
e rigor de raciocnio na investigao problemtica.
Quantificao do predicado, de Hamilton
William Hamilton (1788-1856) pode justamente considerar-se

u1n dos mais notveis percursores da renovao da lgica formal.
A sua decisiva contribuio residiu nis~o que uso denominar-quan-
tificao do predicado, de Hamilton.
Estudmos a quantificao do predicado segundo a lgica cls-
sica, que determina que o . predicado das proposies afirmativas
particular e o predicado das . n~gativas univer~al. .(Confira: Lgica
Clssica). .
A inovao de Hamilton consistiu em tornar evi~ente que essa
regra tradicional, que j admitia excepes nas proposies de tipo A
quando definies e nas chamadas proposies de ordenao inversa,
- era insuficientemente analtica; com efeito, possvel considerar
alm dos quatro tipos tradicionais da relao predicativa.
x Ay
X R y I XIE
X y
l X
y
y
78
CADERNO AUXILIAR E FILOSOFIA
n1ais quatro ti os .
ficao d P .' que resultam de outros tantos valores na quanti-
0
pro . _ predicad?; assim, so tambm IOgicamente possveis
posioes das seguintes espcies : _
Todo x (todo) y -)o- tipo U
Nenhum x (algum) y ~ tipo Yl
_ Algum x (todo) y -)o- tido Y
Algum x no (alguf!.1) y ---+

tipo ft)
~ <
-
Reconstituindo o quadro to_tal vem; portanto :
xUy ~ . " toto-totais.

propos1oes Cll
xAy ~
. ,.,,,,, ..
propos1oes toto-parc1a1s } afirmativas
~
ro
-r:n
~ -
E y X ~
. ,_,
propos1oes toto-totais
d)
>
.,....
. ...., e:
R y_
X~ y -+ propos1oes t ot o-parciais
. . } negativas o
- X
xYy ~
. "' parei-to tais } fi .
proposioes (/)
XI X
. ,.., . . . a rmat1vas
proposto.es parc1-parc1a1s
0
$-4
ro
}
~
.......
xOy ~
. .
,..,
propos1oes .
.. . ne ativas
parc1-tota1s .
:;j
.....u
. ,.., .
X ro y -+ propos1oes parei-parciais g
~
$-4
ro
~
. .~
Insuficincia analtica da relao predicativa
Alexandre Pdoa, no livro <(Lgica dedutiva, demonstra, com

exemplos muito claros e simples, a insuficincia analtica da relao
predicativa, pondo-nos ao mesmo tempo em contacto com alguns dos
smbolos relaczonais mais conhecidos da lgica moderna. Parafrasee-
mos um dos textos desse livro :

LGICA MODERNA 79
Consideremos estas duas proposies, aparentemente seme-

lhantes:
Os rubis so vermelhos
e Os meses so doze
das quais a primeira uma incluso
rubis :::;:, vermelho
enquanto a segunda uma igualdade
n. 0 de meses = 12
Consideremos duas outras proposies que dir-se-iam seme-

lhantes entre si no ponto de vista formal:
Os quadrados so losangos e rectngulos

Os seres 'vivos so animais e vegetais
mas que se representam simbolicamente:
quadrado == losango ~ rectngulo

ser vivo == animal ~ vegetal
significando o smbolo ~ : ao mesmo tempo, e; enquanto o smbolo ~

significa: ou. So as operaes que os lgicos modernos designam
respectivamente por produto lgico e soma lgica e de que, rioutra
altura, estudaremos a importncia.
Finalmente, outras trs proposies aparentemente do mesmo
tipo:
Homero .e .Virglio so poetas
Caim e Abel so irmos
Se1n e Cam so irmos.
A primeira escreve-se :
Homero, Virglio e: poeta

80
CADE~NO AUXILIAR DE FILOSOFIA
e significa: Homero e Virglio pertencem classe (=grupo; conjunto)

dos poetas.
A segunda simboliza-se:
Caim == (irmo de Abel)
0
que significa que Caim um certo e determinado indivduo irmo de
Abel, visto que Abel s tinha um 'irmo.
A terceira representa-se simbolicamente:

Sem e (irmo de Cam)
significando que Sem um dos elementos da classe dos irmos de Cam.

Verifica-se claramente que aos tipos de relao simbolizados
diferentemente por:
X::::> y
x=y
x==y~z
x==y '-' z
x, y, e z
X == 1 (y)
X= e . (y)
corresponde na lgica predicativa aristotlica um nico tipo de relao:
X .A y . . .. - -
~
.
o que confirma de forma evidentssima a insuficincia ~ analtica da

lgica clssica.
.
Lgica de Classes
Chama-se classe lgica todo conjunto de elementos que possuem

uma mesma propriedade. A propriedade mais simples que pod:m
possuir a de, por definio, pertencerem a essa classe - o que e a
definio mais geral de classe, ou seja, a definio da classe de todas as
' .
classes poss1ve1s.
LOICA MODERNA
O smbolo Cls representa a noo que acabmos de definir.

Denomina-se classe complementar a que constituda por todos
os elementos que possuem a propriedade comum de no terem uma
dada propriedade - precisamente a propriedade pela qual se definiu
a classe de que esta outra classe complementar.
Quer dizer : dada a
Cls (A)
os elementos que no pertencem a A pertencem classe comple-

mentar de A, que pode simbolizar-se
Cls (-A)
e a classe negativa de A ou seja a classe (no-A) .
Da mesma maneira evidente que, se existe um conjunto de

elementos x tais que no possuem a propriedade comum da negativa
de A, esses elementos definem uma classe que complementar da
negativa de A, isto , definem a prpria classe A.
E por este modo se chega RELAO FUNDAMENTAL:
- (-A)= A
tan1b~ chamada LEI DE INVOLUO - que significa: a negativa da

negativa de A igual a A.
Dado, portanto, qualquer elemento x, esse elemento ou per-
tence a A ou pertence a -A; o que significa, por outro lado, que no
existe nenhum elemento x que possa pertencer simultneamente
classe A e classe -A.
Produto lgico e soma lgica
Pode dar-se o caso de um elemento x pertencer simultneamente

a duas classe. porque essas duas classes no so complementares; e
nesse caso, as duas classes ou so coincidentes ou est inclusa uma na
outra, no todo ou em parte.
6
Consideradas duas classes A e B no complementares, chama-se

PRODUTO LGICO de A e B classe C constituda pelos elementos x
que pertencem simultneamente s duas classes. Emprega-se o sm-
b~lo .--.... para designar essa operao de produto lgico. E pode expri-
mir-se assim :
A...-.B=C
o que representado por meio de crculos d
A e
. .
...

B

. ou
..
e nos dois ltimos casos em que B = C e A = C poderia entre

outr~s equivaler s expresses:
A"'B=B
e A'""B=A
Dadas duas classes no complementares A e B, denomina-se

SOMA LGICA a classe C cujos elementos pertencem pelo menos a uma
delas, mas tambm pdem pertencer a ambas em conjunto. Simbo-
liza-se sorna lgicr:i por ~ e exprime-se a operao por:
. .
Pode representar-se :
ou
LOICA MODERNA
o que, nos dois ltimos casos, admite duas interpretaes conf~rm~ ~e

considere A ou B co1n maior extenso, de tal forma que sunboJi:
camente:
A'--"B = A
e A'--"B = B
Produto de classes complementares
Se se quiser agora aplicar a operao de produto lgico a duas

classes complementares, A e -A, tem de se afirmar, de acordo com o
que anteriormente se postulou sobre a negativa da negativa de uma
classe, - que esse produto lgico no existe, pois inexistente a classe
dos elementos x que pertencem simultneamente a duas classes com-
plementares.
Simbolizando: A ""' (-A) = ? evidencia-se a necessidade de
um smbolo para indicar classe de elementos inexistentes, ou seja,
classe nula. Parece prprio _empregar o smbolo O e escrever:
A'-' (-A)=O
Soma de -d uas classes complem~ntares
Visto que se simbolizou clas~e-_ nula por_ Q, simbolizar-se-

classe total por 1. E exprimir-se- a soma lgica de duas classes com-
plementares A e (---A) por:
Universo
-
lgio e .classe
.
de todas as classes nulas
Dada a RELAO FUNDAMiNTAL-a negativa da negativa de uma

classe igual prpria classe - pode concluir-se que, no que concerne
classe total e classe nula :
--.. (~O) =0
., --- e-- 1) = i
LGICA MODERNA
o que, l}OS dois ltimos casos, admite duas interpretaes conforme $e

considere A ou B co1n maior extenso, de tal forma que simboli~
cament:
A'-'B==A
e A'-'B==B
Prod_u t9 de classes complementares
Se se quiser agora aplicar a operao de produto lgico a duas

classes complementares, A e ,,.,A, tem de se afirmar, de acordo com o
que anteriormente se postulou sobre a negativa da negativa de uma
classe, - que esse produto lgico no existe, pois inexistente a classe
dos elementos x que pertencem simultneamente a duas classes com-
plementares.
Simbolizando: A """' (-A) == ? evidencia-se . a necessidade de
um smbolo para indicar classe de elementos inexistentes, ou seja,
classe .nula. Parece prprio ;empr~gar o smbolo"O e escrever:
A .._, (-A)= O
Soma de duas classes compleme.n tares
Visto que se simbolizou clas~e -.: nula por. O, simbolizar-se-

classe total por 1. E exprimir-se- a soma lgica de duas classes com-
plementares A e (---A) por:
A '-' (__,A) = 1
Universo lgico e elas.se de todas as classes nulas
Dada a RELAO FUNDAMENTAL-a negativa da negativa de u1na

classe igual prpria classe - pode concluir-se que, no que concerne
classe total e classe nula :
,__ (---O)= O
IV(~l)=l
.'
Tornando a empregar as operaes de soma e de produto

lgico, obtemos :
1 ..__, O ==V
1"'0=/\
em que os novos smbolos V e /\ exprimem, respectivamente a classe

de todas as classes totais ou UNIVERSO LGICO e a classe de todas as
classes nulas.
O que em derradeira anlise significa:
V~/\=V
e
V"'/\=/\
Aplicando de novo a relao fundamental classe de todas as

classes totais ot1 universo lgico e sua complementar, a classe
de todas as classes nulas, - vm as expresses :
#ltll (~ V)= V: => : V ,,._ = /\. /\ ,,.,_=V. \/=V.
A=/\. V~/\= v. V ~/\=A
Pondo em relevo as expresses :
V V (I)
V V ~ /\ (2)
/\ v ,.,. . . /\ (3)
e, procurand exprimi-Ias em linguagem ontolgica, se se atrib~iao

smbolo V a desigri:ao Tudo (=Ser) e ao seu ,c?mplementar . a
. ,. , 7\Tada ( - Na"'o-Ser) parecem leg1t1mas as seguintes
d es1gnaao 1" 1 - '
"'
expressoes :
(1)
Ser Ser
(2)
Ser Ser ou No-Ser
(3)
No-Ser Ser e No-Ser
LOICA MODERNA 85
O que, especificando at individualizar no concreto, pode tam-

bm significar:
( I) - uma coisa igual a si mesma

(2) - uma coisa ou ou no-
(3) - no existe uma coisa que seja e no seja ao mesmo tempo;
expresses (1), (2) e (3) que designam respectivamente os chamados

principios lgicos de 'identidade, de terceiro excludo e de no-contradio.
Lgicas monovalentes, bivalentes e polivalentes
A complementaridade de \/ e /\ determina, como vimos, que

para cada Cls h apenas uma Cls complementar, para cada elemento
um e apenas um complemento; e, se em lugar de classes se tratasse de
proposies, uma e apenas uma proposio complementar. Isto
determina outrossim que as operaes lgicas da soma e do produto so
operaes inversas; quer dizer:
.,.., (/\'"--'V)=<,.,/\)~ C,.., V)= V~/\=/\~ V = /\

IV(/\~ V)= (-- /\) '"--' C--'v') =V'"--' /\ = 1\ ~V= V
A uma estrutura com tais caractersticas chama-se l6gica

bivalente.
LGICA BIVALENTE todo campo lgico em que se determinam

apenas dois valores: verdadeiro e falso.
Mas h tambm lgicas m9novalent~s e lgicas polivalentes.

~
LGICA MONOVALENTE todo campo ou universo lgico em

que se determina apenas-um valor - o do acontecer, por exemplo.
A mentalidade infantil e a mentalidade primitiva apresentam-se, em
determinada fase da sua evoluo, axiomatizadas sob a forma de uma
lgica monovalente. O mesmo acontece com a inteligncia dos

an1ma1s.
- - LGICA POLIVALENTE e todo campo OU universo lgico axio-

mattzado a n valores. Na cincia contempornea - sobretudo na
microfsica - as lgicas polivalentes so instrumentos indispensveis
a uma intelegibilidade que luta, cada vez mais, com exigncias de rigor,
e se depara com um Real cujo aprofundamento analtico se torna dia
a di~Lmais complexo. O primeiro passo nesse sentido foi dado pelas
geome_trias no-euclii(eanas e pelo clculo de probabilidades.
- _ A LGICA CL-SSICA uma estrutura bivalente; igualmente o

a lgebra de Boole.
lgebra de Boole
A estrutura denominada lgebra de Boole, expressa na obra

An Investigation of the Laws of Thought, aplicvel tanto a proposi-
es como a classes. -Boole comeou pela anlise da linguagem (que
um sistema de re!aes proposicionais) e analisa e classifica assim
os sinais ot1 smbolos (a~ palavras so sinais) que regem as opera-
es de raciocnio : -
PROPOSIO I
Todas as operaes da linguagem, como instrumento de raciocnio,

podem ser realizadas por um sistema de sinais composto pelos seguintes
elementos, a saber :
1. o Smbolos literais, como x, y, etc. que representam coisas como

objectos das nossas concepes :
2.Sinais de operaes, como +, -, X, r~presentando .s ope-
raes de esprito pelas quais as concepes das coisas se combinam ou
resolvem de maneira a formar novas concepes abrangendo os mesmos
elementos;
3.o O sinal de identidade, ==

E estes smbolos da lgica so no seu emP_Tego o~jecto de leis defi~
.d dando e em parte diferindo das leis dos simbolos correspon
1
ni as, concor 'l
dentes na cincia da lgebra.
LOICA MODERNA
.87
Assim:
+ equivale em logstica a .....,;

(soma)
X

>)

- (negao)
,....... (produto)
)) ))
(igual a)
NUM SISTEMA NUMRICO, as operaes a que Boole se refere

n~ ~ua Proposio l, e que j anteriormente havamos estudado na
Logica de Classes, interpretam-se da seguinte forma:
x = Y significa: x divisor de y e reciprocamente

x ~ Y significa: o mximo divisor comum de x e y
x '-' y significa : o menor mltiplo comum de x e y.
NUM SISTEMA DE ACONTECIMENTOS
x == y significa: x e y so um e o mesmo acontecimento

x ~ y significa: x e y so acontecimentos simultneos.
x '-' y significa: x e y so acontecimentos alternados.
Um dos smbolos literais adaptados por Boole o smbolo v

que representa toda e qualquer z~ndeterminao ~ a classe complementar
de x simbolizada por (r - x).
Vejamos como que Boole representa, na sua simbologia alg-
brica, os quatro tipos de relao predica.tiva da lgica aristotlica:
xAy~ Todo xy ~X= vy

xEy~ Nenhum X y --+X= -y)
V (I
xl y~ Algum xy --+ vx=vy
xoy~ Algum xnoy -)- V X = V (I -y)
Sobre esta forma de simbolizar assenta a doutrina do desen-

volvimento das funes lgicas, a resoluo dos sistemas de equaes,
que as proposies lgicas assim formuladas podem constituir, e
finalmente a generalizao s proposies secundrias do mesmo sis-
tema de formular e de resolver. Boole chama primrias ou concretas
as proposies de relao simples, e secundrias o~ abstractas as que
se referem verdade ou tlsidade das prneiras.
88
,Para passar s proposies secundrias aplicando o mes

~etod~ e demonstrando que ele aplicvel, Boole exprime pelo mes:~
srmbohsmo o tempo de validade das proposies.
P~demos assim exprimir simblicamente os vrios tipos de
afirmaao :
0
I. A proposio x sempre verdadeira : x = 1;
2.A proposio x sempre falsa: x =o ou 1 - x = 1 ;
0
3- As proposies x ou y so verdadeiras, mas no ambas:
X ~I -_Y) + Y (1 - x) = I; ou, no caso de no haver excluso
mutua, t. , se no impossvel serem ambas verdadeiras x y +x (1 -y) +
+y (l - x) === l;
0
. 4 Se x verdadeira, y verdadeira, i. , h uma parte inde-
J!-nida de tempo em que y . verdadeira. Adoptando o mesrno smbolo de
indeterminao v, ser x == v y;
0
5. Se ou x ou y so verdadeiras, z verdadeira: x (1 - y) +
+y(1-x)=vz;
0
6. Se x verdadeira, ou y ou z so verdadeiras: x== v [y (1-z)+
+z(1-y)];
7. 0 Se x ou y so verdadeiras, z e w so ambas verdadeiras ou
ambas falsas: x (1 -y) + y (1 - x) == v [z w + (1 - z) (1 -w)].
O problema geral de Boole este: Dada uma equao em que

entre qualquer nmero de smbolos, determinar um ou mais em fun-
o dos restantes. Generalizado o mtodo s proposies secundrias,
com as quais podem igualmente estabelecer-se sistemas de equaes
lgicas, v-se a importncia e fecundidade do mtodo de Boole,
demonstrada pelo desenvolvimento ulterior. (Introduo Filo-
sofia - . Vi~ira de Almeida).
Axiomatizao da lgebra de Boole
Axiomatizada como lgica de classes (e no de proposies,

como anteriormente), poderia dizer-se com Edmundo Curvelo em
Principia Logicalia:
Chama-se lgebra de Boole toda classe B de elementos x, y, z,
tal que:
. LOICA MO-DE~NA . -
fazem I) . Em B h duas op eraoes

a A
- bmanas,
, . ..._,, e ,..... , que satis-
b . ~d- idem~otencia, a comutatividade, a associatividade e a dis-
t ri utivt a e ' isto ' se x, Y' z e B' entao,
,. . seJam
. quais forem x, y, z,
x,-.,.x=x
x,-.,.y=y,-.,.x
x " (y ~ z) = (x ,-... y) ,-... z
x ,.... (y '-" z) === (x ,-... y) '-" (x ,-... z)
e
X...._,,X=X
X'-"Y=Y'-"X
X ...._,,(y ...._,, Z) = (x ...._,, y) ...._,, Z
x ...._,, (y ,.... z) = (x ...._,, y) ,.... (x ...._,, z)
2) Em B h uma relao binria, :::J , que satisfaz as leis de

reflexividade, anti-simetria, transitividade e consistncia, isto ,
X :::> X
x:J y.y:J x: ::J :x=Y

x=> y .y:J z: ::> :x::J z
x=> y. = .x,-.,.y=x.= .x.......,,,y=Y
3) Em B h dois elementos, V e /\, que :o l~mites universais

e satisfazem as leis de produto lgico e de soma lgica; isto ,
/\:Jx::>V
/\l"'x=/\.Vl"'X=X
/\ '-" x = x -. V'-" x =V
4) Em B h uma operao de passagem ao complemento que satis-

faz as leis de complementaridade, dualidade e involuo; ist:o :
x '"" ("" x) = /\ . x .._, (- x) =V

- (x '"" y) ==e- x) .._, e- y)
{ - (x .._, y) =e- x)'"" (-y)
- (-X) X
Aplicaes da lgebra de Boole
De Principia Logicalia - II de Ed. Curvelo, extramos os

textos seguintes: Entre as aplicaes especiais das estruturas distri-
butivas designadas por lgebras de Boole, farei meno mais
detida de duas: aplicao resoluo de problemas de CLASSIFI-
CAO NUMRICA, porque, sendo de interesse imediato na vida
diria, tem hoje grande voga, principalmente nos Estados Unidos,
entre os acturios das companhias de seguros; e aplicao resoluo
de PROBLEMAS DE PROBABILIDADES (tratada j por Boole), devido
importncia cada vez maior que o clculo de probabilidades vai tendo
em todos os domnios cientficos. Em ambos os casos, porm
abordarei apenas aspectos elementares, evidentemente.
O problema geral consiste, em ambos os casos, em determinar
incgnitas (composio numrica ou probabilidades) de certas classes,
quando se conhecem valores (composio numrica ou probabilidades)
de outras clas~es do mesmo sistema. Ou, de outro modo: conhecidos
os valores atribudos a todas as classes do sistema, verificar se esses
valores so consistentes (compatveis), isto , verificar se, admitidos
eles, o sistema no internamente contraditrio.
~or exemplo, se a lgebra de Boole for o sistema
B (x, y) ( 1)
(1) Para simplificar o trabalho do estudante, alteraremos a terminologia sim...

bolgica em todos os textos reproduzidQ~ tal como fizemos para os textos da lgebra
de Boole, uniformizando assim a simbologi deste Caderno. Igualmente se torna claro
que, como se faz em simbologia matemtica, a omisso do sinal de operao entre
duas letras equivale ao produto). isto , por exemplo: (x Y) = (x"'"" y).
LGilCA MOJ)ERNA
sabe-se, por definio de soma lgica, que o nmero de elementos da

classe x ~ y, designado por N (x '-' y), : ,
N (x ~ y) = N (x) +N (y) - N (x ~ y)
isto , o nmero de elementos da classe (x ~ y) a soma lgica dos

elementos de x e de y: o nmero de elementos de x mais o nmero
de elementos de y menos o nmero de elementos comuns a x e y,
os quais, de outro modo, seriam contados duas vezes.
Para o sistema
B (x, y, z)
ter-se-:
N (x ~ y ~ z) = N [(x ~ y) ~ z] = N (x ~ y) N (z) - +
- N [(x ~ y) z] = N (x) +
N (y) - N (x y) N (z) - +
- N (x z ~ y z) = N (x) +
N (y) - N (x y) + N (z) -
- [N (x z) + N (y z)-N (x y z)] = N (x) + N (y)-N (x y)+
+ N (z) - N (x z) - N (y z) +
N (x y z)
_Seria de crer, por exe1nplo, a opinio de um caixeiro viajante de

artigos de vesturio masculino segundo a qual, em I .ooo homens, 400 pre-
f ere1n camisas brancas, 600 preferem gravatas claras, 650 preferem
lenos brancos, 300 preferem camisas brancas e gravatas -claras, 350 pre-
ferem camisas brancas e lenos brancos, 450 preferem gravatas claras e
lenos brancos, e 250 preferem camisas brancas, gravatas claras e lenos
brancos?
-
A frmula respectiva daria:
N (x '--' y """z) = 400 + 600-300 + 650-350-450 + 250=800

A CLASSIF~CAO est portanto. necessriamente errada.
evidente que qualquer classificao, e particularmente qualquer
classificao numrica, . uma lgebra -de Boole desde que, sendo
definidas adequadamente, no sistema, as operaes ,,....... , '-" e e a IV
relao ::J, elas satisfaan1 os postulados de qualquer axiomtica das

lgebras de Boole.
Deixo a verificao de esta afirmao curiosidade do Estudante

de Lgica, o qual fcilmente encontrar as expresses que permi-
~em .resolver problemas referentes ao produto lgico, negao e
unplicao, do mesmo modo que a do exemplo aqui citado referida
soma lgica.
Para a aplicao a PROBLEMAS DE PROBABILIDADES basta entrar

em conta com a noo de probabilidade de um acontecimento.
Sabe-se que, se tirarmos uma bola de um saco onde esto 100
bolas, das quais 20 so brancas, se diz que a probabilidade de tirar-
mos uma bola branca igual a 20 ou _l , isto , a probabilidade
100 5
definida como cociente da diviso do nmero de casos favorveis pelo
nmero de casos possveis: por isso a probabilidade nunca pode ser
superior a I (a probabilidade igual a r define a certeza), pois o rimero
de casos favorveis no pode ser superior ao nmero de casos possveis.
Assim, a probabilidade P (x) o cociente da diviso do nmero I
de elementos da classe x (neste exemplo, 20) pela classe \i de todos

os elementos do sistema (neste exemplo, loo).
Ou:
P ( ) = N (x)
X N (V)
Dividindo, ento, os dois membros de qualquer das frmulas

de classificao numrica por N (V), transformar-se- essa frmula
em frmula de probabilidades. Por exemplo, para o primeiro caso,
teremos:
N (x '-' y) N (x) + N (y) - N (x y)
N (V) = N (V) --
de onde, pela mencionada definio de probabilidade,
P (x '-' y) = P (x) + P (y) - P (x y)
Anlogamente, para o segundo caso :
p~~y~~=PW+PM-P~~+
+
p (z) - P (x z) - P (y z) + P (x y z)
LGICA MODERNA 93
evidente ainda que qualquer sistema de probabilidades uma

lgebra de Boole, desde que no sistema as operaes ,-... , ~ e 1111
e a relao :::> sejam definidas adequadamente e satisfaam os pos-

tulados de qualquer axiomtica das lgebras de Boole. Deixo tambm
a fcil verificao curiosidade do Estudante de Lgica, o qual,
igualmente neste domnio, encontrar sem custo as expresses refe-
rentes ao produto lgico, negao e implicao.
Das duas aplicaes especiais das lgebras de Boole (problemas
de classificaes numricas e problemas de probabilidades) deduz
ainda Edmundo Curvelo, na citada obra, as frmulas gerais respec-
tivas, que qualquer aluno do 3. 0 ciclo deve entender, se esclarecermos
que o smbolo ~ significa somatrio e designa a soma de um nmero
finito de classes.
Para. os problemas de classificao numrica a frmula geral,
obtida por induo matemtica, :
N (x 1 ~ ... ~ Xn) == ~ N (xi) - ~ (xi x;)

1 2
+
+~
3
(xi X; xk) - ... N (x 1 ... Xn)
Para os problemas de probabilidades, a frmula geral (P x 1 ~

. . . '-" Xn) idntica substituindo N por P. .
Antes de terminar esta referncia lgebra de Boole, note-se que,
no panorama da lgica contempornea, a lgebra de Boole um ele-
mento de uma classe: a classe das lgebras de Boole, cada uma das
quais , entre outras espcies de classes, caso especial, axiomtica-
mente diferente, de um sistema de maior generalidade a que se d o
nome de ESTRUTURA LGICA.
Exemplo de outra lgebra de Boole:
A lgebra de Boole axiomatizada por Birkhoff
Uma lgebra de Boole un1a estrutura com O e 1, comple-

mentada, onde
x ::J ( _.._,, a) se e apenas se a x == O
( IV a) ::J y se e apenas se a '-" y = 1.
Estruturas lgicas
Na obra Teoria geral das estruturas escreveu o lgico contem-

por~eo Valrio Glivenko: .
Nos ltimos tempos, tem-se observado o desenvolvimento
duma teoria geral das classes cujos elementos esto ligados entre si
7
por [certas] relaes [ que adiante explicitaremos].

O - primeiro passo foi dado por Dedekind (1900) que designou as
classes em questo com o nome de Dualgruppe. Mas, somente em
nossos dias que se empreendeu um estudo sistemtico deste pro-
blema: por M. I<. M~nger (1928) que props o nome Sisteme von
l)ingen; ~ por M. Garrett BIRKHOFF (1933) que prefere o nome
Lattices; por M. O. Ore (1935) que prefere o nome Structures; pelo
autor -desta exposio (1936) e de outras.
Seguindo M. O . . Ore, denominaremos estrutura uma classe
[ou conjunto] E de elementos x, y, z, ... sempre que sejam satisfei-
tas as ~ondies seguintes : ,
A~ classe E contm pares de elemntos, x, y, lig~dos entre si por
uma relao x :::::> y (x est incluso em y) tal que:
X::JY
. -
-
y e y x f)Ortanto x == y e reciprocamente;
\
x ~~ ::J .
x :::::> y e y z e portanto x :::::> z
Exprime-se esta primeira condio dizendo -que -classe -E - :

parcialmente ordenada.
~ ........ _ - -... - ,.. - . .
~ . -' .
' ..
.. . , . ..
Edmundo Curvelo, que em Estrutras Lgicaspresentou

pela primeira vez em Portugal -(1949) este ass.unto, pr'?sse_~e da
seguinte forma a explicitao das condies a que deve satisfazer
uma estrutura:
Diz-se que ura sistema parciabnente ordenado, E, possui a pro-

priedade de estrutura quando existe o nfimo e o suprem~ de cada par
de elementos de E, isto , quando para todo x,. y z E ha um elem:nto
p = x ,..... y e um elemento s = x .._, y; o sistema E toma entao o
nome de estrutura. _
LGICA '" MODERNA . . .. 9;
A axiomtica das estruturas pode estabelecer-se por meio da relao

de ordem ::J (axiomtica relacional) ou por meio do produto x ~ y
e da so1na x '-" y (axiomtica operacional). .
Na axiomtica-operacional estabelecem-se a idempotncia, a cornu-
tatividade e a associatividade do produto e da soma e duas equivalncias
por meio das quais se define a relao de ordem :
XX=X
xy = yx
x (y z) = (x y) z
2. x~x=x
X'-" y = -y '-"X
(x '-" (y '-" z) = (x '-" y) '-" z
~
3. X y == X . = ~ .X '-" y = y
--Definio: --
-
X-::) y. ==.X= xy. =. y =X'-' y
. -
-- ~a axiomtica_relacional definem-se a soma e o produto lgicos
por -- 'f11:Eio da relafJ de ordem, estabelecem-se a -reflexividade, a anti-
-simet~ia e a transitividade _da relao de ordem, e a existncia e as
propridades do nfimo (produto lgico) e do supremo (soma lgica),
em E, de cada par de elementos de E.
Exemplos de Estruturas
Ainda segundo Glivenko, apresentamos dois exemplos de

estruturas :
/
ESTRUTURA GEOMETRICA
Seja E a classe de todos os corpos convexos x, y, ... Escrevemos

x :J y quando o corpo x est contido no corpo y, seja x ~ y a parte
comum dos corpos x e y, e seja x '-" y o mais pequeno corpo convexo
contendo os corpos .x e y. V-se sem custo que E. uma estrutura.
CADERNO- AUXILIAR . DE FILOSOFIA
. ,
ESTRUTURA ALGEBRICA:
Seja E a classe de todos os nmeros inteiros positivos. Escre-

vemos x :::> y quando x divisor de y, e seja x ~ y o mximo divisor
comum e x ......,, y o menor mltiplo comum de x e de y.
V-se sem dificuldade que E uma estrutura.
N. B. O estudioso interessado pelos problemas da lgica moderna

encontra largo desenvolvimento dos assuntos aqui apenas
ao de leve referidos, 11a obra de alguns notveis lgicos
portugueses e estrangeiros que vo seleccionados na biblio-
grafia final deste Caderno Auxiliar.
Perspectivas da lgica moderna
<{A logstica o qimpo mais geral, e procura constituir-se em

teoria g~ral do raciocnio dedutiv@; _a lgica predicativa aristotlica;
a chamada lgica clssica, -pode ser desenvolvida como aplicao
da lgica dedutiva geral anlise de um problema particular -da
relao predicativa interpretada conceptualmente; e a _lgebra da
lgica a logstica aplicada em geral (ou melhor: a teoria geral da
logstica aplicada - no -c onfundir com a chamada lgica aplicada
ou metodologia), uma tcnica cjos frutos comeam ou podem
comear j a colher-se na anlise de .problemas da matemtica (clculo
de probabilidades, teoria dos conjuntos, fundamentao e estrutura-
o lgica da aritmtica, da 4J.gebra e da geometria, problema da
axiomatizao, da existncia e, dos esquemas de estrutura; espaos
1
abstractos, noo de nmero, ' de funo, e limite, de infinito e de

contnuo, teoria dos grupos e dos tipos, ... ), da fsica (an)ise das
noes de espao e de tempo, de matria, de campo e d~ fora, pro~
blema da medida, do sistema de referncia, da legitimidade da cin-
cia estatstica e indeterminista, ... ), da sintaxe da linguagem (filosofia
como lgica da cincia, lgica da cincia como sintaxe lgica da lin-
guagem da cincia, .... ), da estatstica, da teoria do conhecimento, at
da psicologia, da biologia, da tica,. . . :
Em sentido 'lato, admitimos que a lgica simblica compreende,
alm da logstica e da lgebra da lgica, a particular aplicao do
LGICA MODERNA
raciocnio dedutivo anlise do problema da predicao, conhecida

pelo nome de lgica clssica. (Ed. Curvelo - Introduo Lgica).
A _enumerao de alguns dos mais importantes problemas da

cincia e da filosofia co11temporneas a que a estruturao da lgica
simblica moderna veio dar perspectivas inteira1nente novas, penni-
tindo uma depurao progressiva das noes e dos mtodos, e por-
tanto maior objectividade nos nossos instrumentos de racionalizao
do cosmos, - pe em relevo a capital importncia da obra de inves-
tigadores contemporneos como Peano, Pdua, Dedekind, Maurice
Frchet, Antoine Appert, Alfredo Tarski, Eugnio Sperantia, G.
Bouligand, Jean Cavailles, Valere Glivenko, G. Birkhoff, M. H.
Stone, Kantorovitcl1, Charles Serrus, Carnap, Hans Reichenbach,
Hans Hhn, Wittgenstein, Schlick, Hilbert, Langford, Lukasiewicz,
Jorgensen, Gonseth, e de tantos e tantos outros.
Cqmo preveni11 o Prof. Vieira de Almeida:
--<{ problema lgico vai por esta forma estruturando-se e rece-
bendo solues- progressi' as, de projeco importante em qualquer
domnio cientfico, e em especial na teoria do conhecimento, onde
o campo - da . possib-ilidade se restringe cada vez mais, e onde, se a
pluralidade ainda possvel, j no possvel de qualquer modo,
porque certas demonstraes esto feitas e h~ que t~-las .em co~ta.
O que no significa, infelizmente, que na realidade nao sei a poss1vel
enc~ntrar quem, menos informado das condies actuais do problema,
airida ~e SU:ponha contemporneo de Aristteles.
OBJECTO DA LGICA
Considerando trs fases ou concepes na evoluo histrica

da Lgica, de Aristteles actualidade, importa definir finalmente o
objecto desta cincia, em funo de cada uma dessas fases.
Concepo clssica
A Lgica a cincia que estuda as leis a que devem conformar-se

as operaes da inteligncia para serem vlidas e poderem atingir a ver-
dade.
(Consulte: Compndio de Filosofia de B. Ribeiro e Jos da
Silva).
A lgica, portanto, 110 ponto de vista clssico:
__:; cincia formal: a sua anlise incide essencialmente sobre

o acordo do pensamento consigo prprio, independentemente da ma-
tria ou contedo a que se refere; da o seu carcter terico,
- cincia normativa : formula normas, isto , um dever
ser sobr~ a maneira como importa pensar para se pensar correcta-
mente (Lgica Pura) ; _e d regras cincia para alcanar a ver-
dade (Lgica Material ou Metodologia); da o seu carcter prtico.
Concepo indutiva
No fim do sculo XVI e em especial desde o sculo XVII, veri-

ficou-se que a cincia renascente fez as suas descobertas mais notveis
fora das vias da Lgica tradicional. No foram os lgicos que ensinaram
os mtodos aos sbios, mas os sbios que os aplicaram espontnea-
mente, aperfeioando-os pouco a pouco.
OBJECTO DA L01CA 99
No Novum Organon (Nova Lgica, 1620) Bacon s codificou

a prtica experimental da poca do Renascimento. a Lgica da
observao e da esperincia a substituir a da razo pura.
Descartes, no Discurso do Mtodo (1637), compara a infecun-
didade da Lgica formal com a fecundidade do mtodo matemtico
(II parte).
(Consulte: Manual de Filosofia de A. Cuvillier).
Concepo actual
I) Todo domnio do saber se caracteriza e organiza progres-

sivamente:
a) pelo objecto ~
b) pelo mtodo.
Se tomarmos por
a) object_o, a actividade genrica e essencial do pensamento;

b) mtodo, "' anlise do pensamento expresso,
. teremos determinado um domnio, a que pode dar-se o nome de

: Lgica ..
. . .
2) A lgica no essencialmente normativa.
.
(Consulte: Lgica elementar de Vieira de Almeida).
A lgica uma construo terica que pretende:
a) teorizar a actividade formal do pensamento - actividade

com aspectos difer~ntes conforme o domnio cientfico con-
siderado - o problema da metodologia j
b) ou abstrair, do problema anterior, o comum a esses diferen-
tes aspectos da actividade formal do pensamento- o pro-
blema da lgica geral ou lgica pura.
(Consulte: Introduo Lgica de Edmundo Curvelo).

.. -
VALOR -DA L_ GIGA CLSSICA

E DA LGICA MODERNA
A Lgica Clssica um instrumento vlido, mas insuficientemente

analtico, da linguageh1 de tipo predicativista ontolgico; a Lgica
Moderna, acompanhando a evoluo da Cincia - que substituiu, a
partir do sculo XVI, o nvel ontolgico de explieao da realidade
por um nvel experimentalista em que o rigor da- expresso algor-
tmica * se _torna cada yez mais exigef?.te - , um instrumento de an-
lise da linguagem em -geral (e, em especial, da lingua-g em prpria de
cada cincia) to exacto como o da matemtica (que roi a lgica da
cincia na fase indutiva ~da lgica), mas mais profundamente anal-
. . , .
- t1co que o 1nstrumento~ matemat1co.
Da a logificao actual de todas as -cincias, ncluindo a prpria
matemtica, ___._ empreendimento que est em vias de realizar-se no
nosso tempo, com cariz diferente sim, mas reatando, para sua e n:Ossa
glria, a magist~al li6 do Organon de Aristteles'"
.. ... .. - l.
VOCABULRIO AUXILIAR
Abstraco - operao mental que isola, nurn conjunto de qualidades, uma ou

1nais dessas qualidades.
Ex. : entre objectos que possuem a cor azul o nosso intelecto
isola mentalmente c01no qualidade ( abstracta) a ideia de cor azul
que comum a esses objectos, e entre vrias cores (azul, amarelo,
vermelho, etc.) a ideia mais abstracta ainda de cor. Uma ideia pode,
portanto, ser mais ou meno~ abstracta: cor azul ideia menos
abstracta do que cor; cor, por seu turno, ideia menos abstracta do
que a z'deia,- por exemplo, de propriedade.
_Analtico - que implica a operao lgica denominada Anlise: processo geral do

mtodo que consiste em decompor um todo nos seus elementos constitu-
tivos. A definio desta operao metodolgica de- capital importncia
na histria da cincia ; deve aprofundar-se com o estudo dos processos
gerais do conheciniento e do mtoo. (Consulte Metodologia).
Antropom6rfico - o que concebido como se tivesse forma humana. Para alm

deste sentido estritamente etimolgico, o tenno antropomrfico emprega-se
em cincia e filosofia para caracterizar unia atitude mental de subjec-
tivismo, isto , maneira pessoal e portanto muito relativa de com-
preender as coisas, ponto de vista a que falta objectividade e que no
possui por isso valor de verdade; neste sentido, o conhecimento vulgar
ou emprico antropomrfico, ao contrrio do conhecimento cientfico
que procura exactamente desant~opomorfizar o conhecimento, conferin-
do-lhe exactido atravs da linguagem matemtica ( = no subjectiva)
e dum mtodo que, por ser experimental, , por excelncia, objectivo.
(Consulte Vocabulri'os do Caderno Auxiliar -l).
Axioma - verdade evidente; proposio que ponto de partida de todo raciocnz'o

de tipo dedutivo e que, por ser evidente. no precisa de demonstrao ;
os axiomas empregam-;,e em todas as teorias dedutivas e especialmente na
demonstrao matemtica.
Axiomtica - na Lgica e na Matemtica modernas no se estabelt;ce a distino

tradicional entre Axioma e Postulado. Em qualquer teoria lgica ou
matemtica) os postulados ( = axiomas) so noes-chave ou relaes
fundamentais que se estabelecem como ponto de partida de toda

demonstrao possvel, constt'tuindo o seu conjunto o que se deno-
mina Axiomtica. (Consulte: Metodologia).
Bacon (Francisco) - (1521-1626): um dos pensadores mais notveis do Renasci-

1nento; estabeleceu, juntamente com Descartes, as bases da cincia e
da filosofia modernas, sistematizando na obra ~Novum Organon as
caractersticas do mtodo indutivo ou experimental. (Consulte : Meto-
dologia). Outras obras: 0 Progresso da Cincia, <cEnsaios, etc. ) .
Boole (Jorge) - (1815-1864): lgico e matemtico ingls autor das obras An-
lise Matemtica da Lgica e Investigao das Leis do Pens:imento
que deram lgica formal um aprofundamento analtico que no
possua na lgica clssica e lhe abriu perspectivas inteiramente novas.
A chamada Algebra de Boole representa o passo decisivo no caminho
da lgica moderna ou logstica.
Categoria - na filosofia aristotlica a noo de categoria uma noo ontolgica

(Consulte : Ontologia) ~ na terminologia do filsofo grego, as categorias
so as grandes divises do ser. A noo de categoria impli"ca com-
plexos problemas de teoria do conhecimento; consulte a as concepes
de Aristteles e de Kant.
Conceptualista - consulte na Teoria do Conhecnento o chamado Problema dos

Universais. O problema consiste e1n determinar qual o valor objectivo
das ideias; trata-se de tema largamente discutido na Idade Mdia
e que se apresenta hoje, com fundamentos e perspectivas diferentes, no
debate Realismo-Idealismo.
Realismo e idealis1no so doutrinas sobre a natureza do conheci-
mento (um dos problemas capitais da Teoria do Conhecimento). Em
primeira aproximao, pode dizer-se que uma lgica conceptualista
se ope a uma lgica relacionalista na exacta medi.da em que a
fsica qualitativista de Artteles se ope fsica matemtica (de
Galileu, Newton e todos os que se lhes seguiram).
Doutra forma ainda: conceito e ideia podem no ser sinnimos.
A 1:nterpretao conceptualista de conceito considera-o produto de trs
operaes intelectuais: comparao, abstraco e generalizao, ope-
raes realizadas a partir dos objectos concretos (=coisas) apreendidos
pela sensao. A interpretao relacionalista de ideia considera-a da
mesma natureza das noes matemticas : as ideias so criaes intele-
gveis do esprito hurnano - instrumentos racionais com que os cientista
procuramos entender o mundo, mas no simples abstraces a partir
do concreto, vto que os objectos concretos no so dados absolutos,
~~~~~~~- imediata11.J!jrJ.LP.'.____fl'.Die.e:l'll.l.1.au~flfil~~'.nJJuu.~LILrn.LL...ejr::L.lJUU..rrnA~~~2'll;nnLJJ.~~~__1
OBJECTO D~ LGICA 103
sbio do nosso- tempo, Alberto Einstein, escreveu : A cincia uma

criao do esprito humano por meio de ideias e de conceitos livremente
inventados>~ (Consulte: Teoria do Conhecimento).
Campo lgico - universo lgico ( totalidade dos objectos pensveis, isto ,

=
conjunto de tudo aquilo que pode ser objecto de pensamento).
Descartes - (1596-1650): o maior filsofo francs do seu tempo; estabeleceu as

bases da filosofia 1noderna eni duas obras capitais : - Dcurso do
Mtodo e Meditaes Metafsicas. Notvel matemtico, inventou
a geometria analtica e combateu a filosofia tomista, criando um novo
mtodo de investigao da verdade: a dvida metdica, em oposio
ao critrio medieval do magister dixit.
Dialctica - termo de sentido a1nplo que vai desde o sentido clssico (exemplo : a
dialctica socrtica)>) at o sentido contemporneo (exemplo : a dia-
lctica materialista). Na i1npossibilidade de dar aqui desenvolvimento
ao assunto, pode, dum,a maneira geral, entender-se por dialctica o
processo lgico que consiste em relacionar ideias num encadeamento
analtico-sinttico : decompondo o todo nos seus elementos e recons-
tituindo com os elementos o <(toda respectivo. (Consulte: Anlise e
Sntese).
Dvida metdica - Descartes define-a assim no Discurso do Mtodo : rejeitar,

como absolutamente falso, tudo aquilo em que se possa imaginar a menor
dv'ida, a fim de ver se, aps isso, no ficar qualquer coisa nas
nossas opinies que seja inteiramente il'!dubitvel. Admitiu como regra
geral que verdadeiro tudo aquilo que concebemos muito clara e muito
distintamente.
A dvida metdica diferente da dvida cptica ou sistem-
tica: ao contrrio desta, no considera impossvel atingir a verdade; mas
considera que s se deve aceitar como indubitvel o que concebennos muito
clara e muito distintamente, a fim de termos a certeza de no errar.
Eleatas - a Escola dos Eleatas teve em Parmnides e em Zeno, seu dz"scpulo e

ambos naturais de Eleia (no sul da Itlia), os seus mais notveis.filsofos.
So pensadores pr-socrticos (do sc. VI A. C.) e defenderam a tese de
que o movimento no existe e, portanto, o Ser ( = Real) uno, imutvel
e esttico; nada se transforma, tudo e permanece eternamente como
substncia indestrutvel e idntica a si prpri'a.
Escola de Port-Royal - em 1204foi fundada prximo de Chevreuse uma abadia

de mulheres qu~ a partir do sc. XVII, criou as chamadas Pequenas
Escolas de Port-Royal d,es Camps. Da nasceu a designao a qual engloba
os filsofos jansenistas que, no sc. XVII, aderindo ao movimento da
lgica 'indutiva e aceitando, portanto, a importncia do mtodo experi-
mental na investigao da natureza, - nem por isso repudiam a lgica
aristotlica por eles considerada a arte de pensar correctarnente.
104 CADERNO AUXILAR DE FlLOSOFIA
Pascal (1623-1662) um dos mais notveis filsofos da escola de

Port-Royal. Depois de um acidente que teve em 1654, Pascal, que
at a levara uma vida mundana e se interessara principalmente pela
investigao cientjjca, recebe i?zfiuncia cada vez m_aior de sua irm
mais nova,, freira da abadia de Port-Royal. e o seu sentimento religioso
atinge as raias do misticismo.
- Especulao - tem aqui sentido de reflexo filosfica.
Facto - acontecimento que, pela observao e pela experincia, passa, de caso

singular que , a caso geral, t"ntegrando-se nu1n ca1npo especial de inves-
tigao cientfica. _Ex : um facto a queda deste lpis aqui e agora;
a queda de um grve ( = qualquer object sujeito aco da gravidade)
um fenmeno. -
Forma cannica - expresso que se usa, como sabido, em matemtica; tem aqui
- o sentido de relao -tpica ou fundamental:
Geral - que se refere a uma totalidade de objectos ( = seres; factos; proposies,

etc.) sobre os quais algo de constante ( = propriedade; caracterstica;
relao, etc.) se pode determinar. A anlise desta noo implica com-
plexos problemas de metodologia e de teoria do conhecimento.
Heael- (1770-1831): filsofo alemo que- largamente influenciou a filosofia do

seu tempo, criando uma dialctica nova (a dialctica tridica da tese~
-anttese e sntese), expresso de- um idealismo metafsico de caractersticas
muito especiais, definido em obras como: Fenomenologia do Esprito,
Lgica, ~Filosofia do Direito e ~Filosofia da Histria, etc.
Heraclito - (535-475 A. C.): filsofo grego opositor de Parmnides ~ afirnia que a

essncia das coisas est no permanente devir, isto , na incessante trans-
f armao de tudo o que existe : A substncia fundamental um fogo que
incessantemente se acende e se apaga; ningum pode banhar-se duas
vezes nas mesmas guas do mesmo rio, porque sempre corre pelo leito
uma nova gua; assiln, tudo o que j no- porque, sendo, j deixou
de ser.
Kant - (1724-1804): filsofo alemo cuja obra marca uma vfragem decisiva na
investigao filosfica, sobretudo em problemas de teoria do conhecimento;
pode justamente considerar-se o pai da filosofia contempornea com essa
obra de capital importncia a que ps ttulo Critica da Razo Pura"ft.
Fundamentou assim urn novo idealismo, essencialmente crtico e racio-
na.lista, em oposi'o ao idealisnio dogmtico e metafsico tradicional.
Outras obras: Proleg6menos a Toda Metafsica Futura, Crtica da
Razo Prtica, etc.
Leibnitz - (1646-1717): fil6sofo e matemtico alemo dos de maior nomeada;

ucreveu entre outras uma obra em oposio ao empirismo de Locke :
OBJECTO DA LOICA ~
Ndvos ensaios ;obre o ente'IUllinnto .humano~, onde defende um orienta-

o racionalista e idealista nos problemas do conhecimento. Resolveu,
no campo da fsica-matemtica,_ m problema fundamental, ao mesmo
tempo que G_alileu, - o C_lculo Infinitesimal. Outras obras: Mona-
dologia}>, Dcurso de Metafsica, etc.
Lei - pode tomar-se em acepo moral e tambm em acepo jurdica. Neste texto,
porm, significa lei cientfica: explicao dos factos; relao necessria
e un'iversal de causa e efeito entre fenmenos; relao constante entre
fenmenos - relao que, por ser constante e constantemente verificada
(princpio de induo),_ torna possvel_, por um lado, a previsibilidade
e, por outro, dado o seu arcter funcional, a reduo das proposies
cientficas a expresses matemticas.
Metafsica - disciplina filosfica que tem por objecto o estudo sistemtico da essen-
cia da Realidade, subdividindo-se em : 1v1etafsica Geral ou Ontolo-
gia -problema do Ser enquanto Ser, isto , proble1na da natureza
- ntima do Real; e Metafsica Especial, que por seu turno costume
subdividir em : I) Cosmologia Racional - problema da essncia da
Matria e da Vida; 2) Psicologia Racional - problema de essncia da
vida psquica, quer dizer, da natureza e atributos da Alma; 3) Teo-
diceia - problema da exlstncia de Deus e das suas relaes com o
Homem e com o Universo.
Ontolgico - que respeita Ontologia (Consulte o significado de Metafsica

neste Vocabulrio).
Pascal--(1623-1662): filsofo, fsico e matemtico francs, autor de obras clebres

na hist6ria da cultura: Pensamentos e Do Esprito Geomtrico. Fez
algumas das mais notveis investigaes cientficas do seu tempo: aos
dezasseis anos escreveu um trabalho sobre as seces c6nicas; estudou a
presso atmosfrica, as le do equilbrio dos lquidos, o clculo de proba-
bilidades, etc., etc. Investigador de esprito cientfico excepcional, aliou
a esse tipo de mentalidade uma f religiosa de cariz profundamente
mstico (Consulte: Escola de Port-Royal, neste Vocabulrio).
Plato - ( 429-347 A. C.): o mais clebre filsofo grego juntamente com Arist-
teles, de quem foi mestre; discpulo, por seu turno, de S6crates, escreveu
dilogos sobre a filosofia socrtica, em oposio aos Sofistas; desses
dilogos, podem destacar-se: Apologia de Scrates, Fedon (sobre
a imortalidade da al'?'la). Teeteto (sobre a natureza da cincia),
Repblica (estudo poltico-social normativo, onde se encontra o cle-
bre trecho Alegoria da Caverna (confira: Teoria do Conhecimento).
Ponendo tollens - esta e outras do mesmo gnero so expresses latinas tradicio-

nalmente usadas em lgica e cujo significado aparece traduzido no texto
respectivo.
I06 CADERNO AUXILIAR DE FILOSOFIA
Postulado - proposio primitiv a que se pede para ser aceite como ponto de par-
tida numa demonstrao J. em sentido puramente lgico, o postulado
uma noo-chave ( = relao fundamental), sem a qual seria 'i"mpossvel
pensar de maneira entendvel, e que serve de ponto de partida para a
construo da lgica humana. Os princpios lgicos (de identidade:
o que , ; de no-contradio : uma coisa no pode ser e ao mesmo
tempo deixar de ser; e do terceiro-excludo: uma coisa ou ou no )
so postulados (ou axiomas) da razo (Consulte: CadernoAuxiliar-1).
Prae - abreviatura latina de predicado.
Princpios - proposies primitivas (axiomas ou postulados).
Quod Nihil Scitur - ttulo da clebre obra do filsofo renascentista portugus,

Francisco Sanches, percursor de Descartes e da filosofia moderna.
Ramus (Petrus) -(1515-1572): filsofo e gramtico francs, adversrio de

Aristteles e da filosofia tomista; defendeu a dvida metdica (de que
foi percursor) e o mtodo experimental J. proclamou o valor da Razo
em oposio ao critrio de autoridade. (Confira : Sofismas de atitude
mental).
Relacionalista - de natureza relacional, isto , que se ope a substancial e se

determina por funes ( = relaes constantes entre variveis), como
na linguagem de tipo matemtico.
Russell (Bertrand) - (1872): o maior filsofo ingls contemporneo, ainda vivo.

Prmio Nobel de Literatura, autor de obras de extraordinria reper-
curso na cultura contempornea, entre as quais: Principia Mathema-
tica de colaborao com A. N. Whitehead, Os Problemas da Filosofia
( trad. portuguesa), ABC de Relatividade, Misticismo e Lgica, A
Conquista da Felicidade, Histria da Filosofia Ocidental, etc., etc.
Trata-se de um pensador que tem dedicado grande parte da sua vida
aos problemas da moral, da poltica, da sociologia e da educao e que,
defendendo uma orientao racionalista de cunho essencialmente expe-
rimentalista e crtico, deve ser considerado um dos ma notveis reno-
vadores da filosofia contempornea, no plano da aco prtica e das
concepes tericas.
Sanches (Francisco) - (1551-1632): doutorou-se em medfrina na Universidade

de Montpellier onde foi lente J. professor de filosofia em Tolosa, notabi-
lizou-se pela atitude profundamente crtica das suas reflexes, escre-
vendo uma obra de importncia decisiva na preparao da mentalidade
filosfica europeia de orie"'ntao experimentalista, Quod Nihil Scitur:-
onde percursor da dvida metdica de Descartes.
Ser - em grego ontos; o Ser, porque abrange tudo o que ou pode vir a ser,
transcende qualquer categori'a de seres ; no possuindo diferena expe-
OBJECTO DA LOICA 107
cfica j _que toda caracterstica acidente ou modo do Ser, no pode,

portanto, definir-se. (Consulte: Metafsica - Ontologia).
Singular - que se refere a um indivduo ( = ser; objecto; dado emprico). Em

lgi'ca moderna, a classe-de-um-s-elemento um singular.
Scrates - (468-399 A. C.): filsofo grego natural de Atenas, considerado o

mestre dos mestres da filosofia ocidental; a sua influncia (sobretudo
atravs dos dilogos que sobre ele escreveu Plato) permaneceu de
forma indelvel at os nossos dias. Adversn'o dos Sofistas, Scrates
considerou que o homem pode atingir a Verdade, importando apenas
que, pelo exerccio da Razo, saiba descobri-la dentro de si - exerccio
em que o filsofo, um verdadeiro <<parteiro das almas ( maiutica
socrtica) ; comeando por nos fazer compreender toda a nossa igno-
rncia, muita vez velada de aparente sabedoria, ajuda-nos a dar
luz a Verdade; da o clebre pensamento de Scrates - Conhece-te
a ti prprio!, alicerce de toda a sua filosofia pedaggica, norteada
por um profundo sentido humanitarista e pela incansvel procura dos
valores eternos: o Amor, a Justia, a Beleza, o Bem, a Verdade, Deus.
Sofistas -filsofos contemporneos de Scrates, entre os quais se destacaram Pro-

tgoras e Grgias, que defenderam a relatividade do conhecimento
humano ~ pela primeira vez na histria da filosofia, chamaram a ateno
para um problema capital - o problema da possibilidade, valor e limites
do conhecimento - ou problema gnoseolgico, tomando no debate
uma atitude de cepticismo quase total.
Sofistico - os sofistas foram considerados demagogos do pensamento que, nas

suas lies de Retrica e Eloquncia, preparavam os discpulos ensi'-
nando-lhes sofismas para combaterem os adversrios no debate de
ideias. (Consulte: Sofismas).
Sombras - na Alegoria da Caverna, texto clebre da Repblica de Plato,

entende-se por Sombras as aparncias das coisas, em oposio s
Formas ou Ideias Puras que constituem a verdadeira Realidade.
Com efeito, para Plato os objectos materiais ( = coisas concretas),
que apreendemos pelos sentidos, no passam de sombras ou iluses;
a verdadeira Realidade o mundo das Ideias. (Consulte: Teoria do
Conhecimento).
Sub - abreviatura latina que significa sujeito.
Substincia prima - o Ser tem categorias: a substncia e os acidentes. A subs-

tncia prima o ser enquanto no estado de potncia pura, enquanto no
estado inicial ou primrio, antes de ter recebido qualquer espcie de deter-
minao; logo que a recebe, passa a substncia segunda.
IO~ CADERNO - -AUXILIAR DE~ FILOSOFIA
Sustentao recproca -- relao de coerncia ( = compatibilidade lgica) entre

' .
ideias ou juzos. -
Teria do Conhecimento -problema_-gnoseolgico e epistemolgico, quer dizer:

problema filosfico qu consiste em analisar o valor e limites, origem (ou
gnese) e natureza (ou essncia) do conhecimento.
Teleol~_gico - relativo teleologia, -isto , ao estudo das causas finais (Consulte:

Metafsica - Ontologia - Princpios do Ser).
-Whi:ehead (A. N.) - colaborador de Bertrand Russell na obra ~Principia Mathe-

matica, tambm um dos mais notveis filsofos contemporneos.
Verney (Lus Antnio)-(1713-1792) :_pensador portugus dos mais notveis, da

pliade conhecida pela deslgnao de <(estrangeirados - grandes refor-
madores da cultura portuguesa no sc..}(VIII,-que procuraram intro:.
duzir no nosso pas as novas ideias racz"onalistas e -experimentalistas de
que nos havamos em parte afastado durante o sc. XVII. Com o livro
..., - Verdadeiro Mtodo de Estudar, preparou Verney a reforma pomba-
lina dos estudos universitrios, defendendo tenazmente a necessidade
de introduzir no ensino superior a fsica de Galileu, de Kpler e de
~~ New!on, a filosofia de Descartes, Bacon, Locke, etc.. O ~Verdadeiro
Mtodo de Estudar analisa outrossim problemas de gramtica, retrica,
estilstica, literatura e outros; combate o gongorismo cu/tista e conceptista,
de que estava impregnada a-cultura portuguesa em geral e a literatura
em especial, e ehama a ateno para a lio dos clssicos e dos renas-
centistas.
QUESTIONRIOS
Lgi~a clssica
I
,,.
LOGICA DO CONCEITO
I) Estabelea diferena entre ideias e termos. Exemplifique.

2) Distinga: percepo, 'imagem e ideia. Exemplifique.
3) O que se entende por extenso e cotnpreenso das ideias?
-Exemplifique, colocando~ uma srie _de termos Por
ordem de extenso
crescente e compreenso decrescente.
4) Defina as seguintes 11oes:
a) gnero, gnero j>rximo e gnero supr~;

b) espcie, espcie nfima e diferena espedfica.
-._ - 5) Nas afirmaes que se seguem, classifique, sob todos os

_aspectos que conhecer, os termos que vo indicados em itlico:
_ Os grandes homens so muitas vezes pequenos na estatura;
Napoleo era pequeno e nem por isso foi no-homem. Muitos homens,
, porem, vivem como se fossem apenas vermes, a tal ponto rastejam. _
6) Distinga termos -contrrios de termos contraditrios, exem-

plificando.
7) ~oder um termo ser singular e colectivo ao mesmo tempo?

D exemplos.
IIO CADERNO AUXILIAR DE FILOSOFIA
8) Em que consiste a operao lgica denominada definio?

Que e~pcies de definio conhece? Quais so as regras da definio?
Justifique-as.
9) Caracterize a diviso lgica, distinguindo-a da chamada

diviso dicotmica.
A Classificao uma diviso. O que a caracteriza peculiar-

10)
mente? Que relaes tem com a definio ? A que regras deve obe-
decer uma classificao rigorosa? Justifique e exemplifique.
I I
, ,
LOGICA DO JUIZO
1) Defina Juzo e Proposio.
2)O que so, num juzo, o sujeito, o predicado ou atributo e a

cpula? Indique-os nos seguintes exemplos:
a) Nem todos os actos humanos so livres-.
b) Existem povos primitivos_ actuais.
3) Faa uma classificao das espcies de juzos que estudou.

Defina cada uma dessas espcies.
4) Por que razo -os juzos analticos so. apodticos e os asser-
trios so-' sintticos? .:,
.=_ .. . . - . . ,._
.. 5)
Classifique, sob todos .os aspectos que conhecer, as seguintes
espcies de juzos:
a) A pirmide um slido geomtrico J.

b) A pirmide de Kops o 1nonumento egpcio de 1naioies
propores;
e) Os documentos histricos no devem ser propriedade
particular;
d) Se o nariz de Clopatra fosse mais pequeno, talvez a his-
tria da humanidade tivesse .seguido curso diferente;
e) S Deus t omnipotente.
QUESTIONRIOS III
6) O filsofo Kant definiu assim duas conhecidas espcies

de juzo.
Em todos os juzos em que pensada a relao dum sujeito com um
predicado, esta relao possvel de duas maneiras : ou o predicado B
pertence ao sujeito A, como alguma coisa j contida (implicitamente)
neste conceito A~, ou ento B, se bem que ligado a este conceito A, est
'inteiramente fora dele.
- Que espcies de juzos se definem neste texto? Exemplifique:
7) Foi tambm IZant que chamou a ateno para a existncia de
juzos sintticos (no a posteriori, o que parece evidente) mas priori.
a) Mostre que evidente que um juzo sinttico

posteriori. Exemplifique.
b) Sabendo que a matemtica no uma cincia experi-
mental, mas leva a conhecimentos novos (apesar de
ser a priori), d exemplo de um juzo sinttico priori.
8) A lgica clssica a teoria das relaes possveis entre qtiatro

tipos de proposies. Indique-as, representando-as por meio de
crculos.
9) Como se quantificam na lgica aristotlica os su;eztos e os
predicados das proposies em A, E, I, e O? Exemplifique, tornando
explcita a quantidade dos respectivos predicados.
10) As proposies do tipo A e as de tipo I, (apesar da regra

..aristotlica da quantificao dos predicados) admitem uma excepo
< o .~ "1' e
cada. , Que 11ome.se d a essas proposies que constituem excpo?

Exemplifique, tornando explcita a quantidade.
I II
A
INFERENCIAS IMEDIATAS
I) Defina inferncia e distinga inferncia imediata de inferncia

1nediata.
2) O que se entende por .converso de proposies?

lI2 CADERNO AUXILIAR DB FILOSOFIA
,. , 3) To~ando em considerao a regra aristotlica da quantifi-

caa_o dos predicados, mostre como se devem converter as proposies
de tipo A, E, 1 e O. Exemplifique.
_ 4) Mostre, ~undamentadamente, por que que uma defi,nio

se deve converter simplesmente. Exemplifique.
5) "'O que so proposies opostas?

Que espcies de oposio de
propos1oes conhece? Defina-as, exemplificando. _
6) Indique as leis das diferentes espcies de oposio de propo-
sies.
7) Converta as seguintes proposies, indicando a espcie de

converso que empregou:
a) Os maiores gnios da Antiguidade so gregos.

b) Nem todos os gregos so gnios.
e) Havia gregos que habitavum na sia-Menor.
d) Muitos espartanos morrerani no desfiladeiro das T er1n-
pilas.
e) Existem satlites artificiais.
f) A Terra no a Lua.
8) Se un1a proposio de tipo A for verdadeira, quais as

suas opostas que podem ser verdadeiras tambm. E as necessria-
mente falsas?
9) Dada a falsidade de uma proposio de tipo o, possvel

Cn~luir a verdade de, pelo menos, uma das suas opostas. Qual ?
10) Verifique - e justifique - se possvel admitir que sejam

simultneamente verdadeiras as seguintes proposies opostas:
I~-+0; A+--+I; A~~o
II) Por que razo duas proposies subcontrrias, se forem a

expresso dum juzo assertrio, podem ser ambas verdadeiras? E se
exprimirem um juzo apodtico, por que razo, sendo uma verda-
deira, a outra necessriamente falsa?
QUESTLNRIOS 113
. A que princpio lgico obedece a lei das proposies contr-

12)
rias' que determina que, se uma ;verdadeira, a outra necessria'""
mente falsa?
13) Duas proposies contraditrias nem podem ser ambas

verdadeiras nem ~bas falsas. Porqu?
I 4) Analise validade lgica dos seguintes argumentos :-
a) Ainda que nem todas as disciplinas sejam cientficas,

inconstestvel que grande parte delas possui com
. , .
rigor essa caractertstzca.
b) Se muitos inventos so na verdade teis, nem por
isso se deve concluir que todos o sejam, sem excepo~.
e) Porque nem todos os do,cumentos histricos so autn-
ticos, no se deve concluir- que nenhum o seja>>.
d) possvel deduzir a verdade duma proposio de
tipo I, partindo da verdade das suas -opostas de tipo
A e E?
r 5) Classifique as seguintes espcies de inferncias:

r
a) Se Einstein filsofo, evidente que no pode deixar

de o ser;
- b) Verificar que h metis que no so slidos no incom-
patvel -com a afirmao de que a maior parte deles se
apresenta nesse. estado fsico natural.
. '
IV
INFERNCIAS MEDIATAS
r) Faa uma classificao das inferncias mediatas que estudou.
2) Defina: deduo, induo e analogia.
3) Que espcies de deduo conhece? Caracterize-as.
4) O que o Silogismo? Indique as suas diferentes espcies'.,

8
5) - Enuncie os chamados princpio da compreenso e princpio

da extenso de toda inferncia lgica. . , . ..
6) Na terminologia silogstica, o que so, respectivamente, os

termos maior, mdio e menor?
7) Que nomes se do s proposies que constituem um silo-

gismo? . _omo se distingue a premissa maior da premissa menor?
8) Que termos entram na concluso do silogismo?
9) Como possvel saber se a primeira premissa de um silo-

gismo ou no a premissa maior? Explique o mesmo em relao
segunda premissa, apresentando um exemplo em que a ordem natural
das premissas esteja trocada.
10) Enuncie as leis do silogismo referentes aos termos e s

p~opos1oes.
. ,..;
'" r) O que se entende por figura do silogismo ? Distinga as

I
quatro figuras que conhece. A que se d o nome de figura per/eita?
Porqu?
12)O que modo de um silogismo? Que diferena h entre

modo$ possveis e modos vlidos? O que so modos fracos?
_.. . . . 13) Verifique e justifique se so vlidos os seguintes silogismos:
a) ~Alguns matemticos so filsofos.
Os filsofos so homens cult-0s.
Alguns homens cultos so matemticos.
b) Os seres materiais so extensos.
A Alma no s-er material.
A Alma no extensa.
c) Os mais belos poemas so epopeias.
A Eneida de Virglio uma epopeia.
A Eneida de Virglio um belo poema.
14) Empregando os ter1nos x, y, z verifique em que figuras
possvel construir silogismos com os seguintes modos: E A E, A I I,
E A O, E I O, I A I. . .. .
QUESTIONRIOS II)
I 5) D forma silogstica s seguintes afirmaes:
a) O mercrio born condutor de calor porque metal.

b) Alguns homens no so felizes porque so egostas.
c) Tu, rei Lear,. que s velho e venerando, deves ser sbio.
r6) Com os termos e as figuras a seguir indicadas, construa

silogismos vlidos e aponte o modo em que os construiu:
a) Portugueses, africanos, homens (3. figura).

b) Estrelas, planetas, astros (2. figura).
c) Morcegos, aves, mamferos ( r. figura).
d) Tringulos, equilteros, figuras geomtricas (nas figuras
em que for possvel).
17) Porque razo no possvel construir silogismos nos modos

e figuras respectivas a seguir indicadas:
O A O - 1. figura; A O O - 4. figura; A A A- 3. figura;
AI I - 2. figura.
Indique as figuras em que, no entanto, seria possvel cons-
truir os mesmos modos.
18) Tire a concluso, se possvel, das seguintes premissas,

justificando a resposta e indicando figura e modo :
a) A psicologia uma cincia experimental.

A psicologia emprega o mtodo introspectivo.
/
b) Nem todos os rectngulos so quadrados.

Os qua_drados so fig.uras geomtricas.
e) Alguns vertebrados no so rpteis.
As serpentes so rpteis.
19) Por que razo um silogismo da 2. figura no pode concluir

com uma proposio afirmativa?
20) Nos silogismos da 3. figura, a concluso te1n de ser

particular. Justifique, pondo em evidncia as leis do silogismo que
seriam infringidas, se assim no fosse.
116 CADERNO AUXILIAR DE F ILOSOFIA
2 I) Represente grfica . de circulas

,
mos vlidos cOnstrudos mente por meio os silogis-
questionrio. nas perguntas 13), 14), 15), 16), e 18) deste
22) Faa a reduo dos seguintes silogismos:

a) Todo x y.
Todo x z.
Algum z y.
b) Alguns romanos foram filsofos.
Nenhum romano grego.
Alguns filsofos no foram gregos.
23) Este indivduo angolanQ, portanto portugus.

a) Que nome d a este silogismo de forma elptica?
b) Construa com base nele um silogismo regular;
c) Qual o termo que, no '5ilogismo construdo, desem-
penha a funo de termo mdio? Justifique desen-
volvi9-amente a sua resposta.
d) A partir do silogismo regular construdo, construa
um polissilogismo com um quarto termo sua escolha.
Qual o epissilogismo desse polissilogismo?
24) Aquele que explica a Natureza sbio.

Os fsicos explicam a Natureza.
Galileu, Kpler e Newton foram fsicos.
Galileu, Kpler e Newton foram sbios.
-
"':;
a) Classifique o tipo de argumentao acima expressa.

b) Este tipo de argumentao admite duas formas.
Caracterize-as.
25) Distinga silogismos categricos de silogismos hipotticos.

e , ue conhece e d
De entre estes ltimos, defina as di1erentes espec1es q
exemplos. e, d um polissilogismo em
b
26) Construa com os termos a, ,
que o prossilogismo seja do modo E l O.
QUESTIONRIOS
t7
2
7) Porque razo se chama ao epiquerema silogismo dos advo-
gados? .Exemplifique. _ ~ . _
-
28) Deves dedicar-te reflexo filosfica, porque s inteligente,
amas a verdade e tens um esprito lucidamente crtico.
a) Como classifica o argumento acima expresso?

~ b) Tome explcita a proposio que nele se en~ontra
subentendida.
e__) - Reduza o argumento a uma estrutura silogstica
regular . .
29) D exemplo de um dilema clebre. Caracterize esse tipo

de silogismo irregular. -
V
,
FALACIAS
1) A que se d o nome de falcia?
2) Distinga sofis1nas de paralogis1nas.
3) Faa uma classificao das principais espcies de falcias

que estudou.
4) Determine as espcies de f aldlas que se encontram nos segui-

tes argumentos :
a) Se todos os mamferes so vertebrados, pode con-

cluir-se que todos os vertebrados so mamferos;
b) Dado que- falso que todos os potugueses so euro-

peus deve concluir-se que tambm falsa a afirmao
de que nenhum o ;
e) Todos os metais so bons condutores de calor; ora, o
ferro bom condutor de calor; portanto, un1 metal.
-
5) Os ditados populares, apesar do seu val9r emprico e . ~o
interesse etnogrfico que revelam, esto, no entanto, cheios de fal- -
cias. Classifique as seguintes:
a) Aurora ruiva, ou vento ou chuva~

b) A lua, como quinta, assim pinta;
c) Maro, marago, manh de inverno, tarde de vero.
6) At nas cincias mais perfeitas possvel encontrar alguma

doutrina exclusivamente mantida pelo princpio de autoridade. Demons-
trar a falsidade dessa concepo e, sendo possvel, refut-la com
novas investigaes, constituir sempre excelente modo de iniciar a
prpria obra cientfica (Ran1n y Cajal).
a) Que sofisma denuncia aqui este notvel sbio contem-
porneo?
b) Caracterize essa espcie de sofisma, contrapondo-lhe
o antdoto aconselhado pelo autor.
e) Em que medida o critrio de verdade condenado
incompatvel con1 a dvida metdica cartesiana?
7) Falando do Homem, no poema Ideal Negativo, escreveu

Guerra Junqueiro uma interminvel apstrofe de que fazem parte os
seguintes versos:
Tu, tomo de p, que encaras face a face

A eternidade, tu, Prometeu resoluto,
Que pesas na tua mo, onde mal cabe um fruto,
Quantos rnundos a arder Deus arrojou no espao,
...............................................................
Tu, cujo misterioso e mortal pensamento,
Inquilino fugaz duma caveira a rir,
Enche o universo desde o znite ao nadir.
a) Os termos e expresses em itlico constituem, no dom-
nio lgico, autnticas falcias. As falcias deste tipo
s? caractersticas da linguagem potica, que no
ev1~~ntemente: _linguagem rigorosa. Classifique as
especzes de f alacias cometidas.
QUESTIONRIOS 119
b) Procure dar aos termos e expresses o seu sentido mais

exacto, mostrando em que medida o autor o alterou na
linguagem potica.
VI
IMPORTNCIA DA LGICA CLSSICA
Desenvolva o tema con1 o ttulo acima indicado, subordinan...

do-o s alneas:
a) O Organon de Aristteles - sua influncia na histria

da filosofia ;
b) Problemas fundamentais;
e) Valor e limites da lgica clssica .
.. .
LGICA INDUTIVA
1) Atente no seguinte texto de Francisco Bacon:

0 homem, servidor e intrprete da natureza, apenas actua e co1n-
preende na medida dos seus descobrimentos experimentais e racionais das
leis dessa natureza, fora disso, nada mais sabe nenz pode.
a) Quem foi Francisco Bacon?
b) Que ttulo ps obra em que procura estabelecer as

bases de um novo instrumento lgico em oposio
ao Organon de Aristteles?
e) Que poca - histrica _ contempornea da obra de

Bacon? Mostrem que medida os grandes aconteci-
mentos humanos dessa poca justificam o valor e
significado da obra de Bacon?
d) Cite alguns sbios portugueses percursores da nova

mentalidade europeia.
e) Desenvolva o contedo do texto de Bacon acima

expresso, caracterizando mais detalhadamente as ideias
do filsofo ingls sob~e a natureza do mtodo experi-
mental.
f) Caracterize as diferentes espcies de preconceitos (os

idola) que, segundo Bacon, prejudicam o trabalho do
investigador cientfico.
g) Aconselha Bacon o emprego de trs Tbuas que per-

mitem o registo metdico e rigoroso dos factos a obser-
var. Quais so essas tbuas e em que consistem?
~ ~ -2)-- <:"2ue valor confere Francisco Sanches lgica silogstica?
~ustifique a sua resposta, mostrando at que ponto Francisco
Sanches tinha ou no tinha razo.
3) Que preceitos aconselha Descartes a seguir para alcanar

conhecimentos seguros?
4) Em que sentido se pode dizer que a dvida metdica se

ope dvida sistemtica?
5) Leibnitz fez urna tentativa interessante para reabilitar a

lgica formal. Explique etn que consiste o chamado clculo lgico
de Leibnitz.
6) Desenvolva o seguinte tema:
Valor da lgica clssica e da lgica indutiva
subordinando o seu trabalho s alneas:
a) Problemtica fundamental da lgica clssica; resumo

do Organon de Aristteles;
b) Causas da ruptura entre o pensamento medieval e o
pensamento moderno;
e) Importncia da obra de Bacon e de Descartes: traos

gerais;
d) Aristteles no entendeu a Lgica como arte de pensar.

Explique a expresso e mostre em que medida se
justificava ou no o repdio da lgica clssica pelos
pensadores e cientistas da Idade Moderna.
7) Explique o sentido das seguintes afirmaes de Claude

Bernard:
A observao , pois, aquilo que mostra os factos; a experincia
aquilo que instrui sobre os factos.
~~~~~~___.~--~--~--~~~~~~--
122
CADERNO AUXILIAn DE FILOSOFIA
8) Das afirmaes que se seguem. ponh em relevo o que

lhe parecer certo e critique o que lhe parecer inexacto:
a) Do mesmo modo que, no seu estado actual, as cincias

no podem servir para o progresso da indstria, a
lgica que hoje temos no pode servir para o progresso
da cincia (Bacon).
b) No se exigem do silogismo os princpios da cincia;

ele incapaz de apreender a natureza na sua subtileza;
conexiona o esprito, mas no as coisas (Bacon).
e) No que respeita lgica, os seus silogismos e a maior

parte dos seus outros preceitos servem mais para
explicar a outrem o que j se sabe do que para
aprender (Descartes).
d) Os-dialcticos no podem construir nenhum silogismo

ou regra que chegue a uma concluso verdadeira,
se eles no possuem previamente a matria, ou, o
que vem ao n1esmo, se eles no conhecerem antes a
prpria verdade que deduzem no seu silogismo. De
onde resulta que eles prprios nada aprendem de
novo duma tal forma. (Descartes).
LGICA MODERNA
I) Q~e valor histrico se deve atribuir obra de Boole, na

evoluo dos estudos de lgica?
. 2) Trace um breve panorama histrico da evoluo da lgica

depois de Boole. Cite outros lgicos contemporneos de nomeada
referindo os trabalhos a que se dedicaram. '
3) Em que consistiu a chamada quantificao do predicado de

Hamilton? Exemplifique.
4) O q11e se entende por soma lgica e por produto lgico?
.Q ue correspondncia tm estas operaes lgicas em lgebra? Exem-
plifique.
5) Identifique os seguintes smbolos lgicos:
6) Exprima simbolicamente os princpios lgicos de identi-

dade, no contradio e terceiro excludo.
7) Apresente exemplos de proposies que evidenciem a
insuficincia analtica da lgica clssica.
8) Numa batalha speramente travada, pelo menos 70% dos
combatentes perderam um olho, pelo menos 75% perderam uma
orelha, pelo menos 80% perderam um brao, pelos menos 85% per-
deram uma perna. Quantos combatentes perderam simultneamente
um olho, uma orelha, um brao e uma perna? (extrado de Estruturas
lgicas de Ed. Curvelo).
9) Uma moeda de 20 cents., uma moeda de 50 cents. e uma
moeda de 1 escudo foram lanadas ao ar 100 vezes. A de 20 cents.

ca~u caras 70 vezes, aele 50 cents"" caiu caras 50 vezes, e a de 1 escudo
caiu caras -5~ vezes. A d~ 20 cents. e a de 50 cents. caram ambas
caras 31 vezes, a de 50 cents. e a de I escudo cairam ambas caras 28
vezes. Prove que as trs moedas cairam simultneamente caras pelo
menos 9 ~ vezes, e que as trs cairam simultneamente cunhos pelo
menos- II vezes. (idem - Ed. Curvelo).
Io) Mostre que uma classe de proposies consideradas junta-

mente com as ligaes e, ou e no uma lgebra de Boole (idem -
Curvelo).
_ 11)A que condies deve obedecer um sisteqia parcialmente
ordenado para que se diga que possui a propriedade de estrutura?
. , . , .
12)
D exemplos de estruturas ar1tmet1cas e geometr1cas.
- r3) O que se entende por axiomtica? Que diferena h entre

uma axiomtica relacional e uma axiomtica operacional?
) D exemplos de axiomticas, explicando verbalmente o
14
sentido das expresses logsticas empregadas.
15) - Leia as seguintes expresses:

a,.=== -a
a Cls. ::J a X 3 (X a) = a
O~JECTO DA LGICA
I) Atente no seguinte texto de Alexandre Pdoa:

. U,m. dos meus amigos divertia-se lanando contra toda a esp-
cie de log1ca uma objeco que considerava decisiva: ela no cura
nem idiotas nem loucos, e s pessoas de senso no serve para coisa
alguma. Mas teve de reconhecer o erro quando lhe apresentei o
exemplo de um rstico que, ouvindo falar do microscpio, perguntou
se curava os cegos; e, tendo sabido que no, no compreendia que
vantagem podiam tirar dele os que possuem olhos sos.
Na verdade, assim como o microscpio um instrumento e a bacte-
riologia uma cincia, e nem um nem outra nos ensinam a ver, tamb1n a
ideografia lgica um instrumento e a lgica 1natemtica urna cincia, e
nem uma nem outra nos ensinam a raciocinar. Mas, como o microscpio
permite ver bacilos que pela pequenez escapam viso ordinria, do
mesmo modo a ideografia lgica perrnite representar conceitos que pela
subtileza escapam a toda determinao precisa com a linguagem corrente.
En1 funo do texto, responda s seguintes questes:

a) Que entende o autor por ideografia lgica?
b) Em que medida que a ideografia lgica um ins-
trumento?
A quantificao do predicado de Hamilton represen-
c)
tar um progresso em relao ideografia lgica
aristotlica? Porqu?
O amigo do autor considerava que a lgica dever!
d)
ensinar a pensar correctamente. A que concepao
. ,., ?
lgica pode correspol)der essa interpretaao.
I26 CADERNO AUXILTAR DE FILOSOFIA
e) D a exp li cao dada pode

.
concluir-se que o autor
. :> J .
considera a lgica essencialmente normativa. ust1-
fique.
f) A partir do texto, procure dar uma definio de lgica

que se adapte concepo moderna.
2) Segundo a concepo tradicional de lgica - qual o

objecto desta cincia?
3) Como se distinguiam tradicionalmente a lgica formal ou

pura e metodologia?
4) Faa a mes1na distino segundo o ponto de vista da lgica

moderna.
5) Para a lgica moderna, qual o objecto de estudo desta disci-

plina? E o seu mtodo ?
7) Comente os seguintes pensamentos de lgicos clebres,

sobre o valor e significado da Lgica:
a) A lgica a cincia positiva- das leis do .pensamento.

As me~odolog~as so as lgicas das cincias particula-
rs (C. Serrus). ..
b) A lgica pode ser definida como a cincia que estuda

os princpios gerais do pensamento vlido (Lalande).
e) A antiga lgica tradicional, considerada 110 seu funda-

damento, apenas uma parte da nova lgica, parte que,
do ponto de vista das necessidades das outras cincias,
em particular da matemtica, inteiramente desti-
tuda de significao (Tarski).
QUESTIONRIOS I27
d) A lgica a cincia das condies do verdadeiro, isto

, uma cincia terica; mas no uma cincia norma-
tiva (Goblot).
8) Depois da matematzao chegou a hora da purificao

ou logificao das cincias; nenhuma sntese, nenhuma integrao,
nenhuma unificao possvel e fecunda seno atravs de essa
purificao; nenhum absurdo h nisto, pois a unificao far-se- pelas
razes das rvores das cincias particulares - e ser autntica -,
e no pelos ramos - e seria enganadora.
Ponha em evidncia todas as perspectivas de lgica modeJna
implcitas neste texto de Edmundo Curvelo, estabelecendo confronto
com a concepo tradicional ou aristotlica.
NDICE
Pgs.
Nota Prvia . 9
l
Introduo 11
A Palavra e a Frase . . . ' 12
Analise Lgica e Anlise gramatical 12
Psicologia, Lgica e Gramtica 13
Matria a forma do pensamento 13
Primado da relao predicativa . . 16
Lgica Clssica . 17
Lgica do Conceito 17
Palavra, termo e conceito. 17
Extenso e compreenso das ideias. 18
Gnero . 20
' '
Gnero prximo. .. 20
Gnero sup~emo. 21
Espcie . 21
Espcie nfima 21
' 21
Diferena especfica.
Classificao dos termos . 21
Definio, Diviso e Classificao . 23
25
Lgica do Juzo .
25
O Juzo e a Preposio.
25
Os elementos do juzo.
26
Classificao dos juzos
Problema fundamental da Lgica Clssica . 28
Quantificao dos sujeitos e dos predicados 32
Inferncias Imediatas 34
Noo da inferncia. 34
Gonverso . 34
O osio . 35
. , Pgs .
Lgica do Raciocnio. . ... 39
Espcies de Raciocnio. 39
O Silogismo . 40
Estrutura do Silogismo Regular. .. 40
Figuras do Silogismo 42
Leis do Silogismo 43
Modos do Sllogismo 45
Reduo do Silogismo . 49
Valor prtico do Silogismo . 51
Regras para a formulao dos silogismos regulares 52
Classificao dos Silogismos . 53
Silogismos Irregulares . i ~ . ~- i ~ .
,.
53
F~lcias. 59
Classificao das Falcias. 60
'
Concluso . 66
Lgica Indutiva. 68
Introduo. 68
O <(N ovum Orgadon do Francisco Bacon . 70
O Discurso do Mtodo~ de Descartes . 72
Valor da Lgica Clssica e da Lgica Indutiva 73
Leibnitz e o clculo lgico . 74
Lgica Moderna. 76
Introduo . 76
Quantificao do predicado, de Hamilton 77
Insuficincia analtica da relao predicativa . 78
Lgica de Classes 80
Produto lgico e soma lgica. 81
Produto de classes complementares 83
Soma de duas classes complementares 83
Pgs.
Universo lgico e classe de todas as classes nulas. 83
Lgicas monovalentes, bivalentes e polivalentes 85
lgebra de Boole 86
Axiomatizao da lgebra de Boole. 88
Aplicaes da lgebra de Boole. 90
A lgebra de Boole axiomatiza:la por Birkhoff. 93
Estruturas lgicas 94
Exemplos de Estruturas 95
Perspectivas da lgica moderna. 96
Objecto da Lgica . 98
Concepo Clssica . 98
Concepo Indutiva. 99
Concepo actual. . ' 99
Valor da Lgica Clssica e da Lgica Moderna 100
101
Vocabulrio Auxiliar .
109
Questionrios
109
Lgica Clssica .
109
I - Lgica do Conceito.
110
II - Lgica do Juzo ..
111
III - Inferncias Imediatas
IV - Inferncias Mediatas
. . 113
117
V - Falcias. . 119
VI - Importncia da Lgica Clssica.
120
Lgica Indutiva. 123
Lgica Moderna. . .
125
Objecto da Lgica .

Lógica

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Lógica

Uploaded by

Copyright:

Available Formats

r

J-0-S 1!. PECEGUEI R.0-

-VOCABULRIO AUXILIAR adaptado ao esclareci-

- QUESTIONRIOS de revises com perguntas, exer-

- NDICE IDEOGRFICO que permitir encontrar

Os problemas d-e lgica constituem, hoje em dia, tema da maior

1 Aristteles (384-322 A. C.), o grande filsofo grego a quem

As palavras - instrumentos com que se exprimem ideias - so

Anlise lgica e anlise gramatical

Primado do pensamento expresso quer dizer primado lgico.

por exemplo, pensam que est um lindo dia de primavera e comu-

Psicologia, lgica e gramtica

Se recordarmos agora os conhecimentos que adquirimos em

Matria e forma do pensamento

Cnsi.deremos o seguinte. texto ( = discur~o) :

14 CADERNO AUXILIAR DE FILOSOFIA

ento puros instrumentos gramaticais (Charles Serrus - Trait de

Se quisermos destacar as afirmaes mais importantes do texto

As afirmaes (==proposies) 1), 3), 4), 5) e 8) fcilmente se

~ A.s .restantes afirmaes pontadas; claramente se v, "poderiam

O acto do conhecimento o juzo

Acrescentemos agora lista afirmaes como estas :

I 1)A lgica no a gramtica.

Verifica-se que se trata ainda de relaes formais entre um dado

Se tomarmos em conjunto ~as proposies. expressas em 5),

A Terra = Toda a Terra

talvez no seja difcil compreender o seguinte quadro das relaes

A lgica clssica precisamente, no qu~ ~ de, es.sencial na

Primado da relao predicativa

10 Palavra, termo e conceito

Dissemos que por palavras se exprimem, numa lnguaJ as idez-as

e) Nem-toda-a-gente-tem-mesa-para-comer quanto mais para

11 Extenso e compreenso das ideias

Na frase Nem toda a gente tem mesa para comen> o termo

j Todos os homens so mortais

No pritneiro exemplo, o termo hon1em (=homens; o singular e

O termo Aristteles toma a ideia em toda a sua extenso,

Extenso de uma ideia o conjunto de indivduos ( = objec-

Compreenso de uma ideia o conjunto de caractersticas

Admitamos a seguinte srie de termos:

Substncia - Animal - Vertebrado - Mamfero - Primata -

Se reptesentssemos a srie por meio de crculos, viria:

O que permite perceber imediatamente que o termo Subs-

12 Gnero - a ideia de mior extenso que inclui em si outra

Ex.: Vertebrado GNERO, em relao a n1amfero, prnata, etc.

1 s Gnero prximo - a ideia de extenso imediatamente

Ex.: Vertebrado GNERO PRXIMO de Mamfero.

14 Gnero supremo - a ideia de maior extenso que deter-

tG Espcie nfi~a - a ideia de menor extenso que no con-

ts Termos universais - os que exprimem ideias ou conceitos

Ex.: Alguns metais so slidos

20 Termos singulares - os que exprimem uma ideia ou con-

Ex. : O homem que ali est professor

21 Termos contrrios - os que expritnem ideias opostas.

Ex.: Grande - Pequeno

22 Termos contraditrios - os que exprimem ideias comple-

2a Termos unvocos - os que designam ideias cujo sentido

Ex. : A soma dos ngulos internos de um tringulo igual

24 Termos equvocos - os que exprimem ideias a que podem

Ex. : Este homem tem uma grande cabea.

Definio, Diviso e Classificao

25 Definio - a operao lgica que consiste em analisar

a) Definio real e essencial, quando indica as caractersticas