Car@ alun@,
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. Em nossas aulas estudamos a lógica proposicional (também conhecida como lógica formal), que se baseia em três princípios, a saber: princípio da identidade, princípio da não contradição e princípio do terceiro excluído. Nesse tipo de lógica 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 proposicional não são suficientes, sendo necessário uma complementação ou ainda lógicas que rompem com os paradigmas da lógica proposicional. A proposta é que você faça uma discussão sobre os tipos de lógica que diferem da proposicional, isto é, lógicas que são regidas por outros princípios . Nessa discussão você deve:
a) Caracterizar um tipo de lógica, que não seja a lógica proposicional ( a lógica que estudamos em nossas aulas). Quando possível exemplifique em que áreas pode ser utilizada.
OBS.: Nesse item, não cabe a “lógica informal”, ou a lógica que utilizamos no nosso dia a dia. É necessário que você exemplifique com um tipo de lógica que siga determinados princípios.
b) Mostrar em que aspectos o tipo de lógica explicado no item a se diferencia da lógica proposicional.
Lembre-se que o objetivo do fórum é realizar uma discussão e reflexão, assim escreva com suas próprias palavras sobre o tema proposto.
