Anda di halaman 1dari 2

LGICA DOS CONJUNTOS Para a Lgica dos Conjuntos, deve-se usar das mesmas ideias contidas naquelas regras

do Silogismo aristotlico, ou seja, a regra para os conjuntos serve muito bem para o silogismo perfeito de Aristteles. Quantitativamente, o que se afirma de um todo, afirma-se tambm da parte deste todo. De outro modo, no se pode tirar de um todo o que no est contido neste todo. Dessa forma, o que se conclui deduzido de uma das proposies. Euler (1707-1783, matemtico russo), em suas "cartas a uma princesa da Alemanha" exps um mtodo muito interessantes, representando por crculos os trs termos do silogismo. Com esses crculo, que formam 36 figuras, examinou todas as as espcies de silogismo. As 36 figuras sugeridas podem ser reduzidas a 3 figuras apenas, que so suficientes para responder s 19 combinaes legtimas (3 para a 1 figura; 12 para a 2 figura; 4 para a 3 figura) que se podem formar dos silogismos. Dessas 19 combinaes, trs regras so essenciais: 1. ou o todo (com suas partes) est includo no outro todo; 2. ou no est (e nesse caso, suas partes tambm no esto); 3 ou apenas parte do primeiro participa do outro. Como se v, so trs situaes quantitativamente possveis, nas quais, simplificadamente, se inclui qualquer silogismo. De outro modo se pode dizer que: 1. o que se afirma do todo, tambm se afirma da parte desse todo; 2. o que se afirma do primeiro e se nega do segundo, quer no todo quer nas partes, significa que esse segundo est fora do primeiro; 3. se apenas parte de um todo est contida em um outro, ento, o que se afirma da outra parte do primeiro pode, ou no, estar contida no segundo, porque somente se admitiu que apenas uma parte que estava contida.

1 FIGURA

2 FIGURA

3 FIGURA

Das figuras se pode extrair as seguintes proposies:


1 FIGURA 1) Todo B C Todo A B Logo, todo A C 2 FIGURA 1) Nenhum B C Todo A B Logo, nenhum A C 5) Nenhum C B Algum A B Logo, algum A no C 9) Nenhum A C Algum A B Logo, algum B no C 3 FIGURA 1) Todo A B Algum C A Logo, algum C B 2) Todo A B Todo A C Logo, algum C B 3) Todo A B Todo B C Logo, algum C A

2) Nenhum B C Algum A C Logo, algum A no C 6) Todo A B Algum C no B Logo, algum C no A 10) Todo A B Nenhum B C Logo, nenhum C A

3) Nenhum C B Todo A B Logo, algum B C 7) Nenhum A C Todo A B Logo, algum B no A 11) Nenhum C A Todo A B Logo, algum B no C

4) Todo A B Algum C B Logo, nenhum C A 8) Algum A no C Todo A B Logo, algum B no C 12) Nenhum C A Algum A B Logo, algum B no C

2) Algum A B Todo A B Logo, algum B C

3) Todo A B Algum A C Logo, algum C B

4) Algum C A Todo A B Logo, algum B C

____________________ FONTE: (SANTOS, M.F. Lgica e dialctica. So Paulo: Logos, 1959, 283p.)

Anda mungkin juga menyukai