Lgica

Concepto general | Historia de la lgica | Principios lgicos

Lgica y verdad | Lgica y filosofa | Lgica, lenguaje, smbolos y
variables
Las proposiciones predicativas : El objeto , Los trminos , El
predicado , El atributo , Universales y particulares , La cantidad ,
La cpula predicativa
Las estructuras del pensamiento : El concepto , Las clases , El
juicio , El razonamiento
Las proposiciones categricas | Las inferencias inmediatas | El
silogismo

Concepto general.
La denominacin de la lgica, est directamente relacionada con la palabra griega logos,
cuyo significado en griego antiguo es equivalente apensamiento o razn, pero
tambin palabra o conocimiento; y logik era lo relativo al logos En definitiva, se
trata del estudio de la forma en que funciona la facultad humana de pensar y razonar.
Puede definirse la lgica como el conjunto de conocimientos que
tienen por objeto la enunciacin de las leyes que rigen los procesos
del pensamiento humano; as como de los mtodos que han de
aplicarse al razonamiento y la reflexin para lograr un sistema de
raciocinio que conduzca a resultados que puedan considerarse como
certeros o verdaderos.
Debe distinguirse entre la lgica formal y la lgica material:
La lgica formal tambin llamada lgica pura - que es la lgica
propiamente dicha - es precisamente la ciencia (en cuanto
conocimiento) que determina cules son las formas correctas y vlidas
de los raciocinios; pero lo hace considerndolos en s mismos y con
prescindencia de los contenidos concretos de los razonamientos, es
decir, considerando esos contenidos como entes lgicos abstractos, de
tal manera que las leyes a aplicar tengan validez para cualquier
contenido concreto.
El raciocinio puede definirse como un proceso del pensamiento (por
tanto, exclusivamente humano) que a partir de ciertos conocimientos
establecidos (llamados premisas), conduce a adquirir un conocimiento
nuevo (contenido en la conclusin) sin que para ello haya que recurrir a
nuevas constataciones u observaciones sensibles distintas o adicionales
a las ya contenidas en las premisas.
Por lo tanto, la verdad a que conduce la lgica formal, es una verdad
 formal; que ser verdad en tanto sea verdad el contenido de las
premisas, e indicar solamente que existe una congruencia de ese
raciocinio, consigo mismo. Si en un razonamiento existe falsedad en las
premisas y la conclusin asimismo es falsa; de todos modos el
razonamiento ser correcto o vlido como razonamiento.
La lgica material tambin llamada lgica aplicada, es aquella en que un
proceso de raciocinio o de pensamiento se analiza en consideracin al
contenido real de sus premisas, y por lo tanto debe conducir a una
verdad material, una conclusin que sea concordante con la realidad.
Mientras que las premisas (o predicados) que toma en consideracin la
lgica pura constituyen entidades abstractas y absolutamente
precisas, respecto de las cuales no es requerido que exista ningn
objeto de la realidad que los verifique; es difcil encontrar en la
realidad conceptos de origen emprico-sensible que presenten
exactamente las caractersticas de los objetos lgicos.
Aparte de ello, respecto de todo concepto de origen emprico, no
solamente es posible concebir sino que tambin se encuentran en la
realidad experimental, objetos respecto de los cuales no es posible
afirmar de manera absolutamente cierta que coinciden o que no
coinciden con esos conceptos.
Por lo tanto, respecto de proposiciones lgicas que utilicen esos
conceptos, las leyes de la lgica formal solamente sern aplicables con
especial precaucin. De tal manera, las leyes de la lgica formal
solamente resultarn aplicables con alcance estricto en el campo de las
ciencias puramente exactas y abstractas, tales como las matemticas,
la propia lgica, la mecnica, y aquellas disciplinas exclusivamente
normativas y abstractas tales como la interpretacin jurdica.

Breve historia de la lgica.

Entre los muchos aportes que hizo Aristteles al conocimiento abstracto, sin
duda la lgica formal - de la que fue indiscutiblemente creador - no
solamente puede considerarse el ms trascendental, sino aquel en que logr
mejores y mayores aciertos.
La principal aportacin de Aristteles fue la silogstica, el estudio del
procedimiento de raciocinio por medio del silogismo, en que de dos premisas
se deduce una conclusin; tambin llamada lgica de las proposiciones o lgica
clsica. Los filsofos ulteriores, sobre todo los pertenecientes a la escuela
estoica pre-cristiana y a la escolstica medieval desarrollaron a fondo la
lgica de las proposiciones; sistematizando y completando la silogstica
aristotlica as como llegaron a desarrollar las llamadas lgicas modales.
Recin en el siglo XIX puede decirse que se desarrollaron nuevas
aportaciones de importancia en el campo de la lgica, con el desenvolvimiento
de la lgica matemtica que, a partir del antecedente del pensamiento de
Leibnitz, realizaron Boole y Frege.
El filsofo y matemtico alemn Gottfried Wilhelm Leibnitz (Leipzig, 1646 -
Hannover, 1716) - a quien cabe considerar el creador de la lgica matemtica
- desarroll la idea de un calculus ratiocinator, mediante el cual se aplicara
un sistema de reglas a algunos conceptos generales precisamente definidos,
lo que habilitara a operar en el campo de las cuestiones filosficas con los
mismos procedimientos del razonamiento matemtico. Esta idea tena
implcito el concepto de crear un mtodo equivalente al de las ciencias
exactas para alcanzar la certeza en cuanto a las cuestiones filosficas; pero
precisamente por su estrecha vinculacin con especulaciones filosficas
sobre numerosos temas como la metafsica y la teodicea, el concepto qued
largo tiempo olvidado.
Fue as que la lgica matemtica - tambin llamada lgica simblica - se
desarroll efectivamente en el siglo XIX, especialmente a partir de George
Boole (Inglaterra, 1815 - 1864), autor de la obra Investigacin de las leyes
del pensamiento en que se fundan la teoras matemticas de la lgica y la
probabilidad, en que se originara la conocida como lgebra booleana; que
conjuntamente con Frege consigui construir clculos lgicos rigurosamente
formalizados, que permitieron aplicar a los problemas lgicos los
procedimientos matemticos. Con ello sentaron los fundamentos operativos
de la tecnologa de la moderna computacin, que fueran ulteriormente
desarrollados por las teoras de Emil Post y el clebre matemtico ingls
Allan Mathison Turing (Inglaterra, 1912-1954), creador de la Automatic
Digital Machine que por primera vez permiti realizar clculos mecanizados
mediante el empleo de algoritmos.
La obra culminante de la lgica simblica, la constituye Principia
mathematica de Sir Bertand Russell (Inglaterra, 1872-1970) y Alfred
North Whitehead (Inglaterra, 1861 - U.S.A., 1947), realizada en tres tomos,
entre los aos 1910 y 1913. En esta obra, se sustenta el concepto de que las
matemticas puras se obtienen de premisas lgicas puras, de modo que los
conceptos que las definen tambin son conceptos lgicos puros.
Cabe sealar, ante lo precedente, la evidencia que emerge en cuanto a la
trascendental importancia que la lgica reviste en todos los rdenes de las
actividades y del conocimiento humano; siendo demostrativa del estrecho
vnculo que existe entre sus remotos orgenes filosficos, su absoluta
conexin con los fundamentos del conocimiento de las matemticas y, por esa
va, su clara incidencia en los fundamentos tericos y conceptuales de la
computacin. sta, a su vez, alcanza una repercusin trascendental no
solamente en la informtica en s misma, sino en todas sus aplicaciones en la
vida cotidiana; ya sea a nivel de la industria, las comunicaciones, y an en una
enorme variedad de elementos de uso y consumo cotidiano.
Teniendo clara conciencia de la forma en que, desde el fondo de los siglos, se
proyecta hacia nosotros el esfuerzo intelectual de Aristteles para
habilitarnos a pensar correctamente; el empleo de las reglas de la lgica en
otros campos, tales como las decisiones en el orden de la vida personal,
poltica, econmica y jurdica - en muchos de cuyos aspectos no suele ser
frecuente aplicarla - debiera ser una importante preocupacin para todos.

Los principios lgicos.

Como punto de partida del estudio de las leyes que rigen el proceso del
razonamiento, se han establecido ciertas leyes fundamentales, que se
consideran generales y anteriores a todos los que de ellos se deducen, que
son producto de la intuicin (resultado de un conocimiento directo e
inmediato), y sobre los cuales se fundamentan todas las restantes normativas
lgicas.
Estos principios se consideran verdades axiomticas, evidentes por s
mismas, que no tienen que, ni necesitan, demostrarse.
Son cuatro principios, los tres primeros enunciados por Aristteles y el
cuarto agregado por Leibnitz:
El principio de identidad Desde el punto de vista del ser,
(ontolgico) se enuncia expresando que todo objeto (de conocimiento)
es igual a s mismo. Sin embargo, desde el punto de vista lgico, su
enunciado se relaciona con la estructura de las proposiciones,
expresando que el principio de identidad se verifica cuando en una
proposicin verdadera el concepto contenido en el predicado es total o
parcialmente idntico al concepto contenido en el sujeto: el tringulo
tiene tres lados.
El principio de (no) contradiccin Tambin tiene una formulacin
ontolgica conforme a la cual un objeto (de conocimiento) no puede ser
y al mismo tiempo no-ser. Desde el punto de vista lgico, este principio
se enuncia expresando que dos proposiciones contradictorias no
pueden ser ambas verdaderas; o que toda contradiccin encierra una
falsedad: Si es verdad que el tringulo tiene tres lados, no puede ser
verdad que el tringulo no tiene tres lados.
En relacin a la lgica aristotlica, o clsica, puede decirse que el
principio de no contradiccin es el fundamental de todos; al punto de
que existen quienes lo consideran el nico principio, del cual se extraen
los otros.
El principio de tercero excludo Este principio est estrechamente
vinculado con el de no contradiccin, al punto que a veces se lo
distingue de ste expresando que mientras el de no contradiccin
 expresa que dos proposiciones contradictorias no pueden ser ambas
verdaderas, el de tercero excludo expresa que dos proposiciones
contradictorias no pueden ambas ser falsas. Sin embargo, es ms
apropiado referir este principio al concepto de valor de verdad de la
lgica clsica, conforme al cual una proposicin solamente puede tener
valor de verdadera o de falsa; y por lo tanto, entre la verdad o la
falsedad, no existe una tercera posibilidad. En consecuencia, la
relacin con el principio de no contradiccin queda mejor expresada en
cuanto al principio de tercero excludo, si se enuncia en el sentido de
que de dos proposiciones contradictorias, necesariamente una ha ser
verdadera y la otra ha de ser falsa.
El principio de razn suficiente Este principio fue enunciado por
Leibnitz en un sentido ontolgico expresando que todo lo que existe
tiene su razn de ser. Algunos filsofos le han dado una enunciacin en
sentido lgico, expresando que todo juicio es falso o verdadero, por
alguna razn; y por lo tanto ha de ser posible justificar su veracidad o
su falsedad por medio de la razn. De este principio, se considera
derivado el:
El principio de causalidad Este principio, ms propiamente
ontolgico, implica que todo lo que existe tiene una causa; por lo
cual todo lo que es efecto de una causa puede convertirse a su
vez en causa de otro efecto.
Ir al principio

Lgica y verdad.
Como se ha expresado antes, la lgica formal o lgica pura, estudia las
formas en que procede el raciocinio, en forma abstracta; es decir,
prescindiendo de sus contenidos concretos. Por ese camino, procura
encontrar las leyes formales universales del pensamiento correcto; de tal
manera que produzcan ese resultado cualquiera sean los contenidos a que se
apliquen.
De tal manera, la lgica formal se atiene no al contenido sino a la validez de
los razonamientos, no a su materia sino a su forma; por lo cual la forma de un
razonamiento correcto debe ser independiente:
tanto de los objetos de que trate,
como de las propiedades de esos objetos que puedan tomarse en
consideracin.
Como tambin se ha sealado antes, en el estudio del proceso de un
razonamiento determinado, hecho a partir de ciertas premisas, no es
permitido acudir a elementos que no estn ya contenidos en esas premisas;
de modo tal que para la validez de la conclusin a que conduzca el
razonamiento:
si los datos del objeto de que tratan las premisas han sido previamente
constatados para l, deben darse por verificables en cualquier otro
objeto de la misma categora.
si en las premisas se considera determinadas propiedades, el
razonamiento vlido para ella debe continuar sindolo tanto en las
premisas como en la conclusin, si alguna de esas propiedades es
sustituda por otra.
si el razonamiento correcto tiene una determinada validez en un determinado
momento de cualquiera de ellos, debe mantener la misma validez en cualquier
otro momento; tanto respecto del objeto de la premisa como de sus propiedades.
La lgica clsica de las proposiciones, no admite ms que dos
posibilidades de validez del razonamiento, o valores de verdad:
verdadero o falso; por ello, se trata de una lgica binaria.
No resulta admisible la existencia de un valor de verdad intermedio entre lo
falso y lo verdadero, como podra ser lo dudoso; ni ms dbil que lo falso,
como podra ser lo imposible.
Por lo tanto:
estos valores de verdad se excluyen recprocamente en forma
absoluta,
toda proposicin encierra necesariamente uno de ellos.
En tales condiciones, la validez de un razonamiento no depende ni es
consecuencia del valor de su conclusin; un razonamiento puede ser no vlido,
aunque su conclusin sea verdadera. Para que un razonamiento sea correcto,
es necesario que en todos los raciocinios de la misma forma, partiendo de
premisas verdaderas, la conclusin sea igualmente verdadera.
Un razonamiento puede ser vlido si su conclusin es falsa, con tal que por lo
menos una de sus premisas sea tambin falsa.
En este caso, se estar frente a lo que se denomina refutacin por el
absurdo. Cuando se razona en base a dos premisas, una de las cuales es
dudosa, al efectuar un razonamiento correcto que conduce a una conclusin
que es conocida como falsa, permitira evidenciar la falsedad de la premisa
de que se ha partido.

Lgica y filosofa - Sistemas lgicos.

La lgica formal, por lo antes visto, acude a una nocin de verdad, pero no se
ocupa ella misma de establecer la verdad material.
Para sus propios fines, la lgica utiliza una nocin de verdad que aplica
solamente para establecer la idea de una proposicin verdadera, para
legitimar la validez de un razonamiento como proceso lgico; pero esa nocin
de verdad no pertenece a la lgica misma, sino que la toma de alguna
concepcin filosfica previa, o de alguna estructura de pensamiento con que
ya se est familiarizado.
Cuando la nocin de verdad empleada en un razonamiento lgico proviene de
una posicin filosfica previamente elaborada, es evidente que la validez del
razonamiento formal, a los fines de la verdad material, es solidaria aquella de
la filosofa en que se fundamenta.
En los casos en que la nocin de verdad se fundamenta en axiomas:
proposiciones que en una determinada disciplina se dan por evidentes en s
mismas o por irrefutablemente demostradas - la lgica deja a cargo de esas
disciplinas la decisin sobre el valor definitivo del razonamiento, en cuanto
por ms que en s mismo sea correcto, su validez como verdad material
depender necesariamente del valor propio de esos principios.
Esto es lo que determina que sea posible hablar de sistemas lgicos, sin
que, en cuanto a ellos, se vea afectada la validez del proceso del
razonamiento a consecuencia de la invalidez del valor de verdad inherente a
cada sistema sustancial o material de razonamiento al que las leyes de la
lgica sean aplicadas. En tales casos, la ausencia de verdad de las
conclusiones no ser imputable a la invalidez del razonamiento, sino a la
invalidez de la funcin de verdad previamente aplicada a las premisas.
En este sentido, es posible considerar la lgica, en cuanto ciencia de los
razonamientos, tanto como un conocimiento filosfico cuanto como un
conocimiento no filosfico (o, ms propiamente, a-filosfico).
La lgica filosfica - que era el punto de vista de los pensadores antiguos a
partir de Aristteles y de hecho hasta el siglo XIX - pretende
fundamentarse sobre certezas de ndole filosfica; particularmente
respecto de cuestiones concernientes a la naturaleza de los actos del
intelecto humano respecto del conocimiento contenido en las premisas y
consiguientemente en las conclusiones.
En cambio, la lgica simblica o matemtica - o formalizada - de la poca
contempornea, pretende liberarse de toda concepcin filosfica, y elaborar
sus teoras a partir de una nocin propia de verdad postulada en algunas
pocas propiedades simples; a partir de las cuales trata de elaborar el
concepto de raciocinio vlido.

De cualquier manera, lo que no puede perderse de vista es que, a la larga, esa

lgica asptica de toda filosofa, con toda su indiscutible validez desde el
punto de vista de las ciencias abstractas como las matemticas o la mecnica
y sus tiles aplicaciones; no resulta aplicable a numerosos campos de la
actividad humana, en los cuales es ineludible partir de premisas cuyo valor de
verdad podr parecer no objetivamente demostrable, pero que
necesariamente implican presupuestos dotados de esa funcin de verdad en
otros planos, particularmente aquellos ticos.
Tampoco puede perderse de vista que, en ltimo anlisis la lgica misma es un
fenmeno de la realidad en la medida en que lo es el pensamiento humano; y
que por lo tanto los principios lgicos aparecen como generalizaciones de
observaciones realizadas sobre lo real. Las operaciones lgicas son, en
definitiva, modos de ordenar las realidades efectivas o posibles, a los fines
de alcanzar su adecuado conocimiento. La realidad misma, en este enfoque,
son modos de comportamiento de lo que percibimos, respecto de lo que es
nuestro conocimiento; y que exhiben si l es falso o verdadero.
De tal manera, si bien el buen funcionamiento de los procesos lgicos
depende de su validez resultante de la verdad formal a que conduzcan, el
objetivo instrumental final de la lgica es habilitar el verdadero
conocimiento de la realidad; y para ello tanto es indispensable recoger esa
realidad en las premisas como aplicar las leyes lgicas correctamente al
extraer las conclusiones. De tal manera, en lo que se refiere a las actividades
y conocimientos no abstractos (abstractos pueden serlo los matemticos o
los sistemas normativos de creacin humana, como la legislacin), el nico
sistema lgico admisible es el que parte del reconocimiento y la aceptacin
de la realidad en sus premisas.
Especialmente en las cuestiones polticas, jurdicas y econmicas , los
razonamientos lgicos siempre estarn doblemente condicionados, a los
efectos de su factor material de verdad:
por una parte en cuanto a la validez resultante de la propia
correccin de la forma aplicada para el razonamiento;
pero asimismo - y ser seguramente lo ms importante - al
factor de verdad que afecte su sistema lgico en funcin de los
valores de verdad que se asigne a sus premisas de partida,
desde el punto de vista tanto filosfico, como de su correcto
ajustamiento a su propia estructura normativa o, en su caso, a la
realidad material.

Lgica, lenguaje y smbolos.

En la prctica, no es posible razonar directamente mediante conocimientos
en un estado mental, sino por medio de representaciones simblicas, que se
expresan en objetos materiales perceptibles por medio de los sentidos, tales
como palabras, signos, grficos, frmulas, etc.
El uso del lenguaje corriente lleva implcito un enfoque de sintaxis, que
consiste en las relaciones formales entre los trminos empleados; y un
enfoque semntico, que consiste en el sentido de referencia que se atribuye
a las palabras empleadas, su relacin con los objetos y los conceptos de la
realidad a que con su empleo se trata de aludir, y que es cierto modo es
socialmente cambiante dentro de un mismo idioma, considerando distintos
tiempos y lugares.
El lenguaje de uso corriente - tanto el coloquial como el culto, literario o el
de ciertas disciplinas especializadas - resulta totalmente imperfecto en
cuanto al rigor, claridad, abstraccin y precisin requerido para la expresin
de los conceptos y objetos en los estudios lgicos; especialmente
considerando lo expuesto en cuanto a la prescindencia de los componentes de
contenidos materiales de los procesos del razonamiento.
En funcin de ello, la lgica formal procura liberarse de la incidencia que, en
cuanto al examen de las cuestiones formales del razonamiento, pueda tener
el uso de trminos de los lenguajes idiomticos, creando para ser aplicado en
el estudio y exposicin de las leyes lgicas, un lenguaje simblico propio, un
lenguaje formal.
Este lenguaje simblico propio de la lgica, tiene por otra parte la ventaja de
su universalidad; en cuanto al prescindir del empleo de expresiones de un
idioma real, permite su comprensin directa independientemente del idioma
concreto de la persona que se aplique a su estudio.
Ese lenguaje simblico es adems lo que se denomina un metalenguaje, en el
sentido de que se lo concibe como una forma de expresin que est ms all
del uso mismo del lenguaje. En este sentido, se dice que el lenguaje-objeto es
el que se utiliza, en tanto que el metalenguaje es aquel con el que se habla del
otro; como cuando se aprende un idioma extranjero utilizando para ello el
idioma propio.
Una expresin sencilla del lenguaje simblico aplicable al anlisis lgico puede ser
similar al aplicado en matemticas para representar una variable. De esta forma,
un silogismo simple como: puede expresarse bajo la forma:
Todos los hombres son mortales Si A es B
Scrates es hombre, y C es A
entonces Scrates es mortal entonces C es B
De esta manera, la sustitucin de una proposicin por un simbolo permite
construir una teora de las formas del razonamiento en las cuales intervengan
componentes similares; de modo que sea posible reconocer facilmente en un
proceso de razonamiento la presencia de una misma proposicin, de un mismo
concepto, o de una misma propiedad o atributo.
El smbolo que se emplea para representar una proposicin se designa como
variable proposicional; pero debe distinguirse muy cuidadosamente de lo que
constituye un smbolo de variables en otras disciplinas, como el lgebra o los
lenguajes informticos de programacin:
Una variable algebraica de las que se emplean en las frmulas
matemticas, fsicas o de otras ciencias, es un smbolo de valor
cuantitativo implcito; ya sea que se trate de despejarlo cuando
constituye una incgnita o que se trate de examinar diversas
situaciones en funcin de los distintos valores que puede asumir.
 De la misma forma, en programacin informtica, es un smbolo
susceptible de tomar diversos valores (no necesariamente
aritmticos o cuantitativos) con lo cuales el programa opera; y
que pueden modificarse en el transcurso de su ejecucin.
Una variable proposicional, en cambio, representa una entidad
lgica que se puede elegir o asignar con cierta libertad, dentro
de un cierto mbito conceptual - llamado dominio de variacin
de la variable - que se caracteriza por poseer ciertas
propiedades comunes a todos sus miembros, pero sin que eso
permita establecer qu otras propiedades podrn distinguir esa
entidad, de otras pertenecientes al mismo dominio.

Las proposiciones predicativas.

A pesar de lo que se ha expuesto antes en cuanto a los rasgos distintivos de
la lgica simblica o propiamente matemtica, lo cierto es que histricamente
la lgica naci como como lgica de los enunciados idiomticos o
proposiciones; estudiando la forma en que se relacionan esos enunciados
ubicados en la posicin de premisas o de conclusiones, para determinar si los
procesos del razonamiento que conducen de unas a las otras resultan ser
vlidos.
La lgica originaria de Aristteles, y ulteriormente complementada por las
aportaciones de la escuela estoica y la escolstica se basa en el anlisis de
proposiciones predicativas, de las que se distinguen las proposiciones que
cumplen funcin de premisas y de conclusin.
Posteriormente, debido a advertirse dificultades surgidas para explicar
cierto tipo de inferencias a nivel de proposiciones, surge la necesidad de
analizar las proposiciones segn su composicin interna, descomponindolas
en sus trminos, lo que da lugar a la llamada lgica de trminos o de clases.

Las proposiciones predicativas no son otra cosa que expresiones de una

estructura gramatical elemental, compuesta de sujeto, cpula y predicado:
La puerta est abierta.
Es oportuno precisar que, a pesar de la similitud, en la proposicin lgica la
cpula, an cuando se presenta gramaticalmente como una expresin verbal
(que normalmente estar configurada por es o no es), no tiene la
funcionalidad del verbo; sino que solamente determina la circunstancia de que
el predicado se cumple o no se cumple en el sujeto.
Ha de tenerse en cuenta que cierto tipo de oraciones gramaticalmente
consideradas, como las exclamativas, interrogativas, mandatos o expresivas
de deseos, no revisten inters ninguno desde el punto de vista lgico; no son
proposiciones enunciativas ni contienen conceptos o trminos.
En una proposicin predicativa se establece una relacin entre un concepto
que reviste la calidad de sujeto y otro que reviste la condicin de predicado .
La funcin de relacionamiento y de enunciar es cumplida por un verbo que
opera como cpula afirmativa o negativa: es.
El anlisis de las proposiciones realizado por la lgica antigua de las
proposiciones predicativas, se detiene en la distincin del sujeto, el
predicado, la cpula y algunas pocas relaciones formales entre ellos en cuanto
a la naturaleza del sujeto, la extensin o comprensin del predicado.

El anlisis de la proposicin La puerta est abierta hace posible reconocer:

Un sujeto, que piensa esa proposicin.
El acto de pensarla, que tiene lugar en la mente del sujeto
pensante.
El pensamiento mismo, independiente de que alguien lo piense,
que puede ser pensado por muchos sujetos en diversos
momentos, y que es siempre idntico a s mismo.
Las percepciones o imgenes que eventualmente pueden
acompaar la existencia de ese pensamiento en un sujeto y en
circunstancias determinadas; como que est actualmente viendo
la puerta abierta, que sea la de la casa o la de una habitacin,
etc., o que no la vea sino que al leer esa frase en un libro
recuerde alguna puerta que ha visto abierta, etc., o que
simplemente se imagine una situacin como la que enuncia la
proposicin.
La expresin del pensamiento mediante las palabras que lo
enuncian con su sentido o significado conceptual.
El objeto a que el pensamiento se refiere, como concepto
general; y que en este caso corresponde al concepto de lo que es
una puerta y a la propiedad de estar abierta.

Desde el punto de vista de la lgica formal, se denomina objeto todo lo que

es capaz de admitir un predicado cualquiera; todo lo que puede ser sujeto de
un juicio.
En cuanto al objeto de las proposiciones lgicas, ellos pueden ser:
Los objetos reales o sensibles - son los objetos que se presentan en la
experiencia sensible, en la percepcin externa o en la interior.
Los que son aprehendidos mediante la percepcin externa, son
objetos fsicos; que existen en el tiempo y en el espacio.
Los objetos psquicos, que existen en el tiempo pero no en el
espacio, que son hechos exclusivamente en la conciencia de quien
los experimenta, tales como un deseo, una decisin de la
 voluntad.
Los objetos ideales - son entes que no existen en el tiempo ni en el
espacio, son totalmente ajenos a la espacialidad como a la
temporalidad; que no tienen la consistencia material ni efectiva o
concreta de los objetos reales y que no obran activamente.
Los objetos metafsicos - que se conocen exclusivamente a travs del
razonamiento segn algunos filsofos; o mediante actos inmediatos de
conocimiento a travs de la intuicin sea intelectual o no racional.
Entre stos, cabe destacar los valores, como cualidades de un orden
especial, que no ataen al ser mismo de los objetos sino a su
apreciacin tica.

Una proposicin enuncia una propiedad respecto de un objeto; pero en

realidad las proposiciones son formuladas por lo comn en relacin a objetos
del conocimiento que no constituyen la totalidad de lo real. De tal modo, es
preciso que la proposicin precise a qu objetos reales trata de referirse, lo
que se denomina el supuesto de la proposicin predicativa.
Sin embargo, resulta obvio que no es posible introducir en la proposicin el
objeto mismo respecto del cual se enuncia un juicio, por lo cual ese objeto
debe ser expresado mediante un smbolo (al que se denomina sujeto de la
proposicin) constitudo por un trmino que representa el objeto.
El trmino es la expresin lgica de un concepto. Si bien vara segn los
idiomas, el concepto que expresa es el mismo: silla, chair, cadeira, chaise,
etc. Dentro de un mismo idioma pueden existir distintos trminos para
expresar el mismo concepto, como se da en el caso de los sinnimos.
Los trminos se clasifican en:
Unvocos Cuando terminantemente son susceptibles de un nico
significado: banco, planta, trapecio.
Equvocos Cuando son susceptibles de emplearse con significados
diferentes y requieren precisarse para concretarlos: ley (fsica,
jurdica).
Anlogos Cuando teniendo significados claramente diferentes, no
obstante esos significados son semejantes en cuanto a alguna
propiedad: banco, silla, sof.

El predicado es lo que expresa la propiedad que la proposicin enuncia

respecto del sujeto. El predicado debe expresar una cierta idea respecto del
sujeto, y un cierto conocimiento que existe en la mente, un pensamiento que
resulta inteligible en cuanto es entendido.
Los filsofos antiguos perciban que ningn conocimiento de la mente puede
hacer comprensible a la misma vez la totalidad de las propiedades que pueden
predicarse de un objeto; por lo cual el predicado debe limitarse a expresar
una propiedad por vez, an cuando pueda ser muy compleja.

El predicado se distingue del sujeto, porque en lugar de referirse a un

sujeto real con todas sus propiedades, destaca una de las cualidades posibles
de un objeto.
De un mismo objeto puede afirmarse en dos proposiciones por separado, que
es una mesa y que est sucia; pero tambin es posible afirmar en una
proposicin que rene las dos anteriores, que la mesa est sucia.
Pero las cosas cambian si se trata de aplicar una negacin; porque entonces
hay que prestar atencin a si lo que se va a negar es que sea una mesa, o se
va a negar que est sucia.
All es posible advertir que, en realidad en la primera proposicin en que se
afirm que el objeto era una mesa, la mesa no era sujeto sino predicado; y
que en la segunda proposicin que afirmaba que el objeto estaba sucio, en
realidad la cualidad mesa era un atributo del objeto.
Un atributo es un anterior predicado del objeto, que se realiza en l
efectivamente. El atributo, como tal, no puede ser puesto en duda; a lo sumo
podr ponerse en duda que se realice en el sujeto. Por lo tanto, aunque el
sujeto sea concreto, el atributo que lo determina es una abstraccin; por lo
que un atributo aislado no constituye jams un sujeto, sino una cualidad del
objeto que constituye el sujeto.

Cuando el sujeto se refiere, uno por uno, a todos los objetos que
poseen el atributo y que lo poseen cada uno por s e
independientemente de los otros, se trata de un universal; y si no
se refiere a cada uno de los objetos que verifican el atributo, se
trata de un sujeto particular. Pero los trminos universal y
particular no se toman, en este tema, en un sentido equivalente al
que tienen en el lenguaje corriente.
El sujeto universal no queda referido a todos los objetos, sino
solamente a aquellos que poseen el atributo; ni tampoco se refiere
a todos los objetos que integran una colectividad o conjunto, sino a
sus componentes individuales considerados uno por uno. Cuando se
afirma que todos los hombres son mortales, no se hace
referencia a todos los que son mortales, ni a que el conjunto de
hombres lo sea, sino a que lo son cada uno, uno por uno.
El sujeto particular, no se refiere a un objeto considerado en
sentido individual, sino que expresa que no todos los objetos
poseen el atributo. No hace referencia a partes de objetos sino a
 objetos enteros.
En cierto casos, el objeto que es nico est formado por la reunin
de varios objetos individuales; pero el sujeto no es cada uno de los
individuos sino su conjunto: el Ejrcito es un sujeto en este
sentido, no la reunin de los militares individuales. Pero a veces se
menciona el conjunto para aplicar el predicado a cada uno de sus
integrantes: El ejrcito es voluntario indica que cada uno de sus
integrantes lo integra voluntariamente; por lo que en realidad se
trata de un sujeto general pero no universal sino particular.

El mismo concepto puede ser aplicado no ya respecto de sujeto

sino del predicado. En ese sentido, en cuanto el predicado expresa
una propiedad enunciada respecto del sujeto, el atributo que sea
posedo por todos y cada uno de los componentes del sujeto, uno
por uno, habr de ser universal: los seres humanos tienen cabellos.
Sin embargo, cuando el atributo sea una cualidad de un predicado
anterior, aunque ste sea universal en cuanto se encuentre uno por
uno en todos los objetos que componen el sujeto, puede que ya no
sea universal sino particular, porque aunque todos posean el
predicado anterior, (posean cabellos) no todos cumplan el nuevo
atributo, como ocurrrira con la condicin de rubios de los cabellos.
Pero resulta visible que la universalidad o particularidad del
predicado est en gran medida dependiendo de aquella del sujeto;
como ocurrira si para los cabellos rubios el sujeto no fueran los
seres humanos, sino los escandinavos.
Retorno a inferencias

De tal manera - segn los antiguos - la distincin, entre sujetos universales y

sujetos particulares responda a la cantidad del atributo del sujeto; que se
comunica a la proposicin misma. El cambio de la cantidad del sujeto (y por lo
tanto, de la proposicin) puede transformar una proposicin universal en
particular, an mantenindose la forma de la cpula, el mismo atributo y el
mismo predicado; o a la inversa, transformar la particular en universal.
El tema se examina nuevamente al tratar de la extensin del concepto; y de
las proposiciones categricas.

En cuanto a la cpula predicativa que une el sujeto con el predicado, debe

ser necesariamente una expresin de afirmacin o negacin, en la medida en
que el predicado expresa una cualidad que el sujeto posee, o en todo caso no
posee. Lo cual es concordante con la admisin de dos nicos valores de
verdad: verdadero y falso. Por ello, los filsofos antiguos solamente admitan
que la cpula predicativa fuera es, o no es.
Las estructuras del pensamiento.
En la lgica clsica aristotlica y sus desarrollos medievales, se
estudiaban las estructuras del pensamiento, distinguiendo tres
componentes:
Los conceptos que actualmente se denominan clases
y se expresan mediante los trminos;
Los juicios que actualmente se denominan
enunciados o proposiciones, y que expresan relaciones
entre los conceptos;
Los razonamientos que tambin se denominan
inferencias y que a su vez expresan relaciones entre
los enunciados.

Los conceptos.
El concepto es una idea general y abstracta, o la representacin mental,
intelectual de un objeto. Son conceptos las ideas expresadas con las
expresiones rbol, automvil, rojo, 7, etc. El concepto es la estructura
lgica primaria, la ms simple. Es una abstraccin, como deca Aristteles, un
universal, una simple aprehensin.
En la percepcin, el objeto est presente en los sentidos. La imagen, al igual
que en el concepto, es una representacin mental, es una representacin
sensible, individual (singular) y concreta de un objeto.
Desde el punto de vista lgico, es posible distinguir como propiedades del concepto:
La comprensin que es el conjunto de caractersticas o
notas especiales (connotacin) del objeto, que le son
aplicables; como respecto del concepto tringulo, se
refiere a una figura geomtrica con tres lados y tres ngulos
que suman 180.
La extensin que es el conjunto de todos los objetos que
abarca el concepto (denotacin), como respecto del concepto
tringulo , se refiere al tringulo percibido (extensin
individual), a algunos tringulos (extensin particular), o a
todos los tringulos (extensin universal).
Entre la comprensin y la extensin de los conceptos que guardan entre s una relacin de
gnero a especie, existe una relacin inversa: cuando aumenta la comprensin disminuye
la extensin; de tal modo que si al concepto hombre se aplica un predicado de que es
susceptible, como hombre blanco, ocurre que existe una mayor comprensin pero se
reduce la extensin, en la medida en que quedan excludos todos los que tienen otra
pigmentacin de piel.
Secuencia de conceptos de comprensin creciente y extensin
 decreciente
Mxima extensin
Ser Ser vivo Vegetal rbol Sauce Sauce llorn
Mxima comprensin
Los conceptos se clasifican atendiendo a su comprensin o a su extensin, y
tambin por mutua oposicin:
Por su Comprensin
Simples son los que se refieren a una sola esencia: gato,
nmero, quiste.
Complejos son los que se refieren a una esencia predicada con
un referente, y por lo tanto tienen mayor comprensin (pero
menor extensin): gato monts, nmero primo, quiste hidtico.
Abstractos En realidad, todo concepto es una abstraccin por
cuanto no tiene existencia real sino ideal, en cuanto existe en la
mente bajo la forma de una idea. Pero en este sentido, se
designan como abstractos aquellos conceptos que pueden
significar esencias, formas o cualidades, separados de un sujeto:
elegancia, blancura, inquietud, inteligibilidad, sencillez,
correccin, plenitud, etc.
Concretos son los que significan cualidades o esencias
abstractas pero realizadas en un sujeto, o que presuponen la
existencia de un sujeto: elegante, blanco, inquieto, inteligible,
sencillo, correcto, pleno, etc.
Por su Extensin
Universales Cuando el conjunto abarcado por el concepto
comprende la totalidad de las individualidades: perro .
Particulares Cuando ese mismo conjunto comprende un nmero
determinado de las individualidades: perro negro.
Singulares o individuales Cuando se refiere a un individuo
determinado: mi perro.
Por Mutua oposicin
Contrarios Cuando se trata de dos conceptos que, si bien son
opuestos entre s, permiten situaciones intermedias: alto
mediano bajo.
Contradictorios Cuando se trata de una oposicin en que el
segundo concepto es el primero negado; por lo cual no pueden
existir ambos a la vez; perro, no-perro.

Las clases.
Se entiende por clase un conjunto que abarca a todos los
individuos que tienen en comn un carcter cualquiera.
 Respecto de las clases se consideran diversas relaciones:
Relaciones de inclusin Se trata del caso en que todos los miembros
de la clase B estn includos en la clase A, pero no hay reciprocidad:
Todos los hombres son mortales.
Relaciones de identidad Se trata del caso en que cada miembro de
una clase est comprendidos en la otra clase, y recprocamente:
Todos los trigulos equilteros, son equingulos.
Relaciones de suma (lgica), siendo ella la reunin Se trata del caso
en que todas las entidades de una clase estn comprendidas en una u
otra de las clases que se suman, o en ambas: pjaro azul, es la suma
de la clase pjaro y la clase azul.
Relaciones de producto Se trata del caso en que todas las entidades
de una clase estn comprendidas a la vez en las otras dos clases que se
consideran: animales vivparos, es el producto de la clase animales y
la clase vivparos.
Relaciones de complementariedad Se trata del caso en que los
miembros de una clase son todos los que no estn comprendidos en la
otra clase que se considera: sanos, es el complemento de enfermos.
Relaciones de exclusin Se trata del caso en que ninguno de los
miembros de una clase pueden ser miembros de la otra clase que se
considera: tringulos, es el excluyente de crculos.
Ir al principio

Los juicios.
Un juicio es para los clsicos una expresin que, en forma enunciativa o atributiva,
relaciona dos o ms conceptos. Actualmente se le define ms precisamente como
cualquier afirmacin susceptible de ser considerada verdadera o falsa. Los juicios se
expresan mediante proposiciones predicativas.
Los juicios se distinguen en:
Analticos que son aquellos en los que el predicado
analiza o desarrolla un concepto que ya est implcito
en el sujeto.
Sintticos que son aquellos en los que el predicado
proporciona una informacin adicional, que no estaba
comprendida en el concepo del sujeto.
Existe asimismo una clasificacin de los juicios, realizada por el filsofo
Emmanuel Kant, que distingue cuatro grupos:
Juicios de cantidad en que la clasificacin se efecta atendiendo a
la extensin con que est tomado el concepto sujeto (S) dentro de la
proposicin, siguiendo la forma
Universales: Todo S es P
Particulares: Algunos S es P
 Singulares: Un S es P.
Juicios de calidad en que la clasificacin se efecta atendiendo a la
cpula o nexo, siguiendo la forma
Afirmativos: S es P
Negativos: S no es P
Indefinidos: S es no P
Esta clasificacin es susceptible de combinarse con la anterior, dando
lugar a universal afirmativo o negativo, particular afirmativo o
negativo, singular afirmativo o negativo.
Juicios de relacin en que la clasificacin se efecta atendiendo al
tipo de vnculo que se establece entre el sujeto y el predicado, lo que
origina
Juicios Categricos simples: S es P
Juicios Hipotticos que son compuestos: Si S es P, entonces Q
es R
Juicios Disyuntivos que tambin son compuestos:
incluyentes: S es P o S es Q
excluyentes: S es P o Q es R
Juicios de modalidad en que la clasificacin se efecta atendiendo al
modo o forma en que el predicado se atribuye al sujeto, lo que origina
Juicios Problemticos que expresan posibilidad: S
posiblemente es P
Juicios Asertricos o asertivos que expresan una verdad: S
efectivamente es P
Juicios Apodcticos que expresan una esencialidad o
necesariedad, algo que no puede ser de otra manera: El tringulo
es un triltero.

Es posible hacer otra clasificacin de los juicios, a partir de los objetos a que
se refieran:
Juicios reales en los que el objeto que opera como sujeto es un
objeto real, tanto fsico como psquico; y el predicado es producto de
la experiencia: Las pelculas de cine son entretenidas.
Juicios ideales en los que el objeto que opera como sujeto es un
objeto ideal o ab stracto, del tipo de los juicios lgicos o matemticos:
Dos cantidades iguales a una tercera, son iguales entre s .
Juicios metafsicos en los que el objeto que opera como sujeto es un
objeto metafsico: El alma es inmortal.
Juicios de valor en los que el objeto que opera como sujeto es un
concepto de valor: Pedrito es un buen amigo.
Ir al principio
El razonamiento.
Para los filsofos clsicos, el hombre puede adquirir conocimiento
por medio de varios mtodos:
Mediante la intuicin que constituye una forma
directa e inmediata de alcanzar un conocimiento, a
travs de su inteligencia: 2 + 2 = 4.
Mediante la percepcin sensible o sea a travs de lo
que percibe por medio de sus sentidos: el sol calienta
la piedra - conocimiento emprico y verificable.
Mediante los procesos del razonamiento a partir de
proposiciones basadas en el conocimiento
anteriormente adquirido por medio de los mtodos
anteriores o anteriores razonamientos, que conducen
a nuevos conocimientos que surgen como conclusin de
relacionar esas proposiciones, a condicin de ser
correctamente realizados.
El raciocinio ha sido definido antes como un modo de adquirir conocimiento a
partir de conocimientos anteriores, que hace posible extraer nuevas
conclusiones.
Desde el punto de vista lgico, el razonamiento es la forma de pensamiento
ms compleja, en cuanto consiste en establecer una relacin derivativa entre
proposiciones; de modo que de una o ms proposiciones, premisas, se arribe a
una conclusin consecuente.
A ese proceso de derivacin, los antiguos lo llamaron inferencia; expresin derivada del
latn, que significa llegar a alguna parte. Por lo tanto, no hay razonamiento sin
inferencia; pero debe distinguirse entre la verdad material de las proposiciones y la
validez formal, o correccin, de la inferencia.
Se identifican tres formas de razonamiento:
Razonamiento inductivo en el cual el proceso racional
parte de lo particular y avanza hacia lo general o universal.
El punto de partida puede ser completo o incompleto, aunque
lo ms probable es que sea incompleto. Es el caso general de
las ciencias que proceden a partir de la observacin o la
experimentacin, en que se dispone de un nmero limitado de
casos, de los cuales se extrae una conclusin general.
Razonamiento deductivo en el cual el proceso racional
parte de lo universal y lo refiere a lo particular; por lo cual
se obtiene una conclusin forzosa.
Razonamiento analgico en el cual el proceso racional
parte de lo particular y asimismo llega a lo particular en base
a la extensin de las cualidades de algunas propiedades
 comunes, hacia otras similares.
La deduccin es el tipo de razonamiento en que las premisas ya conducen a la
conclusin, de una manera tal que de las premisas se sigue la conclusin como
la consecuencia nica y necesaria, con independencia del contenido o materia
de aquellas; de modo que la verdad formal de la conclusin depende de que
ella sea efectivamente necesaria, y la verdad material depende de que sean
verdaderas las premisas mismas.
Ello ocurre as, debido a la existencia de una relacin entre los enunciados,
conforme a la cual las premisas, de por s, implican la conclusin como su
consecuente, de tal manera que es imposible no aceptar la verdad de la
conclusin como esa consecuencia necesaria.
Significa eso que el concepto de necesidad lgica que se manifiesta en la
deduccin deriva de la negacin de la contradiccin; el principio de no
contradiccin, que se capta intuitivamente, conforme al cual no es posible
afirmar y negar una cosa al mismo tiempo y respecto de las mismas
condiciones.
Ir al principio

Las proposiciones categricas.

Se denominan proposiciones categricas son las que afirman o
niegan que una clase est includa en otra, total o parcialmente.
Estas proposiciones son clasificadas en la lgica clsica conforme a su
cantidad y su cualidad. Por su cantidad:
Una proposicin es universal cuando el concepto o clase que constituye
su sujeto est considerado en toda su extensin; en cuyo caso se
emplea el cuantificador todos o ninguno.
Una proposicin es particular cuando el concepto o clase que
constituye su sujeto est considerado en parte de su extensin; en
cuyo caso se emplea el cuantificador algunos.
Por su cualidad se distinguen:
Una proposicin es afirmativa cuando el predicado afirma algo del
sujeto; en cuyo caso se emplea la cpula es
Una proposicin es negativa cuando el predicado niega algo del sujeto ;
en cuyo caso se emplea la cpula no es

Desde los tiempos de los antiguos lgicos, existe una convencin

por la cual se emplea una notacin simblica de las proposiciones
con sujetos generales, (cuya calificante se extiende a la
proposicin misma) basada en las primeras vocales de las palabras
AffIrmo y nEgO:
 A para las proposiciones universales afirmativas.
E para las proposiciones universales negativas.
I para las proposiciones particulares afirmativas.
O para las proposiciones particulares negativas.
Retorno a silogismo
Ir al principio

Inferencias inmediatas.
Los antiguos llamaban inferencias inmediatas a las conclusiones
lgicas que parten de una nica proposicin.
Para todas las inferencias inmediatas de la lgica clsica existe un
presupuesto, llamado presupuesto de existencia, que consiste en considerar
que todos los conceptos (atributos del sujeto, o predicados), que intervienen
en las proposiciones consideradas, se verifican en por lo menos un objeto.
Algunas obras critican esta asuncin como un elemento ajeno a la lgica en s,
que constituye una limitacin a la validez de algunos de los mtodos de
inferencia de los aristotlicos; pero tampoco es posible dejar de advertir que
a pesar de ello, especialmente a los fines del aprendizaje inicial de las reglas
lgicas, el estudio de esos mtodos de inferencia tiene indiscutible utilidad
prctica.
A los efectos de este estudio, se denomina:
Proposicin inicial a la que comienza la inferencia (algunos la
denominan la dada por usar el formato Dado que...);
Proposicin transformada a la que es resultante de los cambios
introducidos en la cpula, en el predicado o en el sujeto de la
proposicin inicial.

Estas inferencias inmediatas pueden realizarse por diversos procedimientos

lgicos.
A Mtodos aplicables a proposiciones con un sujeto concreto.
Por negacin mtodo en el cual no se modifican ni el sujeto (S) ni el
predicado (P), sino solamente la forma de la cpula, introduciendo un
negador:
S es P entonces es falso que S no es P
Es falso que S es P entonces S no es P
S no es P entonces es falso que S es P
Es falso que S no es P entonces S es P
Por obversin o equivalencia, mtodo en el cual no solamente se
modifican la forma de la cpula, sino tambin el predicado,
introduciendo su contradictor:
 S es P entonces S no es no-P; y viceversa.
Es falso que S es P entonces es falso que S no es no-P; y
viceversa.
S es no-P entonces S no es P; y viceversa.
Es falso que S es no-P entonces es falso que S no es P; y
viceversa.

B Mtodos aplicables a proposiciones con sujeto abstracto.

Por contradiccin mtodo en el cual no solamente se modifican la
forma de la cpula, sino tambin la comprensin del sujeto. En este
caso, dos proposiciones contradictorias no pueden ser ni verdaderas a
la vez, ni falsas a la vez:
Todo S es P entonces es falso que algn S no es P.
Ningn S es P entonces es falso que algn S es P.
Algn S es P entonces es falso que ningn S es P.
Algn S no es P entonces es falso que todo S es P.
Es falso que todo S es P entonces algn S no es P.
Es falso que ningn S es P entonces algn S es P.
Es falso que algn S es P entonces ningn S es P.
Es falso que algn S no es P entonces todo S es P.
Por obversin que funciona del mismo modo que en las proposiciones
con un sujeto concreto; no solamente modificando la forma de la
cpula, sino tambin el predicado, en el cual se introduce su
contradictor:
Todo S es P entonces ningn S es no-P; y viceversa.
Ningn S es P entonces todo S es no-P; y viceversa.
Algn S es P entonces algn S no es no-P; y viceversa.
Algn S no es P entonces algn S es no-P; y viceversa.
Es falso que todo S es P entonces es falso que ningn S es
no-P; y viceversa.
Es falso que ningn S es P entonces es falso que algn S no
es no-P; y viceversa.
Es falso que algn S es P entonces es falso que algn S no es
no-P; y viceversa.
Es falso que algn S no es P entonces es falso que algn S es
no-P; y viceversa.

C Mtodos aplicables a proposiciones con sujeto universal.

Por contrariedad mtodo en el cual no se modifican ni el sujeto
universal, ni el predicado, sino solamente la forma de la cpula. En este
caso, dos proposiciones contrarias no pueden ser verdaderas a la vez,
 pero pueden ser ambas falsas; de tal manera que es posible deducir la
verdad de la falsedad de la proposicin transformada, pero de la
verdad de sta no es posible deducir la falsedad de la inicial:
Todo S es P entonces es falso que ningn S es P
Ningn S es P entonces es falso que todo S es P
Debe notarse que esta inferencia supone que el atributo se
verifica por lo menos en un objeto existente en la realidad, y
respecto del mismo. Pero, de todos modos, la segunda inferencia
igualmente sera vlida, si su afirmacin inicial se fundara en que
en la realidad no existe el objeto a que se refiere.
Por sub-alternacin mtodo en el cual se transforma una proposicin
de sujeto universal (que se llama subalternante), en una proposicin
con el sujeto particular correspondiente; manteniendo en la
transformada (que se llama subalternada) la misma forma de la cpula,
el mismo atributo y el mismo predicado. En este caso, es posible
deducir la verdad de la subalternada, de la falsedad de la
subalternante, pero no a la inversa (lo impide el pasaje de universal a
particular que se ha realizado):
Todo S es P entonces algn S es P
Ningn S es P entonces algn S es P
Es falso que algn S es P entonces es falso que todo S es P
Es falso que algn S no es P entonces es falso que ningn S
es P
Debe notarse que esta inferencia solamente ser vlida a
condicin de que el universal corresponda a por lo menos un
objeto existente en la realidad, y respecto del mismo.

D Mtodos aplicables a proposiciones con sujeto particular.

Por sub-contrariedad mtodo en el cual no se modifican ni el sujeto
particular, ni el predicado, sino solamente la forma de la cpula. En
este caso, dos proposiciones contrarias pueden ser verdaderas a la
vez, pero no pueden ser falsas a la vez; de tal manera que de la
falsedad de la proposicin inicial es posible deducir la verdad de la
transformada:
Es falso que algn S es P entonces algn S no es P
El falso que algn S no es P entonces algn S es P

C Mtodos de inferencia por conversin..

Se designa como conversin la operacin de inferencia que sin modificar la
cpula de la proposicin, permuta el atributo con el predicado, pasando cada
uno a la ubicacin del otro. La conversin puede ser:
Perfecta cuando el resultado es una transformada que tiene la
 misma comprensin que la inicial; y que no cambia el valor de la
proposicin inicial, de modo que de la verdad de la inicial permite
concluir la verdad de la transformada; y recprocamente en cuanto a la
falsedad. Esto requiere, para que as sea, que la inicial universal sea
negativa o una particular afirmativa.
Imperfecta cuando la transformada no tiene la misma comprensin
que la inicial; que tambin es llamada accidental. La conversin
imperfecta conserva el valor de verdadero de la inicial, pero no
necesariamente conserva el valor de falso; y solamente es legtima
para las proposiciones universales, afirmativas o negativas.
Existen varias formas de conversin; pero la nica forma de conversin que
puede realizarse con resultados legtimos, dando lugar a una inferencia
vlida, dentro de la lgica de las preposiciones predicativas es la:
Conversin por contraposicin Consiste en reemplazar el atributo
(del objeto-sujeto) y el predicado por sus respectivos contradictores
y ejecutar una conversin perfecta, (lo que presupone hacer
previamente una obversin y otra posteriormente a la conversin). No
puede emplearse este procedimiento para una proposicin inicial
particular afirmativa, ni para una universal negativa; sino que es vlida
solamente para las universales afirmativas o las particulares negativas:
Todo A es B entonces algn no-B es no-A; y viceversa.
Algn A no es B entonces algn no-B es no-A; y viceversa.
Es falso que todo A es B entonces es falso que todo no-B es
no-A; y viceversa.
Es falso que algn A no es B entonces es falso que algno-B
es no-A; y viceversa.
Debe notarse que esta inferencia solamente ser vlida a
condicin de que el contradictor del predicado de la inicial se
verifique por lo menos por un objeto.
Ir al principio

El silogismo.
Un silogismo es un razonamiento en el cual la conclusin es deducida a partir de dos
premisas. Por este motivo, en la lgica clsica se los denomina inferencias mediatas.
El silogismo categrico es el que se compone de tres proposiciones
categricas, que tienen tres trminos dos de los cuales aparecen
en las proposiciones iniciales, y cuya conclusin es una proposicin
categrica que contiene dos de los tres trminos del silogismo, uno
como sujeto y el otro como predicado:
Todos los hombres son mortales
Scrates es hombre
 Scrates es mortal
La conclusin se integra, en consecuencia, como uno de los trminos que es
tomado de la primera premisa, y otro que es tomado de la segunda premisa,
cada uno de los cuales ocupa sea el lugar de sujeto sea el de predicado de la
conclusin.
El trmino que ocupa en la conclusin la posicin del predicado, es
denominado trmino mayor, el que ocupa el lugar del sujeto de la conclusin
es denominado trmino menor; y el que apareciendo en las premisas no lo
hace en la conclusin es denominado trmino medio.
La premisa de la cual es tomado el trmino mayor, se denomina premisa
mayor; en tanto que la premisa de la que es tomado el trmino menor, se
denomina premisa menor.
Un silogismo se representa simbolicamente con un formato grfico similar al
de una suma aritmtica:
Premisa mayor: A B
Premisa menor: C D
Conclusin: EF
Se llama modo de un silogismo, la expresin del agrupamiento de sus
premisas y su conclusin, siguiendo la codificacin literal de las proposiciones
categricas, (A, E, I, O).
Pero como - segn se demuestra - no es suficiente con el modo para describir
precisamente la estructura de un silogismo, se adiciona a ello lo que se denomina la
figura del silogismo, que se determina segn el trmino medio, el cual puede asumir
cuatro figuras posibles:
MP PM MP PM
SM SM MS MS
SP SP SP SP
La combinacin de 64 modos diferentes posibles para cada una de las cuatro
figuras, determina la posibilidad de 256 formas distintas para los silogismos
categricos; aunque solamente algunas conducen a conclusiones vlidas.
Para que un silogismo sea vlido debe observar ciertas reglas, el
incumplimiento de cualquiera de las cuales determina que pierda validez.
Hay dos grupos de reglas:
Reglas de los trminos Son cuatro reglas que determinan:
Todo silogismo categrico debe contener necesariamente tres
trminos, uno de los cuales debe ser utilizado en el mismo
sentido en todo el razonamiento.
El trmino medio debe ser un concepto que por lo menos en
una de las premisas ha de poseer extensin universal; es decir,
est empleado con el alcance de comprender a la totalidad de los
objetos integrantes de la clase a que se refiere.
En la conclusin no puede haber ningn trmino que contenga
 el concepto con una extensin mayor que aquella con que se
encuentre empleado en las premisas.
El trmino medio debe aparecer en las dos premisas, pero no
en la conclusin.
Reglas de las proposiciones Tambin son cuatro reglas que
determinan:
De dos premisas negativas no es posible extraer ninguna
conclusin. Por lo tanto, por lo menos una de las premisas debe
ser afirmativa.
De dos premisas particulares no es posible extraer ninguna
conclusin. Por lo tanto, por lo menos una de las premisas debe
ser general.
De dos premisas afirmativas no es posible extraer una
conclusin negativa.
Si en un silogismo existe una premisa particular, o una
premisa negativa, la conclusin deber ser, respectivamene,
particular o negativa.
Por lo tanto, frente a un silogismo determinado a los efectos de
determinar si posee validez como razonamiento, en primer trmino
debe analizarse su modo para establecer si cumple con las reglas de las
proposiciones; y luego, en caso afirmativo, examinar su cumple con las
reglas de los trminos.

El silogismo hipottico.
Al contrario del silogismo categrico que ambas premisas constituyen
proposiciones categricas y por lo tanto tambin lo es la conclusin, el
silogismo hipottico es un razonamiento en el cual por lo menos una de sus
premisas no es una proposicin categrica sino una proposicin hipottica o
condicional.
Se distinguen dos formas de silogismos hipotticos:
El silogismo hipottico constructivo en el cual la primera premisa
formula una afirmacin condicional, la segunda premisa afirma el
cumplimiento de la condicin; por lo cual la conclusin da por producida
la consecuencia del cumplimiento de la condicin. Se conoce como
silogismo modus ponens.
El silogismo hipottico destructivo es la forma n egativa del
anterior, ya que en la primera premisa se formula una afirmacin
condicional, pero en la segunda premisa afirma el no cumplimiento de la
condicin; por lo cual la conclusin da por producida la consecuencia del
no cumplimiento de la condicin. Se conoce como silogismo modus
tollens.
Estas formas de silogismo son de gran utilidad en la investigacin
cientfica, al plantearse una hiptesis como explicacin de un
fenmeno; para luego verificar si en los hechos las hiptesis resulta
confirmada o no, siendo el instrumento del razonamiento inductivo.