Lógica/Lógica Tradicional/Ontologia e Predicação

Ontologia e predicação

Com o que foi visto até agora não se tem 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

$S\subseteq P$

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).

$S=P$

Gênero

$S\subset P$