O lógica É caracterizado por ser o estudo dos métodos e princípios que são usados para discernir o raciocínio válido do inválido. Deve-se notar que esta disciplina está interessada apenas em como é idealmente raciocinada e não como cada pessoa raciocina (este último é o trabalho da psicologia).
A lógica simplesmente oferece uma série de regras que regulam o raciocínio e fornece as ferramentas necessárias para diferenciar entre argumentos de qualidade e argumentos pobres..
De acordo com o grau de formalidade dos argumentos, distinguem-se dois tipos de lógica: formal e 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, aquela 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.
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 corretos ou incorretos, mas válidos ou inválidos.
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.
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 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.
A lógica indutiva consiste no processo oposto da lógica dedutiva. Em termos gerais, este tipo de lógica busca extrair premissas de uma conclusão já existente.
Ou seja, esse tipo de lógica assume premissas que dão suporte a uma conclusão observável. Desta forma, as premissas obtidas podem ser prováveis e aceitáveis, mas não totalmente verdadeiras..
Aqui está um exemplo de lógica indutiva:
-Conclusão observável: O cachorro dorme em casa em dias de chuva.
-Premissa: toda vez que chove, o cachorrinho dorme na casa.
Este 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.
Este processo lógico ocorre quando relações semelhantes 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 passear.
A lógica é dividida em dois ramos principais: lógica formal e lógica informal..
A lógica formal é filosófica e tradicional. É responsável por 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..
A lógica é governada pelo princípio da não contradição. Isso estabelece 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. Neste caso, a segunda proposição é inválida, uma vez que se opõe à lógica matemática.
A lógica é caracterizada pelo princípio do terceiro excluído. Esse princípio se baseia na lógica clássica, que estabelece 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 afirma 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. Pela força, é preciso ser verdadeiro.
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, as proposições são conhecidas como verdadeiras ou falsas. Em outros casos, as proposições são consideradas verdadeiras ou não.
Afirmações lógicas, sejam dedutivas, indutivas, abdutivas ou analógicas, representam uma unidade. Portanto, eles não podem ser divididos.
Esse recurso é defendido pela lógica proposicional. Esse ramo da lógica estabelece que dividir 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..
Ainda sem comentários