Lógica aristotélica

Como su nombre lo indica, el padre de la lógica aristotélica es el filosofo griego Aristóteles;(Estagira , Macedonia 384 a.c - Calcis Eubea , Grecia 322 a.c) primer pensador en formalizar el sistema lógico de tan acertada manera que sus propuestas han trascendido hasta nuestros días. Aristóteles planteó sus ideas en varias obras, para difundir su conocimiento sobre las leyes del razonamiento, argumentando que estas eran vitales para adentrarse en el mundo de la filosofía.

La lógica aristotélica supone que la mente reproduce sólo la realidad, la existencia de las cosas tal y como son, por ello es una ciencia objetiva que se dedica a estudiar conceptos, desglosándolos en predicables y predicamentos. La lógica analiza juicios y formas de razonamiento y su manera de expresar resultados es el silogismo o razonamiento deductivo categórico. Concepto: Este representa un objeto en la mente del hombre de manera que no pueda ser afectado por los sentidos, la memoria o la mente. Un concepto tiene comprensión (características del objeto) y extensión (hace alusión la cantidad de sujetos a los que el concepto puede aplicarse). Cucharón (siglo III d.c.), en los que se clasifican los conceptos estableciendo entre ellos una relación de jerarquía y subordinación, de mayor a menor extensión.

La que es conocida como lógica clásica (o tradicional) fue enunciada primeramente por Aristóteles, quien elaboró leyes para un correcto razonamiento silogístico. Un silogismo es una proposición hecha de una de estas cuatro afirmaciones posibles: “Todo A es B” (universal afirmativo), “Nada de A es B” (universal negativo), “Algo de A es B” (particular afirmativo) o “Algo de A no es B” (particular negativo). Las letras sustituyen a palabras comunes como “perro”, “animal de cuatro patas” o 'cosa viviente', llamadas “términos” del silogismo. Un silogismo bien formulado consta de dos premisas y una conclusión, debiendo tener cada premisa un término en común con la conclusión y un segundo término relacionado con la otra premisa. En lógica clásica se formulan reglas por las que todos los silogismos bien construidos se identifican como formas válidas o no válidas de argumentación, en pocas palabras hey verdades universales y particulares, como menciona en la parte superior, el "perro" verdad universal, "Animal de cuatro patas" verdad particular.

Tipos de conceptos

La palabra concepto proviene del latín concipio que significa concebir o dar cabida. Se define como la representación mental de un objeto sin afirmar ni negar nada de este objeto. La operación mental que produce al concepto o idea se llama Abstracción o Simple Aprehensión. La manera de expresar el concepto o idea es por medio del término o palabra. El concepto se caracteriza por ser una representación mental o intelectual, por ser el resultado de la Abstracción, por ser distinto a la imagen (la cual es captada por medio de los sentidos), por proporcionarnos la esencia del objeto y por ser una estructura mental (o forma mental) universal, inespacial, intemporal e independiente del sujeto. Ejemplos de conceptos: El hombre ríe, Mesa, la silla de madera de pino, Un mamífero acuático, hombre, etc. El concepto no es producido solamente por sensaciones, percepciones o imágenes que se acumulan en nuestra mente, sino que es el resultado o el fruto de un proceso organizado de todas esas representaciones sensibles a las cuales este proceso les va a dar forma para que podamos vincular nuestro mundo interno (o conciencia) con el mundo externo. El concepto es el primer pensamiento que formamos en la infancia. Los conceptos se subdividen en universales, particulares, singulares y colectivos(de acuerdo con su extensión). En simples, compuestos, complejos, incomplejos, abstractos, concretos, unívocos y análogos (de acuerdo con su comprensión). En claros, exactos o precisos y distintos (de acuerdo a su perfección subjetiva). Juicios: si se relacionan dos (2) conceptos entonces estaríamos hablando de formular un juicio, si convienen los dos conceptos se habla de juicio positivo y si no pues de juicio negativo. El sujeto de la relación entre 2 conceptos (nos referimos a ella de aquí en adelante a juicio) es el concepto del cual se afirma o se niega algo, el predicado es el concepto del que se afirma o se niega algo. Es importante resaltar que para Aristóteles los juicios se componen de materia y forma. Materia: Conceptos en el juicio que se relacionan íntimamente Forma: Relación entre ellos a través del verbo SER. Para Aristóteles el Sujeto se representa con la letra S y el predicado con la letra P; de esta manera separa materia y forma y poder representar todos los juicios como “Hanz es hábil” o “Alejandra es preciosa” con la forma “S es P”.

Clasificación de juicios

Los juicios pueden ser según a la extensión del sujeto: Universales, o particulares. Según la cualidad de la relación entre conceptos: afirmativos o negativos. Los juicios se pueden clasificar ordenadamente en Universales Afirmativos (Se representan con la letra A), Universales Negativos (Se representan con la letra E), Particulares afirmativos (Se representan con la letra I) y finalmente Particulares negativos (Con la letra O.); Estas convenciones no fueron inventadas por Aristóteles, pero provienen de las palabras en latín “AfIrmo” y “nEgO”. Silogismos: Es un razonamiento donde se deduce una conclusión partiendo de 2 juicios. Este está conformado por 3 partes y a su vez por 3 términos. Las tres partes son: Premisa mayor (la más universal), Premisa menor (menos universal) y la conclusión. Los tres términos que mencionamos son el término mayor y el término menor (Sujeto y Predicado de la conclusión: S es P), finalmente el término medio (letra M) que aparece en ambos juicios

Hay 4 formas válidas de silogismo, todas dependiendo de la variación del término medio y de su función en los juicios; listadas a continuación:

Figura 1	Figura 2	Figura 3	Figura 4
M es P	P es M	M es P	P es M
S es M	S es M	M es S	M es S
S es P	S es P	S es P	S es P

• Forma A: Todo A es B. Para todo x, si x es A entonces es B.
• Forma E: Algún A es B. Existe al menos un x tal que es A y es B.
• Forma I: Algún A no es B. Existe al menos un x que es A y no es B.
• Forma O: Ningún A es B. Para todo x, si x es A entonces no es B.

A(universal afirmativa) contraria O (universal negativa)

I(particular afirmativa) contraria E (particular negativa)

A contradictoria O

E contradictoria I

A subalterna I

E subalterna O

Bibliografía

• J.M. Gambra y M. Oriol, Lógica aristotélica, Dykinson, Madrid 2008

Véase también

• Aristóteles
• Lógica
• Silogismo

Enlaces externos

• 'La lógica de Aristóteles' en la enciclopedia, de filosofía, de Stanford (en inglés)

edited by UCC primer semestre ingenieria sistemas, el parche