IV

Mtodo Simblico Versus Mtodo Diagramas de Euler E Diagramas de Venn

- 124 -

Mtodo Simblico Versus Mtodo Diagramas de Euler e Diagramas de Venn

Para explicar o que o Mtodo Simblico e em que aspecto difere dos outros mtodos, realizam-se as seguintes comparaes, entre o mtodo de diagramas de Euler (17071783), base de crculos, o mtodo de diagramas de Venn (1834-1923 contemporneo de Lewis Carroll) tambm trabalha com crculos, segue-se ento a apresentao do Mtodo de Lewis Carroll. A sua grande diferena com os restantes representar sob uma rea fechada um espao infinito. Conclui-se com o estudo de um silogismo pelos vrios mtodos.

1. Mtodo de Diagramas de Euler Primeiramente representam-se apenas proposies por diagramas. Nos crculos bem conhecidos de Euler, supe-se cada uma conter uma classe, e o Diagrama consiste em dois crculos, os quais exibem as relaes, como as incluses excluses existentes entre as duas classes. Ento o Diagrama aqui dado, x y Exibe duas classes, cujos atributos x e y esto to relacionados um com o outro em que as seguintes proposies so todas simultaneamente verdadeiras: -Todo x y, Nenhum x no-y, Algum x y, Alguns y so no-x, Alguns no-y so no-x, e certamente as Converses das quatro ltimas. Semelhantemente, com este Diagrama y x As proposies seguintes so verdadeiras: -Todo y x, Nenhum y no-x, Algum y x, Alguns x so no-y, Alguns no-x so no-y, e certamente as Converses das quatro ltimas. Semelhantemente, com este Diagrama
x y

As proposies seguintes so verdadeiras: -Todo x no-y, Todo y no-x, Nenhum x y, Alguns x so no-y, Alguns y so no-x, Alguns no-x so noy, e certamente as Converses das quatro ltimas. Semelhantemente, com este Diagrama
x y

As proposies seguintes so verdadeiras: -Alguns x so y, Alguns x so no-y, Alguns no-x so y, Alguns no-x so no-y, e certamente as Converses das quatro ltimas. - 125 -

Nota-se que todos os diagramas de Euler asseguram Alguns no-x so no-y. Por vezes isso pode no ser verdade!!! Agora para representar todo o x y, o primeiro destes diagramas seria suficiente. Semelhantemente para representar Nenhum x y o terceiro serve. Mas para representar qualquer Proposio Particular, pelo menos trs diagramas seriam necessrios (com o intuito de incluir todos estes casos possveis), para Alguns no-x so no-y, todos os quatro.

2. Mtodo de Diagramas de Venn Representa-se no-x por x . Venn e o seu Mtodo de Diagramas so um bom avano para o mtodo desenvolvido por Lewis Carroll. Usa o terceiro Diagrama para representar qualquer relao desejada entre x e y, simplesmente com uma sombra no compartimento conhecido por estar vazio, e colocando um mais num que se saiba estar ocupado. No entanto ele representa as 3 proposies Alguns x so y, Nenhum x y, e todo x y, como se segue,
+ +

Ser visto que das quatro Classes, cujo conjunto peculiar de atributos so xy, xy, xy e xy, apenas trs so providenciados em compartimentos fechados, enquanto que ao quarto permitido o resto do plano infinito. Este arranjo iria envolver-nos em srios problemas, ao tentar representar Nenhum x y . Venn uma vez encontrou esta rdua tarefa; mas evitou-a, de uma maneira de mestre, com uma simples nota No se ir dar ao trabalho de sombrear o exterior deste diagrama. Para representar duas proposies (contendo um termo comum) juntas, ser preciso um diagrama de trs-letras. Este o nico usado pelo Venn. x

Aqui novamente s se v sete compartimentos fechados, para acomodar as oito classes cujo conjunto peculiar de atributos xym, xym,... Para quatro termos Venn diz, o diagrama mais simples e simtrico parece que produz o efeito de quatro crculos interceptados uns nos outros de uma maneira desejada. Isto, no entanto, providencia apenas 15 compartimentos fechados. b c d a

- 126 -

Para cinco-letras, o diagrama mais simples que sugerem, Venn diz como este c b d e a

(a pequena elipse ao centro para ser considerada como uma poro do exterior de c; isto, estas quatro componentes de pores esto dentro de b e d mas no parte de c). Tem de se admitir que tal diagrama no assim to simples de desenhar como aquilo que deseja ser; mas depois considera-se a alternativa: se algum decidir trabalhar com cinco termos e todas as suas combinaes tarefa escrita desagradvel pois esto 32 combinaes envolvidas. Este diagrama d 32 compartimentos fechados. Para seis-letras, Venn sugere que se passem a usar dois diagramas, como o anterior, um com a parte-f, e outra parte-no-f, e todas as outras combinaes. Isto ele disse, dar as 64 subdivises desejadas Isto no entanto s nos d 62 compartimentos fechados, uma rea infinita, das quais duas classes abcdef e abcdef, teriam de partilhar entre elas. Para alm das 4-letras Venn no vai.

3. Mtodo de Diagramas de Lewis Carroll O seu mtodo de diagramas difere do de Venn por ter compartimentos separados assegurados para as vrias Classes, e em marcar estes compartimentos ou como ocupados ou vazios; mas a diferena est no seu mtodo assegurar uma rea fechada para o Universo de Discurso, para que a classe, a qual sendo um espao infinito, subitamente encolhido numa clula limitada como qualquer outra classe! Lewis Carroll usa rectngulos em vez de figuras de linhas curvas e, marca uma clula ocupada com um I (significando que pelo menos est l uma coisa nela), e uma clula vazia com um 0 (significando que no h coisas nela). Para duas-letras Lewis Carroll usa este diagrama,

Na metade Norte atribuda a x e a metade Sul para no-x, o Oeste a y e o Este a y. No entanto no Noroeste contm a classe-xy e a Nordeste a classe-xy e assim continuava-se... Para trs-letras, Lewis Carroll subdivide estas quatro clulas, desenhando um quadrado ao meio, o qual Lewis Carroll atribui a m, a fronteira de fora atribuda a m.

Assim tm-se oito clulas que so precisas para acomodar as oito classes, cujos conjuntos peculiar de atributos so xym, xym, etc.

- 127 -

Este ltimo diagrama o mais complexo que Lewis Carroll usa na Parte Elementar da sua Lgica Simblica3. No entanto, descreveu uns mais complexos, como por exemplo. Para quatro-letras (a qualquer a, b, c, d) ele usa este diagrama;

Atribuindo metade Norte a (e o resto do diagrama a a) metade Oeste a b, ao rectngulo horizontal a c, e ao rectngulo vertical a d. Tm-se ento 16 clulas. Para cinco-letras (acrescenta-se e), ele subdivide as 16 clulas do diagrama anterior traando pores oblquas, atribuindo a todas as pores de cima a e, e todas as pores de baixo a e. Aqui, Lewis Carroll admite que perde a vantagem em ter a classe-e ao mesmo tempo, Como as outras 4 classes ainda so fceis de encontrar; e a operao de a apagar de perto a mais fcil de apagar em relao s outras classes, tm-se agora 32 clulas. Para seis-letras (acrescentando-se h, pois Lewis Carroll evita letras com cauda) substitui as oblquas por cruzes direita, atribuindo s quatro pores, nas quais as 16 clulas esto agora divididas em mais 4 classes eh, eh, eh, eh. Tm-se agora 64 clulas. Para sete-letras (acrescenta-se k), Lewis Carroll acrescenta cruz um pequeno quadrado no interior. Todos estes 16 pequenos quadrados esto atribudos classe k, e todo o exterior classe-k; As oito pequenas clulas (as quais 16 foram divididas) esto atribudas respectivamente s 8 classes ehk, ehk,etc.... tm-se agora 128 clulas. Para oito-letras (acrescentando l), coloca-se em cada uma das 16 clulas, o rectngulo quadriculado, a qual uma cpia reduzida de todo o diagrama; e tal como as 16 clulas largas de todo o diagrama esto atribudas s 16 classes abcd e abcd,..., ento as pequenas 16 clulas de cada rectngulo quadriculado, atribuda s classes ehkl, ehkl,... No entanto o rectngulo quadriculado, no canto noroeste serve para acomodar 16 classes abcdehkl, abcdehkl,...
3

A obra Lgica Simblica abordada na parte II deste trabalho.

- 128 -

Este diagrama octoliteral contm 256 clulas. Para nove-letras, Lewis Carroll coloca dois diagramas octoliterais lado a lado, atribuindo um deles a m e ao outro a m. Tm-se ento 512 clulas. Finalmente, para dez-letras, Lewis Carroll arranja quatro diagramas octoliterais como o acima, num quadrado, atribuindo as quatro classes mn, mn, mn, mn. Tm-se agora 1024 clulas.

4. Um silogismo pelos vrios mtodos A melhor maneira de exibir as diferenas entre estes mtodos ser de resolver silogismos, tomar um exemplo em concreto e resolvendo por cada mtodo. Tome-se o exemplo: Nenhum filsofo conceituado; Algumas pessoas conceituadas no so jogadoras. Algumas pessoas, que no so jogadores, no so filsofos. (1) Soluo pelo mtodo ordinal Estas premissas, como elas esto, no do concluso, visto estarem ambas negativas. Se por Permutao ou Obverso, escreve-se a premissa menor, ento Algumas pessoas conceituadas so no jogadores, Pode-se obter uma concluso em Fresison, vem Nenhum filsofo conceituado; Algumas pessoas conceituadas so no-jogadores. Alguns no jogadores so no filsofos Isto pode ser provado por reduo Ferio, vem: Nenhuma pessoa conceituada filsofa: Alguns no jogadores so conceituados. Alguns no jogadores so no filsofos. A validade do Ferio segue directamente do Axioma De Omni et Nullo. (2) Representao simblica Antes de continuar, necessrio traduzir este silogismo para a forma abstracta. Tome-se pessoas como universo de Discurso x = filsofos m = conceituados y = jogadores

- 129 -

O silogismo pode ser escrito como, Nenhum x m; Alguns m so y. Alguns y so x . (3) Soluo pelo mtodo de Euler A premissa maior requer apenas um diagrama, vem, A menor requer trs, vem
2 y m y 3 m 4 y m 1 x m

A combinao da maior com a menor, de todas as maneiras possveis, requer 9, vem: Fig. 1 e 2 vem,
5 x y m x y 6 m

7 xy m x y

8 m y x

9 m

Fig. 1 e 3 vem,
10 x y m x 11 y m x y 12 m

Fig. 1 e 4 vem,
13 x y m

Deste grupo (Fig.5 at 13) tem-se, no considerando m, para encontrar a relao de x e y. Ao examinar encontra-se que as fig. 5, 10, 13 expresso a relao interna de mtua excluso. E que a fig. 7 expressa coincidncia e, as fig. 8 e 12 expressam total incluso de x em y. Na fig. 9 expressa total incluso de y em x. Tm-se ento 5 Diagramas Bilaterais de x e y, vem
14 x y x 15 y 16 xy 17 x y 18 y x

Onde a nica proposio representada por todas elas alguns no-y so no-x, isto , Algumas pessoas, que no so jogadores, so no filsofos um resultado que Euler teria dificilmente considerado vlido, visto que ele v como assumido que a proposio desta forma sempre verdade!

- 130 -

(4) Soluo pelo mtodo de Diagramas de Venn A prxima soluo foi educadamente suplicada a Lewis Carroll pelo Venn. A premissa menor declara que alguns dos constituintes em my tm de ser assegurados, marca-se esses constituintes com uma cruz.

A maior declara que todo o xm tem de ser destrudo; apaga-se. Depois, como alguns my so para ser salvos, tem de ser claramente myx. Isto , l deve existir myx; ou, eliminando m,yx. Alguns y so x, ou Alguns no-jogadores so no filsofos.

(5) Soluo pelo mtodo de Diagramas de Lewis Carroll A primeira premissa assegura que nenhum xm existe, ento marca-se o compartimento-xy como vazio, colocando um 0 em cada uma das suas clulas

A segunda assegura que alguns my existem: logo marca-se o compartimento-my como ocupado, colocando um I na sua nica clula acessvel. A nica informao que isto d, relativamente a x e a y, que o compartimento xy est ocupado, isto , Algum xy existe. No entanto Algum x y , isto , Algumas pessoas, que so no filsofos, so no jogadores.

- 131 -