Existem vários tipos de lógica e todos enfocam seu objeto de estudo na compreensão do raciocínio e na identificação de quando 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 foi ajustada com o intuito de ser mais específica e, ao mesmo tempo, mais adaptada ao dia a dia 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 sentenças, ela não foca claramente na linguagem natural (a linguagem como a conhecemos), mas sua utilidade atingiu diferentes áreas e com estruturas diferentes, como matemática e computação.
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; mas seu estudo está focado claramente na estrutura do referido 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 ser feitas 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, pode-se dizer que se um gato gosta de peixe, outro gosta de peixe e outro também, então todos os gatos gostam de peixe..
Lógica informal é o ramo de estudo que enfoca a linguagem e a mensagem que emana de construções semânticas e argumentos.
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 argumentos lógicos que são mais coerentes entre outros que possuem uma estrutura argumentativa mais fraca.
A lógica não clássica, ou lógica moderna, tem origem no século 19 e surge em oposição às afirmações da lógica clássica. Ele estabelece outras formas de análise que podem cobrir 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..
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 uma 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 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.
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.
La lógica modal pretende ser más cónsona con el pensamiento humano, por ende abarca el uso de construcciones como “podría”, “posiblemente”, “a veces”, “quizás”, “probablemente”, “es probable”, “a lo mejor ", 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..
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 utilizam a linguagem de programação para o seu 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..
Ainda sem comentários