O Sistersinspirit.ca facilita a busca por respostas para suas perguntas com a ajuda de uma comunidade ativa. Nossa plataforma de perguntas e respostas conecta você com especialistas prontos para fornecer informações precisas em diversas áreas do conhecimento. Explore soluções abrangentes para suas perguntas de uma ampla gama de profissionais em nossa plataforma amigável.
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?
Agradecemos seu tempo em nosso site. Não hesite em retornar sempre que tiver mais perguntas ou precisar de esclarecimentos adicionais. Obrigado por passar por aqui. Nos esforçamos para fornecer as melhores respostas para todas as suas perguntas. Até a próxima. Suas perguntas são importantes para nós. Continue voltando ao Sistersinspirit.ca para mais respostas.