Question

A lógica tem suas raízes ligadas à Filosofia e pode ser considerada como uma forma de pensar de modo organizado, ou ainda como um ramo da Filosofia que cuida das regras do pensamento racional. Quando nos referimos a lógica clássica uma ideia ou é verdadeira ou é falsa, não existindo uma terceira possibilidade. Tal fato acontece em nosso dia a dia? Por exemplo, quando falamos em estar com fome podemos fazer as seguintes afirmações: podemos estar com fome, não estarmos com fome, pouca fome, muita fome. Tal pensamento é algo inerente ao ser humano e que computadores, por exemplo, não são possíveis de processar, visto que utilizam uma lógica em que são aceito apenas dois valores, sim ou não. Diante da inviabilidade de ser apenas respostas verdadeiras ou falsas em nosso dia a dia, surgiram outros tipos de lógica que consideram outros valores lógicos. Por exemplo, há um tipo de lógica que mesmo conhecendo as informações necessárias sobre a situação, dizer algo entre "sim" e "não" não basta, sendo mais apropriado respostas como "talvez", "quase". Nesse sentido existem tipos de lógica em que apenas os princípios da lógica formal não são suficientes, sendo necessário uma complementação ou ainda lógicas que rompem com os paradigmas da lógica formal. A proposta é que você faça uma discussão sobre os diferentes tipos de lógica e a lógica formal. Nessa discussão você deve: a) Caracterizar um tipo de lógica, que não seja a formal. Quando possível exemplifique em que áreas pode ser utilizada. b) Mostrar em que aspectos o tipo de lógica explicado no item a se diferencia da lógica formal.

Answer 1

Resposta:

A lógica, enquanto propriedade linguística, não se preocupa com a veracidade dos enunciados, mas com a validade formal lógica, ou seja, com a possibilidade de sentido da frase dada por sua estrutura. Se a estrutura de uma frase é correta, isto é, se ela segue um padrão formal correto, podemos dizer que a frase é logicamente válida. Na matemática, é a lógica que garante a estrutura formal racional das equações e demais elementos matemáticos que, de algum modo, relacionam-se.

Explicação: