Os Fundamentos Da Lógica

olá pessoas,

Nesse tópico eu vou falar um pouco sobre os conceitos da lógica formal de Aristóteles. Lógica transcendental e como podemos classifica-la, sendo dedutiva, indutiva, não clássica ou clássica.
Com base nisso vamos poder construir argumentos válidos, a partir de afirmações. Nos dando a capacidade de ter uma melhor comunicação (evitando falhas ou má interpretações), e permitindo a construção de algoritmos para resolução de problemas do cotidiano.

A lógica e suas Definições 

Segundo Forbellone (2005 , p.1), a lógica é "a arte de pensar", que é a "ciência das formas do pensamento". Sabemos que a parte mais complexa do nosso pensamento é o raciocínio, e com isso o princípio da lógica é estudar a correção do raciocínio. Podemos observa-la então como uma forma ou maneira dos seres humanos (como eu e você), raciocinarem , pensarem , fazer uma conexão de fatos, ou uma organização de técnicas ou ciência pura, como por exemplo, a matemática.

De geração em geração

A lógica é uma matéria que vem sendo estudada a muitos anos atrás, desde a época de filósofos da Grécia antiga, anos antes de Cristo, iniciando com Aristóteles e sua exploração da lógica formal, evoluindo até os dias atuais, tornando-se muito importante na matemática. A lógica nos trás, de forma prática, Entender como nosso raciocínio lógico é formado, fundamentar nossos argumentos, escrever e registrar de forma organizada, nos comunicar melhor, além de trazer a conexão de vários assuntos nos dando uma compreensão melhor do mundo a nossa volta.

Hoje em dia a lógica é fortemente estudada em matérias relacionadas a programação, ciências da computação  e tecnologia da informação, pois ela é a base para a construção de algoritmos.

Sendo importante e indispensável ter um forte entendimento dessa ciência, para compreender como construir algoritmos, analisar sistemas e desenvolver.  

Definições e Termos 

para a melhor compreensão dos temas a seguir vamos conhecer alguns termos e definições muito utilizados na lógica :

• proposição : consiste em um enunciado, uma frase declarativa.

• Premissas : consistem em proposições que são utilizadas como base para um raciocínio.

• Argumento : conjunto de enunciados que se relacionam uns com os outros.

• Silogismo : consiste em um raciocínio dedutivo (premissas) e possibilita a dedução de uma conclusão a partir das premissas.

• Falacia : consiste em argumentos que logicamente estão incorretos.

Lógica Formal X Lógica Transcendental

A lógica formal começa com  estudos de Aristóteles, na Grécia Antiga. A lógica é formal quando analisa e representa a forma de qualquer argumento para que possa ser considerado válido para alguma conclusão.

A lógica transcendental é desenvolvida por toda a obra do filósofo Immanuel Kant, em especial em seu célebre livro Crítica da Razão Pura (2015). Nesse livro, Kant discute que nosso conhecimento, o conhecimento humano, parte de duas fontes principais. A primeira trata da receptividade das impressões por meio de nossos sentidos; a segunda fonte é relativa à faculdade de conhecer um objeto por representações mentais, a partir do pensamento.

Lógica Formal 

A lógica formal lida com um relacionamento entre premissas e as conclusões que se chegam a partir das premissas, independentemente se a premissa é verdadeira ou falsa.

A lógica busca a harmonia de raciocínio utilizando argumentos para se desenvolver um raciocínio, bem como traz algumas regras para que o raciocínio encadeado corretamente possibilite conclusões verdadeiras.

 

Para se entender a lógica formal e como formamos nosso raciocínio é importante ter em mente alguns conceitos. Uma proposição é um pensamento em forma de frase declarativa. Essa proposição pode ser verdadeira ou falsa. A lógica não permite concluir se uma proposição ou afirmação é verdadeira ou falsa, ela apenas garante que, com base em premissas verdadeiras, seja possível chegar a conclusões verdadeiras. 

Exemplo : 

Em dias sem nuvens, chove.

 

Se há chuva, João sai com seu guarda-chuva. 

Então (conclusão): 

12 Em um dia sem nuvens, João sairá com seu guarda-chuva. 

A primeira premissa parece absurda ou falsa, mas caso você considere ambas verdadeiras, terá um argumento válido: a conclusão é inevitável.

Inferência

Inferência é o processo que permite chegar a conclusões a partir de premissas, constituindo a argumentação lógica perfeita. Exemplo :

1. Todos os homens são mortais. Elias é homem. Logo, Elias é mortal.

2. Toda novela conta histórias sobre o dia a dia das pessoas. Roque Santeiro é uma novela. Logo, Roque Santeiro conta histórias sobre a vida das pessoas.

Lógica Simbólica 

A lógica simbólica permite a expressão das premissas e de suas relações por meio de símbolos matemáticos, construindo equações para expressar argumentos. Tal linguagem é absolutamente precisa e não dá margem a duplas interpretações.

 

Lógica Transcendental

a lógica transcendental opera a partir das representações, dos conceitos e não das coisas em si. Trata-se de uma investigação sobre as representações a priori, as categorias, os conceitos puros em relação aos objetos, enquanto a Lógica geral se volta para a forma lógica do pensamento.

Conhecimento Empírico 

é relacionado ao que é obtido por meio de nossos sentidos, à observação, à experimentação, com base na presença real de determinado objeto. 

Conhecimento Puro

é relativo à representação que não se mescla com a sensação, é puramente racional, não depende de nenhuma informação vinda de nossos sentidos.

Lógica dedutiva 

 é aquela que parte de premissas afirmativas ou leis mais gerais permitindo a obtenção de verdades menos gerais ou particulares.

Exemplo :

Todo o analista de sistemas sabe programar. 

Mariana é analista de sistemas. 

Portanto, Mariana sabe programar.

Aqui, partimos de uma informação geral sobre as habilidades dos analistas de sistemas para concluir sobre as habilidades de Mariana. 

Lógica Indutiva 

se preocupa com argumentos que permitem conclusões gerais a partir de casos particulares.

Exemplo :

Mariana é analista de sistemas e sabe programar. 

Enzo é analista de sistemas e sabe programar. 

Sabrina é analista de sistemas e sabe programar. 

(...) 

Portanto, todos os analistas de sistemas sabem programar.

Veja que ao consultar, dezenas ou centenas de analistas, chegamos a conclusão geral de que todos sabem programar.

Lógica clássica X lógica não clássica 

a lógica clássica cujo expoente foi Aristóteles e que está centrada na verdade das conclusões e na validade dos argumentos. A conclusão pode ter dois valores lógicos: verdadeiro (1) ou falso (0).

A lógica não clássica permite variações, como nos casos em que mais de dois valores de verdade podem ser aplicados, por exemplo. Um exemplo é a conhecida lógica fuzzy, para a qual o valor verdade pode ser qualquer número real entre 0 e 1.

E aqui eu posso finalizar os estudos sobre os fundamentos da lógica, espero que você tenha aprendido bastante 

 

Um abraço ❤️