Princípios Básicos da Lógica

Aristóteles estabeleceu três princípios fundamentais que guiam o pensamento lógico:

1. O princípio da identidade afirma que uma coisa é igual a si própria. Este é o ponto de partida para qualquer raciocínio consistente.

2. O princípio da não contradição estabelece que uma coisa não pode ser igual a si própria e ao seu contrário simultaneamente e nas mesmas condições. Na linguagem lógica, representa-se como $A \land \neg A$.

3. O princípio do terceiro excluído determina que uma coisa ou é, ou não é, sem possibilidade de uma terceira opção. Representa-se como $A \lor \neg A$.

Uma proposição é o conteúdo verdadeiro ou falso expresso numa frase declarativa. Apenas as frases declarativas podem ser proposições, pois só elas possuem valor de verdade.

💡 Dica prática: Quando analisares um argumento, verifica sempre se respeita estes três princípios lógicos! Muitos erros de raciocínio resultam da violação destes princípios básicos.

Proposições Categóricas

As proposições categóricas estabelecem claramente uma relação entre os seus elementos. São proposições simples com uma estrutura bem definida.

Uma proposição categórica tem quatro elementos essenciais:

• Um sujeito: aquele ou aquilo sobre o qual se afirma ou nega algo
• Um predicado: aquilo que se afirma ou nega do sujeito
• Uma cópula: o verbo "ser" que liga o sujeito ao predicado
• Um quantificador: determina se a proposição é universal ou particular

A forma canónica de uma proposição categórica segue o padrão: Quantificador + sujeito + cópula + predicado. Existem quatro tipos principais:

• Tipo A: Universal afirmativa (Todos os S são P)
• Tipo E: Universal negativa (Nenhum S é P)
• Tipo I: Particular afirmativa (Algum S é P)
• Tipo O: Particular negativa (Algum S não é P)

💡 Atenção! Saber identificar corretamente o tipo de proposição é fundamental para avaliar a validade de um argumento lógico.

O Quadrado da Oposição

O Quadrado da Oposição é uma ferramenta poderosa para entender as relações entre proposições categóricas e determinar como negá-las corretamente.

No quadrado, as proposições estão organizadas da seguinte forma:

• No topo: proposições universais (A e E) que são contrárias entre si
• Na base: proposições particulares (I e O) que são subcontrárias
• As diagonais representam relações contraditórias $A-O e E-I$
• As verticais representam relações de subalternidade $A-I e E-O$

Para negar corretamente uma proposição categórica, devemos sempre apresentar a sua contraditória. Por exemplo, a contraditória de "Todos os humanos são mortais" (tipo A) seria "Alguns humanos não são mortais" (tipo O).

💡 Lembra-te: As contraditórias nunca podem ser ambas verdadeiras ou ambas falsas! Se uma é verdadeira, a outra é necessariamente falsa, e vice-versa. Isto é crucial para construir argumentos sólidos.