Lógica é o estudo do raciocínio e inferências . É um conjunto de questões e análises que nos permitiram entender como os argumentos válidos diferem das falácias e como chegamos a elas.
Para isso, foi essencial desenvolver diferentes sistemas e formas de estudo, que resultaram em quatro tipos principais de lógica. Veremos a seguir o que cada um trata.
- Artigo recomendado: [“Os 10 tipos de falácias lógicas e argumentativas”] (Os 10 tipos de falácias lógicas e argumentativas)
Qual é a lógica?
A palavra “lógica” vem do grego “logos” que pode ser traduzido de diferentes maneiras: palavra, pensamento, argumento, princípio ou razão são alguns dos principais. Nesse sentido, a lógica é o estudo de princípios e raciocínio.
Este estudo tem como objetivo compreender diferentes critérios de inferências e como chegamos a demonstrações válidas, em contraste com demonstrações inválidas. Portanto, a questão básica da lógica é qual é o pensamento correto e como podemos diferenciar entre um argumento válido e uma falácia?
Para responder a essa pergunta, a lógica propõe diferentes maneiras de classificar sentenças e argumentos, se eles ocorrem em um sistema formal ou em linguagem natural. Especificamente, analisa as proposições (sentenças declarativas) que podem ser verdadeiras ou falsas, bem como as falácias, os paradoxos, os argumentos que envolvem causalidade e, em geral, a teoria da argumentação.
Em termos gerais, para considerar um sistema como lógico, ele deve atender a três critérios:
- Consistência (não há contradição entre os teoremas que compõem o sistema)
- Força (os sistemas de teste não incluem inferências falsas)
- Completude (todas as frases verdadeiras devem ser capazes de provar a si mesmas)
Os 4 tipos de lógica
Como vimos, a lógica usa ferramentas diferentes para entender o raciocínio que usamos para justificar algo. Tradicionalmente, são reconhecidos quatro tipos principais de lógica, cada um com alguns subtipos e especificidades. Veremos a seguir o que cada um trata.
1. Lógica formal
Também conhecida como lógica tradicional ou lógica filosófica, é o estudo de inferências com conteúdo puramente formal e explícito . A idéia é analisar as declarações formais (lógicas ou matemáticas), cujo significado não é intrínseco, mas seus símbolos fazem sentido devido à aplicação útil que lhes é dada. A tradição filosófica da qual deriva é precisamente chamada de “formalismo”.
Por sua vez, um sistema formal é aquele usado para tirar uma conclusão de uma ou mais premissas. Estes últimos podem ser axiomas (proposições auto-evidentes) ou teoremas (conclusões de um conjunto fixo de inferências e regras de axioma).
2. Lógica informal
Por seu lado, a lógica informal é uma disciplina mais recente, que estuda, avalia e analisa os argumentos utilizados na linguagem natural ou cotidiana . Por isso, ele recebe a categoria de “informal”. Pode ser uma linguagem falada e escrita ou qualquer tipo de mecanismo e interação usado para comunicar alguma coisa. Diferentemente da lógica formal, que por exemplo se aplicaria ao estudo e desenvolvimento de linguagens de computador; Linguagem formal refere-se a idiomas e idiomas.
Assim, a lógica informal pode analisar desde raciocínios e argumentos pessoais até debates políticos, argumentos ou premissas legais disseminadas pela mídia, como jornais, televisão, Internet e assim por diante.
3. Lógica simbólica
Como o nome indica, a lógica simbólica analisa as relações entre os símbolos. Às vezes, usa linguagem matemática complexa, pois é responsável por estudar problemas que a lógica formal tradicional considera complicada ou difícil de resolver. Geralmente é dividido em dois subtipos:
- Lógica preditiva ou de primeira ordem : é um sistema formal composto de fórmulas e variáveis quantificáveis
- Proposicional : é um sistema formal composto de proposições, capazes de criar outras proposições por meio de conectores chamados “conectivos lógicos”. Nisso, quase não existem variáveis quantificáveis.
4. Lógica matemática
Dependendo do autor que a descreve, a lógica matemática pode ser considerada um tipo de lógica formal. Outros consideram que a lógica matemática inclui tanto a aplicação da lógica formal à matemática quanto a aplicação do raciocínio matemático à lógica formal.
Em termos gerais, a aplicação da linguagem matemática na construção de sistemas lógicos possibilita a reprodução da mente humana. Por exemplo, isso tem estado muito presente no desenvolvimento da inteligência artificial e nos paradigmas computacionais do estudo da cognição.
Geralmente é dividido em dois subtipos:
- Logicismo : é a aplicação da lógica na matemática. Exemplos desse tipo são teoria dos testes, teoria dos modelos, teoria dos conjuntos e teoria da recursão.
- Intuicionismo : argumenta que tanto a lógica quanto a matemática são métodos cuja aplicação é consistente para construções mentais complexas. Mas ele diz que, por si só, lógica e matemática não podem explicar propriedades profundas dos elementos que analisam.
Raciocínio indutivo, dedutivo e modal
Por outro lado, existem três tipos de raciocínio que também podem ser considerados sistemas lógicos . Esses são mecanismos que nos permitem tirar conclusões de premissas. O raciocínio dedutivo faz essa extração de uma premissa geral para uma premissa específica. Um exemplo clássico é o proposto por Aristóteles: Todos os humanos são mortais (esta é a premissa geral); Sócrates é um humano (é a premissa principal) e, finalmente, Sócrates é mortal (esta é a conclusão).
Por outro lado, o raciocínio indutivo é o processo pelo qual uma conclusão é tirada na direção oposta: do particular ao geral. Um exemplo disso seria “Todos os corvos que consigo ver são pretos” (premissa particular); então, todos os corvos são pretos (conclusão).
Finalmente, o raciocínio ou lógica modal é baseado em argumentos probabilísticos, ou seja, expressando uma possibilidade (uma modalidade). É um sistema lógico formal que inclui termos como “poderia”, “pode”, “deve” e “eventualmente”.
Referências bibliográficas:
- Groarke, L. (2017). Lógica informal. Enciclopédia de Stanford de filosofia. Recuperado em 2 de outubro de 2018. Disponível em https://plato.stanford.edu/entries/logic-informal/
- Lógica (2018). O básico da filosofia. Recuperado em 2 de outubro de 2018. Disponível em https://www.philosophybasics.com/branch_logic.html
- Shapiro, S. e Kouri, S. (2018). Lógica Clássica Recuperado em 2 de outubro de 2018. Disponível em Logic (2018). O básico da filosofia. Recuperado em 2 de outubro de 2018. Disponível em https://www.philosophybasics.com/branch_logic.html
- Garson, J. (2018). Logic Modal Enciclopédia de Stanford de filosofia. Recuperado em 2 de outubro de 2018. Disponível em https://plato.stanford.edu/entries/logic-modal/