logica

●

Argumento 3

●

Argumento 4

P1

Todo gato é mamífero

P1

Todo gato é mamífero

P2

Lulu é mamífero

P2

Miau é mamífero

►Lulu

é um gato

Ruim

►Miau

é um gato

Ruim

Invalidade
●

A3 e A4 são ambos inválidos. Ambos compartilham a mesma forma de argumento inválido:
P1 Todo A é B
P2 c é um B
►c é A

Definição [Argumento inválido]: Um argumento inválido é um argumento que não é válido; i.e., um argumento é inválido se existe uma circunstância em que suas premissas são verdadeiras e sua conclusão é falsa.

1) Todo gato é mamífero V 1) Todo peixe é dourado F
2) Miau é um gato V

2) Cleo é um peixe V

Miau é mamífero V

Cleo é dourado V

VÁLIDO
BOM

VÁLIDO
RUIM

1) Todo gato é mamífero V

1) Todo gato é mamífero V

2) Lulu é mamífero V

2) Miau é mamífero V

Lulu é um gato F

Miau é um gato V

INVÁLIDO
RUIM

INVÁLIDO
RUIM

Correção
●

●

A validade é um requisito necessário, porém insuficiente, para um bom argumento. Nem todo argumento válido é bom.
Para que um argumento válido possa ser bom ele precisa ser correto.

Definição [Argumento correto]: Um argumento é correto se for válido e, além disso, tiver todas as premissas verdadeiras.

●

Validade depende da forma

●

Correção depende da forma e do conteúdo

●

Um argumento bom deve ser no mínimo válido e correto, mas também deve ter outras características: –
–

Deve estar formulado em linguagem adequada ao público a que se destina

–

Deve fornecer evidência para suas premissas

–
●

Deve ser convincente

…

Avaliar se um argumento é bom requer fatores extra-lógicos. Como reconhecer um argumento válido? ●

Por ora, temos duas maneiras disponíveis:
–
–

●

Usando a imaginação
Identificando sua forma e comparando-a com as formas válidas conhecidas

Mais à frente veremos testes formais de validade

Usando a imaginação

Mais formas válidas
(Modus ponens