1. argumentação e lógica formal
Validade e verdade
Em 1.1. Distinção validade – verdade, abordar-se-ão as seguintes noções:
a) A lógica como disciplina que tem por objetivo a avaliação sistemática de argumentos quanto à sua validade dedutiva;
b) A noção de argumento válido como aquele em que a conclusão é uma consequência lógica das premissas tomadas em conjunto.
Formas de inferência válida - A lógica Aristotélica
Em 1.2. Formas de inferência válida, para a Lógica Aristotélica, deverão ser tratadas:
a) Caracterização da linguagem da lógica silogística com as suas quatro formas;
b) Definição de silogismo (envolvendo as noções de termo maior, menor e médio e de premissa maior e menor);
c) Classificação dos silogismos em figuras e modos;
d) Distribuição de um termo geral numa proposição;
e) Regras de validade silogística.