Texto de Apoio de Lgica: Unidade 3 (Lgica Formal parte 1)

Pgina |1

3 LGICA FORMAL parte 1

Como j nos referimos a Lgica formal: estabelece as condies de conformidade do pensamento consigo mesmo. visa s operaes intelectuais do ponto-de-vista de sua validade intrnseca, quer dizer, de sua forma. trata da relao entre as premissas e concluso, deixando de importar-se com a verdade das premissas. um instrumento que vai permitir o caminhar rigoroso do filsofo ou do cientista. determina se as premissas dadas sustentam a concluso. So essas regras que vamos apresentar. Ora, todo raciocnio se compe de juzos, e todo juzo, de ideias: h lugar, pois, para distinguir trs operaes intelectuais especificamente diferentes: Apreender, isto , conceber uma ideia. Julgar, isto , afirmar ou negar uma relao entre duas ideias. Raciocinar, isto , de vrios juzos dados tirar um outro juzo que destes decorre necessariamente. A Lgica estuda estas trs operaes em si mesmas, a saber, enquanto elas so actos do esprito, e nas suas expresses verbais, que so: para a apreenso, o termo; para o juzo, a proposio; para o raciocnio, o argumento. A APREENSO, IDEIA (OU CONCEITO), IMAGEM O TERMO Definies

3.1 3.1.1

Apreender significa apanhar, tomar, e a apreenso do ponto-de-vista lgico o acto pelo qual o esprito concebe uma ideia, nem nada afirmar ou negar. A apreenso difere ento do juzo, que, veremos, consiste em afirmar ou negar uma coisa de uma outra. A ideia, ou conceito, a simples representao intelectual de um objecto. Difere essencialmente da imagem, que a representao determinada de um objecto sensvel. O termo a expresso verbal da ideia. Do ponto-de-vista lgico, necessrio distinguir o termo da palavra. O termo pode de facto comportar vrias palavras (por exemplo: o bom Deus, alguns homens, uma aco de estrondo), que, entretanto, constituem uma nica ideia lgica. 3.1.2 Classificao das ideias e dos termos

Quanto sua perfeio: A ideia adequada desde que represente no esprito todos os elementos do objecto. inadequada no caso contrrio.

Seminrio Maior Sto Agostinho/ 1 Ano/2013

Professor Faquira Antnio

Texto de Apoio de Lgica: Unidade 3 (Lgica Formal parte 1)

Pgina |2

A ideia clara desde que seja suficiente para fazer reconhecer seu objecto entre todos os outros objectos, e obscura no caso contrrio. A ideia distinta ou confusa conforme faa conhecer u no os elementos que compem seu objecto. Uma ideia clara pode no ser distinta: um jardineiro tem uma ideia clara, mas no distinta (no contrrio do botnico) das flores que cultiva. Pelo contrrio, uma ideia distinta necessariamente clara. 3.1.3 Regra formal das ideias e dos termos

1. Em si mesma, uma ideia no nem verdadeira, nem falsa, porque no contm nenhuma afirmao. Ela o que e nada mais. 2. Uma ideia pode ser contraditria, isto , compreender elementos que se excluem mutuamente. Seja a ideia de crculo quadrado. As ideias contraditrias s podem ser ideias confusas, porque impossvel conceber claramente e distintamente uma ideia realmente contraditria (que , em realidade, um vazio de ideia). necessrio, ento, agir de maneira que nossas ideias no contenham elementos contraditrios. Ora, como a contradio nas ideias provm sempre de sua confuso, necessrio dissipar esta confuso analisando-as, isto , necessrio defini-las e dividi-las. 3.2 A DEFINIO 1. Noo. Definir, segundo o sentido etimolgico, delimitar. A definio lgica consiste de facto em circunscrever exactamente a compreenso de um objecto, ou, em outros termos, em dizer o que uma coisa . 2. Diviso (tipos de definio) Distingue-se: a) A definio nominal, que exprime o sentido de uma palavra. Assim, dizer que a palavra "definir" significa "delimitar" dar definio nominal. b) A definio real, que exprime a natureza da coisa mesma. A definio real pode ser: Essencial. a que se faz pelo gnero prximo e a diferena especfica. Define-se, assim, o homem: um animal racional, animal - gnero prximo, isto , a ideia imediatamente superior, quanto extenso, a ideia de homem, e; racional diferena especfica, isto , a qualidade que, acrescentada a um gnero, constitui uma espcie, distinta como tal de todas as espcies do mesmo gnero. Descritiva. a que, falta dos caracteres essenciais (gnero prximo e diferena especfica), enumera os caracteres exteriores mais marcantes de uma coisa, para permitir distingui-la de todas as outras.

Seminrio Maior Sto Agostinho/ 1 Ano/2013

Professor Faquira Antnio

Texto de Apoio de Lgica: Unidade 3 (Lgica Formal parte 1)

Pgina |3

(O carneiro um animal ruminante de cabea alongada, de nariz recurvado, olho terno (meigo, afectuoso, amvel). 3. Regras da definio. Existem duas fundamentais: A definio deve ser mais clara do que o definido. Portanto, necessrio que ela no contenha o termo a definir, que no seja normalmente negativa, pois dizer que o homem no um anjo, no esclarecer a questo da natureza do homem, enfim, que seja breve. A definio deve convir a todo o definido e apenas ao definido. Quer dizer que ela no deve ser nem muito sumria (o homem um animal racional do cor branca), nem muito ampla (o homem um animal). Obs. Pode-se acrescentar uma 3 regra. A definio deve ser recproca. Por isso o definido e a definio devem poder trocar de lugar. Exemplo: O tringulo um polgono que tem trs ngulos e trs lados.
Mas podemos definir assim:

O polgono com trs ngulos e trs lados o tringulo.

3.3 3.3.1

O JUZO E A PROPOSIO Definies

1. Definio do juzo O juzo o acto pelo qual o esprito afirma ou nega alguma coisa de outra. Exemplo formal: "Deus bom", o "homem no imortal" so juzes, enquanto o primeiro afirma de Deus a bondade, o outro nega do homem a imortalidade. 2. Estrutura formal do juzo: S P.: S (SUJEITO) aquilo de que se afirma ou nega algo; (CPULA) elemento que estabelece a relao de predicao entre S e P (verbo) e; P (PREDICADO) aquilo que afirmado ou negado acerca do sujeito (atributo, caracterstica, qualidade). Matria do juzo (S e P) e; Forma do juzo resulta da afirmao ou da negao. Exemplo formal: O homem mortal Sujeito: o homem Predicado: mortal Verbo: Matria: o homem e mortal Forma: afirmao

Seminrio Maior Sto Agostinho/ 1 Ano/2013

Professor Faquira Antnio

Texto de Apoio de Lgica: Unidade 3 (Lgica Formal parte 1)

Pgina |4

3. Definio da proposio Expresso verbal do juzo. Ou seja, enunciado no qual afirmamos ou negamos um termo (um conceito) de outro. Nem todas as frases exprimem proposies, ou seja, no tm valor de verdade. Uma proposio o que afirmado ou negado apenas numa frase declarativa e que pode ser considerado verdadeiro ou falso (valor de verdade/valor lgico). So frases declarativas porque tm valor de verdade (verdadeira/falsa de acordo com a adequao do pensamento expresso realidade a que se refere). No exemplo Todo co mamfero (Todo C M), temos uma frase declarativa e, portanto, uma proposio em que o termo mamfero afirma-se do termo co.

Mas pelas razes ditas no so proposies as frases: Joo, vem c! (imperativa) Maria, onde vives? (interrogativa) Que bom, vieste! (exclamativa)

4. Estrutura da proposio Como o juzo, a proposio constituda de dois termos, sujeito e predicado, e de um verbo, chamado cpula (isto , elo), pois liga ou desliga os dois termos. O verbo da proposio lgica sempre o verbo ser, tomado no sentido copulativo ou relativo. Como nesta proposio: "Deus bom", e, no no sentido absoluto, em que ele significa existir, como nesta proposio: "Deus "; Muitas vezes o verbo gramatical compreende a um tempo, o verbo lgico e o atributo. Assim, esta proposio: "Eu falo" se decompe, do ponto-de-vista lgico, nesta: "Eu sou falante" e; 3.3.2 Da mesma forma, "Deus existe" se decompe assim: "Deus existente".

Classificao dos juzos

Do ponto-de-vista de sua forma e do ponto-de-vista de sua matria. 1. Do ponto-de-vista da forma. Distinguem-se os juzos afirmativos e os juzos negativos. 2. Do ponto-de-vista da matria. Distinguem-se os juzos analticos e os juzos sintticos. Chama-se analtico um juzo em que: O atributo idntico do sujeito (o que o caso da definio; "O homem um animal racional"); Ou essencial ao sujeito ("O homem racional"), Ou prprio ao sujeito ("O crculo redondo"). Chama-se sinttico um juzo cujo atributo no exprime nada de essencial, nem de prprio ao sujeito: "Este homem velho", "O tempo est claro".

Seminrio Maior Sto Agostinho/ 1 Ano/2013

Professor Faquira Antnio

Texto de Apoio de Lgica: Unidade 3 (Lgica Formal parte 1)

Pgina |5

3.3.3

Classificao das proposies.

Podemos classificar as proposies do ponto-de-vista da quantidade e do ponto de vista da qualidade. 1. A quantidade de uma proposio depende da extenso do sujeito. Pode-se ento distinguir: As proposies universais: aquelas cujo sujeito um termo universal, tomado universalmente. "O homem (ou: todo homem) mortal". As proposies particulares: aquelas em que o sujeito um termo particular: "Algum homem virtuoso". As proposies singulares: em que o sujeito se refere apenas a um s indivduo "Pedro sbio", "esta rvore velha". e, como tais, podem ser equiparadas s UNIVERSAIS porque afirmam ou negam algo em toda extenso do sujeito. 2. Quando Qualidade (natureza da cpula) as proposies podem ser: Afirmativas: afirmam que o predicado convm ao sujeito, h, portanto, uma relao afirmativa entre S e P. Negativas: negam que o predicado convm ao sujeito, no h, portanto, uma relao entre S e P. 3. As quatro proposies - Como toda proposio tem no mesmo tempo uma quantidade e uma qualidade, podem se distinguir quatro espcies de proposies, que os lgicos designam por vogais, a saber:

Seminrio Maior Sto Agostinho/ 1 Ano/2013

Professor Faquira Antnio

Texto de Apoio de Lgica: Unidade 3 (Lgica Formal parte 1)

Pgina |6

4. Distribuio dos Termos Quanto Extenso A extenso a amplitude de um termo, isto , a coleo de todos os seres que o termo designa no contexto da proposio. fcil identificar a extenso do sujeito, mas a do predicado exige maior ateno. Um termo est distribudo se estiver considerado em toda a sua extenso, isto , se algo dito acerca de todos e de cada um dos elementos da sua classe. Tipo de proposio SUJEITO PREDICADO A E I O Distribudo Distribudo No Distribudo No Distribudo No Distribudo Distribudo No Distribudo Distribudo

Regra da quantificao do sujeito

Regra da quantificao do predicado

O sujeito s est distribudo (universal) nas O predicado s est distribudo (universal) nas proposies universais. proposies negativas. (Tipos A e E) Pelo diagrama de Euler temos, (Tipos E e O)

Na primeira proposio, "Todo o S P, o termo "S" tem extenso total (est distribudo), referindo-se a todos os S; mas o termo "P tem extenso particular (no tomado universalmente), ou seja, uma parte dos P composta de S. Exemplo: Todo o homem mortal. homem = distribudo (tomado universalmente) e; mortal = no distribudo (homem um dos mortais). Obs.: deve ser feita exceo proposio cujo predicado refere-se essncia do sujeito. Todos os seres vivos so mortais. ou Todo homem racional.. Nas duas proposies tanto

Seminrio Maior Sto Agostinho/ 1 Ano/2013

Professor Faquira Antnio

Texto de Apoio de Lgica: Unidade 3 (Lgica Formal parte 1)

Pgina |7

o sujeito como o predicado est distribudo. William Hamilton classifica este tipo de proposies como sendo Toto totais. Na segunda proposio, "Todo S no P, o termo S total, porque se refere a todos os S; e o termo P tambm total, porque os S esto excludos do conjunto de todos os P. Exemplo: Todo o moambicano no angolano. moambicano = distribudo (tomado universalmente) e; angolano = distribudo (moambicano excludo dos angolanos). Na terceira proposio, Algum P S, ambos os Termos tem extenso particular. Exemplo: Algum homem solteiro. homem = no distribudo e; solteiro = tambm no distribuido. Na quarta proposio, Algum S no P, os dois termos so particulares e, portanto, no distribudos. Exemplo: Algum gato no co. O termo gato" tem extenso particular e o termo co tem extenso total, ou seja, estamos a considerar todos os seres que o termo co abrange para percebermos que o gato est excludo.

3.3.4

Princpios da lgica

Os princpios lgicos: So leis fundamentais do pensamento, dado que sem eles nenhuma verdade pode ser formulada ou pensada. Esto sempre pressupostos no nosso modo de falar e pensar, pois so as condies de possibilidade do pensamento coerente, no auto contraditrio. 1. PRINCPIO DE IDENTIDADE No que se refere dimenso lgica deste princpio, uma proposio equivalente a si mesma. Ontologicamente, toda a coisa igual a si mesma. Assim, este princpio exprime a exigncia de, no decurso de um procedimento argumentativo ou demonstrativo, se mantenha o mesmo significado dos termos e das expresses, ou seja, a sua invarincia. 2. PRINCPIO DE NO-CONTRADIO No que se refere dimenso lgica deste princpio, impossvel aceitar uma proposio e, ao mesmo, tempo, a sua negao. impossvel que a afirmao e a negao sejam verdadeiras ao mesmo tempo. No que se refere sua dimenso ontolgica, impossvel que o mesmo atributo pertena e no pertena ao mesmo sujeito, ao mesmo tempo e segundo a mesma relao. Este princpio atesta a impossibilidade de conciliar dois valores ou afirmaes contraditrias. impossvel que uma coisa seja e no seja ao mesmo tempo.

Seminrio Maior Sto Agostinho/ 1 Ano/2013

Professor Faquira Antnio

Texto de Apoio de Lgica: Unidade 3 (Lgica Formal parte 1)

Pgina |8

3. PRINCPIO DO TERCEIRO EXCLUDO Logicamente, este princpio diz-nos que no possvel que haja qualquer intermedirio entre enunciados contraditrios. Ontologicamente, este princpio diz-nos que uma coisa deve ser, ou ento no ser, no h terceira possibilidade. 3.3.5 Quadrado lgico da oposio entre proposies

Com base na classificao das proposies segundo a quantidade e a qualidade, so possveis diversas combinaes, que podem ser visualizadas pelo chamado quadrado de oposies, diagrama que explicita as relaes entre proposies contrrias, subcontrrias, contraditrias e subalternas. Lembremos que cada proposio identificada por uma letra: A= universais afirmativas, I= particulares afirmativas E= universais negativas, O=Particulares negativas Para exemplificar, partimos da proposio geral afirmativa Todos os homens so Mortais.

Pela anlise do quadrado lgico, podes verificar o seguinte: Contraditrias so duas proposies que diferem ao mesmo tempo pela quantidade e qualidade (A e O; I e E); Contrrias so duas proposies universais que diferem pela qualidade (A e E); Subcontrrias so duas proposies particulares que diferem pela qualidade (I e O); Subalternas so duas proposies que diferem entre si pela qualidade (A e I; E e O).

Seminrio Maior Sto Agostinho/ 1 Ano/2013

Professor Faquira Antnio

Texto de Apoio de Lgica: Unidade 3 (Lgica Formal parte 1)

Pgina |9

Agora observe: As proposies contraditrias (A e O) e (E e I) no podem ser ambas verdadeiras ou ambas falsas. Se uma for verdadeira, a outra falsa, se uma for falsa, a outra verdadeira. Todos os homens so mortais (A) Alguns homens no so mortais (O) Nenhum homem mortal Alguns homens so mortais (E) (I ) V F. F V.

As proposies contrrias (A e E) no podem ser ambas verdadeiras, embora possam ser ambas falsas. Todos os homens so mortais Nenhum homem mortal Todo homem justo (A) Nenhum homem justo (E) (A) (E) F F V F.

As proposies subcontrrias (I e O) no podem ser ambas falsas, mas ambas podem ser verdadeiras, ou uma verdadeira e a outra falsa: Algum homem justo (I) V Algum homem no justo" (O) V Mas, Algum co gato" ( I) F, Algum co no gato (O) V. Quanto s subalternas: se A verdadeira, I verdadeira, Todos os homens so mamferos (A) Alguns homens so mamferos ( I) se A falsa, I pode ser falsa ou verdadeira, Todos os homens so irracionais (A) Alguns homens so irracionais (I) Todos os homens so homossexuais (A) Alguns homens so homossexuais (I)

V V.

F F. F V.

se I verdadeira, A pode ser verdadeira ou falsa; Alguns homens so mortais ( I) Todos os homens so mortais (A) Alguns juzes so advogados ( I) Todos os juzes so advogados (A)

V V. V F.

Seminrio Maior Sto Agostinho/ 1 Ano/2013

Professor Faquira Antnio

Texto de Apoio de Lgica: Unidade 3 (Lgica Formal parte 1)

P g i n a | 10

se I falsa, A falsa. Alguns homens so imortais (I) Todos os homens so imortais (A) se E verdadeira, O verdadeira; Nenhum homem imortal (E) Alguns homens no so imortais (O) se E falsa, O pode ser verdadeira ou falsa; Nenhum juiz advogado ( E) Algum juiz no advogado (O)

F F.

V V.

F V. F F.

Nenhum homem racional (E) Nem todos os homens so racionais (O)

se O verdadeira, E pode ser verdadeira ou falsa; Alguns homens no so imortais (O) Todos os homens no so imortais (E) Alguns homens no so carnvoros (O) Todos os homens no so carnvoros (E)

V V. V F.

se O falsa, E falsa. Alguns homens no so mortais (O) Todos os homens no so mortais (E)

F F.

3.3.6

Converso de proposies

Converso uma operao lgica que consiste em inverter os termos de uma proposio, ou seja, o sujeito passa para o lugar do predicado e o predicado para o lugar do sujeito sem mudar a qualidade da proposio primitiva, podendo mudar a sua quantidade. A converso pode ser feita de quatro modos diferentes: 1. A converso simples consiste na permuta entre os termos sujeito e predicado. A nova proposio conserva a forma e a quantidade da proposio primitiva. Ela ocorre perfeitamente nos tipos E e I proposicionais. Exemplos: E Nenhum homem anjo / Nenhum anjo homem; I Algumas mulheres so escritores / Alguns escritores so mulheres.

Seminrio Maior Sto Agostinho/ 1 Ano/2013

Professor Faquira Antnio

Texto de Apoio de Lgica: Unidade 3 (Lgica Formal parte 1)

P g i n a | 11

2. A converso por limitao ou por acidente na troca de lugar entre o sujeito e o predicado e na mudana de quantidade da proposio: de universal afirmativa (A) para particular afirmativa (I). Exemplo: Todos os ces so animais (A) pode ser convertido com segurana na forma proposicional (I), ou seja, Alguns animais so ces. 3. A converso por negao aplica-se s particulares negativas (O). Para que ela se realize necessrio transformar a proposio a converter numa afirmao particular equivalente, isto tirar a negao da cpula e pass-la para o predicado, e em seguida converter simplesmente a proposio obtida. Exemplo: Alguns homens no so inteligentes (O) (equivalente a Alguns homens so no inteligentes) converte-se em Alguns no inteligentes so homens. Obs. Em geral, as proposies do gnero O no comportam uma converso. 4. A converso por contraposio aplica-se s proposies universais afirmativas (A) e s particulares negativas (O). Obtm-se juntando uma negativa ao predicado e outra ao sujeito da proposio que desejamos converter, e fazendo em seguida a converso simples. Exemplo: Todos os homens so inteligentes (A) converte-se em Todos os no inteligentes so no homens (A). Alguns homens no so inteligentes (O) converte-se em Alguns no inteligentes no so no homens (O).

Resumindo a regra geral da converso Uma proposio no deve afirmar mais na forma invertida do que na sua forma original e, portanto, nenhum termo deve ter maior extenso do que tinha antes. A Pode converter-se por acidente e por contraposio; I e E Podem converter-se simplesmente; O S pode converter-se por negao e por contraposio.

Seminrio Maior Sto Agostinho/ 1 Ano/2013

Professor Faquira Antnio