Lógica/Lógica Tradicional: diferenças entre revisões

[edição não verificada][edição não verificada]
Conteúdo apagado Conteúdo adicionado
Linha 9:
 
 
[[Categoria:Lógica Tradicional|I]]
==Ontologia e predicação==
: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).
 
:<math>S=P\,\!</math>
 
=====Gênero=====
 
<math>S\subset P</math>
 
====Contingentes====
 
{{stub}}
 
[[Categoria:Lógica]]
 
==Links Externos==