A lógica filosófica.
A filosofia possui interesse em investigar a verdade das coisas. O
uso da razão é necessário para que a verdade seja descoberta e a lógica é a forma de usar corretamente o
raciocínio. Assim, a lógica tenta investigar as leis do
pensamento e a forma correta de pensar.
Para pensar um pouco sobre lógica é preciso, em primeiro lugar, conhecer alguns termos usados. A lógica tem como objeto de estudo a proposição, isto é, a atribuição de um predicado a um sujeito. A proposição é a forma de exprimir juízos feitos pelo pensamento. A sequência de proposições é um raciocínio.
Dito isso, as proposições são formadas por termos. Quando afirmamos que “João é homem”, essa proposição é a atribuição do predicado “homem” ao sujeito “João”. Os termos de nossa proposição podem ser caracterizados e foi o filósofo grego Aristóteles quem propôs a divisão dos termos em diversas categorias. Para ele, os termos podem ser divididos em dez categorias: substância, quantidade, qualidade, relação, lugar, tempo, posição, posse, ação e paixão (passividade). No nosso exemplo, “João” é a substância e “homem” é a qualidade.
As categorias, por sua vez, possuem outras classificações. A partir da qualidade, as proposições podem ser afirmativas ou negativas. Por exemplo: “João é homem” e “João não é mulher”. Do ponto de vista da quantidade, as proposições podem ser de três tipos:universais, particulares e singulares. Universais: “Todo João é homem” ou “Nenhum João é mulher”; particulares: “Alguns homens se chamam João” ou “Alguns homens não se chamam João”; e singulares: “Este homem se chama João” ou “Este homem não se chama João”.
Além disso, as proposições podem ser classificadas pela modalidade, sendo necessárias, não necessárias e possíveis. Se o predicado está contido no sujeito, como na proposição “O quadrado é uma figura com quatro lados”, a proposição é necessária. Se o predicado não está contido, como em “Nenhum quadrado é uma figura com três lados”, a proposição é não necessária. Se o predicado é indiferente, como em “Alguns homens se chamam João”, a proposição é possível.
Há ainda uma classificação das proposições a partir da relação. Essa classificação está de acordo com os três princípios lógicos: o princípio de identidade, o da não contradição e o do terceiro excluído. O princípio de identidade é autoevidente e determina que uma proposição é sempre igual a ela. Disso pode-se afirmar que A=A. O princípio da não contradição afirma que uma proposição não pode, ao mesmo tempo, ser falsa e verdadeira. Não se pode propor que um triângulo possui e não possui três lados, por exemplo. O princípio do terceiro excluído afirma que ou uma proposição é verdadeira ou é falsa, e não há uma terceira opção viável.
Da relação entre proposições, temos as contraditórias, por exemplo: “Todo João é homem” e depois “Algum João não é homem”. Existem as contrárias, por exemplo: “Todo João é homem” e “Nenhum João é homem”. E há também as subalternas, por exemplo: “Todo João é homem” e “Algum João é homem”.
A partir dessas relações entre as proposições, Aristóteles pensou numa forma adequada de raciocinar. Essa forma, o silogismo, é uma inferência, isto é, concluir algo de proposições anteriores. O exemplo clássico é o silogismo:
Todo homem é mortal.
Sócrates é homem.
Logo, Sócrates é mortal.
O silogismo é formado por três proposições: premissa maior, premissa menor e conclusão. A conclusão é inferida das duas premissas iniciais através do termo médio. Temos, então, uma estrutura como a seguinte:
Premissa maior: Termo médio e Predicado.
Premissa menor: Sujeito e Termo médio.
Conclusão: Sujeito e Predicado.
No nosso exemplo, o Termo médio é “homem”, o Predicado é “mortal” e o Sujeito é “Sócrates”. De uma maneira mais abstrata:
Se A = B
Se B = C
Logo, A = C
É certo que, ao longo da história, diversas críticas foram feitas à forma clássica de se pensar logicamente. Hoje, na era da informação e da tecnologia, há estudos de linguagem de programação e de fundamentos lógicos matemáticos que contrapõem a forma de se pensar do silogismo, inclusive discutindo a validade dos princípios lógicos. Há, portanto, a lógica paraconsistente, a lógica paracompleta e a lógica difusa que irão criticar os princípios da não contradição e o do terceiro excluído
Para pensar um pouco sobre lógica é preciso, em primeiro lugar, conhecer alguns termos usados. A lógica tem como objeto de estudo a proposição, isto é, a atribuição de um predicado a um sujeito. A proposição é a forma de exprimir juízos feitos pelo pensamento. A sequência de proposições é um raciocínio.
Dito isso, as proposições são formadas por termos. Quando afirmamos que “João é homem”, essa proposição é a atribuição do predicado “homem” ao sujeito “João”. Os termos de nossa proposição podem ser caracterizados e foi o filósofo grego Aristóteles quem propôs a divisão dos termos em diversas categorias. Para ele, os termos podem ser divididos em dez categorias: substância, quantidade, qualidade, relação, lugar, tempo, posição, posse, ação e paixão (passividade). No nosso exemplo, “João” é a substância e “homem” é a qualidade.
As categorias, por sua vez, possuem outras classificações. A partir da qualidade, as proposições podem ser afirmativas ou negativas. Por exemplo: “João é homem” e “João não é mulher”. Do ponto de vista da quantidade, as proposições podem ser de três tipos:universais, particulares e singulares. Universais: “Todo João é homem” ou “Nenhum João é mulher”; particulares: “Alguns homens se chamam João” ou “Alguns homens não se chamam João”; e singulares: “Este homem se chama João” ou “Este homem não se chama João”.
Além disso, as proposições podem ser classificadas pela modalidade, sendo necessárias, não necessárias e possíveis. Se o predicado está contido no sujeito, como na proposição “O quadrado é uma figura com quatro lados”, a proposição é necessária. Se o predicado não está contido, como em “Nenhum quadrado é uma figura com três lados”, a proposição é não necessária. Se o predicado é indiferente, como em “Alguns homens se chamam João”, a proposição é possível.
Há ainda uma classificação das proposições a partir da relação. Essa classificação está de acordo com os três princípios lógicos: o princípio de identidade, o da não contradição e o do terceiro excluído. O princípio de identidade é autoevidente e determina que uma proposição é sempre igual a ela. Disso pode-se afirmar que A=A. O princípio da não contradição afirma que uma proposição não pode, ao mesmo tempo, ser falsa e verdadeira. Não se pode propor que um triângulo possui e não possui três lados, por exemplo. O princípio do terceiro excluído afirma que ou uma proposição é verdadeira ou é falsa, e não há uma terceira opção viável.
Da relação entre proposições, temos as contraditórias, por exemplo: “Todo João é homem” e depois “Algum João não é homem”. Existem as contrárias, por exemplo: “Todo João é homem” e “Nenhum João é homem”. E há também as subalternas, por exemplo: “Todo João é homem” e “Algum João é homem”.
A partir dessas relações entre as proposições, Aristóteles pensou numa forma adequada de raciocinar. Essa forma, o silogismo, é uma inferência, isto é, concluir algo de proposições anteriores. O exemplo clássico é o silogismo:
Todo homem é mortal.
Sócrates é homem.
Logo, Sócrates é mortal.
O silogismo é formado por três proposições: premissa maior, premissa menor e conclusão. A conclusão é inferida das duas premissas iniciais através do termo médio. Temos, então, uma estrutura como a seguinte:
Premissa maior: Termo médio e Predicado.
Premissa menor: Sujeito e Termo médio.
Conclusão: Sujeito e Predicado.
No nosso exemplo, o Termo médio é “homem”, o Predicado é “mortal” e o Sujeito é “Sócrates”. De uma maneira mais abstrata:
Se A = B
Se B = C
Logo, A = C
É certo que, ao longo da história, diversas críticas foram feitas à forma clássica de se pensar logicamente. Hoje, na era da informação e da tecnologia, há estudos de linguagem de programação e de fundamentos lógicos matemáticos que contrapõem a forma de se pensar do silogismo, inclusive discutindo a validade dos princípios lógicos. Há, portanto, a lógica paraconsistente, a lógica paracompleta e a lógica difusa que irão criticar os princípios da não contradição e o do terceiro excluído
"A lógica não é um algoritmo para solucionar problemas filosóficos. Não é como uma máquina na qual metemos numa ponta os problemas e saem da outra as soluções. A lógica, formal e informal, é apenas um instrumento de controlo de erros. Permite-nos raciocinar melhor, evitar erros, ser mais criativos, ver mais longe. Não é uma água de alcatrão, uma solução milagrosa. É apenas um instrumento, como um microscópio para um cientista: não faz o trabalho por ele.
O ridículo da rejeição da lógica, contudo, é muito maior do que o ridículo que seria a rejeição do microscópio. É que é possível rejeitar coerentemente o microscópio — basta não o usar — ao passo que a rejeição da lógica é sempre incoerente — a pessoa que diz rejeitá-la, usa à mesma a lógica, porque não pode parar de raciocinar; apenas se recusa a raciocinar com cuidado (porque se está nas tintas para isso e porque o que lhe interessa realmente na filosofia é ter pensamentos bonitos, edificantes, inspiradores, ou então interessa-lhe exprimir a sua raiva, frustração, etc.). E, claro, quem diz recusar a lógica apressa-se a aplaudir qualquer resultado da lógica mais técnica que pareça confirmar o que ela já pensa. É um conto do vigário: se sair caras, ganho eu, se sair coroas perdes tu". (cf. Desidério Murcho)
CLIQUE NOS LINKS ABAIXO E DIVIRTA-SE.
Políticos Corruptos
Teste de QI de Einstein
Travessia do rio
Jogos dos Sapos
As três garotas
Adorei o post e conhecer o Racha CUca, principalmente os problemas de lógica.
ResponderExcluir