Os 6 tipos de lógica e seus significados - Ciência - 2023

Contente

Existem vários tipos de lógicae todos focam seu objeto de estudo na compreensão do raciocínio e na identificação de quando ele está correto ou incorreto. 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.

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 estruturas diferentes, 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 sim 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, 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, 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, pode-se dizer que, se um gato gosta de peixe, outro gosta 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 valida os argumentos lógicos que são mais coerentes entre outros que possuem 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 cobertos 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 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 preciso 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, ele não usa a 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ões ou imprecisões.

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 pretende 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

Lógica computacional é um tipo de lógica derivada da lógica simbólica ou matemática, só que é aplicada na área de 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?" no 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.