- Principais características da lógica
- 1- Os resultados lógicos são válidos ou inválidos
- 2- Pode ser dedutivo, indutivo, abdutivo ou analógico
- Lógica dedutiva
- Lógica indutiva
- Lógica abdutiva
- Analogia
- 3- A lógica pode ser formal e informal
- 4- As declarações lógicas não contradizem
- 5- Terceiros excluídos
- 6- A validade das proposições é avaliada levando-se em consideração certas modalidades
- 7- Declarações lógicas são unidades
- Referências
A lógica é caracterizada pelo estudo dos métodos e princípios usados para discernir o argumento inválido válido.
Deve-se notar que esta disciplina está interessada apenas em como é idealmente raciocinada e não em como cada pessoa raciocina (este último é o trabalho da psicologia).
A lógica simplesmente oferece um conjunto de regras que governam o raciocínio e fornece as ferramentas necessárias para diferenciar entre argumentos de qualidade e argumentos ruins.
De acordo com o grau de formalidade dos argumentos, dois tipos de lógica se distinguem: a formal e a informal.
A lógica formal é caracterizada pela aplicação de inferência para a compreensão de certos enunciados. Por sua vez, a lógica informal é responsável pelo estudo da linguagem natural, que é usada pelos falantes em situações cotidianas.
Por outro lado, a lógica também pode ser indutiva e dedutiva. No primeiro caso, os resultados do processo lógico serão aceitáveis, mas não conclusivos. No segundo caso, os resultados serão verificáveis e válidos.
Principais características da lógica
1- Os resultados lógicos são válidos ou inválidos
A lógica consiste em raciocinar para produzir argumentos. Esses argumentos são avaliados em termos de validade.
Isso significa que do ponto de vista da lógica, não existem argumentos certos ou errados, mas válidos ou inválidos.
2- Pode ser dedutivo, indutivo, abdutivo ou analógico
A lógica segue uma série de padrões para produzir um raciocínio válido. Esses padrões são dedução, indução, abdução e analogia.
Cada um dos três modelos é aplicado de acordo com as circunstâncias do contexto comunicativo.
Lógica dedutiva
A lógica dedutiva é aquela em que uma conclusão é tirada de duas premissas. Destas duas premissas, a primeira representa uma proposição universal (porque é geral) e a segunda é uma afirmação específica (porque é particular).
A validade dos resultados da lógica dedutiva depende da veracidade das premissas subjacentes. Se as premissas forem inválidas, a conclusão também o será.
O exemplo tradicional deste tipo de lógica é o seguinte:
-Todos os seres humanos são mortais.
-Aristóteles é um ser humano.
-Então Aristóteles é mortal.
Lógica indutiva
A lógica indutiva consiste no processo oposto da lógica dedutiva. Em termos gerais, esse tipo de lógica busca extrair premissas de uma conclusão já existente.
Ou seja, esse tipo de lógica assume premissas que sustentam uma conclusão observável. Desta forma, as premissas obtidas podem ser prováveis e aceitáveis, mas não completamente verdadeiras.
Aqui está um exemplo de lógica indutiva:
-Conclusão observada: O cachorrinho dorme em casa nos dias de chuva.
-Premiss: Sempre que chove, o cachorrinho dorme em casa.
Lógica abdutiva
Esse tipo de lógica é semelhante à lógica indutiva, pois busca extrair premissas de uma conclusão.
A diferença entre esses dois processos é que a abdução oferece a melhor explicação possível para a conclusão apresentada. No entanto, os resultados podem estar errados.
Por exemplo:
-As luzes do quarto da minha irmã estão acesas. Então ela deve estar acordada.
Analogia
Esse processo lógico ocorre quando relações de semelhança são estabelecidas entre uma situação que está sendo observada e outra que é conhecida.
Por exemplo: o gato do meu amigo está arranhando a porta da casa. Quando meu gato quer passear, ele arranha a porta da minha casa. Talvez o gato do meu amigo queira dar um passeio.
3- A lógica pode ser formal e informal
A lógica é dividida em dois ramos principais: lógica formal e lógica informal.
A lógica formal é filosófica e tradicional. É encarregado de estudar argumentos dedutivos, aqueles em que a inferência é usada para tirar conclusões.
Por sua vez, a lógica informal é responsável por estudar os argumentos expressos em linguagem natural (cotidiana e não especializada).
Tem como foco a análise do raciocínio que pode ser encontrado em conversas com amigos, anúncios, artigos de jornais, notícias, entre outros.
4- As declarações lógicas não contradizem
A lógica é governada pelo princípio da não contradição. Afirma que duas proposições contraditórias não podem ser válidas ao mesmo tempo. Ou seja, você não pode ser e não ser simultaneamente.
Vamos levar em consideração as seguintes proposições:
-O quadrado tem quatro lados.
-O quadrado tem cinco lados.
Quando duas afirmações contraditórias são apresentadas, uma deve ser necessariamente inválida. Nesse caso, a segunda proposição é inválida, pois se opõe à lógica matemática.
5- Terceiros excluídos
A lógica é caracterizada pelo princípio do terceiro excluído. Esse princípio é baseado na lógica clássica, que afirma que uma proposição só pode ser verdadeira ou falsa, sem a possibilidade da existência de uma terceira opção.
Este princípio está relacionado ao da não contradição. Enquanto o princípio da não contradição declara que duas proposições contraditórias não podem ser verdadeiras ao mesmo tempo, o terceiro excluído afirma que ambas as proposições contraditórias não podem ser falsas. Deve-se necessariamente ser verdadeiro.
6- A validade das proposições é avaliada levando-se em consideração certas modalidades
Existem várias modalidades que a lógica leva em consideração ao decidir se uma proposição é válida ou não. Esses incluem:
- A diferença temporal: algumas proposições eram falsas no passado, mas agora são verdadeiras no presente e vice-versa.
- A diferença epistemológica: em alguns casos, sabe-se que as proposições são verdadeiras ou falsas. Em outros casos, as proposições são consideradas verdadeiras ou não.
7- Declarações lógicas são unidades
As afirmações lógicas, sejam dedutivas, indutivas, abdutivas ou analógicas, representam uma unidade. Portanto, eles não podem ser divididos.
Essa característica é defendida pela lógica proposicional. Esse ramo da lógica estabelece que dividir as sentenças simples, aquelas que são formadas por duas premissas e uma conclusão, seria um erro, pois tornaria a proposição sem sentido.
Referências
- Lógica Clássica. Recuperado em 7 de outubro de 2017, de plato.stanford.edu
- Lógica. Retirado em 7 de outubro de 2017, em philosics.com
- Lógica. Obtido em 7 de outubro de 2017, em philosophicalsociety.com
- Lógica. Obtido em 7 de outubro de 2017, em wikipedia.org
- Filosofia da lógica. Obtido em 7 de outubro de 2017, em britannica.com
- The Nature of Logic. Retirado em 7 de outubro de 2017, de philosophia.lander.edu
- O que é lógica? Obtido em 7 de outubro de 2017, de philosophia.hku.hk
- O que é lógica. Obtido em 7 de outubro de 2017, em study.ccom
- O que é lógica e por que os filofos a estudam?