diagramas de Venn

gonal da matriz, isto , a sucesso 00, 11, 22,

33, e defina-se dn = 1 nn. Observe-se que
a sucesso dos dn difere de cada sucesso dada
por uma linha da matriz: uma dada linha n0,
n1, n2, n3, difere da sucesso d0, d1, d2,
d3, pelo menos no lugar n, visto que dn toma
o valor 1 se, e s se, nn toma o valor 0.
00
10
20
30

01
11
21
31

02
12
22
32

03
13
23
33

bra booleana de classes (ver LGEBRA DE BOOO mtodo foi inventado por John Venn,
para a verso booleana das quatro proposies
categricas (na qual no se faz uso como na
aristotlica da pressuposio existencial). Leonhard Euler tinha anteriormente apresentado
uma verso diferente de diagramas, inferior
de Venn, por conter ambiguidades.
As quatro proposies categricas da lgica
aristotlica so as seguintes:
LE).

A) Universal afirmativa (Todos os S so P);

E) Universal negativa (Nenhum S P);
I) Particular afirmativa (Algum S P);
O) Particular negativa (Algum S no P).

A construo que se acabou de efectuar,

combinada com uma reductio ad absurdum,
permite demonstrar que o conjunto de todas as
sucesses de zeros e uns no equipotente ao
conjunto dos nmeros naturais. O mtodo da
diagonalizao no depende do facto do conjunto de ndices ser numervel e (essencialmente o mesmo argumento) permite demonstrar o TEOREMA DE CANTOR.
O mtodo da diagonalizao tem grande
importncia em lgica: ele aparece sob diferentes roupagens na construo da coleco de Russell (ver PARADOXO DE RUSSELL), na teoria das
funes recursivas, na teoria descritiva dos conjuntos, nas demonstraes do primeiro teorema
da incompletude de Gdel e do teorema da indefinibilidade da verdade de Tarski, etc. FF
Cantor, G. 1881. On Elementary Question in the
Theory of Manifolds. In William B. Ewald, org.,
From Kant to Hilbert. Oxford: Oxford Science
Publications, 1996.
Kleene, S. C. 1971. Introduction to Metamathematics. Amesterdo: North-Holland.

diagramas de Venn Um mtodo lgico, simples e de alcance limitado, atravs do qual

possvel representar diagramaticamente a
informao contida em cada uma das quatro
proposies categricas da lgica silogstica
(ver SILOGISMO) e, em parte, tambm da lge-

A informao contida em cada uma destas

proposies pode ser representada, de acordo
com o mtodo dos diagramas de Venn, por dois

E
S

X
S

O
X
S

crculos sobrepostos, como na figura seguinte:

Cada crculo representa a extenso de um
dos dois temos gerais; o primeiro crculo representa a extenso de S e o segundo a extenso
de P. A sobreposio dos dois crculos gera
quatro regies: uma na qual os dois crculos se
sobrepem (a do meio); outra que pertence a S
mas no a P (a da esquerda); outra que pertence
a P mas no a S (a da direita); e a regio envolvente (fora dos dois crculos). A regio na qual
os dois crculos se sobrepem representa os
indivduos que so simultaneamente S e P.
As regies sombreadas significam vazio:
nenhum indivduo ocupa essa regio. As regies
a branco significam falta de informao. As
regies que contm uma cruz significam que
pelo menos um indivduo ocupa essa regio. A
regio envolvente (fora dos dois crculos) repre-

262

diagramas de Venn
senta os indivduos que nem so S nem so P;
ela est convenientemente deixada em branco
visto que as quatro proposies nada dizem
acerca destes indivduos. Vejamos como interpretar cada um dos quatro diagramas.
A) O crculo S que fica fora do crculo P
est sombreado representando assim que
nenhum indivduo ocupa essa regio. As restantes regies esto brancas, representando que
nada se sabe acerca delas. Tomemos um exemplo: Todos os bicfalos so imortais. O que
tornaria esta frase falsa seria a existncia de um
bicfalo (de um S) no imortal (que no fosse
P). Esta possibilidade desautorizada pelo
sombreado. Contudo, podem existir ou no
bicfalos, podem existir ou no indivduos imortais e podem existir ou no indivduos imortais
que no sejam bicfalos. Em todos estes casos
queremos que a frase resulte verdadeira; assim,
todas essas possibilidades so deixadas convenientemente em branco no diagrama, visto que
no sabemos qual delas verdadeira.
E) O sombreado na regio sobreposta significa que nenhum indivduo ocupa essa regio.
As outras duas regies so convenientemente
deixadas em branco no por pensarmos que h
indivduos que so S e no so P, ou por pensarmos que h indivduos que so P e no so
S, mas pelas razes que acabmos de expor a
propsito de A.
I) Neste caso, a cruz na regio sobreposta
compromete-nos com a existncia de (pelo
menos) um indivduo que S e P. As restantes
regies so deixadas em branco por razes j
explicadas.
O) Neste caso, a cruz na regio do crculo S
que fica fora do crculo P compromete-nos com
a existncia de (pelo menos) um indivduo que
S e no P. As restantes regies so deixadas
em branco por razes j explicadas.
Algumas leis simples que governam a relao entre as proposies categricas esto
representadas graficamente nos diagramas. Por
exemplo, a converso simples que se aplica
quer a E quer a I e que permite inverter os termos nestas proposies est representada na
simetria dos seus diagramas respectivos. A

contradio mtua entre as proposies A e O

est representada pelo facto de o diagrama de A
mostrar sombreado onde e apenas onde o diagrama de O apresenta uma cruz. E outras relaes lgicas entre as quatro proposies categricas, que o leitor poder encontrar no artigo
SILOGISMO, podem ainda ser visualizadas atravs destes diagramas.
Os diagramas de Venn podem ser usados
para testar a validade de um silogismo. Um
silogismo uma forma particular de argumento
dedutivo que tem duas premissas e uma concluso, sendo categricas as frases que constituem as premissas e a concluso. Para mais, no
conjunto das premissas e concluso no existem mais de trs termos, o termo que ocorre
duas vezes nas premissas no ocorre na concluso. Como todos os argumentos dedutivos,
os silogismos podem ser vlidos ou invlidos.
Um silogismo vlido no pode ter premissas
verdadeiras e concluso falsa. Para testar a
validade de um silogismo de acordo com o
mtodo dos diagramas de Venn, usam-se trs
crculos que se sobrepem parcialmente, representando cada crculo um dos termos envolvidos nesse silogismo. Representando agora
esses termos por S, P e Q, obtemos a forma
geral de um diagrama de Venn para testar a
validade de um silogismo:
S

Agora, dado um silogismo particular, inscrevemos o contedo das duas premissas no

diagrama (de acordo com a tcnica para representar as proposies A, E, I e O j explicada)
e verificamos se o contedo da concluso apareceu automaticamente no diagrama. Se foi
esse o caso o silogismo em questo vlido. Se
no foi, no . Um exemplo:
P1) Todos os homens so mortais (todo o S P).

263

dialecto
P2)Todos os portugueses so homens (todo o Q S);
C) Logo, todos os portugueses so mortais (todo o Q
P).

Ao inscrever o contedo de P1 ficamos com

o diagrama da esquerda. Ao inscrever o contedo de P2 no diagrama da direita, vemos que
nele o subdiagrama que corresponde concluso apareceu imediatamente. Logo, o silogismo
em questo vlido.

Este mtodo pode ser usado no s para

testar a validade de um silogismo, como tambm para determinar se, de duas proposies
categricas (que tenham entre si trs termos)
alguma concluso categrica pode ser extrada.
Um argumento silogstico com mais de duas
premissas e mais de trs termos pode no ser
impeditivo de uma aplicao do mtodo, se
esse argumento for decomponvel em silogismos intermdios, que contribuam com
concluses intermdias at se chegar concluso final. Neste caso, a actividade automtica de aplicao do mtodo tem de ser complementada por outra, exterior ao mtodo, de
decomposio da cadeia silogstica em silogismos intermdios. JS

mitivas de Aristteles). Numa das verses, o

princpio dictum de omni (literalmente, o que se
diz, ou afirma, de todas as coisas) estabelece que
aquilo que predicvel de todas as coisas pertencentes a uma certa classe de coisas predicvel de todas as coisas pertencentes a qualquer
classe includa naquela classe. Noutra verso,
aparentada com a primeira, o princpio estabelece que aquilo que predicvel de todas as coisas
pertencentes a uma certa classe de coisas predicvel de cada uma dessas coisas em particular.
Por exemplo, dado que a propriedade de ser um
mamfero predicvel de todas as baleias, e
dado que a classe das orcas est includa na classe das baleias, segue-se que aquela propriedade
predicvel de todas as orcas. E, dado que a
propriedade de ser um mamfero predicvel de
todas as baleias, e que Moby Dick uma baleia,
segue-se que a propriedade em questo predicvel de Moby Dick.
A primeira verso corresponde, aproximadamente, ao modo silogstico vlido BARBARA
da primeira figura:
1) Todos os F so G
2) Todos os H so F
Todos os H so G

A segunda verso corresponde, aproximadamente, forma de inferncia (no silogstica) que resulta de Barbara substituindo o termo
geral H, que ocupa a posio de termo menor,
por um termo singular a:
1) Todos os F so G
2) a um F
a um G

dialecto Ver IDIOLECTO.

dialelo O mesmo que ARGUMENTO CIRCULAR.
dictum de omni et nullo (lat., o que se afirma
de tudo e de nada) O rtulo dictum de omni et
nullo abrange dois princpios lgicos, por
vezes considerados a base de todo o raciocnio
silogstico: o princpio dictum de omni e o
princpio dictum de nullo (Kneale 1962: 81,
278; segundo os Kneale, tal pretenso incorrecta e est longe de representar as ideias pri-

Representaes das duas verses do princpio dictum de omni na linguagem da lgica de

primeira ordem so dadas, respectivamente,
nos seguintes sequentes (ou padres de inferncia) vlidos: x (Fx Gx), x (Hx Fx)
A x (Hx Gx); x (Fx Gx), Fa A Ga.
Numa das verses, o princpio dictum de
nullo estabelece que aquilo que no predicvel de nenhuma das coisas pertencentes a uma

264