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.

A informao contida em cada uma destas proposies pode ser representada, de acordo com o mtodo dos diagramas de Venn, por dois

A S I X S P P

E S O X S P P

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-

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 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-

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

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) x (Hx Gx); x (Fx Gx), Fa Ga. Numa das verses, o princpio dictum de nullo estabelece que aquilo que no predicvel de nenhuma das coisas pertencentes a uma

264