Lógica

2.  A criação da Lógica Clássica no final do
Século XIX pelo filósofo e matemático Gottlob
Frege, marca o fim do domínio de cerca de
vinte e cinco séculos do sistema aristotélico
na Lógica.
 Frege, desenvolve um novo sistema lógico,
porque precisa de um sistema que o permita
demonstrar teoremas (afirmação que pode
ser provada como verdadeira através de
afirmações já demonstradas) matemáticos.

3.  Ora, o sistema aristotélico de lógica não
permite demonstrar teoremas. Porquê?
Porque não é um sistema formal.
As regras de validade do sistema
aristotélico não são mais do que
orientações a seguir para raciocinarmos
validamente e essas orientações não
permitem propriamente proceder a uma
demonstração.

4. De modo muito resumido, é essa a grande
revolução provocada pela criação da
Lógica Clássica.

5. A Lógica Clássica divide-se em dois
sistemas:

6. O cálculo proposicional (o sistema da
Lógica Clássica que iremos estudar)
estuda as regras de derivação para
proposições.

7. Já a Lógica de Predicados é um sistema
que estuda as regras de validade para
variáveis quantificáveis.
Ambos os sistemas fazem parte da Lógica
Clássica.