Forma de um argumento

Os argumentos lógicos, em geral, possuem uma certa forma (estrutura). Uma estrutura pode ser criada a partir da substituição de palavras diferentes ou sentenças, que geram uma substituição de letras (variáveis lógicas) ao logo das linhas da álgebra.

Um exemplo de um argumento:

(1) Todos os humanos são mentirosos. João é humano. Logo, João é mentiroso.

Podemos reescrever o argumento separando cada sentença em sua determinada linha:

(2) Todo humano é mentiroso.

(3) João é humano.

(4) Logo, João é mentiroso.

Substituimos os termos similares de (2-4) por letras, para mostrar a importância da noção de forma de argumento a seguir:

(5) Todo H é M.

(6) J é H.

(7) Logo, J é M.

O que fizemos em C foi substituir "humano" por "H", "João" por "J" e "mentiroso" por "M", como resultado dessas alterações temos que (5-7) é uma forma do argumento original (1), ou seja (5-7) é a forma de argumento de (1). Além disso, cada sentença individual de (5-7) é a forma de sentença de uma respectiva sentença em (1).

Vale enfatizar que quando dois ou mais argumentos têm a mesma forma, se um deles é válido, todos os outros também são, e se um deles é inválido, todos os outros também são.

Referência

• «Argument Form da wikipedia anglófona» 

yguuguguguygugyuguygyugyugugyugyugugyugyuguygugyugyugyguguygugyuguygyugyuguyguygyugyugyuguygyuguyguygug