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.