1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência...

70
1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão e os demais são premissas. As premissas de um argumento servem para provar, ou fornecer evidências para a conclusão.

Transcript of 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência...

Page 1: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

1

Lógica Informal: Argumentos A Lógica é o estudo de argumentos.

Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão e os demais são premissas.

As premissas de um argumento servem para provar, ou fornecer evidências para a conclusão.

Page 2: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

2

Lógica Informal: Argumentos

Exemplo:

• Todos os homens são mortais (Premissa)

• Sócrates é um homem (Premissa) Sócrates é mortal (Conclusão)

Page 3: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

3

Lógica Informal: Argumentos Uma proposição é uma idéia expressa por uma

sentença declarativa/afirmativa, cujo significado pode ser verdadeiro ou falso.

Exemplos:ProposiçõesNão proposições

A terra é redonda. Você está entendendo? O sol é uma estrela. Cuidado! Está chovendo. Aquela cadeira está quebrada.

(sem apontar para uma cadeira)

Page 4: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

4

Lógica Informal: Argumentos Uma sentença é uma seqüência de palavras

obedecendo regras gramaticais, que podem ser combinadas para formar argumentos, declarações informativas, poemas, etc.

Exemplo:José quebrou a cadeira.A cadeira foi quebrada por José.

Duas sentenças, mas uma única proposição.

Page 5: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

5

Lógica Informal: Argumentos Uma sentença pode ser ambígua expressando

mais de uma proposição.

Exemplo:

Todo homem ama uma mulher. (semanticamente ambígua)

João viu a moça com um binóculo. (sintaticamente ambígua)

Page 6: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

6

Lógica Informal: Argumentos Enunciado x Proposição

Um enunciado é uma sentença declarativa/afirmativa que não expressa uma proposição.

Exemplo:Aquela cadeira está quebrada. (sem apontar).A cadeira de José está quebrada.

A primeira é um enunciado e a segunda uma proposição

Muitos autores usam enunciados e proposições como sinônimos.

Page 7: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

7

Lógica Informal: Argumentos(Exercícios)

Exercícios: Identificar as premissas [ ] e a conclusão ( ) dos argumentos:

1) Ele é Leão, pois nasceu na 1ª semana de agosto.

(Ele é Leão), pois [nasceu na 1ª semana de agosto].

Page 8: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

8

Lógica Informal: Argumentos(Exercícios)

2) A economia não pode ser melhorada desde que o déficit comercial está crescendo todo dia.

(A economia não pode ser melhorada) desde que [o déficit comercial está crescendo todo dia].

Page 9: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

9

Lógica Informal: Argumentos(Exercícios)

3. Como o filme ainda não acabou eu não quero ir para cama.

Sol:Como [o filme ainda não acabou,] (eu não quero ir para cama).

Page 10: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

10

Lógica Informal: Argumentos Complexos

Alguns argumentos se originam por etapas: Uma conclusão inferida de um conjunto de premissas

pode ser usada como premissa para inferir uma outra conclusão

As premissas que servem como conclusão de premissas anteriores chamam-se premissas não-básicas (ou conclusões intermediárias).

As premissas que não são conclusões de premissas prévias chamam-se premissas básicas (ou suposições).

Page 11: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

11

Lógica Informal: Argumentos Complexos: Exemplo

"Todos os números racionais podem ser expressos como quociente de dois inteiros. Contudo, π não pode ser expresso como quociente de dois inteiros. Portanto, π não é um número racional. Evidentemente, π é um número. Logo, existe pelo menos um número não-racional".

Page 12: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

12

Lógica Informal: Argumentos Complexos

Forma Padrão desse argumento:

• Todos os números racionais podem ser expressos como quociente de dois inteiros.

• π não pode ser expresso como quociente de dois inteiros.

◊ π não é um número racional.• π é um número.◊ Existe pelo menos um número não-racional.

Page 13: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

13

Lógica Informal: Argumentos.Identificação

Um argumento ocorre só quando pretende-se provar uma conclusão a partir de um conjunto de premissas.

Esse propósito geralmente é expresso pelo uso de indicadores de inferência.

Page 14: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

14

Lógica Informal: Argumentos. Indicadores de Inferência

INDICADORES DE CONCLUSÃO INDICADORES DE PREMISSAExpressões que assinalam que a sentença que os contém é uma

conclusão.

Expressões que assinalam que a sentença que os contém é uma

premissa.

Portanto, Por isso, Assim, Dessa maneira, Neste caso, Daí, Logo, De modo que, Então,

Assim sendo, Podemos deduzir que, ...

Pois, Desde que, Como, Porque,

Assumindo que, Visto que, Admitindo que, Em vista de, Dado

que, Supondo que, ...

Page 15: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

15

Lógica Informal: Argumentos. Indicadores de Inferência

Indicador de conclusão entre duas sentenças: indica que a primeira é premissa e a segunda conclusão

Ex: Ele não está em casa, portanto, ele foi pescar.

Indicador de premissa entre duas sentenças: indica que a primeira é conclusão e a segunda premissa.

Ex: Ele não está em casa pois ele foi pescar.

Page 16: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

16

Lógica Informal: Argumentos. Indicadores de Inferência

Indicador de conclusão no início de uma sentença: indica que a sentença é conclusão das premissas anteriores.

Ex: É verão e Amanhã é feriado. Portanto, vou à praia

Indicador de premissa no início de uma sentença composta de duas sentenças: indica que a primeira é premissa e a segunda conclusão.

Ex: Desde que uma frente fria está a caminho, é provável que chova

Page 17: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

17

Lógica Informal: Argumentos. Indicadores de Inferência: Exercícios

"O composto ouro-argônio, provavelmente, não é produzido no laboratório, muito menos na natureza, desde que é difícil fazer o argônio reagir com qualquer outra coisa e desde que o ouro, também, forma poucos compostos."

Page 18: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

18

Lógica Informal: Argumentos. Indicadores de Inferência: Exercícios

Solução:“ O composto ouro-argônio, provavel-mente, não é produzido no laboratório, muito menos na natureza), desde que [é difícil fazer o argônio reagir com qualquer outra coisa] e desde que [o ouro, também, forma poucos compostos]."

(

Page 19: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

19

Lógica Informal: Argumentos. Indicadores de Inferência: Exercícios

"A inflação tem caído consideravelmente, enquanto as taxas de juros tem permanecido altas. Portanto, em termos reais, o empréstimo tornou-se mais caro desde que nessas condições, o dinheiro emprestado não pode ser pago em reais desvalorizados."

Page 20: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

20

Lógica Informal: Argumentos. Indicadores de Inferência: Exercícios

Solução:"[A inflação tem caído consideravelmente, enquanto as taxas de juros tem permanecido altas]. Portanto, (em termos reais, o empréstimo tornou-se mais caro) desde que [nessas condições, o dinheiro emprestado não pode ser pago em reais desvalorizados]. "

Page 21: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

21

Lógica Informal: Argumentos. Indicadores de Inferência:

Para reconhecer se uma expressão é indicador de inferência, é necessário analisar o contexto:

Ex. Passaram-se 6 anos desde que fomos à França.

Ex. Ele estava zangado e ficou assim por vários dias.

Revela a duração de tempo, não uma inferência

Significa nessa condição e não "portanto".

Page 22: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

22

Lógica Informal: Argumentos. Indicadores de Inferência:

Muitas vezes os argumentos não apresentam indicadores de inferência. Nesses casos, é necessário uma análise mais rigorosa do contexto para entender as intenções do autor

Page 23: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

23

Lógica Informal: Argumentos.Indicadores de Inferência: Podem estar ausentes

Exemplo: "Al Capone foi imprudente. Se ele não fosse imprudente, o IRS jamais teria conseguido condená-lo por sonegar o imposto de renda.“

Page 24: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

24

Lógica Informal: Argumentos.Indicadores de Inferência: Podem estar ausentes

Ex.: “ 1(Al Capone foi imprudente). 2[Se ele não fosse imprudente, o IRS jamais teria conseguido condená-lo por sonegar o imposto de renda.]“

Reescrevendo na forma padrão:• Se Al Capone não fosse imprudente, o

IRS jamais teria conseguido condená-lo por sonegar o imposto de renda.

◊ Al Capone foi imprudente.

Page 25: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

25

Lógica Informal: Argumentos.Indicadores de Inferência: Podem estar ausentes

Exemplo: "Os defensores do aborto são hipócritas. Eles, continuamente, contestam em altos brados a execução de criminosos ou a destruição de nossos inimigos. Mas eles nada vêem de errado com o assassinato de crianças inocentes."

Page 26: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

26

Lógica Informal: Argumentos.Indicadores de Inferência: Podem estar ausentes

Ex.: "1(Os defensores do aborto são hipócritas). 2[Eles, continuamente, contestam em altos brados a execução de criminosos ou a destruição de nossos inimigos]. 3[Mas eles nada vêem de errado com o assassinato de crianças inocentes.]"

Reescrevendo na forma padrão:• Os defensores do aborto, continuamente,

contestam em altos brados a execução de criminosos ou a destruição de nossos inimigos.

• Eles nada vêem de errado com o assassinato de crianças inocentes.

◊ Os defensores de aborto são hipócritas.

Page 27: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

27

Lógica Informal: Argumentos.Indicadores de Inferência: Podem estar ausentes

Exemplo: "Você não precisa se preocupar com temperaturas abaixo de zero, em junho, mesmo nos picos mais altos. Nunca faz frio nos meses de verão e portanto provavelmente nunca ocorrerá."

Page 28: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

28

Lógica Informal: Argumentos.Indicadores de Inferência: Podem estar ausentes

Ex.: "1(Você não precisa se preocupar com temperaturas abaixo de zero, em junho, mesmo nos picos mais altos). 2[Nunca faz frio nos meses de verão] e portanto 3[provavelmente nunca ocorrerá]."

Reescrevendo na forma padrão:• Nunca ocorreu temperatura abaixo de zero,

mesmo nos picos mais altos, nos meses de verão.◊ Provavelmente nunca ocorrerá.◊ Você não precisa se preocupar com temperaturas

abaixo de zero, em junho, mesmo nos picos mais altos.

Page 29: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

29

Diagrama de Argumento

Maneira gráfica de representar a estrutura inferencial de um argumento.

Para diagramar um argumento fazemos o seguinte:

Page 30: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

30

Como Diagramar?

Circular os indicadores de inferência; Identificar cada enunciado e colocá-los entre

colchetes numerando-os; Se várias premissas compõem uma etapa de

raciocínio, escrever seus números numa fila, ligados pelo símbolo "+", e sublinhar a fila.

Se uma etapa do raciocínio for formada por apenas uma premissa, escrever apenas o seu número.

Desenhar uma seta para baixo a partir da fila de premissa(s) para o número que representa a conclusão da etapa.

Repetir esse procedimento se o argumento contiver mais de uma etapa.

Page 31: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

31

Diagrama de Argumento. Como diagramar um argumento:

Exercício"Hoje é quarta-feira ou sexta-feira. Mas não pode ser quarta-feira, pois o consultório do médico estava aberto esta manhã, e aquele consultório está sempre fechado às quartas. Portanto, hoje deve ser sexta-feira."

Page 32: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

32

Diagrama de Argumento.Como diagramar esse argumento?

Identificar os indicadores de inferência:"1[Hoje é quarta-feira ou sexta-feira]. Mas 2[não pode ser quarta-feira], pois 3[o con-sultório do médico estava aberto esta ma-nhã], e 4[aquele consultório está sempre fechado às quartas]. Portanto, 5[hoje deve ser sexta-feira]."

Page 33: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

33

Diagrama de Argumento.Como diagramar esse argumento?

3 + 4

1 + 2

5

3 junto com 4 é justificativa para 2, o qual junto com 1 é

justificativa para 5

Cada seta representa uma etapa do raciocínio

3,4 e 1 são as premissas básicas2 é premissa não-básica.5 é a conclusão final

Page 34: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

34

Diagrama de Argumento.Exemplo

"Watts está em Los Angeles e está, portanto, nos EUA e logo faz parte de uma nação plenamente industrializada. Assim, ele não faz parte do Terceiro Mundo, pois o Terceiro Mundo é caracterizado por nações em desenvolvimento e nações em desenvolvimento não estão por definição, plenamente industrializadas."

Page 35: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

35

Diagrama de Argumento.Exemplo

Solução:"1[Watts está em Los Angeles] e 2[está, portanto, nos EUA] e logo 3[faz parte de uma nação plenamente industrializada]. Assim, 4[ ele não faz parte do Terceiro Mundo], pois 5[o Terceiro Mundo é caracterizado por nações em desenvolvimento] e 6[nações em desenvolvimento não estão por definição, plenamente industrializados]."

Page 36: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

36

Diagrama de Argumento.Exemplo

Diagramação: 1

2

3 + 5 + 6

4

Page 37: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

37

Diagrama de Argumento.Observação

Em algumas sentenças aparecem locuções que não podem ser desmembradas em seus componentes: ou....ou, se.....então...., somente se,

contanto que, se e somente se, nem...nem, a menos que, até, quando, antes que;

“desde que” e “porque” quando não utilizados como indicadores de premissas.

Page 38: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

38

Diagrama de Argumento.Exemplo

"O Cheque perderá a validade a menos que ele seja descontado dentro de 30 dias. O cheque está datado de 2 de setembro e hoje é 6 de outubro. Portanto, o cheque não vale mais. Você não pode descontar um cheque que não vale. Assim, você não pode descontar este cheque."

Page 39: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

39

Diagrama de Argumento.Exemplo

Solução:"1[O Cheque perderá a validade a menos que ele seja descontado dentro de 30 dias]. 2[O cheque está datado de 2 de setembro] e 3[hoje é 6 de outubro]. Portanto, 4[o cheque não vale mais]. 5[Você não pode descontar um cheque que não vale]. Assim, 6[você não pode descontar este cheque]."

Page 40: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

40

Diagrama de Argumento.Exemplo

Diagramação:

1 + 2 + 3

4 + 5

6

Page 41: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

41

Diagrama de Argumento.Exercícios

1) Se você estudar e fizer exercícios então aprenderá. Você vai aprender, pois vai estudar e fazer exercícios.

2) Você vai estudar, pois, para fazer boa prova você estuda ou “cola”. Você não deve colar.

3) Como o hábito de comer em excesso

contribui para várias doenças, ele pode contribuir para a destruição da sua saúde. Mas a sua saúde é a coisa mais importante para você. Assim, você não deveria, habitualmente, comer em excesso.

Page 42: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

42

Diagrama de Argumento.Argumento Convergente

Um argumento convergente contém várias etapas independentes que sustentam a mesma conclusão.

O diagrama contém pelo menos um número com mais de uma seta apontando para uma mesma sentença.

Page 43: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

43

Diagrama de Argumento.Argumento Convergente

“Os Silva devem estar em casa. A porta da frente está aberta, o carro está na entrada da garagem e a televisão está ligada, pois eu posso ver a sua luminosidade através da janela.”

Page 44: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

44

Diagrama de Argumento.Argumento Convergente

"1[Os Silva devem estar em casa]. 2[A porta da frente está aberta], 3[o carro está na entrada da garagem] e 4[a televisão está ligada], pois 5[eu posso ver a sua luminosidade através da janela]."

Page 45: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

45

Diagrama de Argumento.Argumento Convergente

Diagramação

5

4 3 2

1

Page 46: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

46

Diagrama de Argumento. Enunciados Implícitos

Alguns argumentos são expressos de modo incompleto, o autor espera que os leitores percebam uma conclusão ou uma premissa não- estabelecida.

Exemplo:"Estava certo que nenhum dos conselheiros do presidente tinha vazado a informação e, no entanto, realmente ela tinha sido vazada para a imprensa.“

Page 47: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

47

Diagrama de Argumento. Enunciados Implícitos: Exemplo

"1[Estava certo que nenhum dos conselheiros do presidente tinha vazado a informação] e, no entanto, 2[realmente ela tinha sido vazada para a imprensa].“

conclusão implícita:3[Alguém, além dos conselheiros do Presidente, vazou a informação para a imprensa.]

1 + 2

3

Page 48: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

48

Diagrama de Argumento. Enunciados Implícitos: Exercício

"Se você fosse meu amigo, não falaria por trás de mim."

Solução: "1[Se você fosse meu amigo, não falaria por trás de mim]." premissa e conclusão não-estabelecidas:

premissa: 2[Você fala por trás de mim] a conclusão: 3[Você não é meu amigo]

Page 49: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

49

Avaliação de um Argumento

Principal propósito de um argumento: Demonstrar que uma conclusão é

provável ou verdadeira.

Como avaliar que um argumento atinge ou não esse propósito? (Se ele é válido?)

Page 50: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

50

Avaliação de um Argumento

Critérios usados para avaliar um argumento: Se todas as premissas são verdadeiras; Se, dada a verdade das premissas, a

conclusão é ao menos provável; Se as premissas são relevantes para a

conclusão; Se o argumento é indutivo e sua

conclusão é duvidosa.

Page 51: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

51

Avaliação de um Argumento Verdade das Premissas;

Exercício:. Existem muitas civilizações

extraterrestres.. Muitas dessas civilizaçõesproduzem

sinais eletromagnéticos fortes suficientes para serem detectados na terra.

. Logo, os terrestres detectam sinais gerados por extraterrestres.

Page 52: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

52

Avaliação de um Argumento Relevância das Premissas;

Nem todo argumento com premissas verdadeiras e probabilidade alta é um bom argumento.

Uma conclusão pode ser provável ou indiscutível, ainda que as premissas sejam irrelevantes.

Exemplo: Argumento dedutivo com premissas irrelevantes.

. Uma semana tem sete dias.

. Um mês tem 32 dias.

. Logo, Hoje é quarta-feira ou hoje não é quarta-feira

Page 53: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

53

Avaliação de um Argumento Relevância das Premissas;

Qualquer argumento com premissas contraditórias é dedutivo. Isso segue da definição de dedução.

Exemplo: Argumento dedutivo com premissas irrelevantes, pois são contraditórias.

. O Brasil é hexa.

. O Brasil não é hexa.

. Logo, a terra é quadrada.

Page 54: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

54

Argumentos Dedutivo e Argumentos Indutivos

Os argumentos podem ser classificados em duas categorias: Argumento dedutivo

Argumento cuja conclusão deve ser verdadeira se suas premissas forem verdadeiras.Em outras palavras - um argumento é dedutivo quando: “se as premissas forem verdadeiras é impossível que a conclusão seja falsa”.

Argumento indutivo A conclusão não é necessária, dada a verdade

das premissas.

Page 55: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

55

Argumentos Dedutivo e Argumentos Indutivos

Se chove molha a rua.Está chovendo.A rua está molhada.

Se chove molha a rua.A rua está molhada.Está chovendo

Dedutivo

Induti

vo

Page 56: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

56

Argumentos Dedutivo e Argumentos Indutivos. Exercícios: Dedutivo ou Indutivo?

1) . Não há registros de seres humanos com mais

de 5 metros de altura. Nunca tivemos um ser humano com mais de 5

metros de altura.

2). Alguns porcos tem asas. Todas as coisas aladas gorjeiam Alguns porcos gorjeiam

Page 57: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

57

Argumentos Dedutivo e Argumentos Indutivos. Exercícios: Dedutivo ou Indutivo?

3). Se houver uma guerra nuclear, a civilização será

destruída.. Haverá uma guerra nuclear◊ A civilização será destruída por uma guerra nuclear.

4). O cloreto de potássio é, quimicamente, muito similar

ao sal de cozinha (cloreto de sódio).◊ O Cloreto de potássio tem sabor igual ao do sal de

cozinha.

Page 58: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

58

Argumentos Dedutivo e Argumentos Indutivos.Probabilidade Indutiva

Os conceitos de argumento dedutivo e indutivo são independentes da real veracidade ou falsidade das premissas e conclusão.

A probabilidade de uma conclusão dado um conjunto de premissas básicas chama-se probabilidade indutiva.

A probabilidade indutiva de um argumento dedutivo é igual a 1.

A probabilidade indutiva de um argumento indutivo é menor que 1.

Page 59: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

59

Argumentos Dedutivo e Argumentos Indutivo Quando a probabilidade indutiva de um argumento

indutivo é alta dizemos que ele é fortemente indutivo.

Os argumentos indutivos são vulneráveis à nova evidência. Os dedutivos não.Exemplo:Argumento Fortemente Indutivo

. Pouquíssimos franceses sabem sambar.

. Jean é francês.

. Logo, Jean não sabe sambar.

E se acrescentarmos uma nova premissa: Jean foi criado no Morro da Mangueira, R.J. ? Indutivo Fraco

Page 60: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

60

Argumentos Dedutivo e Argumentos Indutivo

Um argumento dedutivo no qual todas as premissas básicas são verdadeiras dizemos que é um argumento correto.

Um argumento correto estabelece com certeza que sua conclusão é verdadeira.

Page 61: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

61

Argumentos Dedutivo e Argumentos Indutivos

Tradicionalmente o termo dedutivo inclui qualquer argumento que tenciona que a conclusão seja verdadeira dada a verdade das premissas. Neste sentido, diferencia-se os argumentos em Válidos e Inválidos

Page 62: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

62

Argumentos Dedutivo e Argumentos Indutivos. Exemplos

1) . Todo homem é mortal . Sócrates é um homem Sócrates é mortal

2) . Freqüentemente quando chove fica nublado. Está chovendo Está nublado

Dedutivo

Induti

vo

Page 63: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

63

Argumentos Dedutivo e Argumentos Indutivos

A lógica Clássica é Dedutiva. Está interessada em, a partir de proposições supostamente verdadeiras, atingir conclusões verdadeiras.

Na vida real, nem sempre temos esse tipo de garantia. Muitas vezes raciocinamos por analogia, ou usando probabilidade.

Exemplo:

A vacina funcionou bem nos ratos.A vacina funcionou bem nos macacos. Logo, vai funcionar bem nos humanos.

Page 64: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

64

Argumentos Dedutivo e Argumentos Indutivos

Surge espaço para a Lógica Indutiva, a qual trabalha com argumentos indutivos: sendo as premissas verdadeiras, a conclusão é provavelmente verdadeira.

O problema é: qual o grau de probabilidade para que um argumento indutivo seja considerado Forte, ou Fraco? Qual deve ser o limite para diferencia-los?

Page 65: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

65

Argumentos Dedutivo e Argumentos Indutivos

As vezes, quando chove fica nubladoEstá chovendoEstá nublado

A maioria das vezes, quando chove fica nubladoEstá chovendoEstá nublado

Induti

vo Fra

co

Induti

vo For

te

Page 66: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

66

Argumentos Dedutivo e Argumentos Indutivos. Exercícios

Avalie os argumentos que seguem:

1). Todos tem um e um só pai biológico.. Os irmãos tem o mesmo pai biológico.. Ninguém é pai biológico de si mesmo.Não há pai biológico que seja também seu

irmão.

Page 67: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

67

Argumentos Dedutivo e Argumentos Indutivos. Exercícios

2). Os visitantes da china quase nunca contraem

malária no país.. José está visitando a China.José não contrairá malária na China.

3). Eu sonho com monstros.. Meu irmão sonha também com monstros. Todas as pessoas sonham com monstros.

Page 68: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

68

Argumento Complexo (estude e faça exercícios)

Diagramar e avaliar os seguintes argumentos:

1) "Todos os seus amigos são delinqüentes. Assim, como José é um delinqüente, ele deve ser um dos seus amigos delinqüentes. Mas os delinqüentes não podem ser bons amigos. Portanto, José não é um bom amigo para você.“

2) "Todos os marcianos são bons beijadores. Alguns Marcianos têm várias bocas. Algumas coisas com várias bocas são bons beijadores."

Page 69: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

69

Argumento Complexo (estude e faça exercícios)

3) "Todos os argumentos são ou indutivos ou dedutivos. O que você está lendo agora é um argumento. Este argumento não é indutivo. Este argumento é dedutivo.“

4) "Não existe o maior número primo. Mas de todos os números primos sempre podemos imaginar que certamente existe um maior. Logo, existem números primos maiores do que qualquer um que possamos imaginar."

Page 70: 1 Lógica Informal: Argumentos A Lógica é o estudo de argumentos. Um argumento é uma seqüência de proposições/enunciados na qual um dos enunciados é a conclusão.

70

ArgumentosQual o tipo de argumento que estudaremos? A Lógica Clássica estuda o argumento dedutivo no

sentido tradicional (dedutivo: qualquer argumento que tenciona que a conclusão seja verdadeira, dada a verdade das premissas)

O objetivo da Lógica Formal é mostrar a validade de certas formas de argumento (classes de argumentos)

O estudo das formas de argumento facilita a verificação da validade dos argumentos.

Na Lógica Formal estudaremos formas básicas do raciocínio lógico de um ponto de vista sintático (gramatical) e em seguida os princípios semânticos que justificam essas formas de raciocínio.