Lógica aristotélica

En el pensamiento occidental, se considera que la lógica sistemática comenzó con la colección de tratados de Aristóteles,  Organon . Ariastoteles introdujo el uso de variables: mientras que sus contemporáneos ilustraron los principios mediante el uso de ejemplos, Aristóteles generalizó, como en: Todos los x son y; todos y son z; por lo tanto, todas las x son z. Aristóteles postuló tres leyes como básicas para todo pensamiento válido: la ley de identidad, A es A; la ley de la contradicción, A no puede ser tanto A como no A; y la ley del medio excluido, A debe ser A o no A.

Aristóteles creía que cualquier argumento lógico podía reducirse a una forma estándar, conocida como silogismo . Un silogismo es una secuencia de tres proposiciones: dos premisas y la conclusión. 

Al variar la forma de la proposición y los modificadores (como todos, no y algunos ), se pueden delimitar algunas formas específicas. 

Aunque Aristóteles estaba preocupado por los problemas en la lógica modal y otras ramas menores, generalmente se acepta que su mayor contribución en el campo de la lógica fue su elaboración de la lógica silogística; de hecho, la afirmación aristotélica de la lógica prevaleció en el mundo occidental durante 2.000 años. No obstante, varios lógicos, durante ese tiempo, tuvieron problemas con partes del pensamiento de Aristóteles.

(0 votes)