FILOSOFA

Lgica.
1. 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 lograrun 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.
2. 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.
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.
3. 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.

4. 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.
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.
5. 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 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.
6. Lgica, lenguaje y smbolos y variables.

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 smbolo permite construir

una teora de las formas del razonamiento en las cuales intervengan componentes
similares; de modo que sea posible reconocer fcilmente 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.
7. 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 llamadalgica de trminos o de clases.
Las proposiciones predicativas no son otra cosa que expresiones de una
estructura gramatical elemental, compuesta de sujeto, cpula ypredicado:
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.
8. objeto
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.
9. Los trminos
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.
10. El predicado
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.
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.
11. La cpula predicativa
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.