Objetivos de Aprendizagem:

1. Compreender o que é a lógica matemática e suas principais aplicações.
2. Compreender a diferença entre lógica e uma teoria da verdade.
3. Compreender por que se utiliza uma linguagem formal na lógica e como ela permite representar e analisar argumentos e raciocínios de maneira precisa e rigorosa.
4. Compreender a diferença entre linguagens naturais e linguagens formais.

O que é a Lógica Matemática?

A lógica matemática é um ramo da lógica que trata do estudo dos princípios fundamentais do raciocínio matemático e da argumentação. É usada para analisar e avaliar a validade dos raciocínios e para desenvolver métodos formais úteis para a execução de demonstrações de teoremas matemáticos. A lógica matemática também tem aplicações em outras áreas, como a informática e a filosofia da ciência, e é usada como base para o desenvolvimento de sistemas formais de linguagem e de dedução automática.

A lógica não é uma teoria da verdade

É sempre importante enfatizar que a lógica não é uma teoria sobre a verdade; no sentido de que ela não aborda a discussão que permite uma definição de verdade ou falsidade. Em vez disso, assumindo a priori que certas expressões têm valores de verdade, estuda-se como elas se relacionam entre si ou como algumas são inferidas de outras.

A lógica exige uma linguagem adequada

Antes de fazer lógica, é necessário possuir uma linguagem adequada para sua execução. Essa linguagem, que chamamos de “linguagem formal”, possui as características necessárias para realizar inferências válidas; ou seja, um mecanismo que permite encontrar ou produzir expressões verdadeiras a partir da verdade de outras anteriores.

Por que a lógica precisa de uma linguagem formal?

A lógica precisa de uma linguagem formal porque esta é uma linguagem especialmente projetada para expressar argumentos e raciocínios de maneira clara e precisa. Ao utilizar uma linguagem formal, é possível representar de maneira rigorosa e exata o conteúdo dos argumentos e raciocínios, o que permite analisar e avaliar sua validade e consistência.

A linguagem formal é uma linguagem baseada em regras e convenções estritas e sistemáticas para a representação de conceitos e das relações entre eles. Ao utilizar uma linguagem formal, é possível representar de maneira mais precisa e rigorosa os conceitos e argumentos lógicos, o que ajuda a evitar ambiguidades e erros no raciocínio. Um dos propósitos para os quais essas linguagens são criadas é evitar as imprecisões e paradoxos que surgem da linguagem cotidiana: a flexibilidade e a riqueza expressiva da linguagem cotidiana são sacrificadas para obter a precisão de uma linguagem formal.

Linguagens naturais e linguagens formais

Linguagens naturais são aquelas que os seres humanos utilizam para se comunicar oralmente ou por escrito. Alguns exemplos de linguagens naturais são o espanhol, o inglês, o francês, o chinês, o árabe, entre muitas outras.

As linguagens naturais são sistemas complexos de comunicação baseados em um conjunto de regras e convenções que permitem expressar ideias, pensamentos e sentimentos de maneira clara e precisa. Essas linguagens são compostas por um conjunto de símbolos (como letras, palavras e frases) que são usados para transmitir significado e comunicar informações.

Ao contrário das linguagens formais, que são projetadas especialmente para expressar argumentos e raciocínios de maneira clara e precisa, as linguagens naturais são mais flexíveis e adaptáveis e são usadas para se comunicar em várias situações e contextos.

Na lógica matemática, o uso de linguagens formais é preferido em vez da linguagem natural, principalmente porque a flexibilidade e a riqueza expressiva características das linguagens naturais, enquanto sua maior força no campo expressivo, também são sua maior fraqueza em termos de precisão: seu nível de riqueza expressiva e falta de rigor dão origem a inúmeras paradoxos que é conveniente evitar na lógica. Portanto, todo o poder expressivo das linguagens naturais é sacrificado em troca da precisão de uma linguagem formal.

Paradoxos da linguagem

Os paradoxos da linguagem são problemas lógicos que surgem na linguagem e são difíceis de resolver devido à sua contradição interna. Esses paradoxos geralmente são afirmações que, se aceitas como verdadeiras, levam a conclusões contraditórias ou absurdas.

As linguagens naturais que usamos habitualmente são uma poderosa ferramenta que nos permite comunicar ideias, pensamentos e emoções, mas também podem ser enganosas e difíceis de interpretar devido à ambiguidade de algumas palavras e frases. Por exemplo, algumas palavras têm vários significados diferentes, e às vezes é difícil determinar a que significado o falante se refere. Além disso, algumas frases podem ter interpretações contraditórias dependendo do contexto em que são usadas.

Os paradoxos da linguagem são evitados através das linguagens formais

Uma das vantagens das linguagens formais em relação às linguagens naturais é que elas evitam os paradoxos da linguagem devido à sua precisão e à ausência de ambiguidade. Ao utilizar uma linguagem formal, é possível especificar as regras e convenções que devem ser seguidas para evitar interpretações errôneas ou contradições. Por exemplo, na lógica matemática, é utilizada uma linguagem formal chamada “linguagem de lógica proposicional” para representar e expressar proposições e raciocínios baseados em proposições de maneira clara e precisa. Essa linguagem especifica as regras e convenções que devem ser seguidas para evitar alguns paradoxos da linguagem e é usada para realizar testes e demonstrações lógicas de maneira rigorosa e sistemática.

Além da linguagem de lógica proposicional, existem outras linguagens projetadas para situações mais complexas e que perseguem o mesmo objetivo, como as linguagens de lógica de predicados de primeira e segunda ordem.

5 exemplos de paradoxos da linguagem

1. O paradoxo da não-mentira: Surge quando se diz que “tudo o que é dito é mentira”. Se tudo o que é dito é mentira, então a afirmação de que tudo o que é dito é mentira é uma mentira, e portanto é falsa. Se a afirmação de que tudo o que é dito é mentira não é uma mentira, então algo que é dito é verdade e, portanto, a afirmação é falsa. Consequentemente, se for verdade, é falso, e vice-versa.
2. O paradoxo do mentiroso: Emerge da afirmação “estou mentindo”, que apresenta uma contradição lógica se for verdadeira ou falsa. Se for verdadeira, então a pessoa está mentindo e, portanto, a afirmação é falsa. Se for falsa, então a pessoa não está mentindo e, portanto, a afirmação é verdadeira. Finalmente, como o anterior, se for verdadeira, é falsa, e vice-versa.
3. Paradoxo das propriedades autorreferentes: Os paradoxos autorreferentes surgem de expressões que se referem a si mesmas, induzindo uma contradição, por exemplo, como ocorre ao falar de “o menor número que não pode ser escrito com menos de vinte palavras”. Isso é em si um paradoxo porque a própria expressão tem menos de vinte palavras.
4. O paradoxo do barbeiro: É apresentado da seguinte forma: “Em uma cidade, há um barbeiro que barbeia todos os homens da cidade que não se barbeiam. O barbeiro se barbeia?” À primeira vista, essa afirmação parece não ter problemas, mas e o próprio barbeiro? É claro que o barbeiro é homem (caso contrário, não falaríamos de “o barbeiro”) e se ele pode se barbear, então ele não pode se barbear; por outro lado, se ele não pode se barbear, então ele pode se barbear, e assim em círculos novamente.
5. O paradoxo da existência do conjunto vazio: Baseia-se na afirmação de que o conjunto vazio (ou conjunto que não possui elementos) existe, mas por sua vez, nenhum dos elementos que o compõem existe (porque não tem). Portanto, temos um objeto que existe e é formado por objetos inexistentes.

A Lógica Matemática ou Simbólica

A lógica matemática, também conhecida como lógica simbólica, é um ramo da lógica que trata do uso de símbolos e notações matemáticas para representar e analisar argumentos e expressões. Esta forma de lógica baseia-se na ideia de que o pensamento e o raciocínio são processos que podem ser modelados, analisados e estudados matematicamente, e que símbolos e notações matemáticas são úteis para representar e manipular esses processos de maneira consistente e exata.

O estudo da lógica matemática começa revisando a linguagem que será usada para representar seus elementos, assim distinguimos as mais comuns: a lógica proposicional e as lógicas de predicados de primeira e segunda ordem. Em cada uma dessas se desenvolvem as técnicas de raciocínio matemático que permitem a demonstração rigorosa de inúmeros resultados e teoremas matemáticos.

O estudo da lógica simbólica faz parte de um dos pilares fundamentais da matemática.

Os 4 Pilares Fundamentais da Matemática

A lógica matemática é uma parte importante dos fundamentos da matemática. Esses fundamentos são compostos pelos seguintes quatro pilares:

1. Teoria da Demonstração: Centra-se no estudo de como os argumentos matemáticos e científicos podem ser apresentados e avaliados. Esta teoria baseia-se na ideia de que as demonstrações devem ser rigorosas, lógicas e baseadas em princípios formais. A teoria da demonstração inclui a pesquisa sobre diferentes tipos de demonstrações, como as demonstrações indutivas e dedutivas, e sobre como esses tipos de demonstrações podem ser usados para resolver problemas matemáticos e científicos. Isso é exatamente o que fazemos ao estudar lógica matemática.
2. Teoria dos Conjuntos: É um ramo da matemática que trata do estudo dos conjuntos, que são coleções de elementos ou objetos. Esta teoria inclui a pesquisa sobre como os conjuntos podem ser definidos e classificados, e sobre como as operações podem ser realizadas com eles. A teoria dos conjuntos é uma parte fundamental da matemática moderna e tem sido usada para desenvolver e aplicar muitos dos conceitos e princípios fundamentais da matemática.
3. Teoria da Computação: Da qual as partes fundamentais são:
   1. Teoria da Complexidade: É um ramo da ciência da computação que trata do estudo da complexidade de problemas e algoritmos. Esta teoria inclui a pesquisa sobre como a complexidade de diferentes problemas e algoritmos pode ser medida e comparada, e como algoritmos mais eficientes podem ser desenvolvidos e usados para resolver esses problemas.
   2. Teoria da Computabilidade: É a parte da ciência da computação que trata do estudo de quais problemas e funções podem ser resolvidos ou avaliados por um computador e quais não podem. Esta teoria inclui a pesquisa sobre como problemas e funções computáveis podem ser definidos e classificados, e como eles podem ser desenvolvidos e usados.
4. Teoria dos Modelos: Em lógica e matemática, é o estudo das relações entre teorias formais (afirmações escritas em uma linguagem formal, usadas para estabelecer afirmações sobre alguma estrutura matemática) e seus modelos (que são mantidos sob essas estruturas). Tais estruturas matemáticas podem ser grupos, corpos, grafos, etc. A teoria dos modelos permite atribuir uma interpretação semântica às expressões puramente formais e também permite estudar os problemas de completude, consistência e independência entre afirmações.

É extremamente difícil estudar cada um desses pilares em profundidade sem tocar em algum aspecto dos outros. O estudo desses pilares costuma estar interligado. Quando nos perguntamos o que é a lógica matemática, é normal acabar respondendo a essa pergunta com uma combinação de estudos que se movem entre esses quatro pilares.