O Sistersinspirit.ca ajuda você a encontrar respostas para suas perguntas com a ajuda de uma comunidade de especialistas. Descubra soluções abrangentes para suas perguntas de profissionais experientes em diversas áreas em nossa plataforma. Nossa plataforma oferece uma experiência contínua para encontrar respostas confiáveis de uma rede de profissionais experientes.
Sagot :
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?
Obrigado por passar por aqui. Estamos comprometidos em fornecer as melhores respostas para todas as suas perguntas. Até a próxima. Obrigado por sua visita. Estamos dedicados a ajudá-lo a encontrar as informações que precisa, sempre que precisar. Obrigado por usar o Sistersinspirit.ca. Continue nos visitando para encontrar respostas para suas perguntas.