ARGUMENTAES

CONCEITO:
ARGUMENTO Coleo formada por uma ou mais proposies denominadas premissas e uma proposio final denominada concluso.
ARGUMENTO PREMISSAS CONCLUSO

INDICAO :

p1 , p2 , .... , pn - 1

pn L-se: ACARRETAM ou pn DECORRE de ....

EXEMPLOS:
- Todo homem mortal. -Scrates homem. - Scrates mortal

( PREMISSAS )

( CONCLUSO )

OBS.: 1- Este exemplo trata-se de um silogismo ( = 2 premissas + 1 concluso ); 2- Este exemplo trata-se de um argumento vlido, como veremos a seguir:

EXEMPLOS:
- Todos brasileiros gostam de feijoada. - Todos os cariocas so brasileiros. - Todos os cariocas gostam de feijoada.

ARGUMENTO VLIDO E FALCIA

ARGUMENTO

VLIDO

INVLIDO OU FALCIA

A concluso decorrncia das premissas

A concluso no decorrncia das premissas

CONDIES DE VALIDADE Um argumento valido se somente se ... p1 p2 .... pn 1 pn TAUTOLGICA

MODUS PONENS O modus ponens uma forma vlida de argumento. A primeira premissa de um argumento modus ponens um condicional. H uma armao do antecedente na segunda premissa, ou seja, arma-se que o antecedente verdadeiro. Disso, conclui-se que o consequente tambm verdadeiro. Eis um exemplo de argumento na forma modus ponens: P - Se algum desligar este interruptor, Q - a lmpada se apaga. P - Eu desliguei este interruptor. A lmpada se apagou.

Forma geral dos argumentos modus ponens: P1 - Se p, ento q. P2 - q. p. ((p q) p) q Se p ento q; p; consequentemente q

p V V F F

q V F V F

pq V F V V

(p q) ^ p V F F F

((pq) ^p) q V V V V

MODUS TOLLENS O modus tollens outra forma vlida. No argumento por modus tollens, h uma negao do consequente na segunda premissa, ou seja, arma-se que o consequente falso. Disso, conclui-se que o antecedente tambm falso. Eis um exemplo de argumento na forma modus tollens: P - Se algum desligar este interruptor, Q - a lmpada se apaga. ~Q - A lmpada no se apagou. Eu no desliguei este interruptor.

Forma geral dos argumentos modus tollens: P1 - Se p, ento q. P2 - No q. No p. ((p q) q) p Se p ento q; no q; consequentemente no p

pq

~p

~q

((p q) ^ ~q)

((p q) ^ ~q) ~p

V
V F F

V
F V F

V
F V V

F
F V V

F
V F V

F
F F V

V
V V V

SILOGISMO HIPOTTICO Se o primeiro implica o outro e o outro implica o terceiro, ento o primeiro implica o terceiro, de acordo com a propriedade da transitividade da implicao. Exemplo: P Q - Se eu no despertar, ento no posso ir ao trabalho. Q R - Se eu no puder ir ao trabalho, ento eu no vou receber o salrio. P R - Portanto, se eu no despertar, ento eu no vou receber o salrio. ((p q) (q r)) (p r) Se p ento q; se q ento r; consequentemente, se p ento r
p V V V V F F F F q V V F F V V F F r V F V F V F V F pq V V F F V V V V qr V F V V V F V V p-> r V F V F V V V V {(p-> q) ^ (q-> r)} V F F F V F V V {(p-> q) ^ (q-> r)} -> (p-> r) V V V V V V V V

SILOGISMO DISJUNTIVO O silogismo disjuntivo, tambm conhecido historicamente como modus tollendo ponens, uma forma de argumento simples, classificamente vlido, do tipo:

P ou Q No P Logo, Q
No silogismo disjuntivo, a premissa maior consta de uma disjuno. Se esta exclusiva, da negao de um membro (ou de todos, exceto um) pode concluir-se a afirmao do outro, e da afirmao de um membro a negao do outro (ou de todos os outros) (ou p ou b; p no , logo q ; ou ento: p , logo q no ).

p V V F F

q V F V F

pVq V V V F

~p F F V V

((p V q) ^ ~p) F F V F

((p V q) ^ ~p) -> q V V V V

Um exemplo cotidiano: Ele tem mais que 16 anos ou ele criana. Ele no tem mais que 16 anos. Logo, ele criana

A razo para este argumento ser chamado de "silogismo disjuntivo" : primeiro, um silogismo de um argumento com trs passos e, finalmente, por conter uma disjuno. ((p q) p) q p ou q; no p; consequentemente, q