Oficina 2i51 A lgica como ferramenta de anlise e crtica

Lisete Godinho Lustosa Marisa Ortegoza da Cunha

Programa de Extenso D Licena Matemtica / UFF Instituto de Matemtica Universidade Federal Fluminense

1.

Introduo

Afirma Irving Copi em seu livro Introduo Lgica: As palavras lgica e lgico so familiares a todos ns. (...) Em todos os casos a palavra lgico usada, fundamentalmente, na acepo de razovel. (...) O estudo da lgica o estudo dos mtodos e princpios usados para distinguir o raciocnio correto do incorreto. Naturalmente, esta definio no pretende afirmar que s possvel argumentar corretamente com uma pessoa que tenha estudado lgica (...) Mas, dada a argcia inata do intelecto, uma pessoa com conhecimento de lgica tem mais probabilidades de raciocinar corretamente do que aquela que no se aprofundou nos princpios gerais implicados nessa atividade.

A Lgica foi desenvolvida primeiramente para formalizar o pensamento humano, objetivo parcialmente cumprido, pois s certos tipos de pensamentos humanos se assemelham com a Lgica.

Na Grcia do sculo IV a.C., os filsofos - pr-sofistas estudavam os problemas relacionados com a natureza. Posteriormente, os chamados sofistas transferiram o centro dos estudos da natureza para o homem e suas atividades e problemas. Para eles, o homem era a medida de todas as coisas, e para que esse homem pudesse argumentar e defender-se, os sofistas elaboraram a retrica, a

filosofia, a gramtica e fizeram uso de sofismas como instrumento de persuaso. Sofisma um argumento ambguo, cuja falsidade pode derivar de m aplicao do raciocnio em premissas verdadeiras ou do raciocnio correto a partir de premissas falsas, de tal forma que, dependendo do ponto de vista adotado, uma situao pode ser considerada verdadeira ou falsa. O uso dos sofismas se tornou de grande potncia para a autodefesa, fortalecendo a individualidade em detrimento do social.

Os sofistas foram os precursores do uso do encadeamento lgico do raciocnio para o ganho de causa de uma argumentao e negaram a possibilidade de conhecer o mundo objetivo, adotando o relativismo; dessa ambigidade e relativismo dos sofistas decorreu um abalo na credibilidade dos discursos cientficos.

Preocupado em resgatar essa credibilidade, Aristteles, precedido por Scrates e Plato, reagiu aos sofistas e procurou criar bases slidas para o discurso perfeito, contribuindo para construir uma teoria que classificasse as cincias. 1 Paralelamente a Aristteles, outras duas escolas megrica e estica2 se preocuparam com a anlise da linguagem, no sob o ponto de vista da
1

Em sua obra ORGANON, Aristteles props uma anlise do discurso sob um ponto de vista

subjetivo: os discursos retratariam a prpria forma de o homem pensar. Essa anlise se fez em nvel de forma, de estrutura, no havendo compromisso com os contedos e, para isso, construiu aquelas que seriam as formas corretas de pensamento lgico. Essa sistematizao dos procedimentos de raciocnio contribuiu para viabilizar a tese central defendida por Aristteles de que possvel reduzir todo raciocnio correto aplicao sistemtica de um pequeno nmero de regras imutveis, independente da natureza particular dos objetos que estejam sendo considerados (Bourbaki, 1960). Registrou-se, assim, o nascimento da Lgica. A lgica derivada de Aristteles foi chamada Lgica das Classes ou Lgica dos Predicados.

Euclides de Megara (sculo IV a.C.) foi o lder da escola megrica. A escola estica foi fundada por Zenon de Citium (336-264 a.C.) e recebeu uma forte influncia da escola megrica. Uma contribuio fundamental dos esticos a lgica de nossos dias foi relativa a construo do clculo proposicional.
2

estrutura do raciocnio argumentativo de Aristteles, mas tentando explicitar os elos bsicos que encadeavam o raciocnio lgico.

Os filsofos dessas duas escolas decompuseram o pensamento e chegaram sua forma mais simples a que chamaram de proposio. Da se derivou a Lgica das Proposies e a Lgica Sentencial ou dos Predicados. Essas duas lgicas compem o que chamamos de Lgica Clssica.

2.

Princpios Bsicos da Lgica Clssica

1)

Princpio da identidade: cada coisa igual a si mesma.

2)

Princpio da no-contradio: algo no pode ser e no ser,

simultaneamente (ou no ocorre A e no A).

3)

Princpio do tero excluso: ou uma coisa ou ela no , no

existindo uma terceira possibilidade.

3.

Lgica Proposicional

A anlise da linguagem em que se baseia a Lgica das Proposies atua sobre dois tipos de elementos:

Proposio simples: orao declarativa simples; expressa um pensamento completo e indecomponveil em outras de mesmo tipo.

a) Joo um aluno brilhante.

b) Maria deve seguir seu exemplo.

Proposio composta: agregao de proposies simples atravs de conectivos. Joo um aluno brilhante e Maria deve seguir seu exemplo.

A Lgica Proposicional realiza uma anlise em nvel de estrutura formal das expresses da linguagem, sem levar em conta seus contedos.

Se chover esta noite, ficarei em casa. No fiquei em casa. Logo, no choveu esta noite. (inferncia)

Forma: Se p ento q. o caso que no q. Logo, tem-se no p.

Para cada varivel proposicional podemos listar as nicas duas possibilidades de valor-de-verdade: verdadeiro (V) ou falso (F), numa tabelaverdade.

O operador negao

Se p uma proposio, indicamos a proposio negao de p por ~p (l-se no p).

p: ~p:

Maria fala francs. Maria no fala francs. (ou NO o caso que Maria fale

francs. ou NO ocorre Maria falar francs.)

p V F

~p F V

O operador conjuno A conjuno das proposies p e q indicada por p q (l-se p e

q). p q: Ele nasceu no Rio e eu em So Paulo.

p V V F F

q p V F V F

q V F F F

O operador disjuno Se p e q so proposies, a disjuno de p e q indicada por p q

(l-se p ou q). A disjuno lgica refere-se ao ou inclusive, isto , pode ocorrer p, ou q ou ambos. p q: Vamos ao Rio ou a So Paulo.

q p

V V F F

V F V F

V V V F

O operador implicao

Trata de expresses do tipo: se .... ento ....

Se p e q so proposies, a implicao de antecedente p e conseqente q indicada por p q (l-se se p ento q ou p implica q ou p condio suficiente para q ou ainda q condio necessria para p).

a) b)

Ser homem condio suficiente para ser mortal. Ser mortal condio necessria para ser homem.

p V V F F

q p V F V F

q V F V V

O operador equivalncia

Se p e q so proposies, a proposio composta pelo conectivo equivalncia indicada por p q (l-se p se, e somente se, q ou p equivalente a q ou p condio necessria e suficiente para q).

A condio necessria e suficiente para haver vida haver ar.

p V V F F

q p V F V F

q V F F V

Precisamos conhecer a sintaxe da linguagem simblica, ou seja, quais as regras que geram as frmulas permitidas na linguagem da Lgica, chamadas de frmulas bem formadas.

As regras de formao das frmulas bem formadas (FBF) so dadas de maneira recursiva:

1) 2) 3) 4)

Toda varivel proposicional uma FBF. Se p uma FBF ento ~p uma FBF. Se p e q so FBF ento tambm o so pq, pq, pq, pq. Somente as expresses acima so FBF.

Os valores-de-verdade que uma proposio composta pode assumir so determinados a partir dos valores-de-verdade que suas componentes bsicas venham a ter.

Segundo seus valores-de-verdade, as FBF se classificam em:

a) Tautologias: s assumem o valor V b) Contradies: s assumem o valor F

c) Contingncias: assumem tanto o valor V como o valor F ~p ~q: contingncia. p ~p: tautologia (verifique!). p ~p: contradio (verifique!).

1) 2) 3)

Duas FBF p e q so equivalentes se, e somente se, a FBF p q uma tautologia.

4.

Lgica dos Predicados

Chamamos de argumento a toda expresso da linguagem formada de uma seqncia de sentenas declarativas, de modo que a ltima seja a concluso das afirmaes anteriores (premissas).

Forma de um argumento:

premissa 1 premissa 2 ... ... premissa n ------------- concluso

premissa 1: Se chover na poca do plantio haver boa colheita. premissa 2: No houve boa colheita. concluso: Logo, no choveu na poca do plantio.

Forma: premissa 1: premissa 2: concluso: pq ~q ~p

Um argumento vlido ou legtimo (logicamente) se, sendo as premissas verdadeiras, sua concluso tambm for verdadeira; invlido ou ilegtimo (logicamente) se sua concluso for falsa, no caso em que suas premissas forem verdadeiras. A validade de um argumento facilmente testada atravs da tabela-verdade, sendo necessrio apenas verificar o valor-verdade da concluso relativo s situaes em que todas as premissas so verdadeiras.

O silogismo uma inferncia composta de trs proposies: duas premissas e a concluso e considerado como a forma perfeita do raciocnio dedutivo mediato. Principais tipos de silogismos: a) Silogismo condicional pq qr -------pr

forma:

b) Modus ponens forma: pq p -------q

c) Modus tollens forma: pq ~q -------~p

d) Silogismo disjuntivo pq ~p -------q

forma:

e) Silogismo conjuntivo ~(p q) p --------~q

forma:

Aristteles deu especial importncia s proposies categricas.

a) Todos os gregos so homens. (afirmao de incluso total) b) Alguns ngulos no so retos. (negao da incluso total)

Estrutura de uma proposio categrica simples:

(no)

10

(sujeito)

(verbo ser)

(predicado)

Quanto quantidade, uma proposio :

Universal: TODO S P ou TODO S no P Particular: ALGUM S P ou ALGUM S no P

Quanto qualidade, uma proposio :

Afirmativa: Todo S P ou Algum S P Negativa: Todo S NO P ou Algum S NO P

Tipos de proposies categricas simples:

Universal afirmativa:

Todo S P.

concluso vlida: Algum S P.

Particular afirmativa:

Algum S P.

11

concluso vlida: Algum P S.

Universal negativa:

Todo S no P (ou Nenhum S P).

concluso vlida: Todo P no S (ou Nenhum P S).

Particular negativa:

Algum S no P.

NADA se pode concluir!

Silogismo proposies categricas.

categrico:

argumento

composto

inteiramente

de

Todos os ces so mamferos. Todos os mamferos so animais. Todos os ces so animais.

12

H silogismos vlidos e no-vlidos; o do exemplo acima vlido; o exemplo a seguir no vlido.

Todas as plantas verdes so coisas que contm clorofila. Algumas coisas que contm clorofila so comestveis. Logo, algumas plantas verdes so comestveis.

5. A Lgica como auxiliar na anlise de discurso

Como a linguagem um instrumento extremamente complexo, havendo possibilidade de erros decorrentes do seu prprio uso, preciso prestar muita ateno para detectar incorrees nos argumentos.

5.1 Argumentos silogsticos

Os argumentos em linguagem corrente no se apresentam nessa forma. Premissas podem estar faltando e a ordem dos enunciados pode estar embaralhada. O primeiro passo traduz-los para silogismos completos de forma padro. Essa transformao envolve trs etapas:

1) 2)

Identificao das premissas e da concluso. Traduo das premissas e da concluso na forma de proposies

categricas.

13

3) omitida).

Suprimento das premissas em falta (se qualquer delas tiver sido

Completadas essas etapas, podemos testar a validade do silogismo.

5.2 O perigo de confundir uso e meno

9/12 tem um nove no numerador 3/4 = 9/12 Logo, 3/4 tem um nove no denominador

Esse argumento poderia parecer vlido, pois a concluso resulta da primeira premissa ao substituir iguais por iguais; entretanto, as premissas parecem ser verdadeiras e a concluso, falsa. Na primeira premissa, usamos o numeral 9/12, enquanto que na segunda, fazemos meno classe de equivalncia representada,

indiferentemente, pelos numerais 3/4 ou 9/12.

5.3 Ambigidade e equvoco

Uma palavra pode ter muitos significados. Geralmente, o contexto determina qual dos vrios significados o que se pretende utilizar. H casos, porm, em que uma palavra usada de tal modo que no podemos dizer qual de vrios significados o correto. Dizemos, ento, que a palavra est sendo usada de modo ambguo, visto que o enunciado em que ela ocorre permite, pelo menos, duas interpretaes distintas. Fora de um contexto esclarecedor, como interpretar a frase: O banco quebrou. ? Tais argumentos cometem a falcia do equvoco.

6. Bibliografia

14

Bourbaki, N. Elements dhistoire des mathmatiques. Paris: Hermann, 1960. Copi, I. M. Introduo Lgica. So Paulo: Editora Mestre Jou, 1978. Dopp, J. Noes de Lgica Formal. So Paulo: Editora Herder So Paulo, 1970. Mates, B. Lgica Matemtica Elemental. Madrid: Editorial Tecnos, 1979. Nerici, I.G. Introduo a Lgica. So Paulo: Livraria Nobel S.A., 1978. Salmon, W.C., Lgica.. Rio de Janeiro: Editora Prentice-Hall do Brasil Ltda., 1993.

15