Lógica informal: os argumentos

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.

Lógica Informal: Argumentos

Exemplo:

• Todos os homens são mortais (Premissa)

• Sócrates é um homem (Premissa)

Sócrates é mortal (Conclusão)

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ções Nã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)

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.

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)

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.

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].

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].

Lógica Informal: Argumentos (Exercícios)

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

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).

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".

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.

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.

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

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