El argumento analgico es aqul en el que a partir de la semejanza

establecida en las premisas entre dos o ms objetos en uno o ms aspectos,

se concluye la similitud de otro u otros objetos (sin pretender abarcar la
totalidad) en algn otro aspecto, sobre la base de que todos los objetos
comparados poseen algo en comn.
Es importante saber que no todos los argumentos analgicos se refieren
exactamente a dos cosas o exactamente a una sola propiedad. Al margen de
estas diferencias numricas, todos los argumentos analgicos tienen la misma
estructura.
Propiedad r

D Propiedades P y Q
Probablemente

La estructura del argumento analgico es la siguiente:

1) a, b, c y d tienen todos las propiedades p y q.

2) a, b y c tienen todos la propiedad r.

Probablemente d tiene la propiedad r.

Finalmente, la conclusin de un argumento analgico no pretende ser

necesaria, sino tan slo tener ms o menos probabilidad de ser verdadera.
Como podemos observar, al igual que en el argumento inductivo, en el
argumento analgico el hecho de que su conclusin sea probable no lo
convierte en un argumento malo o incorrecto, pues no todos los argumentos
buenos tienen que cumplir con el requisito de necesidad en la conclusin; as,
se puede tener un argumento bien hecho an cuando su conclusin sea
probable.
Tienen guiones
muy interesantes

"Dogville",

"Manderlay",

"Bailando en la obscuridad"

"Melancola Del director Lars Von Trier

Probablemente

Pongmosle contenido a la estructura:

1) Las pelculas "Dogville", "Manderlay", "Bailando en la

obscuridad" y"Melancola" son del director Lars von Trier.

2) Las pelculas "Dogville", "Manderlay" y "Bailando en la

obscuridad" tienenguiones muy interesantes.

Probablemente "Melancola" tenga un guin muy interesante.

Como podemos observar en el ejemplo, a partir de mis experiencias pasadas

con las pelculas de Lars von Trier infiero que si veo alguna nueva de este
director tendr un guin interesante, sobre la base de que las otras que he
visto y que son del mismo director han tenido un guin muy interesante. Algo
que no debes olvidar es que, al igual que en el argumento inductivo, la
conclusin de un argumento analgico es siempre probable. El que los objetos
comparados tengan caractersticas relevantes en comn es importante para
afirmar la verdad de la conclusin, pero es lgicamente posible que el objeto
nuevo no cumpla con la propiedad que le adjudicamos.
Es decir, es posible que vea la pelcula "Melancola" y resulte no tener un
guin interesante.

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.
Ir al principio

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 laAutomatic 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.
Ir al principio

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:
o 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:
o estos valores de verdad se excluyen recprocamente en forma
absoluta,

o 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.
Ir al principio

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:
o por una parte en cuanto a la validez resultante de la propia
correccin de la forma aplicada para el razonamiento;
o 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.
Ir al principio

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

Scrates es hombre,
entonces Scrates es mortal

Si A es B
y C es A
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:
o 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.
o 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.
Ir al principio

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 deconclusin.
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 llamadalgica 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 quesolamente 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:

o Un sujeto, que piensa esa proposicin.
o El acto de pensarla, que tiene lugar en la mente del sujeto
pensante.
o 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.
o 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.
o La expresin del pensamiento mediante las palabras que lo
enuncian con su sentido o significado conceptual.
o 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.
Ir al principio

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.

o Los que son aprehendidos mediante la percepcin externa,
son objetos fsicos; que existen en el tiempo y en el espacio.
o 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.
Ir al principio

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 trminoque 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.
Ir al principio

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.
Ir al principio

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.
Ir al principio

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 unsujeto
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

Ir al principio

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.
Ir al principio

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.
Ir al principio

Las estructuras del pensamiento.

En la lgica clsica aristotlica y sus desarrollos medievales, se

estudiaban las estructuras del pensamiento, distinguiendo tres
componentes:
o Los conceptos que actualmente se denominan clases y se
expresan mediante los trminos;
o Los juicios que actualmente se denominan enunciados o
proposiciones, y que expresan relaciones entre los conceptos;
o Los razonamientos que tambin se
denominan inferencias y que a su vez expresan relaciones
entre los enunciados.

Ir al principio

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

o Simples son los que se refieren a una sola esencia: gato,

nmero, quiste.
o 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.
o 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.
o 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

o Universales Cuando el conjunto abarcado por el concepto

comprende la totalidad de las individualidades: perro .
o Particulares Cuando ese mismo conjunto comprende un
nmero determinado de las individualidades: perro negro.
o Singulares o individuales Cuando se refiere a un individuo
determinado: mi perro.

Por Mutua oposicin

o Contrarios Cuando se trata de dos conceptos que, si bien son

opuestos entre s, permiten situaciones
intermedias: alto mediano bajo.
o 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.
Ir al principio

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:

o Analticos que son aquellos en los que el predicado
analiza o desarrolla un concepto que ya est implcito en el
sujeto.
o 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
o Universales: Todo S es P
o Particulares: Algunos S es P
o Singulares: Un S es P.

Juicios de calidad en que la clasificacin se efecta atendiendo a la

cpula o nexo, siguiendo la forma
o Afirmativos: S es P
o Negativos: S no es P
o 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
o Juicios Categricos simples: S es P
o Juicios Hipotticos que son compuestos: Si S es P, entonces Q es
R

o 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
o Juicios Problemticos que expresan posibilidad:
S posiblemente es P
o Juicios Asertricos o asertivos que expresan una verdad:
S efectivamente es P
o 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:

o Mediante la intuicin que constituye una forma directa e

inmediata de alcanzar un conocimiento, a travs de su
inteligencia: 2 + 2 = 4.
o 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.
o 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 laverdad 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:
o S es P entonces es falso que S no es P
o Es falso que S es P entonces S no es P
o S no es P entonces es falso que S es P
o 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:
o S es P entonces S no es no-P; y viceversa.
o Es falso que S es P entonces es falso que S no es no-P; y
viceversa.
o S es no-P entonces S no es P; y viceversa.
o 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:
o Todo S es P entonces es falso que algn S no es P.
o Ningn S es P entonces es falso que algn S es P.
o Algn S es P entonces es falso que ningn S es P.
o Algn S no es P entonces es falso que todo S es P.
o Es falso que todo S es P entonces algn S no es P.
o Es falso que ningn S es P entonces algn S es P.
o Es falso que algn S es P entonces ningn S es P.
o 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:
o Todo S es P entonces ningn S es no-P; y viceversa.
o Ningn S es P entonces todo S es no-P; y viceversa.
o Algn S es P entonces algn S no es no-P; y viceversa.
o Algn S no es P entonces algn S es no-P; y viceversa.
o Es falso que todo S es P entonces es falso que ningn S es noP; y viceversa.
o Es falso que ningn S es P entonces es falso que algn S no
es no-P; y viceversa.
o Es falso que algn S es P entonces es falso que algn S no
es no-P; y viceversa.
o 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:
o Todo S es P entonces es falso que ningn S es P
o 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):
o Todo S es P entonces algn S es P
o Ningn S es P entonces algn S es P
o Es falso que algn S es P entonces es falso que todo S es P
o 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:
o Es falso que algn S es P entonces algn S no es P
o 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:
o Todo A es B entonces algn no-B es no-A; y viceversa.
o Algn A no es B entonces algn no-B es no-A; y viceversa.
o Es falso que todo A es B entonces es falso que todo noB es no-A; y viceversa.
o Es falso que algn A no es B entonces es falso que algnoB 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
SM
SP

PM
SM
SP

MP
MS
SP

PM
MS
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:

o Todo silogismo categrico debe contener necesariamente tres
trminos, uno de los cuales debe ser utilizado en el mismo sentido
en todo el razonamiento.
o 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.

o 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.
o El trmino medio debe aparecer en las dos premisas, pero no
en la conclusin.

Reglas de las proposiciones Tambin son cuatro reglas que

determinan:

o De dos premisas negativas no es posible extraer ninguna

conclusin. Por lo tanto, por lo menos una de las premisas debe
ser afirmativa.
o De dos premisas particulares no es posible extraer ninguna
conclusin. Por lo tanto, por lo menos una de las premisas debe
ser general.
o De dos premisas afirmativas no es posible extraer
una conclusin negativa.
o 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 sinouna 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.