terça-feira, 27 de outubro de 2015
terça-feira, 20 de outubro de 2015
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
Subscrever:
Comentários (Atom)