Entendendo a Lógica e a Linguagem Formal

1 Qual é o propósito da linguagem formal? Evitar problemas em linguagem natural.

2 Quais são as características da linguagem formal? Tem quatro características básicas: utiliza símbolos (não palavras), que são ligados entre si por meio de símbolos especiais, de acordo com regras que permitem a operação correta, além de dispensar significado semântico.

3 Qual é a lógica? É a ciência do raciocínio correto que organiza nossos pensamentos e palavras.

4 Qual é a razão? É tirar conclusões a partir de premissas (com base em certos dados).

5 Quais são os elementos de um argumento?

• Premissas: dados que servem como ponto de partida do raciocínio. Sua verdade ou falsidade não é questionada.
• Dedução: lei da razão pela qual, a partir de uma premissa, obtemos alguns resultados.
• Conclusão: é o resultado e a finalidade do raciocínio.

6 Como os argumentos podem ser corretos? Se a estrutura de ordem e coerência estiver correta.

7 Qual é a base para determinar a correção de um argumento? O raciocínio é correto quando a consistência interna entre os termos do raciocínio é boa e segue a verdade.

8 Qual é o material verdadeiro? Refere-se aos fatos e experiências reais.

9. Qual é a verdade formal? Refere-se à validade de um argumento em si e às leis do raciocínio.

10 O que realmente importa para a lógica? A lógica exige que a verdade formal seja respeitada.

11 Qual é o objetivo final da lógica? Demonstrar a validade ou verdade de um raciocínio formal, que depende da consistência interna entre os termos desta fundamentação.

• Uma razão é que o conjunto de declarações apresenta uma série de reivindicações ou juízos de forma estruturada.

• Lógica proposicional: é dedicada a estudar a estrutura do raciocínio, para verificar se está correta.

• Uma afirmação é qualquer proposição com sentido completo, suscetível de ser rotulada como verdadeira ou falsa.

• Declarações atômicas: consistem em uma única proposição, que é afirmada ou negada. Essa declaração não pode ser decomposta em partes menores sem perder o significado por completo.

• Declaração molecular: é aquela que contém duas ou mais sentenças, ou seja, duas ou mais declarações atômicas que podem ser reduzidas a qualquer um de seus componentes atômicos sem perder o significado.

Esta linguagem é construída através de símbolos, ignorando assim a linguagem natural e suas implicações.

• As variáveis são utilizadas para substituir qualquer frase atômica.

• Conectivos: são uma série de links que unem nossos pensamentos mais simples, servindo de ligação entre as declarações.

• Parênteses e colchetes: indicam como são agrupados os componentes da fórmula, indicando qual é o conector principal e evitando ambiguidade em certas expressões, reconhecendo imediatamente a estrutura de uma sentença.