Argumentos: formais e informais, dedutivos e não dedutivos - as várias combinatórias

• Argumentos dedutivos formais:

- Pode-se determinar a sua validade inspeccionando apenas a sua forma lógica.

- Quando uma forma lógica é dedutivamente válida todos os argumentos com essa forma serão válidos*.

- Os silogismos e os argumentos proposicionais são argumentos dedutivos formais.

- São estudados pela Lógica Formal.

*Todavia, o inverso já não é verdadeiro: quando uma forma lógica é dedutivamente inválida alguns argumentos com essa forma poderão ser válidos – validade informal.

• Argumentos dedutivos informais:

- A determinação da sua validade implica inspeccionar o conteúdo, temos de considerar os conceitos utilizados.

- A sua forma pode ser inválida e no entanto o argumento ser válido.

- Essa validade é, por isso, informal.

- Essa validade é dedutiva, pois a verdade das premissas implica a verdade da conclusão; é uma questão de necessidade e não de probabilidade*.

- Os argumentos semânticos são argumentos dedutivos informais.

- São estudados pela Lógica Informal.

*Como sucede nos argumentos não dedutivos.

• Argumentos não dedutivos:

- São todos informais.

- A determinação da sua validade implica inspeccionar o conteúdo.

- Essa validade é não dedutiva, pois a verdade das premissas torna provável (e não necessária) a verdade da conclusão.

- Os argumentos indutivos (generalizações e previsões), os argumentos por analogia e os argumentos de autoridade são argumentos não dedutivos.

- São estudados pela Lógica Informal.

Bibliografia:

Aires Almeida e outros, A Arte de Pensar - 11º Ano, Didáctica Editora, Lisboa, 2008.

Desidério Murcho, O Lugar da Lógica na Filosofia, Plátano, Lisboa, 2003.

DEF - Dicionário Escolar de Filosofia, Direcção de Aires Almeida, http://www.defnarede.com