- Os tipos mais relevantes de lógica
- Lógica formal
- Lógica informal
- Lógica não clássica
- Lógica simbólica
- Lógica modal
- Lógica computacional
- Referências
Existem vários tipos de lógicas e todas enfocam seu objeto de estudo na compreensão do raciocínio e na identificação de quando estão corretas ou incorretas. O estudo da lógica evoluiu desde os tempos do filósofo grego Aristóteles até os dias atuais.
A ética tem se ajustado com o intuito de ser mais específica e, ao mesmo tempo, mais adaptada ao cotidiano do ser humano, o que permite uma aplicação mais tangível em diferentes áreas.
Aristóteles, reconhecido como o pai da lógica.
A lógica busca o estudo sistemático de argumentos e proposições, e os diferentes tipos de lógica permitem estudar tanto a estrutura meramente formal desses enunciados, quanto o que tem a ver com o conteúdo e a potência desse conteúdo.
Embora a lógica seja baseada no estudo de enunciados, ela não enfoca claramente a linguagem natural (a linguagem como a conhecemos), mas sua utilidade atingiu diferentes áreas e com diferentes estruturas, como matemática e Informática.
Os tipos mais relevantes de lógica
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, afirmações ou sentenças de um ponto de vista estrutural. É um método de estruturar o pensamento e determinar as formas corretas ou incorretas de uma abordagem específica.
A lógica formal não se concentra na veracidade ou falsidade do conteúdo de um determinado argumento, mas antes 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, para o lógico não é relevante determinar se o argumento apresentado é real e comprovado; Em vez disso, seu estudo está claramente focado na estrutura desse argumento.
Dentro da lógica formal, existem duas classificações muito importantes: lógica dedutiva e lógica indutiva.
A lógica dedutiva refere-se às declarações específicas que são geradas a partir de noções gerais. Por meio desse tipo de lógica, podem-se fazer inferências 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, então Clara tem pernas.
No caso da lógica indutiva, a construção dos argumentos ocorre de forma oposta; ou seja, os conceitos gerais são criados a partir de argumentos específicos.
Por exemplo, dentro da lógica indutiva, poderia ser dito que, se um gato gosta de peixe, e outro gosta também, e outro também, então todos os gatos gostam de peixe.
Lógica 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, na medida em que a lógica formal estuda as estruturas de sentenças e proposições; e a lógica informal concentra-se na substância da mensagem transmitida.
Seu objeto de estudo é a forma de argumentar para obter o resultado desejado. A lógica informal dá validade a argumentos lógicos que são mais coerentes entre outros que têm uma estrutura argumentativa mais fraca.
Lógica não clássica
A lógica não clássica, ou lógica moderna, tem origem no século XIX e surge em oposição às afirmações da lógica clássica. Ele estabelece outras formas de análise que podem abranger mais aspectos do que aqueles que podem ser incluídos por meio da 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 para 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 em certa medida da lógica formal, ou incorporam novos elementos que são complementares e permitem que o estudo lógico de uma afirmação particular seja mais exato e adaptado à utilidade na vida cotidiana.
Lógica simbólica
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 por meio da qual os argumentos são "traduzidos".
A intenção da lógica simbólica é converter pensamentos abstratos em estruturas mais formais. Na verdade, não usa linguagem natural (idioma), mas usa uma linguagem técnica que transforma sentenças em elementos suscetíveis à aplicação de regras mais exatas do que podem ser aplicadas na linguagem natural.
Assim, a lógica simbólica permite o tratamento de proposições por meio das leis do cálculo, a fim de evitar confusão ou imprecisão.
Procura incorporar elementos matemáticos na análise das estruturas da lógica formal. No domínio matemático, a lógica é usada para provar teoremas.
Em suma, a lógica simbólica ou matemática busca expressar o pensamento humano por meio da linguagem matemática.
Esta aplicação matemática da lógica permite que argumentos e construções sejam mais exatos.
Lógica modal
A lógica modal foca no estudo de argumentos, mas adiciona elementos relacionados à possibilidade de a afirmação em questão ser verdadeira ou falsa.
A lógica modal tenta estar mais em sintonia com o pensamento humano, pois engloba o uso de construções como "poderia", "possivelmente", "às vezes", "talvez", "provavelmente", "é provável", "talvez ", entre outras.
Na lógica modal, trata-se de considerar um cenário em que existe uma possibilidade, e tende a considerar todas as possibilidades que possam existir, do ponto de vista lógico.
Lógica computacional
A lógica computacional é um tipo de lógica derivada da lógica simbólica ou matemática, apenas aplicada na área da computação.
Os programas de computador utilizam a linguagem de programação para seu desenvolvimento e, por meio da lógica, é possível trabalhar nesses sistemas de linguagem, atribuir tarefas específicas e executar ações de verificação.
Referências
- "Logic" na Enciclopédia Britânica. Obtido em 4 de agosto de 2017 da Encyclopedia Britannica: britannica.com
- "Lógica formal" na Enciclopédia Britânica. Obtido em 4 de agosto de 2017 da Encyclopedia Britannica: britannica.com
- Hernández, F. "Lógica Computacional" da Universidade Nacional Autônoma do México. Obtido em 4 de agosto de 2017 da Universidade Nacional Autônoma do México: unam.mx
- Muñoz, C. "Lógica Não Clássica" da Universidade Complutense de Madrid. Retirado em 4 de agosto de 2017 da Universidade Complutense de Madrid: ucm.es
- Julia, J. "O que é lógica simbólica?" em eHow em espanhol. Obtido em 4 de agosto de 2017 de eHow em espanhol: ehowenespanol.com
- Oller, C. "Formal logic and argumentation" (2006) na Universidade Nacional de La Plata. Obtido em 4 de agosto de 2017 da Universidade Nacional de La Plata: rfytp.fahce.unlp.edu.ar
- “Inferências dedutivas e indutivas” na Junta de Extremadura. Retirado em 4 de agosto de 2017 em Junta de Extremadura: educarex.es.