Quais são os 4 tipos de juízos da lógica formal
Soluções para a tarefa
Resposta:
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.
Explicação:
Assim?
•Lógica formal;
•Lógica informal;
•Lógica simbólica;
•Lógica matemática.