O que é Lógica? Definição, Silogismos e Regras do Raciocínio
Lógica, silogismos e regras do raciocínio: entenda definições, deduções e como evitar falácias com exemplos práticos.
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").
Galeria de imagens
10 Imagens
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:
- Todos os homens são mortais.
- Sócrates é um homem.
- 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.
Lógica simbólica
As declarações lógicas podem ser escritas em um tipo especial de escrita manual curta, chamada de lógica simbólica. Estes símbolos são usados para descrever o raciocínio lógico de uma forma abstrata.
- ∧
é lido como "e", o que significa que ambas as afirmações se aplicam. - ∨
é lido como "ou", ou seja, pelo menos uma das afirmações se aplica. - →
é lido como "implica", "são", ou "se ... então ...". Ele representa o resultado de uma afirmação lógica. - ¬ não é
lido como "não", ou "não é o caso que ...". - ∴
é lido como "portanto", que é usado para marcar a conclusão como um argumento lógico. - ( ) O estilo do jogo ()}
é lido como "parênteses". Eles agrupam as afirmações lógicas. Declarações entre parênteses devem ser sempre consideradas em primeiro lugar, seguindo a ordem das operações lógicas.
Aqui está o silogismo anterior escrito em lógica simbólica.
( h u m a n → m o r t a l ) ∧ ( A r i s t o t l e → h u m a n ) ) → ( A r i s t o t l e → m o r t a l ) estilo de jogo ((human=right-tarrow mortal)terra (Aristotle=rightarrow humano))righttarrow (Aristotle=rightarrow mortal)} 
Se substituirmos as palavras em inglês por letras, podemos tornar o silogismo ainda mais simples. Assim como os símbolos matemáticos para operações como adição e subtração, a lógica simbólica separa a lógica abstrata do significado do idioma inglês das afirmações originais. Com estes símbolos abstratos, as pessoas podem estudar a lógica pura sem o uso de uma linguagem escrita específica.
( a → b ) ∧ ( c → a ) ) → ( c → b ) estilo de jogo ((arightarrow b)terra (crightarrow a))rightarrow (crightarrow b)} 
O silogismo é agora escrito da maneira mais abstrata e simples possível. Quaisquer elementos perturbadores, como palavras em inglês, foram removidos. Qualquer pessoa que entenda o simbolismo lógico pode entender este argumento.
Prova lógica
Uma prova lógica é uma lista de declarações colocadas em uma ordem específica para provar um ponto lógico. Cada declaração na prova ou é uma suposição feita para fins de argumento, ou foi provado que se segue a declarações anteriores na prova. Todas as provas devem começar com algumas suposições, tais como "humanos existem" em nosso primeiro silogismo. Uma prova mostra que uma declaração, a conclusão, segue as suposições iniciais. Com uma prova, podemos provar que "Aristóteles é mortal" segue logicamente de "Aristóteles é um homem" e "Todos os homens são mortais".
Algumas afirmações são sempre verdadeiras. Esse tipo de afirmação é chamado de tautologia. Uma tautologia clássica popular, creditada ao filósofo Parmenides de Elea, diz: "O que é, é". Aquilo que não é, não é". Isto significa essencialmente que as afirmações verdadeiras são verdadeiras e as falsas afirmações são falsas. Como você pode ver, as tautologias podem nem sempre ser úteis na construção de argumentos lógicos.
Uma tautologia é representada em lógica simbólica como ( a ∨ a ) estilo de jogo (a)ou não a 
que significa "a ou não a". Supondo que não haja possibilidades não mencionadas, isto cobre todos os casos possíveis.
Utilizações
Como a lógica é uma ferramenta usada para pensar mais racionalmente, ela pode ser usada de inúmeras maneiras. A lógica simbólica é empregada de forma abrangente, desde tratados filosóficos até complicadas equações matemáticas. Os computadores utilizam a lógica de regras para executar algoritmos, que permitem que os programas de computador tomem decisões baseadas em dados.
A lógica é fundamental para a matemática pura, a estatística e a análise de dados. Pessoas que estudam matemática criam provas que utilizam regras lógicas para mostrar que os fatos matemáticos são corretos. Há uma área da matemática chamada lógica matemática que estuda a lógica usando a matemática.
A lógica também é estudada em filosofia.
Páginas relacionadas
Perguntas e respostas
P: O que é lógica?
R: A lógica é o estudo do raciocínio.
P: Como os filósofos usam as regras da lógica?
R: Os filósofos usam as regras da lógica para fazer deduções lógicas válidas sobre o mundo.
P: O que é um silogismo?
R: Um silogismo é um tipo de prova lógica feita a partir de um conjunto de afirmações usadas para provar logicamente a afirmação final, chamada de conclusão.
P: Qual é o objetivo da lógica?
R: O objetivo da lógica é ajudar as pessoas a decidir se algo é verdadeiro ou falso.
P: Qual é o valor de verdade das afirmações?
R: As afirmações têm um valor de verdade, o que significa que podem ser provadas como verdadeiras ou falsas, mas não ambas.
P: Como são chamadas as afirmações ilógicas ou os erros de lógica?
R: Declarações ilógicas ou erros de lógica são chamados de falácias lógicas.
P: O que é um exemplo de silogismo lógico?
R: Um exemplo de silogismo lógico é o que foi escrito pelo filósofo grego clássico Aristóteles: Todos os homens são mortais. Sócrates é um homem. Portanto, Sócrates é mortal.
Artigos relacionados
Autor
AlegsaOnline.com O que é Lógica? Definição, Silogismos e Regras do Raciocínio Leandro Alegsa
URL: https://pt.alegsaonline.com/art/58863