segunda-feira, 5 de outubro de 2015

Lógica Formal

O estudo da argumentação válida que depende exclusivamente da forma lógica. Por exemplo, a validade do seguinte argumento depende inteiramente da sua forma lógica: "Alguns homens são mortais; logo, alguns mortais são homens". A forma lógica deste argumento é a seguinte: Alguns A são B; logo, alguns B são A. Não é difícil ver que qualquer argumento que tenha esta forma lógica é válido. Não se deve pensar que só a LÓGICA CLÁSSICA é formal; a LÓGICA ARISTOTÉLICA é igualmente formal, apesar de em geral se usar menos símbolos. Os argumentos cuja validade não depende inteiramente da sua forma lógica são o objecto de estudo da LÓGICA INFORMAL. DM