Apontamentos
Mas afinal o que é a lógica?
A lógica ou ciência do logos – do grego “razão”, “pensamento”, “discurso”, “argumento” – é o estudo dos argumentos válidos. Constitui uma tentativa sistemática para distinguir os argumentos corretos dos incorretos. Permite-nos: * Distinguir os argumentos corretos (válidos) dos incorretos (inválidos); * Compreender por que razão alguns argumentos são corretos e outros não; * Evitar cometer erros na argumentação; * Construir bons argumentos;
Lógica formal: designa a ciência do logos, isto é, a ciência que investiga os princípios gerais do pensamento e do discurso válido. É uma tentativa sistemática para distinguir os argumentos válidos dos inválidos.
O que se entende por argumento?
Designamos por argumento o complexo formado por uma ou várias proposições (denominadas “premissas”), a partir das quais se infere uma única proposição (designada “conclusão”). A relação que se estabelece entre as premissas e a conclusão é uma relação de sustentação. As premissas visam, na sua totalidade, fornecer uma razão para aceitar a conclusão. Cada uma das premissas de um argumento, bem como a sua conclusão, são proposições. As proposições são asserções: enunciam como as coisas são ou poderiam ter sido. Só as frases indicativas ou enunciados declarativos exprimem proposições. Denominam-se proposições apenas e só os enunciados dos quais seja possível dizer que são verdadeiros ou falsos.
Podemos concluir: * Das proposições dizemos que são verdadeiras ou falsas; * Dos argumentos afirmamos que são válidos ou inválidos; * A validade refere-se à forma como a conclusão é extraída das premissas; * A verdade diz respeito ao conteúdo material das proposições.
Afirmar que um argumento é válido em virtude da sua estrutura formal significa declarar que qualquer outro argumento que respeite rigorosamente a mesma força lógica será também ele válido. É válido qualquer argumento que obedeça à forma “Todo o A é B; todo