Anlise lgica de argumentos

Como se faz?

Primeiro passo: traduzir corretamente as proposies que compem o argumento

Chama-se a isso construir o dicionrio do argumento

O dicionrio identifica as proposies na sua forma cannica, por meio das letras-variveis p, q, r, s, etc. Tambm identifica as conetivas lgicas que compem todo o argumento.
importante evitar erros de traduo para no arruinar todo o trabalho de anlise posterior

O segundo passo reside em construir a forma cannica do argumento, isto , a disposio correta das premissas e da concluso.
importante evitar erros relacionados com a ordem das premissas e da concluso. Nem sempre os argumentos so expostos na ordem lgica: preciso saber onde est a concluso e as restantes proposies. Deve eliminar-se o rudo ou elementos no relevantes para o argumento.

O terceiro passo a construo da tabela de verdade, distribuindo o nmero correto de linhas de interpretao consoante o nmero de letras-variveis.
Na tabela de verdade, as premissas so ligadas entre si pela conjuno. A transio das premissas para a concluso faz-se pela condicional: o resultado final surge escrito debaixo da condicional. Resolve-se primeiro sempre o que est dentro de parntesis.

O quarto e ltimo passo a interpretao do resultado: s pode ser um de trs possveis: tautologia (vlido), contradio ou contingncia (invlido).
Nunca se devem esquecer de justificar o resultado, apresentando a sua explicao simples. Vamos agora aprender fazendo.

Teste a validade do seguinte argumento, aplicando o mtodo de tabela de verdade

Assim sendo, claro que o eu no existe. Se o eu existe, h experincia sensvel da sua realidade. Ora, se na mente humana s h experincia sensvel do fluxo de percees, ento no h experincia sensvel da realidade do eu.

I - Traduo ou formalizao das proposies - dicionrio

P: O eu existe; Q: H experincia sensvel da realidade do eu; R: Na mente humana s h experincia sensvel do fluxo de percees.

Conetores: (condicional); ^ (conjuno); ~ (negao); (smbolo de concluso)

II - Forma cannica do argumento

A Esquema de inferncia 1. (P Q) 2. (R ~Q) 3. ~P

II - Forma cannica do argumento

B Frmula [(P Q) ^ (R ~Q)] ~P

Nota: repare-se na ligao entre as premissas com a conjuno e a transio destas para a concluso por meio da condicional. Para a anlise da validade formal dos argumentos por meio de tabela de verdade sempre prefervel escrever a frmula do que a forma cannica.

III Construo da tabela de verdade

P Q R [(P Q) ^ (R ~Q)] ~P

V
V V V F

V
V F F V

V
F V F V

V
V F F V

F
V F F F

V F F
F V F V V F V V V V F F

V
F V V V

F
F F F V

F
F F

V
F F

F
V F

V
V V

V
V V

F
V F

V F
V V V V

V
V V

V
V V

IV Interpretao do resultado final O argumento no formalmente vlido pois na segunda linha da tabela h um resultado falso um argumento contingente. Com efeito, basta existir uma linha que gere falsidade para o argumento ser declarado como invlido. Um erro a evitar: um argumento no vlido numas linhas e invlido noutras. Aqui a lei do tudo ou nada: ou vlido ou no. Um argumento dedutivo s vlido caso seja uma tautologia.

Exerccios Traduza os argumentos que se seguem e teste a sua validade por meio de tabelas de verdade

a)- Ou existe fundamento para o Estado ou os anarquistas tm razo. Ora, os anarquistas tm razo. Portanto, segue-se que o Estado no tem fundamento.

b)- Se a vida no for absurda, no haver sofrimento. Ora, h sofrimento. Se a vida for absurda, Deus no existe. Segue-se que Deus no existe.

Dicionrio: P: A vida absurda Q: H sofrimento

R: Deus existe Conetivas: ~ = negao; ^ = conjuno; = condicional; = smbolo indicador de concluso.

Forma cannica A Esquema de inferncia 1. ~P ~Q 2. Q 3. P ~R 4. ~R

Forma cannica B Frmula [(~P ~Q) ^ (Q) ^ (P ~R)] ~R

P Q R [((~P ~Q) ^ Q) ^ (P ~R)] ~R V V V F V F V F F F F F F V F V F V V F V F V F V F

V V F
V F V V F F F V V F V F

F V
F V F V V F V F

F
V F F F

V V
F F F F F V F F

V V V

V
F V F V

V
V V V V

V
F V F V

F F V
F F F

V V
V V

V
V

F F
F F

F
F

F
F

V F
V V

V
V

F
V

Concluso (interpretao do resultado final da anlise)

O argumento formalmente vlido porque o resultado final, para todas as possibilidades lgicas de distribuio dos valores de verdade, uma tautologia, isto , a concluso verdadeira consequncia lgica da verdade estabelecida nas premissas.

c)- Se a Terra se movesse, sentiramos o movimento. Ora, a Terra no se move. Consequentemente, a Terra no se move.

Forma cannica A Esquema de inferncia 1. P Q 2. ~P 3. ~P

d)- Ou existo ou no existo. Mas no verdade que eu no existo. Logo, eu existo.

d)- Ou existo ou no existo. Mas no verdade que eu no existo. Logo, eu existo.

Forma cannica A Esquema de inferncia

1. P v ~P 2. ~~P 3. P

e)- No verdade que a condio para haver inteligncia ter crebro. Alis, a condio de ter crebro no sequer necessria para ter inteligncia. Portanto, [no h problema em afirmar que] os computadores um dia sero inteligentes.

Dicionrio das proposies:

P: H (algo que possui) inteligncia Q: H (algo que tem) crebro R: Os computadores so inteligentes
Forma cannica Esquema de inferncia 1. ~(P Q) 2. Q ~P 3. R

P Q R V V V

[~(P Q) ^ (Q ~P)] R
F F V V F V F F V F

V V F
V F V V F F F V V F V F

F F V V
F F V F F F V F F V V V F V V V

F V
F F F F F F V V

F
V V V V

F
F F V V

V
V V V V

V
F V F V

F F V
F F F

V V F F
V V F F

V
V

F
F

V
V

V
V

F
V

F Invlido
V

f)- Ou h verdade ou no. Ora, ou tudo racional ou no. Por conseguinte, tudo possvel e impossvel.

f)- Ou h verdade ou no. Ora, ou tudo racional ou no. Por conseguinte, tudo possvel e impossvel.
Forma cannica esquema de inferncia 1. P v ~P 2. Q v ~Q 3. R ^ ~R

g)- S h Ser e o no-Ser no existe. Se h movimento, ento o no-Ser existe. Ora, se s h Ser, no h movimento. Logo, tudo imvel.

Clusula: o no-Ser a negao do Ser.

J resolvido no incio da aula TPC 11A

h)- Temos assim de reconhecer: no verdade que o ser humano tenha princpios morais objetivos. O homem um ser racional se, e s se, possuir princpios morais objetivos e eliminar o relativismo da sua existncia. Acontece que o homem irracional e no consegue eliminar o relativismo.

Dicionrio: P: O ser humano tem princpios morais objetivos. Q: O homem um ser racional. R: O o homem consegue eliminar o relativismo da sua existncia

Forma cannica: 1. (Q (P ^ R)) 2. (~Q ^ ~R) 3. ~P