Mostrar código-fonte de 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====
<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). 

:<math>S=P\,\!</math>

=====Gênero=====

<math>S\subset P</math>

====Contingentes====

{{Esboço/Filosofia}}

{{AutoCat}}