Aula 1 - Introdução, o que é Lógica Matématica (25/02/09)

O que é Lógica Matématica ?

Há muitas denominações relativas ao estudo da Lógica, tais como: Lógica Proposicional, Lógica Simbólica, Lógica Matemática, Lógica das Proposições, Lógica Clássica, Lógica Formal, Lógica Aristotélica, Lógica Menor, Lógica de Predicados, Lógica de 1a. Ordem, etc. A nomenclatura sobre Lógica não é uniforme e pode ser até considerada confusa, em virtude dos vários enfoques utilizados pelos diversos estudiosos de Lógica, desde Aristóteles até o presente momento.

Além de ser um ramo da Filosofia, a Lógica é considerada, também, como sendo um ramo da

Matemática, onde recebe a denominação de Lógica Matemática, além de outras.

A Lógica Matemática estuda as proposições e os argumentos, portanto dentro dos conceitos de Lógica Simbólica, porém com o intuito de estudar o raciocínio matemático. Atua como complementação da Lógica Aristotélica, permitindo eliminar (ou pelo menos diminuir) as ambigüidades muitas vezes existentes na linguagem natural e, também, possibilitando redações com maior rigor nos trabalhos científicos.

A Lógica Matemática é de grande auxílio no entendimento do funcionamento de computadores e de linguagens de programação. Em geral o estudo da Lógica Matemática na área de computação tem, como objetivos:

• facilitar o entendimento de conceitos utilizados em Matemática, principalmente na dedução de teoremas;

• introduzir o aluno no estudo de uma linguagem formal, diferenciando-a da linguagem natural, facilitando, com isso, o estudo de outras linguagens formais, principalmente algoritmos, as linguagens de programação e a linguagem SQL;

• facilitar o entendimento da computação através da aplicação de seus conceitos a circuitos de interruptores e circuitos lógicos.