Fundamentos da Lógica

Na Filosofia, apresentamos teses para resolver problemas. Uma tese é uma ideia que queremos afirmar e defender através de bons argumentos. Para isso, usamos a lógica.

Um argumento é um conjunto de proposições (frases declarativas que podem ser verdadeiras ou falsas) devidamente articuladas. Estas dividem-se em premissas (que sustentam ou justificam) e conclusão (o que se pretende provar). Para ser considerado um argumento, deve existir uma conexão lógica entre as proposições.

Existem vários tipos de argumentos. Os argumentos sólidos são válidos e têm premissas verdadeiras. Um entimema é um argumento onde uma ou mais proposições estão subentendidas. Já os argumentos não dedutivos dependem de aspectos que vão além da forma lógica.

💡 Dica útil: Quando analisares um argumento, verifica sempre se há uma conexão lógica entre as premissas e a conclusão. Se a transição lógica falha, encontraste uma falácia (argumento incorreto que parece válido)!

Tipos de Falácias e Proposições

As falácias podem ser de dois tipos: formais, que decorrem da forma lógica do argumento (quando um argumento dedutivo é formalmente inválido), e informais, que resultam de aspectos para além da lógica formal, ocorrendo em argumentos não dedutivos.

A lógica formal analisa a validade dos argumentos dedutivos, enquanto a lógica informal estuda principalmente a validade dos argumentos não dedutivos. Na lógica, encontramos diferentes tipos de proposições categóricas:

• Tipo A (universal afirmativa): "Todo S é P"
• Tipo E (universal negativa): "Nenhum S é P"
• Tipo I (particular afirmativa): "Algum S é P"
• Tipo O (particular negativa): "Algum S não é P"

As proposições condicionais são compostas por duas partes: o antecedente e o consequente (exemplo: "Se tenho dinheiro, então sou feliz"). Para negar uma proposição condicional, mostramos que o antecedente não é condição suficiente para o consequente.

🧠 Atenção: As proposições bicondicionais expressam-se com "P se, e só se, Q", significando que cada proposição implica a outra. Para negá-las, basta mostrar que um dos lados é verdadeiro e o outro falso!

Validade dos Argumentos

A validade é uma característica fundamental dos argumentos lógicos. Um argumento é considerado válido quando, se as premissas forem verdadeiras, a conclusão também será necessariamente verdadeira.

Por outro lado, um argumento é inválido quando é possível que as premissas sejam verdadeiras e a conclusão seja falsa. Isto significa que há uma falha na conexão lógica entre as premissas e a conclusão.

A validade é sobre a estrutura do argumento e não sobre o conteúdo das proposições. É possível ter um argumento válido com premissas falsas, mas nunca um argumento válido com premissas verdadeiras e conclusão falsa.

⚠️ Importante: Não confundas validade com verdade! Um argumento pode ser válido mesmo que suas premissas sejam falsas. O que importa é a conexão lógica entre premissas e conclusão.