Os 4 tipos mais importantes de lógica (e recursos)

Lógica é o estudo do raciocínio e inferências. É um conjunto de perguntas e análises que nos permitiram entender como os argumentos válidos diferem das falácias e como chegamos a esses.

Para isso, o desenvolvimento de diferentes sistemas e formas de estudo tem sido indispensável, o que levou a quatro tipos principais de lógica. Vamos ver abaixo o que cada um deles é sobre.

• Artigo recomendado: ["Os 10 tipos de falácias lógicas e argumentativas"] (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 dos princípios e raciocínios.

Este estudo tem o objetivo de compreender diferentes critérios de inferências e como chegamos a demonstrações válidas, em contraste com as demonstrações inválidas. Então, 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 questão, a lógica propõe diferentes maneiras de classificar as afirmações e os argumentos, independentemente de ocorrerem em um sistema formal ou em linguagem natural. Analisa especificamente as proposições (sentenças declarativas) que podem ser verdadeiras ou falsas, bem como as falácias, os paradoxos, os argumentos que envolvem a 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 inferências falsas)
• Completude (todas as frases verdadeiras devem poder ser provadas)

Os 4 tipos de lógica

Como vimos, a lógica usa diferentes ferramentas 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. Vamos ver abaixo o que cada um é sobre.

1. Lógica formal

Também conhecida como lógica tradicional ou lógica filosófica, trata-se do estudo de inferências com conteúdo puramente formal e explícito. Trata-se de analisar as declarações formais (lógicas ou matemáticas), cujo significado não é intrínseco, mas seus símbolos têm significado por causa da aplicação útil que recebem. A tradição filosófica da qual o último deriva é chamada precisamente de "formalismo".

Por sua vez, um sistema formal é aquele usado para extrair 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 regras de inferências e axiomas).

2. Lógica informal

Por seu lado, a lógica informal é uma disciplina mais recente, que estudar, avaliar e analisar os argumentos apresentados na linguagem natural ou cotidiana. Por isso, recebe a categoria de "informal". Pode ser linguagem falada ou escrita ou qualquer tipo de mecanismo e interação usados ​​para comunicar algo. Ao contrário 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 argumentos e argumentos pessoais até debates políticos, argumentos legais ou premissas disseminadas pela mídia, como jornais, 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, ele usa linguagem matemática complexa, já que é responsável por estudar problemas que a lógica formal tradicional acha complicada ou difícil de resolver. Geralmente é dividido em dois subtipos:

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

De um modo geral, a aplicação da linguagem matemática na construção de sistemas lógicos torna possível reproduzir a mente humana. Por exemplo, isso tem sido muito presente no desenvolvimento da inteligência artificial e nos paradigmas computacionais do estudo da cognição.

Geralmente é dividido em dois subtipos:

• Logicismo: é sobre a aplicação da lógica na matemática. Exemplos desse tipo são a teoria do teste, a teoria dos modelos, a teoria dos conjuntos e a teoria da recursão..
• Intuição: argumenta que lógica e matemática são métodos cuja aplicação é consistente para realizar construções mentais complexas. Mas, ele diz que em si mesmos, 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 das premissas. O raciocínio dedutivo faz tal extração de uma premissa geral para uma premissa particular. Um exemplo clássico é o proposto por Aristóteles: Todos os seres humanos são mortais (essa é a premissa geral); Sócrates é um humano (é a principal premissa) e, finalmente, Sócrates é mortal (esta é a conclusão).

Por sua vez, um raciocínio indutivo é o processo pelo qual uma conclusão é traçada na direção oposta: do particular para o geral. Um exemplo disso seria "Todos os corvos que eu vejo 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, isto é, eles expressam uma possibilidade (uma modalidade). É um sistema lógico formal que inclui termos como "poderia", "pode", "deveria", "eventualmente".

Referências bibliográficas:

• Groarke, L. (2017). Lógica informal. Enciclopédia de Stanford da 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). Lógica Modal Enciclopédia de Stanford da filosofia. Recuperado em 2 de outubro de 2018. Disponível em https://plato.stanford.edu/entries/logic-modal/