 | Este artigonão citafontes confiáveis. Ajude ainserir referências. Conteúdo nãoverificável pode ser removido.—Encontre fontes:Google (N • L • A • I • WP refs) • ABW • CAPES(março de 2025) |
Aforma lógica,forma de um argumento, ou simplesmenteforma, é a representação de suas sentenças usando agramática formal e o simbolismo de um sistema lógico para mostrar sua semelhança com todos outrosargumentos do mesmo tipo.
Encontrar a forma lógica de uma sentença consiste basicamente em tirar todo o conteúdo desnecessário da oração (como gênero e forma passiva) e substituir todas as expressões especificas doassunto do argumento porvariáveis [desambiguação necessária] esquemáticas, fazendo assim uma conversão da expressão escrita em português, ou em outra língua, para a linguagem da lógica. Desta forma, por exemplo, a expressão "todo A é B" mostra a forma lógica comum às sentenças "todo humano é mortal", "todo gato é carnívoro", "todo grego é filosofo", etc.
Já naantiguidade clássica reconhece-se que o conceito deforma é fundamental para alógica. Aristotéles foi provavelmente o primeiro a empregar letras como variáveis para representar sentenças validas (nas Primeiras Analíticas). (Razão pela qual Lukasiewicz disse que a introdução das variáveis foi "uma grande invenção deAristóteles").
De acordo com os seguidores de Aristóteles (como Ammonius, o Peripatético) apenas os princípios lógicos declarados de forma esquemática pertencem à lógica, e não aqueles dado por termos concretos. O termo concretohomem,mortal etc são análogos para o valor de substituição das variáveis esquemática 'A', 'B', 'C', que são chamadas de 'assunto' (do Gregohyle, do Latinmateria) para o argumento.
Osargumentos 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:
Podemos reescrever o argumento separando cada sentença em sua determinada linha:
Substituimos os termos similares de (2-4) por letras, para mostrar a importância da noção de forma de argumento a seguir:
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.
