Os 4 tipos mais importantes de lógica (e características)

A lógica é o estudo do raciocínio e das inferências. É um conjunto de questões e análises que permitiram compreender como os argumentos válidos diferem das falácias e como chegamos a elas.

Para isso, tem sido imprescindível o desenvolvimento de diferentes sistemas e formas de estudo, que resultaram em quatro tipos principais de lógica. Veremos a seguir do que trata cada um deles.

• Artigo recomendado: "Os 10 tipos de falácias lógicas e argumentativas"

O que é 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ínios.

Este estudo tem por objetivo compreender diferentes critérios de inferências e como é que chegamos a provas válidas, em contraposição às provas inválidas. Portanto, a questão básica da lógica é o que é 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 afirmações e argumentos, sejam eles ocorridos em sistemas formais ou em linguagem natural. Especificamente, analisa proposições (sentenças declarativas) que podem ser verdadeiras ou falsas, bem como falácias, paradoxos, argumentos envolvendo causalidade e, em geral, a teoria da argumentação.

Em termos gerais, para considerar um sistema como lógico, eles devem atender a três critérios:

• Consistência (não há contradição entre os teoremas que compõem o sistema)
• Solidez (os sistemas de teste não incluem falsas inferências)
• Integridade (todas as sentenças verdadeiras devem ser testáveis)

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, quatro tipos principais de lógica são reconhecidos, cada um com alguns subtipos e especificidades. Veremos a seguir do que trata cada um.

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. Trata-se de analisar enunciados formais (lógicos ou matemáticos), cujo significado não é intrínseco, mas sim seus símbolos fazem sentido devido à aplicação útil que lhes é dada. A tradição filosófica da qual este último deriva é precisamente chamada de "formalismo".

Por sua vez, um sistema formal é aquele que é usado para tirar uma conclusão de uma ou mais premissas. Os últimos podem ser axiomas (proposições autoevidentes) ou teoremas (conclusões de um conjunto fixo de regras de inferências e axiomas).

As conclusões a que chegamos por meio da lógica formal, se forem baseados em premissas válidas e não houver falhas nas operações lógicas, eles são verdadeiros em si mesmos. Na verdade, isso leva a um debate aberto sobre se a lógica formal pertence ao mundo da ciência. ou eles pertencem a outro campo do conhecimento, por não descrever a realidade, mas suas próprias regras de funcionando.

2. Lógica informal

Por sua vez, a lógica informal é uma disciplina mais recente, que estuda, avalia e analisa os argumentos implantados em linguagem natural ou cotidiana. Por isso, recebe a categoria de "informal". Pode ser tanto a linguagem falada quanto a escrita, ou qualquer tipo de mecanismo e interação usado para comunicar algo. Ao contrário da lógica formal, que por exemplo se aplicaria ao estudo e desenvolvimento de linguagens de computador; a linguagem formal refere-se a linguagens e linguagens.

Assim, a lógica informal pode analisar tudo, desde raciocínios pessoais e argumentos a debates políticos, argumentos jurídicos ou premissas veiculadas pela mídia, como jornal, televisão, internet, etc.

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 uma linguagem matemática complexa, pois se encarrega de estudar problemas que a lógica formal tradicional considera complicados ou difíceis de resolver. Geralmente é dividido em dois subtipos:

• Lógica predicativa ou de primeira ordem: é um sistema formal composto por fórmulas e variáveis ​​quantificáveis
• Proposicional: é um sistema formal composto por proposições, que são capazes de criar outras proposições por meio de conectores chamados "conectivos lógicos". Neste quase não há 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 a aplicação da lógica formal à matemática e a aplicação do raciocínio matemático à lógica formal.

Em linhas gerais, é a aplicação da linguagem matemática na construção de sistemas lógicos que 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: trata-se da aplicação da lógica na matemática. Exemplos desse tipo são teoria da prova, teoria do modelo, teoria dos conjuntos e teoria da recursão.
• Intuicionismo: afirma que a lógica e a matemática são métodos cuja aplicação é consistente para realizar construções mentais complexas. Mas, ele diz que por si mesmas, a lógica e a 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. 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 particular. Um exemplo clássico é o proposto por Aristóteles: Todos os humanos são mortais (esta é a premissa geral); Sócrates é humano (é a premissa principal) e, finalmente, Sócrates é mortal (esta é a conclusão).

Por sua vez, o raciocínio indutivo é o processo pelo qual se tira uma conclusão na direção oposta: do particular ao geral. Um exemplo disso seria "Todos os corvos que vejo são pretos" (premissa específica); 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, eles expressam uma possibilidade (uma modalidade). É um sistema lógico formal que inclui termos como "poderia", "pode", "deve", "eventualmente".

Referências bibliográficas:

• Groarke, L. (2017). Lógica Informal. Stanford Encyclopedia of Philosophy. Recuperado em 2 de outubro de 2018. Disponível em https://plato.stanford.edu/entries/logic-informal/
• Lógica (2018). Os fundamentos da filosofia. Recuperado em 2 de outubro de 2018. Disponível em https://www.philosophybasics.com/branch_logic.html
• Magnani, L. (2001). Rapto, Razão e Ciência: Processos de Descoberta e Explicação. Nova York: Kluwer Academic Plenum Publishers.
• McGinn, C. (2000). Propriedades Lógicas: Identidade, Existência, Predicação, Necessidade, Verdade. Oxford: Clarendon Press.
• Quine, W.V.O. (1986) (1970). Filosofia da lógica. Cambridge, MA: Harvard University Press.
• Shapiro, S. e Kouri, S. (2018). Lógica Clássica. Recuperado em 2 de outubro de 2018. Disponível em Logic (2018). Os fundamentos da filosofia. Recuperado em 2 de outubro de 2018. Disponível em https://www.philosophybasics.com/branch_logic.html
• Garson, J. (2018). Lógica modal. Stanford Encyclopedia of Philosophy. Recuperado em 2 de outubro de 2018. Disponível em https://plato.stanford.edu/entries/logic-modal/