Portal InstitucionalUFPEL

Apresentação do nascimento da
lógica, da lógica aristotélica, que foi a primeira tentativa
sistemática de explicitar as estruturas lógicas básicas de todo
pensamento e linguagem. São essas estruturas que validam
argumentos, que garantem, se observadas de um ponto de
vista semântico, que a informação da conclusão seja
consequência da informação presente nas premissas. De um
ponto de vista meramente sintático, a constatação da estrutura
válida demonstra que as regras lógicas foram seguidas na
argumentação — por isso, inclusive, as regras lógicas podem
ser usadas para determinar a validade de argumentos, e que a
conclusão se segue das premissas de um ponto de vista
lógico, que ela é consequência das premissas, mesmo que o
argumento não apresente relevância informativa. A
apresentação subsequente da lógica simbólica moderna,
mostra ao aluno os métodos de formalização contemporâneos
utilizados para detectar a estrutura de sentenças e argumentos
e os cálculos utilizados para determinar a validade ou nãovalidade dos últimos.