Argumento

term: Argumento summary: "Sequência de proposições onde algumas são premissas e uma é a conclusão, com a alegação de que as premissas sustentam a conclusão." relatedModules: [history-of-logic, propositional-logic] seeAlso: [validade, solidez, modus-ponens]

Definição

Sequência de proposições em que algumas são designadas como premissas e uma é designada como conclusão, junto com a alegação de que as premissas sustentam a conclusão.

Forma canônica

\frac{P_1, P_2, \ldots, P_n}{C}

As $P_i$ são as premissas; $C$ é a conclusão. A linha horizontal lê-se portanto.

Intuição

Como uma função que recebe premissas e retorna a conclusão. O argumento é a transformação; sua qualidade depende de duas perguntas independentes:

A transformação preserva verdade? (validade)
As entradas são, de fato, verdadeiras? (solidez)

Registro computacional

Argumentos são funções tipadas. Premissas são argumentos da função; conclusão é o tipo de retorno. Validade é a corretude do tipo; solidez é a corretude dos valores.

Exemplo

Todo homem é mortal. Sócrates é um homem. Logo, Sócrates é mortal.

Premissas: todo homem é mortal, Sócrates é um homem. Conclusão: Sócrates é mortal.