II. Representação das Teorias Aristotélicas do Juízo e da Inferência na Teoria dos Conjuntos.  

II.1. Representação da Teoria Aristotélica do Juízo na Teoria dos Conjuntos: representação da referência dos termos gerais, da referência dos termos singulares, da relação de predicação, dos juízos singulares e dos juízos gerais na Teoria dos Conjuntos;

II.2. Representação da Teoria Aristotélica da Inferência na Teoria dos Conjuntos.  

II.2.1. Representação da doutrina do Quadrado da Oposição na Teoria dos Conjuntos.