:Com o que foi visto até agora, não tem-se o suficiente para determinar a invalidade de raciocínios como:
:Sócrates é branco.
:Branco é uma cor.
:Logo Sócrates é uma cor.
:A natureza do erro deste raciocínio consiste em ter premissas onde a relação lógica e semântica entre o sujeito e o predicado é distinta entre ambas. Ou seja, num silogismo válido, as premissas devem ter a mesma relação entre o sujeito e o predicado.
: Aristóteles estudou a fundo a questão das relações lógico-semânticas estabelecidas pelo verbo "ser" - lembrando que no Grego, assim como no Inglês, no Alemão etc., "ser" e "estar" são o mesmo verbo - nas obras ''Metafísica'' e ''De Interpretatione'', entre outras.
====Essenciais====
<math>S\subseteq P</math>
=====Definições=====
:"Pois no que diz respeito às definições, a maior parte da discussão é se são o mesmo ou distintos" (''Tópicos I'', 102a 2).