Вы находитесь на странице: 1из 20

El silogismo es una forma de razonamiento deductivo que consta de dos proposiciones

como premisas y otra como conclusin, siendo la ltima una inferencia necesariamente
deductiva de las otras dos. Fue formulado por primera vez por Aristteles, en su obra
lgica recopilada como El Organon, de sus libros conocidos como Primeros Analticos,
(en griego Proto Analytika, en latn idioma en el que se conoci la obra en Europa
Occidental-, Analytica Priora).
Aristteles consideraba la lgica como lgica de relacin de trminos. Los trminos se
unen o separan en los juicios. Los juicios aristotlicos son considerados desde el punto
de vista de unin o separacin de dos trminos, un sujeto y un predicado. Hoy se
hablara de proposicin.
La diferencia entre juicio y proposicin es importante. La proposicin afirma un hecho
como un todo, que es o no es, como contenido lgico del conocimiento. El juicio, en
cambio, atribuye un predicado a un sujeto lgico del conocimiento otorgando a los
trminos al mismo tiempo una funcin lingstica de significado (semntica) y una
funcin formal lgica (sintctica). Esto tiene su importancia en el concepto mismo del
contenido de uno, el juicio, y la otra, la proposicin, especialmente en los casos de
negacin, como se considera, ms adelante, en la problemtica de la lgica silogstica.
Mantenemos aqu la denominacin de juicio por ser lo ms acorde con lo tradicional,
teniendo en cuenta que este tipo de lgica, como tal, est en claro desuso, sustituida
por la lgica simblica en la que esta lgica es interpretada como lgica de clases. Ver
clculo lgico.
La relacin entre los trminos de un juicio, al ser comparado con un tercero que hace
de "trmino medio", hace posible la aparicin de las posibles conclusiones. As pues, el
silogismo consta de dos juicios, premisa mayor y premisa menor, en los que se
comparan tres trminos, de cuya comparacin se obtiene un nuevo juicio como
conclusin.
La lgica trata de establecer las leyes que garantizan que, de la verdad de los juicios
comparados (premisas), se pueda obtener con garanta de verdad un nuevo juicio
verdadero (conclusin).


Aristteles. Museo del Louvre.
Juicio de trminos
El juicio de trminos es la comparacin de dos conceptos, bien sea de forma lgica o
extrada de la experiencia, mediante la cual creemos o afirmamos la relacin de uno
con respecto al otro como verdad objetiva.
As se justificaba la creencia verdadera en los juicios aristotlicos de la lgica clsica.
Por ejemplo: en la nieve es blanca, la mente se afirma en que la blancura es una
propiedad que se puede predicar con verdad de la nieve.
1
Tal ha sido la consideracin
de los juicios aristotlicos en el silogismo de la lgica tradicional.
Hoy da la lgica formal y simblica no acepta tales juicios que se interpretan como
creencia pues no requiere su formulacin lingstica o conceptual, como ya
consideraron los escolsticos y por otro lado la posibilidad de un categrico, como
pensaba Aristteles, est seriamente cuestionada.
Actualmente, en la lgica tal relacin se considera formalmente:
Como resultado de dominio de discurso de la relacin de dos clases lgicas.
Como la atribucin de un predicado a una variable lgica individual cuantificada.
Los juicios aristotlicos: Definicin y elementos del silogismo
El juicio aristotlico considera la relacin entre dos trminos: un sujeto, S, y un
predicado, P.
Los trminos pueden ser tomados en su extensin universal: abarca a todos los
posibles individuos, el dominio de discurso, a los cuales pueda referirse el concepto.
2

3

O en su extensin particular: cuando slo se refiere a algunos.
4

Los juicios por la extensin en la que es tomado el trmino sujeto, como criterio de
cantidad, pueden ser:
UNIVERSALES: Todo S es P
5

PARTICULARES: Algunos S son P
6

Nota: Los nombres propios tienen extensin universal; pues el uno, como nico,
equivale a un individuo que siendo nico es, por eso, todos los posibles.
7

La relacin entre los trminos puede ser asimismo:
AFIRMATIVOS: De unin: S es P.
NEGATIVOS: De separacin: S no es P.
8

El predicado de una afirmacin siempre tiene extensin particular, y el predicado de
una negacin est tomado en su extensin universal. Cuando un concepto, sujeto o
predicado, est tomado en toda su extensin se dice que est distribuido; cuando no,
se dice que est no distribuido.
Segn el criterio de cantidad y calidad, resulta la siguiente clasificacin de los juicios:
CLASE DENOMINACIN ESQUEMA
EXPRESIN-
EJEMPLO
Extensin de los
trminos
A
Universal
Afirmativo
Todo S es P
Todos los hombres
son mortales
S: Universal P:
Particular
E Universal Negativo
Todos los S no
son P
Ningn hombre es
mortal
S: Universal P:
Universal
I
Particular
Afirmativo
Algn S es P
Algn hombre es
mortal
S: Particular P:
Particular
O Particular Negativo
Algn S no es
P
Algn hombre no es
mortal
S: Particular P:
Universal
Los juicios se relacionan unos con otros en lo que constituye un argumento.
El silogismo argumenta estableciendo la conclusin como una relacin entre dos
trminos, establecida como resultado de la comparacin de ambos trminos con un
tercero (tertium comparationis). Por eso se define:
Silogismo es la argumentacin en la que a partir de un antecedente, (dos juicios
como premisas), que compara dos trminos, (sujeto y predicado de la
conclusin), con un tercero, (trmino medio), se infiere o deduce un
consecuente, (un juicio como conclusin), que une, (afirma), o separa, (niega), la
relacin de estos trminos, (sujeto y predicado), entre s.

ANTECEDENTE = Dos premisas:
Premisa mayor, en la que se encuentra el trmino mayor, que es el predicado de la
conclusin, que se representa como P.
Premisa menor, en la que se encuentra el trmino menor, que es el sujeto de la
conclusin, que se representa como S.
Entre ambas se realiza la comparacin del trmino sujeto y el trmino predicado con
respecto al trmino medio, que se representa como M.

CONSECUENTE = Una conclusin:
En la que se establece la relacin entre el trmino sujeto S, y el trmino predicado P.
TRMINOS:
Trmino mayor: Es el predicado de la conclusin. La premisa en la que se encuentra se
llama premisa mayor. Se representa como P.
Trmino menor: Es el sujeto de la conclusin. La premisa en la que se encuentra se
llama Premisa menor. Se representa como S.
Trmino medio: Que sirve de comparacin (tertium comparationis) y no puede estar en
la conclusin. Se representa como M.
Figuras y modos silogsticos
Teniendo en cuenta la disposicin de los trminos en las premisas y en la conclusin se
pueden dar las siguientes FIGURAS SILOGSTICAS, que se denominan:
1
FIGURA
2
FIGURA
3
FIGURA
4
FIGURA
M P P M M P P M
Premisa
mayor
S M S M M S M S
Premisa
menor
S P S P S P S P Conclusin
Los modos son las distintas combinaciones que se pueden hacer con los juicios que
entran a formar parte de las premisas y la conclusin. Como estos juicios tienen
cuatro tipos distintos (A, E, I, O), y en cada caso se toman de tres en tres dos
premisas y una conclusin hay 64 combinaciones posibles.
Estas 64 combinaciones posibles quedan reducidas a 19 modos vlidos, al aplicar las
reglas del silogismo.
Reglas del silogismo
Reglas para los trminos
El silogismo no puede tener ms de tres trminos.
Esta ley se limita a cumplir la estructura misma del silogismo: La comparacin de dos
trminos con un tercero. Aunque la regla es clara, su aplicacin no siempre lo es. Es lo
que algunos llaman silogismo de cuatro patas. Ver quaternio terminorum.
Consideremos el siguiente silogismo:
Los hombres son esencialmente libres.
Las mujeres no son hombres.
Las mujeres no son libres.
Los trminos que aparecen como evidentes son las palabras hombre, libre, mujer. Pero,
a modo de un non sequitur en la supuesta premisa mayor se utiliza la palabra hombre
en su acepcin de especie (Homo sapiens) mientras que en la supuesta premisa menor
del quaternio terminorum se ha trocado el significado de la palabra hombre utilizando
la acepcin de [sexo] (hombre como sinnimo de varn), es decir se ha incluido
subrepticiamente un cuarto trmino, de all que la conclusin del quaternio terminorum
es errnea, un sofisma. Si se observa bien, en el ejemplo dado de quaternio
terminorum se ha expresado de un modo entimemtico.
Los trminos no deben tener mayor extensin en la conclusin que en las
premisas.
Por la misma estructura del silogismo; nicamente podremos obtener conclusiones
acerca de lo que hemos comparado en las premisas.
El trmino medio no puede entrar en la conclusin.
Por la misma estructura del silogismo la funcin del trmino medio es servir de
intermediario, como trmino de la comparacin.
El trmino medio ha de tomarse en su extensin universal por lo menos en una
de las premisas.
Para que la comparacin sea tal, es necesario que el trmino medio sea comparado en
su totalidad. De otra forma, podra ser comparado un trmino con una parte y el otro
con la otra, constituyndose en realidad entonces un silogismo de cuatro trminos.
Todos los andaluces son espaoles.
Algunos espaoles son gallegos.
Por tanto, algunos gallegos son andaluces
Lo que evidentemente no es un modo vlido, puesto que "espaoles" en la premisa
mayor al ser predicado de una afirmativa est tomado en su extensin particular.
Reglas de las premisas
De 2 premisas negativas no puede obtenerse conclusin alguna.
Dos premisas negativas no se adaptan a la estructura del silogismo, ya que si negamos
S de M, y P de M, no sabemos qu relacin puede haber entre S y P. Para establecer la
relacin, por lo menos uno de los trminos tiene que identificarse con M. Por tanto una
de las dos premisas tiene que ser afirmativa.
De dos premisas afirmativas no puede sacarse una conclusin negativa.
En efecto, si S se identifica con M, y P tambin se identifica con M, no tiene sentido
establecer una relacin negativa con entre S y P. La conclusin ser afirmativa.
La conclusin siempre sigue la peor parte. Entendiendo por peor parte, la
negativa respecto a la afirmativa y lo particular respecto a lo universal.
Veamos los dos casos separadamente:
a) Conclusin negativa de una premisa afirmativa y la otra negativa.
Si se afirma una relacin entre dos trminos (X, M), pero se niega la de uno de ellos
con otro (Y, M), siendo M el trmino medio, no puede haber ms conclusin que negar
la relacin que pueda haber entre el primero (X) y el ltimo (Y) siendo uno sujeto y el
otro predicado de la conclusin.
b) Conclusin particular de una premisa universal y otra particular (teniendo en cuenta
que dos premisas particulares no puede ser, como veremos en la regla siguiente).
Pueden darse dos casos: Que una sea afirmativa y la otra negativa, o que las dos sean
afirmativas.
1) Dos afirmativas. (Tenemos que recordar que el predicado de una afirmativa est
tomado en su extensin particular, y el predicado de una negativa en su extensin
universal).
Al ser las dos afirmativas sus predicados son particulares. El trmino de la universal
tiene necesariamente que ser el trmino medio, la conclusin tiene que tener un sujeto
particular.
2) Una afirmativa y otra negativa: Tiene que haber dos trminos universales. Uno de
ellos tiene que ser el trmino medio, el otro tiene que ser el predicado de la
conclusin, pues la conclusin tendr que ser negativa, (caso a) de esta misma regla).
Por tanto el trmino que queda ser el sujeto de la conclusin con extensin
particular.
De dos premisas particulares no se saca conclusin.
Tambin tiene dos casos posibles: que una sea afirmativa y la otra negativa o que las
dos sean afirmativas.
a) Afirmativa y negativa: Algn A es B - Algn A no es C.
Slo hay un trmino universal que es el predicado de la negativa, que por tanto tiene
que ser el trmino medio. La conclusin tendr que ser negativa (caso a) de la regla
anterior), y por tanto el predicado tendr que ser universal, y no puede ser el trmino
medio por tanto no puede haber conclusin.
b) Dos afirmativas: Algn A es B - Algn A es C.
Los tres trminos son particulares, y por tanto no puede haber trmino medio con
extensin universal, y por tanto no hay conclusin posible.
Los modos vlidos
Modo del silogismo es la forma que toma ste de acuerdo con la cantidad y la cualidad
de las premisas y la conclusin. De la aplicacin de las leyes de los silogismos a los 64
modos posibles resultan vlidos solamente 19 y son los que tradicionalmente se
memorizan atendiendo a los modos vlidos de cada figura con sus premisas y
conclusin.
As los modos vlidos Se memorizaban cantando
De la primera
figura
AAA, EAE, AII, EIO BARBARA, CELARENT, DARII, FERIO
De la segunda
figura
EAE, AEE, EIO, AOO CESARE, CAMESTRES, FESTINO, BAROCO
De la tercera
figura
AAI, IAI, AII, EAO,
OAO, EIO
DARAPTI, DISAMIS, DATISI, FELAPTON,
BOCARDO, FERISON
De la cuarta
figura
AAI, AEE, IAI, EAO,
EIO
BAMALIP, CAMENES, DIMATIS, FESAPO,
FRESISON
Nota bene: Tambin son vlidos para la primera figura los modos subalternos
BARBARI, CELARONT; para la segunda: CESARO, CAMESTROP; y para la cuarta:
CAMENOP.
9

Resolucin de los modos mediante un algoritmo mecnico: Las cartas silogsticas


Cartas silogsticas
Consiste en un juego de diecisis cartas, ocho mayores y ocho menores. En cada carta
mayor figura en primera lnea una posible premisa mayor y debajo posibles
conclusiones. La primera lnea de las cartas menores llevan una posible premisa menor,
y en sus partes medias unas aberturas.
Colocando una carta menor sobre una mayor como si fuera una combinacin de
premisas, aparece en la abertura correspondiente una conclusin si es modo vlido, o
ninguna si no lo es (carta 8 menor).
Representacin grfica de los modos como lgica de clases mediante diagramas de
Venn


Convencin para la representacin grfica del juicio tipo A.
Se pueden representar estos modos mediante diagramas de Venn con las siguientes
convenciones:
Cada trmino del silogismo est representado por S, P, M, por un crculo
incoloro que representa a todos los miembros posibles de una clase.
La conclusin aparece como resultado de la relacin de los trminos S y P en su
relacin con M.
La inexistencia se muestra como zona rellena de color.
La existencia individual se afirma mediante una X: Al menos uno, o algunos.
La relacin de los trminos se constituye como pertenencia o no pertenencia a
la clase.
La relacin de inclusin, Todo S es P, se representa como No hay ningn S que
no sea P segn muestra la imagen que se muestra al margen.


Representacin grfica de los modos vlidos en diagramas de Venn.
Teniendo en cuenta la problemtica de la lgica aristotlica, de la que se habla ms
adelante, el problema del "compromiso existencial" afecta a los modos Darapti,
Felapton, Bramalip, y Fesapo que no se muestran en las grficas, al no ser admitidos
como vlidos por algunos y, sobre todo, la representacin grfica no hace plausible la
conclusin, debido a la falta de "compromiso existencial", como se comenta ms
adelante.
La problemtica de la lgica silogstica
La exposicin anterior es la forma ms simple y esquemtica tradicionalmente
presentada como lgica aristotlica.
10

Sin embargo, la problemtica que trata Aristteles es bastante ms compleja.
Aristteles define:
Silogismo es un argumento en el cual, establecidas ciertas cosas, resulta
necesariamente de ellas, por ser lo que son, otra cosa diferente.
Aristteles An. Pr. I 24 b 18-23
Dos aspectos a destacar en su definicin:
La necesidad, que considera el silogismo como categrico, por considerar que
los juicios que lo integran son asimismo categricos.
El fundamento de dicha necesidad, por "ser las cosas lo que son".
Hablar del silogismo categrico supone hablar de lo necesario e incondicionado. Y
precisamente incondicionado por estar basado en el ser de las cosas.
Aristteles est pensando en un predicado aprehendido a partir de la experiencia y
atribuido por el entendimiento a un sujeto. En el lenguaje apofntico
11
el silogismo
manifiesta la verdad, porque el entendimiento humano (entendimiento agente, segn
Aristteles) es capaz de llegar a la intuicin directa de lo real
12
aunque sea a travs
de un proceso de abstraccin.
13

Se parte del supuesto de que P es predicado verdadero de S (en el sentido de que P
manifiesta la "identidad" del ser de S), lo que plantea una cuestin metalgica. Vase
verdad.
Aristteles piensa que el juicio manifiesta lo que es como verdadero. El problema
entonces es y cmo se predica de un sujeto lo que no-es?
14
(V.:aportica).
La lgica aristotlica se encuentra con el problema de los juicios negativos que
resuelve no del todo bien.
De hecho en el cuadro de oposicin de los juicios Aristteles estudi con todo detalle
problemas que posteriormente no se han tenido en cuenta; en realidad consider tres
figuras y no todos los 19 modos vlidos.
15
Aristteles considera modos perfectos
aquellos cuya validez aparece como evidente, siendo los dems imperfectos por cuanto
deben ser probados por medio de los modos perfectos, que son los correspondientes a
la primera figura: BRBARA, CELARENT, DARII, FERIO.
16

Incluso lleg a considerar tales modos como los axiomas de todo el sistema lgico.
El juicio como atribucin de un predicado verdadero a un sujeto, (en el sentido de
que P manifiesta la "identidad" como "ser del sujeto",
17
en tanto que realidad
conocida), plantea el problema de un predicado falso, es decir un no-predicado. Cmo
conocemos un no-predicado?...
Lingsticamente, el problema se disfraza negando el verbo en lugar del predicado
como atributo (gramtica). De esta forma en vez de decir "Antonio es un no-caballo",
(qu es un no-caballo?),
18
decimos "Antonio no es un caballo". Pero esto segundo slo
es inteligible bajo el punto de vista extensional de los conceptos,
19
es decir bajo el
punto de vista de ser un elemento de un conjunto definido por una propiedad, o lo que
es lo mismo por su pertenencia o no-pertenencia a una determinada clase; lo que nos
lleva a la lgica de clases.
La lgica moderna simblica, meramente lgica formal, no tiene conexin con contenido
de verdad alguno y supera con claridad estas dificultades; sobre todo con la ventaja
de poder tratar proposiciones polidicas, llamadas as porque tienen ms de dos
trminos (por ejemplo: "Jpiter es mayor que la Tierra y menor que el Sol"),
20
y
facilitar enormemente el clculo lgico, por lo que, de hecho, la lgica aristotlica,
como tal, est en claro desuso.
21

Hans Reichenbach estudia el cuadro de oposicin de los juicios considerando los
juicios A, E, I, O, como relacin de clases y considera que pueden eliminarse los juicios
negativos E, O, que son los problemticos, mediante la anotacin de la negacin de la
clase complementaria.
22

La notacin se hace estableciendo entre el sujeto S y el predicado P, la letra
minscula correspondiente al tipo de juicio. As tenemos que:


As no slo se simplifica la notacin sino que de modos que tradicionalmente han sido
considerados invlidos, se puede obtener conclusin vlida, que la notacin clsica
haca imposible.
23

Por todo ello la interpretacin actual de la lgica aristotlica como silogismo es su
interpretacin como lgica de clases. Tal es el mrito de la obra de Lukasiewicz.
Pero considerar los conceptos universales, como clases plantea el problema de la
existencia del individuo como instanciacin o compromiso existencial. Pues la clase
como propiedad independiente puede considerarse como abstracto universal.
24
Pero
los predicados, como atributos, no tienen sentido sin un sujeto gramatical del cual se
prediquen porque posea dicha propiedad.
25

La lgica tradicional no consideraba el problema de la existencia o no existencia del
individuo respecto a los conceptos universales, pues se supone que stos han surgido
de la abstraccin a partir del conocimiento de los singulares o individuos existentes.
26

El silogismo considerado en la lgica formal
La lgica formal actual considera la relacin S y P como una relacin meramente
sintctica sin contenido material alguno, bien sea en una relacin de clases o una
funcin proposicional de predicados. Aristteles considera dicha formalidad, desde
luego, bajo el punto de vista de la relacin entre dos trminos S (sujeto) y P
(predicado) que al mismo tiempo tienen una funcin lingstico-gramatical, pues para
Aristteles los trminos representan aspectos del ser y por tanto de la realidad.
Pero la formalidad de la lgica actual convierte la deduccin en una inferencia, como
consecuencia lgica, en lugar de una implicacin con transmisin de contenido en un
lenguaje apofntico transmisor de la verdad como pretenda Aristteles para el
lenguaje de la ciencia.
En la nueva forma de relacin sintctica se pierde toda relacin de los trminos con la
gramtica del lenguaje y posible "significacin". El silogismo pierde as su formalidad
de ser categrico, transmisor de la verdad necesaria, "por ser las cosas como son",
para adquirir una formalidad hipottica.
Siendo S el sujeto, P el predicado y M el trmino medio, el silogismo es ahora
interpretado como lgica de clases, y su esquema lgico sera del tipo siguiente:
Si la clase S est (o no est) contenida en la clase M, y la clase M est (o no est)
contenida en la clase P, entonces la clase S est o (no est) contenida en la clase P.
O, en su interpretacin con respecto a los individuos, cuando haya conocimiento de
instanciacin existencial:
27

Si todos (o algunos) los individuos que pertenecen (o no pertenecen) a la clase S
pertenecen (o no pertenecen) a la clase M, y todos (o algunos) los individuos que
pertenecen (o no pertenecen) a la clase M pertenecen (o no pertenecen) a la clase P,
entonces todos (o algunos) los individuos que pertenecen (o no pertenecen) a la clase S
pertenecen (o no pertenecen) a la clase P.
As el silogismo en Brbara se convierte formalmente en lgica de clases como:

Que expresa una frmula de relacin hipottica y al no haber afirmacin de verdad
alguna en las premisas, la conclusin es condicionada y no implicada.
De la misma forma el silogismo puede interpretarse como una funcin proposicional de
un predicado P que se predica de uno, alguno o todos los individuos x, que a su vez
pueden ser o no ser sujeto de otro predicado S como resultado de la relacin que
ambos tienen o no tienen con otro predicado M, siendo S, P y M los trminos del
silogismo.
Mx simboliza "Ser mortal", siendo M=ser mortal que se puede predicar respecto a una
variable x cuyo compromiso de existencia vendra dado por la cuantificacin
existencial de la referencia de dicha funcin, bien sea un cuantificador universal, todo
x: ; un cuantificador particular, un o algn x: ; o una constante individual
determinada: a, b, c
La lgica de predicados resuelve as el problema de la instanciacin existencial, pero
nuevamente convierte el silogismo en un esquema formal de inferencia, donde no hay
afirmacin sino una inferencia hipottica, a partir del hecho de que la proposicin
puede ser verdadera o falsa y no una afirmacin categrica.
As el silogismo por antonomasia en AAA, de la primera figura se interpretara de la
siguiente manera siendo S, M y P sus trminos:


Es decir un silogismo hipottico de la lgica de predicados.
En ambos casos, como relacin de clases o como lgica de predicados, el clsico
silogismo categrico:
Todos los hombres son mortales. Todos los griegos son hombres. Por tanto todos los
griegos son mortales.
Se convierte en un silogismo hipottico:
Si todos los hombres son mortales y todos los griegos son hombres, entonces, todos
los griegos son mortales.
Lo que, no cabe duda, es una transformacin no menor de la lgica aristotlica.
Vase tambin
Entimema
Sorites
Silogismo hipottico
Modus ponendo ponens
Modus tollendo tollens
Modus ponendo tollens
Modus tollendo ponens
Nyya
Regla de inferencia
Proposicin Quaternio terminorum
Razonamiento
Razonamiento abductivo
Razonamiento circular
Razonamiento deductivo
Razonamiento inductivo
Conversin lgica
Obversin lgica
Contraposicin lgica
Inversin lgica
Notas y referencias
1. Vase verdad y la reflexin sobre tal afirmacin de Alfred Tarski
2. Que no necesariamente tiene una referencia en una palabra; puede ser una
frase o un discurso tomado como una unidad lgica
3. Se dice de un trmino tomado en su extensin universal que est distribuido.
Ntese que el dominio del concepto es mucho ms amplio que la mera
referencia a "todos los que existen". Quiere decir que el trmino universal,
distribuido, abarca todos los posibles individuos que hayan podido existir,
hayan existido y los que existen y existirn. El verbo ser es meramente
atributivo y no exige la existencia. La filosofa tradicional consideraba que el
trmino tena su origen en la abstraccin a partir de la existencia de
individuos, por lo que no haca referencia a esta distincin que exige la lgica
formal tal como se entiende en la actualidad.
4. En esta referencia es necesario que se incluya la existencia de individuos bien
sea pasada, presente o futura, de existencia real o conceptual; de otro modo no
habra significacin en la atribucin. El verbo ser referido a la extensin
particular es de existencia. Lo que no pocas veces conduce a errores lgicos
cuando no se tiene en cuenta el diferente uso del verbo ser respecto a la
extensin de los trminos, sobre todo en los juicios negativos.
5. La forma lingstica que expresa el juicio admite variaciones: Todos los S,
Cualquier S.... Lo importante es que cualquier cosa que sea S, entonces es P.
Ntese que en la lgica aristotlica el uso del verbo ser tiene un contenido
categrico de realidad. Ms tarde la lgica de Port Royal har de esta relacin
una atribucin. La lgica de clases, por su parte, nicamente seala una relacin
meramente lgica entre clases. El individuo como se explica ms adelante, es un
trmino, considerado en su extensin universal, como clase lgica o trmino
distribuido.
6. Las formas lingsticas tambin pueden ser variadas: Algn S siempre que sea
indeterminado, unos cuantos S etc.
7. De lo nico, como unidad elemental, no podemos ms que o "designarlo" con el
dedo, como hace el nio pequeo cuando no sabe hablar, o "nombrarlo" con un
"nombre propio" o "clasificarlo" mediante un "nombre comn" o "concepto
universal", es decir incluirlo como elemento "perteneciente a una clase" que
designa una "propiedad". Por eso los "nombres propios" son una "Clase
Universal". Este problema lo resuelve mejor la lgica actual considerando los
elementos comunes como "variables" o "elementos de un conjunto" y los
individuos existentes como "constantes" o "instanciacin de existencia". Las
propiedades son consideradas como "clases" como posibilidad de la existencia
de individuos
8. La expresin propiamente aristotlica es S es no-P (David Mitchell, op. cit.).
Sin embargo este matiz se oculta bajo la forma expresiva de S no es P que
suena mejor pero oculta este matiz y puede inducir errores lgicos; S es no-P
manifiesta claramente la separacin de S respecto a P como predicado de S. En
cambio la expresin S no es P expresa la no pertenencia de S al dominio de la
clase P. Aristteles siempre habla del ser, de lo que es. La lgica actual se
atiene nicamente a la relacin de inclusin de clases o dominio del discurso.
Para Aristteles la lgica manifiesta lo real; la lgica actual manifiesta slo una
posible inferencia. Vase ms adelante la problemtica de la lgica aristotlica
respecto a los juicios negativos y su interpretacin como lgica de clases.
9. Cfr. ukasiewicz. La silogstica de Aristteles desde el punto de vista de la
lgica formal moderna. Madrid: Tecnos (1977). pg. 81 y ss. Vase ms
adelante: Problemtica de la lgica aristotlica
10. Que es la considerada como lgica tradicional que no sigue exactamente los
postulados del propio Aristteles, como veremos ms adelante.
11. Aristteles considera que es el lenguaje propio de la ciencia; a diferencia del
lenguaje retrico que genera silogismos retricos o argumentos probables
aunque formalmente sean vlidos
12. Es decir a lo que "de verdad es"; la esencia frente a la apariencia sensible que
manifiesta lo que es al mismo tiempo que lo oculta
13. Si bien en los juicios derivados de la experiencia los sujetos lgicos nicamente
pueden ser las sustancias primeras individuales, en la abstraccin de sus
predicados, como categoras y modos de predicacin predicables, tales
predicados como conceptos pueden hacer de sujetos lgicos en oraciones
gramaticales que expresan juicios categricos mediante los cuales se ponen de
manifiesto sus contenidos como propiedades y sus relaciones con otros
conceptos manteniendo su relacin con lo real, puesto que su origen deriva de lo
real existente. Las categoras lgicas tienen por ello carcter de realidad.
14. Para los griegos clsicos y tambin para Aristteles, el concepto de clase o,
simplemente, el conjunto vaco era algo inconcebible. La problemtica
parmenidiana sobre el ser estaba en el fundamento lgico de todo su
pensamiento. Por eso, en matemticas no pudieron concebir el 0 (cero) como
concepto. Vase supra nota 5.
15. Aristteles consider la posibilidad de poder afirmar "El hombre es un no-
caballo" como implicacin consecuente de la afirmacin previa existencial en la
experiencia de "El hombre no es un caballo" (CORREIA, Manuel. La Actualidad
de la Lgica de Aristteles. Rev. filos., Santiago, 2010 2010. Disponible en.
<http://www.scielo.cl/scielo.php?script=sci_arttext&pid=S0718-
43602006000100009&lng=es&nrm=iso>. accedido en doi 16: noviembre
10.4067/S0718- 43602006000100009.). Esto es as porque el conocimiento
del concepto de caballo en su relacin con el hombre es nicamente de "ser" o
"no-ser". En cambio "El hombre es bueno" no es oponible de la misma forma a
"El hombre es no-bueno" puesto que la bondad admite gradaciones y situaciones
que no responden a la condicin de "ser" o "no-ser", como ya haba expuesto
Platn en su dilogo Fedro. Un mismo hombre puede ser hoy bueno y maana
malo; as como puede ser regular, mezcla en parte de lo bueno y en parte de lo
malo; la oposicin entre uno y otro no es totalmente excluyente. Si es "malo"
entonces es "no-bueno", como verdad implicada. Pero ser "no-bueno" no implica
"ser malo". [Analticos Primeros I, 46 (52b15)]. La forma lgica aristotlica
implica en algunos casos, como el presente, la consideracin de la materia o
contenido del juicio de que se trate. Por ello mientras que para la lgica
simblica actual "El hombre es un no-caballo" y "El hombre no es un caballo" son
formalmente equivalentes, y se simbolizan de la misma forma,
siendo A= Ser hombre y C= Ser caballo, para Aristteles
no lo son como hemos visto antes. Lo que indica que la lgica de Aristteles
siendo formal, al pretender ser transmisora de la verdad, nunca pierde su
relacin con la materia o contenido en su consideracin lgica, pues siempre se
trata de una predicacin respecto a un sujeto que, en ltima instancia, tiene
una referencia verdadera, bien en la experiencia concreta como conocimiento
de una sustancia primera, bien en la evidencia de un axioma, bien en la realidad
de un concepto universal abstrado a partir de una sustancia existente
individual. Por eso el concepto aristotlico, como trmino del juicio, no es una
clase, y siempre tiene una referencia existencial. Algunos piensan que la lgica
de Aristteles siendo formal no es formalista. Manuel Correia. Revista de
filosofa. Rev. filos. v.62 Santiago 2006. tienne Gilson (1944). Eco (1977),
Kant y el ornitorrinco. Cap. 1 "Sobre el ser"
16. Para hacer tales demostraciones se establecen ciertas operaciones lgicas que
permiten transformar unos juicios en otros. Vase conversin lgica, obversin
lgica, contraposicin lgica e inversin lgica. Es famosa la demostracin
demostracin formal!!! de la "inmortalidad" por este procedimiento segn el
siguiente esquema: 1. Todo S es P; 2. Ningn S es no-P (por obversin en 1); 3.
Ningn no-P es S (por conversin en 2); 4. Todo no-P es no-S obversin en 3); 5.
Algn no S es no-P (por conversin per accidens en 4. De esta forma "Todos los
hombres son mortales" implicara que "Algn no-hombre es no-mortal" lo que
sera una prueba o demostracin la "inmortalidad". Pero ... qu es un "no-
mortal" si no tenemos "experiencia" como instanciacin existencial de ello?. A
qu referente como no-hombre podremos aplicar dicha propiedad de
"inmortalidad"? a los ngeles? a los demonios?. David Mitchell, Introduccin
a la lgica, pp. 38-39.
17. Los griegos no concibieron el no-ser como posibilidad de un concepto. Por eso
no concibieron el cero matemtico a diferencia de la reflexin de la cultura
india
18. Eso slo tiene sentido en tanto que lo que se afirma es el conocimiento previo
de la existencia de los contenidos (notas) del predicado en la identidad (notas)
que constituye al sujeto. Por su parte el predicado es conocido a travs de
conocimientos singulares de otros sujetos conocidos por la experiencia
19. Los conceptos se definen por su comprensin, es decir las notas que le hacen
ser lo que es, el significado en su expresin lingstica, y su extensin, o
denotacin en su expresin lingstica, es decir cada uno de los seres a los que
dicho concepto se puede aplicar, nombrndolos o designndolos. El concepto
aristotlico, que procede de la abstraccin a partir del conocimiento de los
individuos particulares, tiene siempre y necesariamente aplicacin a un grupo
de individuos. Por eso, ms tarde en la Edad Media, se considerarn como
universales. En cambio la clase se define exclusivamente por una propiedad,
haya o no haya individuos que posean dicha propiedad. Por eso existe el
concepto de clase vaca. Para los griegos, que no conocan ni conceban la
posibilidad del cero, el concepto de clase habra sido imposible.
20. Miguel Candel Sanmartn Metafsica de cercanas, p. 55, Editorial Montesinos,
2004 ISBN 978-84-95776-85-3
21. Luis Guerrero Martnez Lgica: el razonamiento deductivo formal, p. 165,
Publicaciones Cruz O.S.A., 1991 ISBN 978-968-20-0272-4
22. Vase cuadro de oposicin de los juicios
23. Donde se puede apreciar, una vez ms, la importancia de la formalizacin del
lenguaje en el progreso de la ciencia.
24. Que da lugar a una Lgica de segundo orden
25. Quine, W.V. Filosofa de la lgica. Madrid. Alianza Editorial. 1981. pgs. 58-61.
Cfr. Ref. 4 y 5
26. Al construir su lgica, Aristteles no tiene en cuenta ni a los trminos
singulares ni a los trminos vacos. En los primeros captulos de los
Primeros Analticos, que contiene una expresin sistemtica de su
silogstica, slo son mencionados trminos universales.Jan
ukasiewicz, op. cit.
27. Lo que excede de la mera informacin formal del concepto de clase. A veces se
confunde errneamente el uso de un concepto como clase lgica, es decir un
Todo-lgico, distribuido (en su extensin lgica universal), o no-distribuido (en
su extensin lgica particular), como si fuera un conjunto de individuos
existentes. Tal puede ocurrir cuando se utilizan lingsticamente pronombres
vagos (Santo Toms) o pronombres perezosos (Quine) como: algn o algunos,
cualquiera o todo o todos (considerando tales pronombres como sustitucin de
uno por uno y cualquiera de todos los posibles elementos del conjunto como si
fueran individuos reales y existentes). Se confunde de este modo la clase
lgica con la clase natural como si fuera aquella un conjunto innumerable. Una
clase lgica significa toda la extensin lgica o el dominio de discurso de un
concepto expresado como trmino lingstico que significa posibles individuos
de cuya existencia no sabemos nada. La existencia se reconoce en un sistema
de referencia de lenguaje objeto o primer nivel como lgica de primer orden.
Las propiedades lgicas sitan su referencia en una lgica de segundo orden.











COLEGIO PRIVADO MIXTO BILINGE ABC SAN
FRANCISCO



Neidy Gabriela Rodas Sanabria

4To. Bachillerato en Educacin

Mara Del Carmen Chacn


Filosofa








16 de Julio de 2014