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!