IDC Filosofia é:

Familiarizar o aluno com os métodos da lógica Clássica e preparar o aluno para a utilização dos métodos da Lógica de Predicados.