Compartilhar:
Os 6 principais tipos de lógica
Existem vários tipos de lógicae todos focam seu objeto de estudo na compreensão do raciocínio e identificam quando estão corretos ou incorretos.
O estudo da lógica evoluiu desde os tempos do filósofo grego Aristóteles até o presente, e isso foi ajustado com a intenção de ser mais específico e, ao mesmo tempo, mais adaptado à vida cotidiana do ser humano, o que lhe permite aplicação mais tangível em diferentes áreas.
A lógica busca o estudo sistemático dos argumentos e proposições, e os diferentes tipos de lógica permitem que seja possível estudar tanto a estrutura meramente formal dessas afirmações, quanto o que tem a ver com o conteúdo e o poder do dito conteúdo.
Embora a lógica seja baseada no estudo de enunciados, ela não foca claramente a linguagem natural (a linguagem como a conhecemos), mas sua utilidade alcançou diferentes áreas e estruturas diferentes, como a matemática e a matemática. computação.
Os tipos mais relevantes de lógica
Formal
A lógica formal, também conhecida como lógica clássica ou lógica aristotélica, é o estudo de proposições, argumentos, enunciados ou sentenças do ponto de vista estrutural.
É um método para estruturar o pensamento e determinar as formas corretas ou incorretas de uma abordagem específica.
A lógica formal não se concentra na verdade ou falsidade do conteúdo de um argumento particular, mas concentra-se na validade ou não da construção de sua forma.
Ou seja, o objeto de estudo da lógica formal não é empírico, pois o lógico não é relevante para determinar se o argumento apresentado é real e comprovado; mas seu estudo está focado claramente na estrutura desse argumento.
Dentro da lógica formal há duas classificações muito importantes: lógica dedutiva e lógica indutiva.
A lógica dedutiva refere-se àquelas declarações específicas que são geradas a partir de noções gerais. Por meio desse tipo de lógica, inferências podem ser feitas a partir de conceitos ou teorias já existentes.
Por exemplo, dentro da lógica dedutiva, pode-se dizer que, se os humanos têm pernas e Clara é um ser humano, Clara tem pernas.
No caso da lógica indutiva, a construção de argumentos acontece de maneira contrária; isto é, conceitos gerais são criados a partir de argumentos específicos.
Por exemplo, dentro da lógica indutiva, pode-se dizer que, se um gato gosta de peixe e outro também gosta, e outro também, então todos os gatos gostam de peixe.
Informal
A lógica informal é o ramo de estudo que enfoca a linguagem e a mensagem que emana de construções e argumentos semânticos.
Essa lógica é diferente da lógica formal, em que a lógica formal estuda as estruturas de sentenças e proposições; e a lógica informal se concentra no pano de fundo da mensagem transmitida.
Seu objeto de estudo é a maneira de argumentar para obter o resultado desejado. A lógica informal dá validade a argumentos lógicos mais coerentes, entre outros, que possuem uma estrutura argumentativa mais fraca.
Não clássica
A lógica não clássica, ou lógica moderna, origina-se no século XIX e surge em oposição às afirmações da lógica clássica.
Estabelece outras formas de análise que podem abranger mais aspectos que podem ser abrangidos pela abordagem clássica da lógica.
É assim que elementos matemáticos e simbólicos são incluídos, novas afirmações ou teoremas que vieram compensar as deficiências de um sistema lógico formal.
Dentro da lógica não clássica, existem diferentes subtipos de lógica, como modal, matemática, trivalente, entre outros.
Todos esses tipos de lógica diferem, até certo ponto, da lógica formal, ou incorporam novos elementos que são complementares, e permitem que o estudo lógico de uma afirmação específica seja mais preciso e adaptado à utilidade na vida cotidiana.
Simbólico
A lógica simbólica também é chamada de lógica de primeira ordem, ou lógica matemática, e é caracterizada pelo uso de símbolos que constituem uma nova linguagem através da qual os argumentos são "traduzidos".
A intenção da lógica simbólica é converter pensamentos abstratos em estruturas mais formais.
De fato, não usa linguagem natural (linguagem), mas usa uma linguagem técnica que converte sentenças em elementos suscetíveis à aplicação de regras mais exatas do que aquelas que podem ser aplicadas em linguagem natural.
Então, a lógica simbólica permite o tratamento de proposições através das leis de cálculo, para evitar confusão ou imprecisões.
Procura incorporar elementos matemáticos na análise de estruturas lógicas formais. No campo matemático, a lógica é usada para provar teoremas.
Em resumo, a lógica simbólica ou matemática procura expressar o pensamento humano através da linguagem matemática.
Essa aplicação matemática da lógica permite que argumentos e construções sejam mais precisos.
Modal
A lógica modal enfoca o estudo de argumentos, mas acrescenta elementos relacionados à possibilidade de que a afirmação em questão seja verdadeira ou falsa.
Modal lógica visa estar mais em consonância com o pensamento humano, abrange, portanto, o uso de construções, tais como "poderia", "possivelmente", "às vezes", "talvez", "provavelmente", "provável", "talvez ", entre outras.
Na lógica modal é de considerar um cenário em que há uma possibilidade, e tendem a considerar todas as possibilidades que possam existir a partir do ponto de vista lógico.
Computacional
A lógica computacional é um tipo de lógica derivada da lógica simbólica ou matemática, só que é aplicada na área da computação.
Os programas de computador usado linguagem de programação para o desenvolvimento e, através da lógica, é possível trabalhar esses sistemas de linguagem, atribuir tarefas específicas e executar ações de verificação.
Referências
- "Logic" na Enciclopédia Britânica. Retirado em 4 de agosto de 2017 da Encyclopedia Britannica: britannica.com
- "Lógica formal" na Enciclopédia Britânica. Retirado em 4 de agosto de 2017 da Encyclopedia Britannica: britannica.com
- Hernández, F. "Lógica Computacional" na Universidade Nacional Autônoma do México. Consultado em 4 de agosto de 2017 pela Universidade Nacional Autônoma do México: unam.mx
- Muñoz, C. "Lógica Não-Clássica" na Universidade Complutense de Madri. Consultado em 4 de agosto de 2017 de Universidad Complutense de Madrid: ucm.es
- Julia, J. "O que é lógica simbólica?" Em eHow en Español. Consultado em 4 de agosto de 2017 de eHow en Español: ehowenespanol.com
- Oller, C. "Formal Logic and Argumentation" (2006) na Universidade Nacional de La Plata. Página visitada em 04 de agosto de 2017 na Universidade Nacional de La Plata: rfytp.fahce.unlp.edu.ar
- "Inferências dedutivas e indutivas" na Junta de Extremadura. Consultado em 4 de agosto de 2017 em Junta de Extremadura: educarex.es.