A lógica é o estudo do raciocínio e das regras que permitem chegar a conclusões confiáveis a partir de premissas. Essas regras ajudam os filósofos, cientistas e qualquer pessoa a fazer deduções que sejam válidas e coerentes com as informações disponíveis. Em termos práticos, a lógica auxilia a decidir se algo é verdadeiro ou falso, a identificar inferências inválidas e a construir argumentos claros e persuasivos.

Há duas grandes divisões na lógica moderna: a lógica informal, que se ocupa do uso cotidiano da linguagem e dos argumentos em textos e debates, e a lógica formal, que traduz argumentos em símbolos e fórmulas para avaliar sua estrutura e validade independentemente do conteúdo. A lógica formal inclui ramos como a lógica proposicional e a lógica de predicados, que lidam, respectivamente, com sentenças simples e com sentenças que envolvem quantificadores (por exemplo, "todos", "alguns").

Silogismos

A lógica é frequentemente escrita em silogismos, que são um tipo de prova lógica. Um silogismo é composto por um conjunto de declarações (premissas) usadas para provar logicamente uma declaração final, chamada de conclusão. Um exemplo famoso de silogismo foi dado pelo filósofo grego clássico Aristóteles:

  1. Todos os homens são mortais.
  2. Sócrates é um homem.
  3. Portanto, Sócrates é mortal.

Neste exemplo, a conclusão deriva claramente das premissas: se todas as pessoas do grupo "homens" são mortais e Sócrates pertence a esse grupo, então Sócrates é mortal. O que torna um silogismo bom não é a verdade das premissas em si (essas podem ser verificadas empiricamente), mas a relação lógica correta entre premissas e conclusão.

Proposições, valor de verdade e validade

O silogismo é composto por três afirmaçõesouproposições lógicas. Essas afirmações são frases que têm um valor de verdade, ou seja, podem ser comprovadas como verdadeiras ou falsas (mas não as duas coisas ao mesmo tempo). Em lógica formal trabalhamos com a distinção entre:

  • Veracidade das premissas: se as premissas correspondem aos fatos do mundo;
  • Validade do argumento: se a conclusão segue logicamente das premissas, isto é, se fosse impossível que todas as premissas fossem verdadeiras e a conclusão fosse falsa;
  • Corretude ou solidez (soundness): quando um argumento é válido e todas as suas premissas são verdadeiras.

Afirmações ilógicas ou erros de raciocínio são chamados de falácias lógicas. Uma falácia pode ter premissas falsas ou uma cadeia inferencial defeituosa — ou ambos.

Regras comuns do raciocínio

A lógica formal codifica regras que permitem inferir conclusões corretas quando as premissas são dadas. Entre as regras mais importantes e frequentemente usadas estão:

  • Modus ponens: se "P implica Q" (P → Q) e P é verdadeira, então Q é verdadeira. Ex.: "Se chove, a rua fica molhada. Está chovendo. Logo, a rua está molhada."
  • Modus tollens: se "P implica Q" e Q é falsa, então P é falsa. Ex.: "Se há fogo, há fumaça. Não há fumaça. Logo, não há fogo."
  • Síllogismo hipotético: se P → Q e Q → R, então P → R (cadeia de implicações).
  • Eliminação da disjunção: a partir de "P ou Q" e da negação de P, conclui-se Q.
  • Contraposição e equivalências lógicas: transformar sentenças mantendo a mesma força inferencial (útil em provas formais).

Além dessas, a lógica de predicados acrescenta regras para lidar com quantificadores: "para todo" (∀) e "existe" (∃), permitindo formalizar argumentos que usam expressões como "todos", "alguns" ou "nenhum". A confusão entre validade e verdade costuma ser fonte de erros — um argumento pode ser válido mas ter premissas falsas, portanto não ser útil para demonstrar algo sobre o mundo real.

Exemplos de falácias comuns

Conhecer falácias ajuda a avaliar a qualidade de argumentos. Alguns exemplos frequentes:

  • Ad hominem: atacar a pessoa que faz o argumento em vez de responder ao argumento em si.
  • Apelo à autoridade indevida: aceitar uma afirmação apenas porque uma autoridade a fez, mesmo quando essa autoridade não é especialista no assunto.
  • Afirmação do consequente (falácia formal): concluir que P é verdadeiro a partir de "P → Q" e "Q"; isso não é logicamente válido, pois Q pode ser verdade por outra razão.
  • Generalização apressada: tirar conclusões gerais a partir de poucas observações.

Aplicações práticas

A lógica não é apenas uma disciplina teórica: é fundamental na matemática, na informática (por exemplo, em programação, verificação de programas e inteligência artificial), no direito (para construir e avaliar argumentos jurídicos) e no pensamento crítico do dia a dia. Aprender lógica melhora a clareza, reduz vieses e ajuda a construir argumentos mais robustos.

Em resumo, estudar lógica é aprender a distinguir entre bons e maus argumentos, traduzir raciocínios em formas que possam ser avaliadas formalmente e aplicar regras confiáveis para chegar a conclusões seguras. Quando usada corretamente, a lógica é uma ferramenta poderosa para compreender o mundo e comunicar ideias com precisão.