Documente Academic
Documente Profesional
Documente Cultură
Presentacin
Motivos de Ars Logicorum.
Hay que reconocer que existen brechas entre los distintos mbitos de la
filosofa, y que el vnculo comn y natural entre todos ellos es la lgica.
El lgico autntico sabe lgica y filosofa, y el filsofo autntico no puede no
comprender de lgica, si bien no es obligacin de todos ser diestros en los
sistemas lgicos, s es un deber insoslayable del filsofo comprender los
distintos movimientos de la razn, de no hacerlo es muy probable que el
quehacer filosfico en que se afana sea vacuo, y en consecuencia estril.
En la vida acadmica y en la filosofa en s, no existe un afn unificador que
sea fin en s mismo. Si en aos recientes se ha considerado una necesidad
replantearse el papel de las humanidades, la filosofa y en este caso de la
lgica ha sido por considerar que es obligacin del humanista ejercer su papel
con mayor responsabilidad en la sociedad.
Los procesos tecncratas son una realidad de la que el humanista no puede
juzgarse exento. Existen tendencias en la actualidad que juzgan innecesario el
papel de las humanidades en la formacin de los jvenes y en la sociedad en
s. Porque no es evidente el beneficio que un humanista aporta a la sociedad.
El papel de las humanidades es importante para una formacin integral del ser
humano. Existen aspectos de la naturaleza humana que slo pueden ser
cultivados por las humanidades.
El beneficio que significa para la humanidad todo el desarrollo cientfico y
tecnolgico slo puede ser evaluado en su justa dimensin desde una
perspectiva humana integral -que considere, por supuesto aspectos
econmicos pero que no se limite a ellos.
Es cierto que dedicarse a la vida contemplativa no es posible si las
necesidades materiales inmediatas no estn solventadas; a este hecho alude
aquel clebre filosofema que presume al ocio como madre de la filosofa. Pero
sera equivocado decir que la propensin al pensar y al quehacer filosfico son
consecuencia necesaria del ocio, basta con considerarlo brevemente para
concluir que existen espritus tales que, as tuvieran por tiempo de ocio la
eternidad, no se dedicaran a la filosofa, al cultivo de las humanidades ni a otra
cosa distinta de la inercia.
Qu persigue el estudioso de las humanidades? El autntico inquirir, el
preguntarse honesto por los asuntos menos mediatos es aquello que determina
2
la orientacin del humanista. Pero tambin es su responsabilidad propiciar la
comprensin y la difusin de los estudios humansticos en la sociedad.
Uno de los triunfos de las humanidades consiste en defender y mejorar el nivel
de su enseanza. Estar consciente de la naturaleza de este triunfo implica
tambin comprometer esfuerzos para que as sea. Con esto en mente los
miembros del Programa de Apoyo a Proyectos de Innovacin y
Mejoramiento de la Enseanza (PAPIME) PE 400709 Lgica: herramientas
para su aprendizaje y para la comprensin de sus relaciones con los
distintos campos de la Filosofa, ofrecemos a la Universidad Nacional el
producto de nuestros esfuerzos con la intencin y la esperanza de cumplir as
con el papel que como humanistas nos corresponde.
Ars Logicorum, El arte de la lgica, es una herramienta de apoyo para
docentes y estudiantes de la ciencia de las segundas intenciones, pero ms
all de su utilidad, es la materializacin del trabajo de una nueva generacin de
investigadores que estoy orgulloso de haber encausado.
Dr. Guillermo Gonzlez Rivera
Santa Cruz, Acatln, mayo de 2010
3
INTRODUCCIN
Guillermo Gonzlez Rivera
A) Objetivo y estructura de Ars Logicorum.
El texto que el lector tiene en sus manos es una introduccin a problemas de la
Lgica. Est destinado a aquellos estudiantes que ya se han iniciado en esta
disciplina y, en este sentido, no es una introduccin a secas- y que estn
interesados en ir ms all de las meras tcnicas de clculo lgico mediante las
cuales, tradicionalmente, se comienzan estos estudios.
Nuestro objetivo es ofrecer una herramienta que facilite la entrada a un mundo
de preguntas y reflexiones en torno a consideraciones que tienen que ver con
la Lgica y, por tanto, que tienen que ver con el pensamiento en particular, y
con el hombre en general.
La estructura del texto est conformada por captulos que siguen el orden
histrico del desarrollo de la disciplina, pero que, al mismo tiempo, pueden ser
ledos como ensayos independientes.
Cada captulo acota como ya se dijo- un momento del desarrollo de la Lgica,
con la intencin de destacar algn aspecto o problema que ayude a
comprender al lector tanto la finalidad del estudio en ese momento como las
peculiaridades que le diferencian de otros. Debemos advertir que, en ningn
caso, se trata de textos especializados ni dirigidos a especialistas, lo cual
implica que los problemas o aspectos destacados en cada captulo se traten
como sugerencias para futuras investigaciones; y as, aunque de ningn modo
se trataron con ligereza, tampoco ofrecemos exhaustividad.
A grandes rasgos, el contenido del texto es el siguiente:
El captulo 1 es una introduccin a los estudios de Lgica de Aristteles. Aqu
se destaca el objeto de estudio de esa Lgica como la relacin intrnseca entre
el mundo, el pensamiento y el lenguaje, para comprender la cual es necesario
considerar aspectos ontolgicos, epistemolgicos y lingsticos. Tener en
mente la relacin de esos elementos es importante porque las
transformaciones operadas en el estudio de la Lgica pueden ser entendidas
tambin como transformaciones en el modo de pensar en dicha relacin. Este
asunto es, precisamente, el punto donde termina el captulo 1, mediante una
breve consideracin a la diferencia entre la formalidad de la Lgica de
Aristteles y la de la Lgica matemtica.
El captulo 2 est dedicado a la lgica proposicional. Presenta una explicacin
del lenguaje formal de la lgica de enunciados y de su interpretacin. Tambin
4
se explican la relacin de consecuencia lgica y diversos mtodos para
identificarla. Se termina con el aspecto deductivo de este sistema lgico, dando
tiles consejos acerca de cmo aplicar las usuales reglas de inferencia y
equivalencia.
El captulo 3 Introduccin a la Teora de Conjuntos constituye una presentacin
panormica de la axiomatizacin de la teora de conjuntos, destacando los
puntos que han causado controversia, las implicaciones de las distintas
decisiones tomadas en ellas. Desde el captulo 2, se han apuntado algunas
cuestiones sobre el carcter matemtico que adquiri la Lgica; en este
captulo, se muestra, precisamente, la preocupacin fundamentalmente
matemtica de los lgicos que trabajaron conjuntos.
El captulo 4 Lgica cuantificacional expone el lenguaje de la lgica
cuantificacional o de primer orden que es indispensable para modelar de
manera correcta cierto tipo de argumentos. Se presenta de manera sistemtica
la interpretacin de los elementos de ese lenguaje (semntica); poniendo
especial atencin en la nocin de verdad lgica y consecuencia lgica. Se
exponen mtodos de prueba que adquieren una especial importancia a partir
de la extensin del lenguaje que constituye respecto a la lgica proposicional.
En el captulo 5, abordamos un problema ya clsico en el estudio de la Lgica
cuantificacional, a saber: la dificultad de capturar, mediante las herramientas de
la Lgica matemtica, las propuestas de la Lgica silogstica. Este problema
se origina por la diferencia de supuestos con los que se trabaja en las distintas
comprensiones de la Lgica. Presentamos, pues, una propuesta para avanzar
en la solucin de dicha dificultad, mediante el ajuste a la comprensin de
algunas reglas ya tradicionales. Con ello, esperamos ayudar al estudiante,
tanto a comprender la dificultad en s, como a idear sus propias teoras al
respecto.
Finalmente, en el captulo 6 ofrecemos una reflexin sobre un problema
fundamental para decidir el estatus epistemolgico del conocimiento cimentado
en la Lgica: las condiciones que nos permiten saber cundo es verdadera una
proposicin y cundo no. La importancia de esta reflexin radica en que una
de las nociones de validez lgica quiz la ms importante- es aquella que
sostiene que de premisas verdaderas se siguen conclusiones verdaderas, bajo
cualquier interpretacin de las premisas. La pregunta obligada es cmo
justificar la verdad inicial de la que depende la validez de nuestro clculo.
Adems el volumen consta de dos apndices. El apndice I es una revisin
exhaustiva de las reglas de inferencia y equivalencias lgicas de la lgica
proposicional. Es un apoyo al estudiante que busque experimentar con las
diversas posibilidades que la lgica de enunciados ofrece.
5
El apndice II presenta a la silogstica desde el lenguaje de la lgica
cuantificacional. Constituye pues, un material ideal para que el lector vea la
aplicacin de lo expuesto en el captulo 4.
Dado que, como ya hemos advertido, este volumen no contiene tratados
amplios ni exhaustivos, hemos considerado de primordial importancia la
consigna de fuentes especializadas donde el estudiante pueda encontrar mayor
amplitud para el desarrollo de sus reflexiones nacientes.
B) Sobre los autores de Ars Logicorum.
Este libro es posible gracias al apoyo de la Universidad Nacional Autnoma de
Mxico, mediante su Programa de Apoyo a Proyectos para la Innovacin y
Mejoramiento de la Enseanza (PAPIME) PE400709, vigente durante 2009 y
2010. Sin embargo, los trabajos que se materializan aqu tienen su gnesis en
el Seminario de Filosofa de la Lgica Lgica en Acatln, fundado en 2005 por
un grupo de estudiantes que, percatados de las necesarias limitaciones de los
cursos curriculares, decidieron darse a s mismos su propio espacio de
investigacin, de estudio y reflexin.
Guillermo Gonzlez Rivera, el responsable del proyecto PAPIME, es Doctor en
Filosofa, docente e investigador adscrito a la FES Acatln y coordinador de la
Unidad de Investigacin Multidisciplinaria de la misma facultad.
Paola Minerva Chapa Montes es miembro fundador y activo del Seminario
Lgica en Acatln. Actualmente es profesora de la materia de Lgica I de la
Licenciatura en Filosofa en la FES Acatln y realiza estudios de posgrado en la
Facultad de Filosofa y Letras de la UNAM.
Larry Fielding Jagey Camarena, miembro del Seminario Lgica en Acatln,
es egresado de la carrera de Filosofa por la Facultad de Filosofa y Letras de
la UNAM y estudiante de matemticas de la Facultad de Ciencias de la misma
UNAM. Imparte el taller permanente La Cantera lgica desde 2009 en la FES
Acatln.
Pedro Ramos es doctor en Filosofa y miembro de la Academia Mexicana de
Lgica. Carlos Verln es egresado de la carrera de Filosofa por la Facultad de
Filosofa y Letras en su modalidad Sistema de Universidad Abierta (SUA).
Ambos imparten el curso de Lgica I y II en la Facultad de Filosofa y Letras de
la UNAM.
Gabriel Ramos Garca es fundador del Seminario Lgica en Acatln, profesor
de las asignaturas de Lgica I y II en la licenciatura en Filosofa en la FES
Acatln. Realiza estudios de posgrado en la Facultad de Filosofa y Letras de la
UNAM.
6
Mara Esperanza Rodrguez Zaragoza, miembro del Seminario Lgica en
Acatln, profesora de las asignaturas de Lgica III y Filosofa Moderna en la
Licenciatura en Filosofa en la FES Acatln. Coordina el Seminario de
Preespecializacin, que en su modalidad de Filosofa de la Lgica se imparte
por primera vez en la FES Acatln. Realiza estudios de posgrado en la
Facultad de Filosofa y Letras de la UNAM y en el Instituto de Investigaciones
Filosficas.
Mario Cornejo Cuevas y Moiss Rubn Rossano Lpez son estudiantes de la
carrera de Filosofa en la FES Acatln. Miembros del Seminario Lgica en
Acatln. Debido a su destacado desempeo acadmico fueron invitados a
colaborar en este proyecto.
7
Captulo 1.
Lgica aristotlica.
La inauguracin de los estudios lgicos de manera sistemtica. De qu
se tratan y para qu sirven
Paola Minerva Chapa Montes
Preliminares
Comprender en qu consisten los trabajos de Aristteles compendiados bajo el
ttulo de Organon significa comprender cul es el objeto de estudio de la
disciplina que ellos conforman y cul su importancia (en este caso en particular,
podramos hablar de utilidad). El propsito de este captulo es, pues, sugerir
algunas ideas que colaboren en la comprensin de los dos asuntos
mencionados.
La estrategia que seguiremos es bastante simple, pero no fcil: haremos un
recorrido panormico por cada uno de los tratados involucrados, resaltando
slo el aspecto que consideremos representativo o paradigmtico para generar
una idea suficiente del tema que abordan. Esto implica que, puesto que
nuestra pretensin es obtener una idea general de la disciplina, no nos
detendremos ni profundizaremos en aspectos particulares. Podemos adelantar
que el Organon es un conjunto de tratados que ofrecen diferentes perspectivas
de un mismo fenmeno: el logos. La primera parte de nuestra revisin tiene el
objetivo especfico de acercarnos a ese fenmeno complejo y distinguir la
perspectiva desde la cual es observado por Aristteles en los distintos tratados.
El objetivo especfico de la segunda parte de nuestra revisin, orientado a la
utilidad de la disciplina desarrollada a partir de la observacin del fenmeno del
logos, consiste en comprender que dicho fenmeno no es abstracto ni se da
aislado -aunque su estudio as lo sugiera-, sino que aparece en contextos
determinados; la utilidad de la disciplina naciente a partir de estos tratados
aparece en y depende concretamente del contexto; v.gr., el logos del
matemtico y el del poltico, siendo ambos logos, no son, sin embargo, iguales;
y la verdad de lo dicho en uno y otro caso dependen en gran medida de que se
comprendan las semejanzas y diferencias de sus logoi.
Una vez hecho lo anterior, y a manera de conclusin, bosquejaremos dos
consecuencias importantes que se desprenden de considerar el objeto de
estudio de la Lgica como un fenmeno concreto en contexto, y que
representan las principales diferencias entre los estudios del logos como los
concibi Aristteles y la Lgica que se desarroll a partir de ellos, a saber: la
formalidad de la Lgica y su concepcin como mtodo.
8
Por ltimo, consideramos importante, de manera previa a todo lo anunciado,
hacer una breve indicacin sobre la originalidad de los estudios de Aristteles
respecto a su entorno intelectual. De manera que el curso de este primer
captulo es el siguiente: A) El nacimiento de la Lgica como disciplina; B) El
objeto de estudio de la Lgica aristotlica; C) La utilidad de la Lgica
aristotlica; y D) Conclusiones capitulares: un apunte sobre la formalidad de la
Lgica y la idea de mtodo en relacin con los estudios de Aristteles.
A) El nacimiento de la Lgica como disciplina
La aclaracin sobre el nacimiento de la Lgica como disciplina o rama de
conocimiento con cierto grado de independencia de las otras ciencias es un
tema que, aunque ya no resulta novedoso, no deja de ser importante.
Ciertamente, es difcil, si no imposible, pensar en algn estudio dedicado
explcita y exclusivamente a problemas de Lgica anterior a los aristotlicos.
Esto no equivale, sin embargo, a la ausencia de trabajos que involucren
problemas lgicos; en este sentido, siempre se puede pensar en los trabajos de
Parmnides, de Zenn y del propio Platn como el suelo nutricio en el que
Aristteles hinca las races de sus estudios.
No obstante los claros antecedentes, existen tambin profundas diferencias
que justifican la afirmacin de que Aristteles es el punto de partida de esta
disciplina. Quiz la consideracin que mayormente nos permita comprender la
situacin sea que los pensadores previos a Aristteles, en sus escritos,
suponen que el lector tiene los conocimientos y las habilidades discursivos y
argumentativos necesarios para comprender la exposicin. Tal vez el caso
ms claro sea el de Platn; aunque hay varios pasajes, en diversos dilogos,
que problematizan sobre cuestiones lgicas
1
, no existe alguno donde
propiamente se le ensee al estudiante ni al dialogante ni al lector- a construir
un argumento verdadero. Por el contrario, la exposicin platnica parece dar
por hecho que el lector atento es capaz de darse cuenta cuando los
dialogantes construyen bien o mal sus argumentos, y las consecuencias de
ello. Aristteles, en cambio, se da a la tarea de desarrollar algunas estrategias,
digamos, pedaggicas, para hacer comprender al estudiante lo que involucra el
fenmeno del argumento; para dicha labor, Aristteles recopila y disea
problemas que tengan que ver especficamente con la exposicin de
argumentos, los clasifica y los comenta, de tal manera que hace de la
expresin del pensamiento discursivo, el objeto central del estudio, el eje de la
atencin del propio pensamiento.
1
Quiz el ms representativo sea el dilogo Sofista, donde se presentan ejercicios
dialcticos para construir la definicin de un anzuelero-, y se problematiza sobre las
condiciones ontolgicas que hacen posible la dialctica.
9
B) El objeto de estudio de la Lgica aristotlica
La segunda cuestin que necesitamos elucidar, ms compleja que la anterior,
consiste en la naturaleza del objeto de estudio de la disciplina que nos ocupa,
en el sentido en el que era comprendido por Aristteles. sta es, como cabe
adivinar, una labor soberbia, porque significa tanto como presumir que
podemos esclarecer el sentido del logos en unos cuantos prrafos, lo que no
ofrecemos aqu. Lo que s ofrecemos es hacer manifiesta la complejidad de la
comprensin del logos y mostrar luego, sustentados en lo anterior, la
complejidad de su estudio. Eso nos acercara al pensamiento aristotlico lo
suficiente como para comprender la distancia entre sus estudios lgicos y
cualesquiera otros.
Como se sabe, sus estudios de lgica son una coleccin de estudios sobre
temas especficos; el sentido de los trabajos en cuanto coleccin ser tratado
ms adelante; por ahora, nos concentraremos en los estudios singulares, los
cuales tienen una presentacin semejante a la de la mayora de los trabajos de
Aristteles: son estudios temticos, centrados en un problema especfico:
escritos sobre los modos en los que se habla de las cosas (kateegoriai),
escritos sobre la interpretacin (peri hermeneias), anlisis bsicos de
argumentos (analytikoon proteron), anlisis secundarios de argumentos
(analytikoon ysteroon), lugares comunes en los discursos (topica) y sobre las
refutaciones sofsticas (peri sophistikoon elenchoon). En general, podemos
entender los trabajos de lgica aristotlica como estudios en torno al logos
(logika). Para conocerlos, necesitamos recorrerlos, es decir, colocarnos
nosotros tambin en torno al logos. Cada uno de los estudios que hemos
enlistado puede ser entendido, pues, como un modo especfico de aproximarse
al logos.
Logos es una nocin tan propia de los antiguos griegos que, probablemente, no
tengamos ninguna que nos sea prxima y que represente la misma experiencia
que aquella nocin representaba para ellos. Sin embargo, su sentido puede
ser ms o menos comprendido si ponemos atencin a los usos de la expresin
2
al interior de los tratados de Aristteles. De esta manera, podemos intentar la
aproximacin al objeto de los estudios aristotlicos con dos alcayatas: por un
lado, presentaremos algunos ejemplos que nos ilustren el empleo del trmino
logos; por otra parte, enunciaremos el sentido general de cada uno de los
tratados que componen el compendio aristotlico sobre lgica. Al proceder de
2
No estamos seguros de que un anlisis exhaustivo de este asunto sea posible. Lo que
ofrecemos aqu son algunos ejemplos que nos resultan representativos y que pueden ser
considerados prototpicos.
10
este modo, logramos una comprensin de los tratados que considere en todo
momento no slo el tema especfico, sino la problemtica general del estudio
del logos.
Comencemos con una definicin explcita que Aristteles da sobre lo que
entiende por logos. En Sobre la interpretacin 16 b 27 se lee: Logos es una
voz articulada con significado, con partes que por separado tienen significado
pero sin afirmar ni negar nada. Es decir, logos aqu est entendido como una
oracin completa, una idea compleja con partes distinguibles. Aristteles no
restringe este uso para oraciones asertivas donde se niega o afirma algo, pues
pocas lneas adelante seala que las plegarias, por ejemplo, no son
precisamente afirmaciones o negaciones y s son, no obstante, logos. En una
importante medida, este sentido de logos implica que las oraciones sin
sentido son ilgicas; o bien, que todo logos tiene la caracterstica de la
inteligibilidad, de la comprensibilidad del mensaje de la oracin.
Tambin, logos puede significar la definicin de una cosa segn su modo
propio y natural de ser (en un sentido muy cercano a la definicin real
esencial); es decir, no una definicin del trmino, sino una explicacin de lo que
la cosa es. Este sentido tiene, por ejemplo, en Categoras 1 a 6-10, donde
leemos: Se llaman sinnimas las cosas cuyo nombre es comn y cuyo
correspondiente logos de la entidad es el mismo, por ejemplo, <ser viviente>
dicho del hombre y dicho del buey, porque a ambos nos referimos como seres
vivientes [] pues el logos de su entidad es el mismo. Podemos interpretar
este pasaje considerando que <ser viviente> significa lo mismo cuando lo
decimos del hombre que cuando lo decimos del buey; es decir, la definicin o
logos de <ser viviente> es comn para ambos.
Considrense tambin estos pasajes donde se emplea la expresin logos: Una
proposicin es un logos afirmativo o negativo de algo respecto de algo.
(Analticos primeros 24 a 17) y Un silogismo es un logos en el cual, dadas
ciertas tesis, por necesidad se sigue algo distinto a ellas, por ellas mismas.
(Analticos primeros 24 b 19). En ambos pasajes, podemos leer logos como
discurso. As, en el primer caso tendramos que las proposiciones son un cierto
tipo de discurso, a saber, del tipo en el que se niega o se afirma algo sobre
algo. Recurdese que habamos visto que las plegarias, por ejemplo, tambin
son cierto tipo de logos. En el segundo pasaje, leeramos que el silogismo es
un cierto tipo de discurso, con la caracterstica de provocar un movimiento
interno natural o necesario, que consiste en ir de las premisas iniciales a una
nueva informacin.
Con estos ejemplos, tenemos al menos tres acepciones para logos: oracin,
definicin, discurso, lo que significa que los estudios aristotlicos de lgica
estudian, por lo menos, lo relativo a las oraciones, a las definiciones y a
algunos tipos de discurso (los tipos que ah se especifican, i.e., proposiciones,
11
silogismos, etc.). Aunque, dicho de este modo, parecera entonces que los
estudios de Aristteles estuvieran orientados a problemas del lenguaje. En una
importante medida, por supuesto que tienen que ver con el lenguaje. Pero,
para prevenirnos del error de considerarlos como una simple teora lingstica,
requerimos saber cul es esa importante medida, requerimos tener presente la
manera en la que el lenguaje est pensado por Aristteles. Esta cuestin se
aclara un poco cuando ubicamos el tema especfico de los tratados.
Las Categoras son una coleccin exhaustiva de los modos que tenemos para
referirnos a las cosas. La referencia a las cosas supone que hemos visto a las
cosas, es decir, que sabemos algo de la cosa que queremos referir, al menos
en alguno de sus aspectos. Ntese, por ejemplo, la primera frase de este
tratado: Se llaman homnimas las cosas que tienen en comn el nombre, pero
cuyo logos segn la naturaleza de lo que son es diferente entre s. En esta
definicin de Aristteles, el nfasis est puesto en las cosas, no en los
nombres. Esto es, las cosas tienen una naturaleza tal que permite que tengan
tambin algn tipo de nombre. No se trata, pues, de que los nombres sean
dados a las cosas de un modo azaroso o completamente ajeno a ellas
mismas
3
. Segn hemos visto, el logos implica inteligibilidad y comprensin del
mensaje, y esto mismo sucede con los nombres. Un nombre slo es tal en
tanto que nombra, es decir, en tanto que hay una cosa referida especficamente
mediante ese nombre; el nombre es un modo lgico de acercarnos a las cosas.
El trmino griego kateegoria, literalmente, significa acusacin, con una
connotacin principalmente jurdica
4
. En un sentido no jurdico, tiene la
connotacin de expresar algo para que los otros lo entiendan, de hacerlo
manifiesto. Su significado puede hacerse ms claro si pensamos en su
etimologa: kat agoreuoo. Agoreuoo significa hablar en el gora, en la plaza
pblica o en la asamblea. Agor significa tanto el lugar la plaza pblica- como
la actividad que en l se desarrollaba: decir discursos. Para comprender el
sentido de las categoras, tengamos en mente la imagen de los discursos
pronunciados en el gora: el orador sube a la palestra y comienza su discurso,
dirigindose a los que estn abajo, en la plaza, escuchando; que el discurso del
3
Aunque, ciertamente, presentan una fuerte carga de arbitrariedad que Aristteles no ignora.
En Sobre la interpretacin 16 a 20, Aristteles define al nombre como un sonido con un
significado establecido. Normalmente, los traductores precisan que el establecimiento es
convencional precisin con la cual estamos de acuerdo-; sin embargo, el nfasis
aristotlico est puesto en la permanencia. Establecido significa aqu que queda puesto de
modo ms o menos permanente, echando por tierra la posibilidad de que cualquier nombre
signifique cualquier cosa en cualquier momento, de manera arbitraria.
4
En el diccionario manual griego Vox, por ejemplo, se lee la siguiente entrada: kateegoreoo:
censurar, criticar, reprochar; acusar de algo; revelar, descubrir, manifestar; expresar,
significar, enunciar, afirmar.
12
orador sea exitoso depende de que ste logre, mediante aqul, que el auditorio
vea lo que l ve y como l lo ve.
As, pues, las categoras que Aristteles identifica no son instrumentos de
clasificacin de conceptos, ni conceptos universalsimos, como en ocasiones
se les ve. Son, primariamente, esas acusaciones de las cosas que hacemos
cuando hablamos, con la ms genuina intencin de que, quienes nos
escuchan, comprendan lo que decimos. Obsrvese, por ejemplo, los usos del
trmino kateegora en el siguiente pasaje: Llamo trmino a aquello en lo que
se descompone la proposicin, es decir, lo kateegoromenon y lo kateegoretai,
con la adicin del ser o el no ser. (Analticos primeros 24 b 17). Podramos
parafrasear diciendo que la proposicin se descompone en las acusaciones y
en aquello a lo que se acusa, algo as como si dijramos que Juan es un
ladrn, donde Juan sera lo kateegoretai, (aquello a lo que se acusa) y ladrn,
lo kateegoromenon, lo que se dice del acusado (la acusacin).
El pasaje citado, en ocasiones, se traduce como las proposiciones se
descomponen en predicado (kateegoromenon) y sujeto (kateegoretai), o
bien, en predicado y aquello de lo cual se predica. El problema con tales
traducciones consiste en que, por un lado, abren la posibilidad de confundir el
trabajo de Aristteles con un estudio gramatical cosa que no es- y, por el otro,
ocultan el hecho que Aristteles quiere resaltar, a saber: que cuando hablamos
de algo
5
, nuestro hablar siempre puede ser comprendido en trminos de
categoras; dicho de otro modo, el logos es categrico.
Los estudios Sobre la interpretacin constituyen un trabajo donde Aristteles
explora las proposiciones sin descomponerlas o analizarlas en sus trminos, a
diferencia de las Categoras, donde el estudio se centraba en las partes de la
proposicin. Es decir, el objeto de estudio especfico de este tratado lo
constituyen logoi complejos sobre algo, mediante los cuales sealamos ese
algo y resaltamos alguno de sus aspectos. Usemos una imagen sencilla:
tomemos una naranja, y sealemos algo sobre ella, digamos, su sabor
agridulce. Tenemos una expresin completa sobre la naranja, que resalta
algn aspecto de ella, enuncindolo como si se lo aadiramos al hablar: la
naranja es agridulce. Tradicionalmente, a esto se le conoce como juicio, y se
analiza en nombres y un verbo copulativo. Cuando tenemos un logos con esta
estructura (algo es tal cosa/de tal modo), tenemos tambin la primera
5
La expresin hablar de algo es, evidentemente, una reiteracin que, no obstante,
consideramos necesaria, para advertir una distincin fundamental entre los estudios de
Aristteles y los de la lgica clsica matemtica. Como se ver en la conclusin capitular,
en la lgica matemtica los discursos son formales; es decir, en lgica matemtica se
trabaja con argumentos que consideran slo la forma o estructura, haciendo abstraccin del
contenido. Para Aristteles, en cambio (y para el griego en general), un argumento o
cualquier otra forma de habla slo tiene sentido si se habla de algo; dicho de otro modo,
siempre que hablamos, hablamos de algo.
13
oportunidad de preguntarnos si ese logos nos dice efectivamente cmo es eso
de lo que habla, v.gr., si la naranja, en efecto, es agridulce. Dicho de otro
modo, en los logoi de este tipo i.e, completos, donde se relacionan dos o ms
categoras mediante el verbo copulativo- tenemos ocasin de preguntarnos si
son verdaderos o falsos.
Sobre la interpretacin es, pues, un estudio sobre logoi que enuncian algo
respecto de algo (llamados, en ocasiones, juicios, proposiciones o
enunciados)
6
, sobre los distintos tipos que encontramos (afirmativos, negativos,
modales) y sobre su posibilidad de ser verdaderos. Este ltimo punto nos
ofrece tambin una pista importante para comprender el objeto de estudio en
general. Aristteles dice que los logoi son verdaderos porque las cosas son as
como expresamos que son, y no al contrario, que las cosas sean conforme los
logoi que de ellas damos (esta es la explicacin que subyace a las relaciones
de verdad entre oraciones contrarias y contradictorias, tanto asertivas como
modales, que se explora en Sobre la interpretacin
7
. Vase tambin
Categoras 4 a 25 ss). Para este punto, quiz el lector se haya percatado de
que una caracterstica importante de la expresin humana llamada logos es
que es voluntaria: yo digo lo que quiero decir. Si tenemos esto en mente,
podemos entender la advertencia aristotlica sobre la verdad en el sentido de
que la verdad no depende de mi voluntad; las cosas en el mundo tienen un
modo de ser suyo, y si yo, con mi logos, soy capaz de expresar ese modo de
ser, entonces estar hablando con verdad
8
; lo que no suceder dice
Aristteles- es que las cosas ajusten su orden o modo de ser a lo que de ellas
queramos decir.
Los estudios bsicos
9
sobre anlisis de argumentos son una presentacin de
logoi ms complejos que los que se abordan en Sobre la interpretacin. All se
6
En este contexto, no existen diferencias claras entre una y otra nocin; todas son
consideradas logoi. Conforme la ciencia de la Lgica se consolida, esas expresiones
adquieren sentidos tcnicos precisos. Toms de Aquino, en su Comentario al libro de
Aristteles Sobre la interpretacin. Eunsa, Navarra, 1999, p. 82, sugiere, por ejemplo, que
el enunciado se refiere a una funcin orgnica, al aparato vocal (pulmones, garganta, etc.),
mientras que la oracin es consecuencia de la razn y la voluntad.
7
La complejidad de las relaciones entre enunciados y sus condiciones de verdad puede ser
estudiada en Aquino, Toms de. Op. cit.
8
Por supuesto, tambin es posible hablar de las cosas como no son, i.e., mentir. Pero la
posibilidad de la mentira es la misma que la de la verdad, a saber, que las cosas tengan un
modo propio de ser que no dependa del logos que de ellas demos.
9
Tradicionalmente, los estudios sobre anlisis de argumentos se conocen como Primeros o
Segundos. Preferimos la traduccin de bsicos y secundarios, respectivamente, en virtud
de que la traduccin tradicional tiene el riesgo de sugerir o bien un orden pedaggico, o bien
un orden temporal (lo que va primero y lo que va despus), o bien que son dos cosas
distintas. Juzgamos pertinente nuestra traduccin dado que interpretamos lo primero y lo
segundo en el sentido de que los argumentos tienen aspectos que inmediatamente se
14
trata de categoras involucradas en un mismo logos, relacionadas mediante
una cpula; ac, se trata un tejido de logoi o silogismo
10
. La estructura bsica
del tejido que Aristteles identifica consta de tres partes o logoi completos
simples (juicios): dos que se conocen de antemano (premisas) y uno que se
llega a conocer a partir de los dos previos (conclusin). En este tratado, se
concentra lo que se conoce como teora silogstica, donde se exploran todas
las combinaciones posibles de esos logoi para hablar con verdad de las cosas,
y as, llegar a conclusiones verdaderas. Lo que debe ser visto con mayor
cautela en este tratado es, quiz, la razn por la cual cierta combinacin de
logoi es posible o no. Tradicionalmente, la exposicin de la silogstica tiene
como base los estudios escolsticos, que hacen nfasis en las estructuras
correctas descritas por Aristteles
11
, as como en el conjunto de reglas
sistemticas generales para la correcta construccin de silogismos. Este modo
de comprender los estudios aristotlicos se fundamenta en que Aristteles se
vale de esquemas generales para clasificar los distintos tipos de silogismo;
v.gr., en lugar de decir, por ejemplo, Sea viviente todo mamfero, dice Sea
A todo B. Sin embargo, lo que hace Aristteles en estos estudios dista
mucho de un simple postular reglas generales para construir discursos.
Aristteles muestra la preocupacin de conocer los fundamentos ontolgicos
que permiten que cierto tejido de logoi est en armona con el modo de ser de
las cosas de las que se habla en esos logoi. Dicho de otro modo, para
Aristteles, que A y B estn relacionadas de cierta manera no depende de que
yo las relacione discursivamente, sino de que las cosas que, en cada caso, son
representadas por A y B, en efecto, tengan la relacin descrita, pues
claramente no importa lo mismo decir que todos los mamferos (B) son seres
vivientes (A) que todas las piedras (presuntamente B) son seres vivientes (A).
Es necesario insistir: la verdad de lo que decimos de las cosas depende del
modo de ser de las cosas, y no a la inversa. Lo que es ms, los diferentes
silogismos (las conocidas figuras y modos) se construyen a partir de lo que
conocemos de las cosas cuyas relaciones buscamos en el silogismo; v.gr., no
construiremos silogismos de la misma figura si conocemos el qu de las cosas
muestran a la reflexin, mientras que algunos otros requieren revisiones ms complejas.
Tngase en cuenta que los temas abordados en los Analticos primeros se refieren a
aspectos, digamos, al interior del argumento, sin importar el tipo de argumento que sea;
mientras que los Analticos segundos parten, precisamente, de la distincin entre tipos de
argumentos.
10
La idea del silogismo como tejido de logoi nos viene a partir de que el prefijo syn, en griego,
tiene la connotacin de juntar ordenadamente, a modo de tejido, en donde, pese a que los
hilos estn juntos, uno puede seguir el camino de cada uno de ellos por separado.
11
Un magnfico ejemplo de estudios escolsticos donde la estructura tiene preeminencia
respecto del modo de ser propio y natural de las cosas -la jerarqua ontolgica- lo
constituyen los trabajos de Pedro Hispano, Tractatus (summule logicales). Universidad
Nacional Autnoma de Mxico, Mxico, 1986.
15
(las sustancia primera y sustancia segunda) que el cmo (algn
accidente).
Un hecho claro a favor de la comprensin de los estudios de Lgica de
Aristteles que nosotros ofrecemos consiste en la cantidad de tipos diferentes
de silogismos que Aristteles identifica: categricos, disyuntivos, objetantes,
adems de los compuestos
12
, todos ellos conforman slo una rama de
silogismos, a saber, los demostrativos (la otra rama la conforman los
dialcticos). Una omisin frecuente, que sesga la comprensin de los estudios
aristotlicos, consiste en no considerar todos los tipos, sino limitarse a los
categricos, que son los que tienen expresin en los estudios escolsticos
(BARBARA, DARII, etc.) y los que representan menor grado de dificultad en
cuanto a su comprensin, aplicacin y formalizacin en la lgica matemtica.
Los anlisis de argumentos secundarios estn dedicados al estudio de las
condiciones de la demostracin. Segn lo dicho en los anlisis de argumentos
bsicos (Analticos primeros 25 b 27 ss), la demostracin es un tipo de
silogismo, con lo cual podramos entender que en los textos sobre argumentos
bsicos se tratan cuestiones ms generales o de aplicacin ms amplia que lo
que se trata en los textos sobre argumentos secundarios, i.e., en stos se
estudia una rama particular de silogismos, mientras que en aqull os se habla
del silogismo en general. Que haya ms de una rama de silogismos se vuelve
comprensible si consideramos que las cosas tienen modos de ser que las
hacen diferentes unas de otras, lo cual reclama, a su vez, que nuestros modos
de hablar de las cosas no sean siempre iguales, v.gr., no es lo mismo que
hablemos del ser de un caballo que del ser del tringulo o del ser de lo que es
justo. Incluso si hablamos de una misma cosa, podemos tener ms de un
aspecto suyo que reclame ms de un modo de hablar de ella; pongamos por
caso el hombre: no es lo mismo hablar de l en cuanto ser viviente que en
cuanto ser poltico.
Con estas consideraciones en mente, podemos regresar al problema que nos
ocupa: el objeto de estudio de los trabajos aristotlicos sobre el logos.
Habamos visto que el trmino logos tiene significados relacionados
estrechamente con el habla, pero habamos advertido tambin que no se
trataba de estudios lingsticos. El breve recorrido que hemos dado por
algunos de los estudios de Aristteles debe servirnos para considerar que,
dado que el logos es siempre logos de algo, existe una estructura interna que
organiza tanto las cosas en el mundo como nuestro logos. No es asunto de
12
Para la clasificacin de los diferentes tipos de silogismo, retomamos los excelentes
estudios de Alfarabi, en su Short commentary on Aristotles Prior Analytics. University of
Pittsburg Press, London, 1993.
16
estos escritos el anlisis de dicha estructura, ni su fundamento
13
; pero s les
compete explorar el modo en el que nuestro logos respeta esa estructura, en
sus diversas manifestaciones.
C) La utilidad de la Lgica aristotlica
La concepcin de los estudios de lgica aristotlica como escritos dedicados a
la teora de la demostracin, cuyo modelo fundamental es la geometra, es muy
comn
14
, pero no es del todo acertada. Segn hemos visto, la teora de la
demostracin constituye a penas una parte de los estudios. Adems, hemos
mencionado tambin que Aristteles tiene presente la estructura propia de las
cosas del mundo, y dicha estructura no se agota con los objetos de la
geometra, aunque stos ciertamente constituyan un tipo de objetos donde el
logos demostrativo se desarrolla ampliamente. Para reforzar estas ideas, lo
mejor es poner atencin a los ejemplos de aplicacin que usa el propio
Aristteles.
En el apartado anterior, hicimos algunas observaciones sobre el tema de
Categoras, Sobre la interpretacin, Analticos primeros y Analticos segundos;
continuemos donde nos quedamos.
Los estudios secundarios sobre anlisis de argumentos estn dedicados
principalmente a la demostracin, como ya hemos visto. Preguntar para qu
nos sirven estos estudios es lo mismo que preguntar qu tipo de objetos tienen
una estructura natural tal que podamos hablar de ellos demostrativamente.
Aristteles nos dice que la demostracin se hace posible cuando las cosas de
las que hablamos son necesarias; cuando hacemos una demostracin,
tenemos ciencia, porque la ciencia es el conocimiento de aquellas cosas que
no pueden ser de otro modo que como son (Analticos segundos 71 b 10-20.
Tambin 87 b 19, donde se dice que la demostracin no se da en cuestiones
que dependen del azar). Los ejemplos que tiene aqu son,
preponderantemente, de geometra y de astronoma: que la diagonal es
inconmensurable respecto del lado en el cuadrado es un principio demostrativo
(Analticos segundos 71 b 27), lo mismo que el hecho de que todo tringulo
tiene ngulos internos equivalentes a dos rectos (Analticos segundos 71 a 20.
Aqu, por supuesto, se est considerando una geometra de planos); o bien, el
13
Este tema es el objeto de estudio de la Metafsica, particularmente del Libro IV, donde
Aristteles habla del as llamado Principio de contradiccin, axioma supremo que describe el
modo de ser de los entes.
14
Como ejemplo de esta interpretacin, se encuentran los estudios sobre historia de la Lgica
de William y Martha Kneale, The development ofLogic. Calendon Press, London, 1986, cap.
II.
17
descubrimiento del trmino medio del silogismo que hace posible la
demostracin en el hecho de que la Luna recibe su luz del Sol a partir de la
observacin de que la parte iluminada de la Luna siempre est vuelta hacia el
Sol (Analticos segundos 89 b 16-20), o la razn de que ocurran eclipses
(Analticos segundos 88 a 1).
En los Tpicos se aborda una serie de lugares comunes en los discursos y se
ofrecen advertencias o consejos para quien argumenta, en el sentido de que es
preciso entender bien de qu se est hablando para saber qu tipo de discurso
o argumento es conveniente emplear. As, podemos encontrar, por ejemplo, la
advertencia de que las proposiciones contrarias no funcionan igual cuando se
trata de cuestiones necesarias que cuando se trata de cuestiones probables,
v.gr., cul es la proposicin contraria de es preciso hacer bien a los amigos:
no hacerles el bien, hacerles el mal, hacer bien a los enemigos? La cuestin
sobre las proposiciones contrarias es abordada, de manera especfica y
sistemtica, en Sobre la interpretacin (23 a 25 ss); el ejemplo que emplea
Aristteles ah consiste en indagar cul es la proposicin que expresa la
opinin contraria a la afirmacin de que todo hombre es justo, y por qu. Tanto
en Tpicos como en Sobre la interpretacin, la dificultad estriba en que la
amistad, la bondad y la justicia no son cosas perfecta y universalmente
definidas, como los tringulos; adems, involucran el criterio de la persona que
juzga sobre ellas.
Podemos vislumbrar, pues, que si bien es cierto que la teora de la
demostracin versa principalmente sobre asuntos matemticos, geomtricos y
astronmicos, otras partes de la silogstica nos permiten acercarnos a
cuestiones ticas y polticas, a partir de preguntas por cosas cuyo modo de ser
no es el necesario, como lo que sea considerado justo, bueno, bello, etc.
Por ltimo, en las Refutaciones Sofsticas, Aristteles ofrece tambin
advertencias y consejos para la argumentacin, pero especficamente para la
que tiene lugar como combate (Refutaciones sofsticas 165 b 10). El estudio
est organizado, pues, en funcin de la intencin del combatiente (del sofista)
que, en general, se puede traducir en el engao; por esta razn, la primera
advertencia que hace Aristteles es para uno mismo: no engaarse en lo que
uno sabe (Refutaciones sofsticas 165 a 25), no ser sofista ni para el otro ni
para uno mismo. Dados los consejos del autor, podemos aventurarnos a
considerar que, en un primer nivel, este estudio es evidentemente un ejercicio
de aplicaciones de reglas para la argumentacin erstica pero, en otro nivel,
constituye una declaracin del compromiso tico que el investigador debe
aceptar: la verdad, evitar el engao y la mentira
15
.
15
Por cierto, este compromiso con la verdad con claras repercusiones ticas- es algo que no
se volver a ver en el posterior desarrollo de la disciplina. No se piense que acusamos de
mentirosos a los pensadores posteriores a Aristteles; simplemente, sealamos que, como
18
Como podemos ver, los estudios aristotlicos sobre Lgica no eran concebidos
como una ciencia independiente, sino como una herramienta para las ciencias.
En este sentido, consideramos que el nombre del compendio de los estudios
aristotlicos sobre este tema Organon- debe tomarse muy literalmente. Para
cualquier herramienta, es claro que su importancia radica en que sea la
herramienta adecuada para aquello que la necesitamos; pero la condicin
bsica es poder discernir cundo usar cada herramienta. As como el oficial
mecnico le ensea al aprendiz a usar las llaves de tuercas, pero confa en el
criterio del aprendiz para decidir cundo usarlas, as tambin Aristteles nos
muestra cmo funcionan las llaves del logos, pero nos corresponde a nosotros
discernir cundo usar cul.
D) Conclusiones capitulares: un apunte sobre la formalidad de la Lgica y
la idea de mtodo en relacin con los estudios de Aristteles
Como hemos visto a lo largo de este captulo, los estudios aristotlicos sobre
Lgica manifiestan la preocupacin por dar cuenta de las relaciones entre el
mundo, el pensamiento y el lenguaje. Esas relaciones, una vez comprendidas,
pueden ser ordenadas y clasificadas bajo esquemas generales que resumen la
multiplicidad de casos de cada relacin. Para este punto, es de primordial
importancia que se comprenda el papel que desempean dichos esquemas,
pues a menudo se les tiene por frmulas semejantes a las de la Lgica
matemtica, pero primitivas. La diferencia fundamental, quiz, puede ser
entendida desde la perspectiva de la funcin que tienen las letras empleadas
por Aristteles, en comparacin con la que tienen las letras que aparecen en
las frmulas de la Lgica matemtica. En sta, las letras de las frmulas,
llamadas variables, tienen la funcin de indicar que ah donde aparecen ellas,
debe considerarse algn objeto, pero no se precisa saber cul. Dado que la
Lgica matemtica trabaja con variables y no con cosas, la verdad de lo dicho
en las frmulas ya no puede depender de las cosas. A esta peculiaridad se le
denomina, en la Lgica matemtica, formalidad; dicho de otro modo, se
sostiene que la Lgica matemtica se refiere a la forma del discurso a las
relaciones de las posibles cosas involucradas en l-, y no a su contenido no a
las cosas relacionadas. Si la verdad del discurso, en este contexto, no
depende ya de las cosas de las que se habla, la forma misma se vuelve
independiente de ellas; es decir, la estructura del discurso en la Lgica
matemtica obedece a reglas de formacin que se establecen con entera
independencia de los posibles contenidos. Para Aristteles, en cambio, la
se ver ms claramente a partir del captulo II, el criterio de verdad a partir del modo de ser
de las cosas se cambia por el de la correccin del pensamiento en trminos de coherencia.
La preocupacin por decir discursos verdaderos, segn el modo de ser del mundo, deja de
ser, por as decir, el objetivo central de las teoras lgicas posteriores.
19
consideracin de una forma sin contenido es absurda; en su ontologa, la forma
aparece siempre en un material i.e., contenido- especfico o, dicho con mayor
precisin, la forma es la manifestacin de la organizacin particular de un
material especfico
16
. La forma del discurso, en el contexto de la Lgica
aristotlica, est asociada, precisamente, a la forma de las cosas de las que el
discurso habla. Por esta razn, como hemos venido insistiendo a lo largo de
este captulo, los silogismos no tienen reglas de formacin independientes de
su contenido, y la correccin de las relaciones establecidas en ellos est
supeditada a la verdad de lo dicho.
Ahora bien, si tenemos en cuenta que la correccin del esquema del silogismo
se juzga a partir de las formas propias de las cosas de las que se habla,
podemos entender que haya esquemas diferentes, en tanto que las formas de
las cosas son diferentes. Dicho de manera breve, los estudios sobre el logos
no son un mtodo general para construir discursos, porque tampoco hay una
forma genrica que pueda ser aplicada a todas las cosas de las cuales se
puede hablar en los discursos. As como las cosas de la tica tienen formas
naturalmente diferentes a las cosas de la fsica, as tambin los discursos que
se empleen en sta mostrarn una forma naturalmente diferente a la forma de
los discursos empleados en aqulla. Tanta diversidad ser considerada, por
pensadores posteriores, como un defecto de los discursos, por lo que buscarn
hacer abstraccin de las diferencias tanto como sea posible-; para Aristteles,
en cambio, la perfeccin del discurso se medir por la verdad de lo dicho, la
cual se hace posible slo si se le presta suficiente atencin, precisamente, a las
diferencias.
16
El desarrollo de estos temas aparece, sobre todo, en el Libro VII de la Metafsica.
20
Bibliografa
- Alfarabi. Short commentary on Aristotles Prior Analytics. University of
Pittsburg Press, London, 1963.
- Aquino, Toms de. Comentario al libro de Aristteles Sobre la
interpretacin. Eunsa, Navarra, 1999.
- Aristteles. Organon. Cualquier edicin.
------------- Metafsica. Cualquier edicin.
- Hispano, Pedro. Tractatus (o summule logicales). Universidad Nacional
Autnoma de Mxico, Mxico, 1986.
- Kneale, William y Kneale, Martha. The development of Logic. Calendon
Press, London, 1986
21
Captulo II
Lgica proposicional
Larry Fielding Jagey Camarena
A) Dos anlisis del lenguaje
Como pudimos observar en el captulo dedicado a la silogstica, sta es,
esencialmente una teora que expone exhaustivamente los distintos tipos de
inferencias vlidas que se pueden formular con los cuatro tipos de juicios
categricos.
17
A continuacin exploraremos un enfoque semejante aunque distinto. Semejante
en tanto que explicaremos ms modos de hacer inferencias vlidas. Distinto en
tanto que llevaremos a cabo un anlisis distinto del lenguaje.
Las distintas inferencias vlidas que admite la silogstica se basan en las
relaciones que se dan entre los trminos de los juicios. Podramos interpretar
esos trminos como clases de objetos. Tendramos as, una lgica de clases.
Por supuesto que es materia de discusin si esta interpretacin peca de no ser
totalmente fiel al anlisis del lenguaje del propio Aristteles.
Sin embargo, en trminos generales podemos llevar a cabo esta lectura
siempre y cuando asumamos que lo hacemos a favor de la concisin y la
sencillez; y siempre y cuando asumamos que lo hacemos con plena conciencia
de la distancia que nos separa en ciertas sutilezas conceptuales no slo de
Aristteles sino de los mismos lgicos medievales.
As, admitamos que las relaciones lgicas de la silogstica dependen en ltima
instancia de la descomposicin de las proposiciones en trminos que denotan
clases de objetos. Sin embargo este anlisis del lenguaje pronto nos muestra
su insuficiencia para abarcar otro tipo de inferencias vlidas. Muchas de ellas
presentes en la argumentacin cotidiana: si no duermes estars cansado, si
ests cansado no rindes en la escuela; por lo tanto, si no duermes no rindes
en la escuela.
El asombroso parecido de este tipo de argumento con cierto modo de
inferencia silogstica no puede pasar desapercibido, de hecho el nombre que
tradicionalmente se le da a este tipo de inferencia es Silogismo Hipottico.
17
Para ms referencias vase el apndice II de Rubn Rossano.
22
Como veremos ms adelante, el parecido descansa en cierta propiedad de
algunas relaciones que se llama transitividad.
Las relaciones de contencin de las extensiones de un trmino en la extensin
de otro son transitivas. Una manera de representarlas grficamente es
mediante el diagrama siguiente:
Las letras indican el nombre de la clase. Sea P la clase de los perros, M la de
los mamferos y A la de los animales. En este diagrama tenemos, como ya se
haba visto, una forma de representar un silogismo Barbara. La relacin de
contencin entre clases, que es la que est en la base de la silogstica, es
transitiva cuando se trata de juicios universales afirmativos. Es decir, en el
silogismo Barbara se establecen relaciones de contencin entre tres
extensiones de conceptos denotadas por los trminos perro, mamfero y
animal. Esta relacin es transitiva, lo que quiere decir que si P guarda la
relacin C con M y, a su vez, M guarda la relacin C con A, entonces P guarda
la relacin C con A.
Ahora cabe preguntarse si en el modo Barbara del silogismo la relacin entre
lo denotado por los trminos es la de contencin, cules es la relacin entre las
partes del silogismo hipottico? Y ms importante an cules son las cosas
que se estn relacionando en el silogismo hipottico?
El silogismo hipottico no es el nico tipo de inferencia que nos servir para
ilustrar el punto. Cuando alguien sabe la verdad de la oracin el quipo Pumas
ni gan el torneo local ni el continental tambin sabe que es verdadera la
oracin el equipo Pumas no gan el torneo continental. Un ejemplo ms.
Juanito le dice a su mam: si la poltica del gobierno en materia de educacin
no cambia tendr un futuro sombro. Si la madre de Juan toma por verdadera
la sentencia de su hijo y luego se entera de que el gobierno no cambiar su
poltica en materia educativa, podr inferir vlidamente que su hijo tendr un
futuro sombro.
El anlisis lgico del lenguaje que se requiere para explicar sistemticamente
este tipo de inferencias vlidas toma como unidad mnima de anlisis los
enunciados. Es decir, las oraciones declarativas, esto es, aquellos enunciados
23
que son verdaderos o falsos. Llamamos a esta alternativa de si stematizacin
lgica del lenguaje Lgica Proposicional.
Ms adelante se ver como sta y la silogstica se encadenan. La lgica de
proposiciones o de enunciados ya era conocida por los antiguos aunque la
silogstica es la que fue ms desarrollada en siglos posteriores. En la lgica
proposicional se establecen las relaciones de verdad y falsedad que hay entre
enunciados completos. Llammosle entonces a nuestra unidad bsica de
anlisis en este apartado proposicin. Una proposicin es verdadera o falsa.
As, cada uno de los cuatro tipos de juicios de la silogstica, vienen a ser un
mismo tipo de entidad lgico-lingstica bajo nuestro nuevo enfoque.
Todo maestro es un conocedor
Algn brbaro es extranjero
Algn gato no es manso
Ningn activista es manso
Aunque desde el punto de vista de la lgica tradicional, la diferencia esencial
entre estos cuatro juicios es la cantidad y la cualidad; la caracterstica esencial
desde el punto de vista de la lgica proposicional es que son verdaderos o
falsos.
Como dijimos que la lgica proposicional establece las relaciones entre las
proposiciones y hemos dicho que lo esencial en ellas es que son verdaderas o
falsas, hay que definir esta relacin. Decimos pues, que la lgica proposicional
es veritativo funcional. Diremos que podemos formar complejos veritativo
funcionales, es decir, proposiciones complejas en las que su verdad o falsedad
depende o est en funcin de sus partes componentes. De ahora en adelante
adoptamos la expresin valor de verdad para designar los dos valores que
puede tomar una proposicin: verdadero o falso. Diremos que una proposicin
verdadera como algunas aves vuelan tiene valor de verdad verdadero y que
una proposicin falsa como las moscas son mamferos tiene valor de verdad
falso.
Veamos cmo se da esto. Consideremos los siguientes ejemplos:
(1) Todos los perros son mamferos y todos los gatos son mamferos
(2) Todos los perros son mamferos y todas las tortugas son mamferos
(1) es verdadera porque de hecho tanto perros como gatos son mamferos. Sin
embargo (2) es falsa porque aunque los perros son mamferos las tortugas no
lo son.
(3) Fui a la escuela y al gimnasio
24
La verdad de esta proposicin depende de que el que la profiere haya hecho
las dos cosas: ir a la escuela y al gimnasio, si dej de hacer alguna de ellas eso
basta para que su enunciado sea falso. Veamos entonces el caso (3). La
proposicin (3) puede descomponerse en dos proposiciones: Fui a la escuela
y fui al gimnasio. Si ambas son verdaderas del sujeto que las pronuncia
entonces la proposicin compleja fui a la escuela y al gimnasio es verdadera.
En el lenguaje cotidiano disponemos de varias palabras o expresiones que nos
ayudan a conectar proposiciones simples para formar proposiciones
complejas. El caso que acabamos de ilustrar en (1), (2) y (3) es el que
llamaremos de ahora en adelante conjuncin. Por medio de una conjuncin
unimos varias proposiciones de tal manera que el complejo resultante
depender de la verdad o falsedad de las partes.
A esta relacin de dependencia que se da entre un enunciado complejo y sus
partes componentes, atendiendo a la verdad o falsedad de estas partes, de
ahora en adelante la llamaremos funcin veritativa o bien, funcin de verdad.
Funciones
La lgica toma la nocin de funcin de las matemticas. Sin embargo no es
difcil de comprender a qu nos vamos a referir aqu con el trmino funcin
veritativa. Veamos un par de ejemplos bastante sencillos tomados de la
aritmtica.
Tenemos la funcin aritmtica
F(x)= 2x
Si nos restringimos a los nmeros naturales, es decir, a los nmeros enteros
positivos, la funcin F actuar como una especie de mecanismo que tomando
cada nmero natural lo duplicar, arrojando como resultado un nmero distinto:
F(1)= 2(1)= 2
F(2)= 2(2)= 4
.
.
.
F(n)= 2(n)= 2n
Para cualquier nmero n
La funcin acta como una especie de mecanismo: imagine e lector la lnea de
produccin de una fbrica, los nmeros van en una banda mecnica, uno tras
otro. La banda los conduce a una mquina, entran en ella, la mquina hace
algo con ellos y, por el otro lado, sale un nmero distinto. En este caso la
25
mquina es la instruccin 2x que nos dice que tomemos el nmero y lo
multipliquemos por 2. La letra F es solamente el nombre que le damos a
nuestro mecanismo, una manera de referirnos a l. La variable x sirve para
ilustrar que la funcin afectar a un nmero cualquiera cada vez. A ese lugar
que est reservado para ser ocupado cada vez por un nmero natural distinto
lo llamamos argumento
18
de la funcin.
Entenderemos provisionalmente a la funcin como un mecanismo que acta
sobre un conjunto
19
de cosas, al que llamaremos dominio de la funcin. La
funcin le asigna un valor a cada objeto del dominio (en nuestro caso su doble
numrico). Al conjunto de valores que la funcin asigna al dominio le llamamos
imagen de la funcin. Esquemticamente podemos ilustrar nuestro ejemplo as:
ste fue un ejemplo de una funcin de un solo argumento. En aritmtica
encontramos tambin funciones de ms de un argumento. Considrese como
ejemplo la operacin suma. Restrinjmonos nuevamente a los nmeros
naturales. La operacin suma es una funcin que ya no toma como dominio al
conjunto de los nmeros naturales tomados aisladamente. En este caso
nuestro dominio cambiar: ahora el dominio ser el conjunto de todas las
parejas posibles de nmeros naturales, esas parejas sern los objetos del
dominio. La imagen de la funcin sern todos los posibl es valores que la
operacin suma asigna a cada par de nmeros naturales.
En efecto, llammosle a la nueva funcin G, entonces deberamos escribir:
18
Claramente, este uso de la palabra argumento debe desligarse completamente del uso que
venamos haciendo de ese trmino, a saber: un conjunto de premisas de las cules se espera
extraer una conclusin. El uso del trmino referido a funciones no tiene nada que ver.
19
En el captulo 3 daremos un uso tcnico de la palabra conjunto. Por ahora entindasela
como se la entiende en la vida cotidiana: un conjunto es un montn de cosas, una agrupacin
de objetos.
26
G(x,y)= x + y
A manera de ejemplo veamos solamente cmo se aplica la funcin G a tres
pares de nmeros:
G(1,1)= 1+1= 2
G(1,2)= 1+2= 3
G(3,8)= 3+8= 11
La funcin suma toma as un par de nmeros naturales como argumentos,
asignndoles un valor, que es un nmero natural determinado.
Ejercicio: Diga cuntos argumentos tienen cada una de las siguientes
funciones.
a) H(x,y)= x y
b) I(z,w,y)= (2w + 3y) z
c) J(y)= y
d) M(x
1
, x
2
, , x
100
)= x
1
x
2
x
100
e) N(y
1
, y
2
, , y
n
)= y
1
+ y
2
+ + y
n
Verdadero y falso
Dejando de lado la aritmtica y regresando a la lgica, podemos dar una
primera definicin de lo que entenderemos por funcin veritativa: una funcin
veritativa es una funcin que toma valores de verdad como argumentos y cuyo
valor es un valor de verdad. Es decir, en una funcin veritativa tanto
argumentos como valores son valores de verdad. En lo que sigue y para
abreviar, para referirnos al valor de verdad verdadero usaremos una T
20
y para
referirnos al valor falso usaremos una T invertida: .
21
Es momento de hacer un recordatorio. Dijimos que en lgica proposicional la
unidad mnima de anlisis son los enunciados declarativos del lenguaje, es
decir, aquellos que son verdaderos o falsos; les llamamos proposiciones
22
. As,
desde el punto de vista proposicional los enunciados 2+2=4 y Juan Miguel lee
novelas policiacas nos interesan en tanto son verdaderos o falsos. El primer
20
T de true, verdadero en ingls.
21
Es una notacin utilizada en varios textos de lgica matemtica, nosotros la tomamos de
Quine (1950). Una notacin alternativa, igual de sencilla y muy utilizada, es la de asignar 1 al
valor verdadero y 0 al valor falso (ver apndices).
22
Por motivos meramente pragmticos, atendiendo a la simplicidad de la exposicin, estamos
tomando como la misma cosa las proposiciones y a los enunciados declarativos del lenguaje.
Sin embargo hay sutilezas que no deben ser ignoradas en el campo de la discusin filosfica
sobre la lgica. Vase captulo 6.
27
enunciado siempre es verdadero, mientras que el segundo puede ser
verdadero o falso.
Desde ahora se puede ver que nos interesa que proposiciones como stas
sean los argumentos de nuestras funciones de verdad. Pero dado que lo que
nos interesa de ellas es que sean verdaderas o falsas, podemos definir
genricamente cada funcin veritativa en trminos de los meros valores de
verdad. Se entiende que definida en general cada funcin, podr aplicarse
despus a cada caso particular.
As como en aritmtica podemos definir funciones para uno, dos, tres y, en
general, n argumentos. Veamos un ejemplo muy sencillo. Llamemos f
a la
funcin veritativa de un argumento que se define mediante la siguiente regla:
Podemos notar que esta funcin no efecta ningn cambio a su nico
argumento, de manera similar a lo que ocurre en aritmtica cuando
multiplicamos por 1. Tomemos de ahora en adelante funciones de verdad ms
interesantes:
sta es tambin una funcin de un solo argumento, sin embargo esta funcin
lleva a cabo un cambio significativo: cambia lo verdadero por lo falso y lo falso
por lo verdadero. Llamamos a esta importante funcin la negacin lgica. La
negacin lgica es muy importante y es vital por ello entender bien en qu
consiste. La manera adecuada entenderlo es mediante algunos ejemplos.
Cul es la negacin lgica de la proposicin Luis es un gran atleta? Primero,
atendiendo a lo que dice la regla de la funcin Neg, vemos que si Luis es un
gran atleta es un enunciado verdadero, su negacin lgica debe ser falsa. As,
si Luis es efectivamente un gran atleta, debe ser falso el enunciado que dijera
que Luis no es un gran atleta. De la misma forma, si fuera falso que Luis es un
gran atleta, deberemos tomar por verdadero el enunciado Luis no es un gran
atleta.
28
La manera ms sencilla de expresar la negacin lgica en el lenguaje natural
es mediante la partcula no. Sin embargo hay que tener cuidado. Veamos el
siguiente cuadro:
Enunciado Negacin lgica del enunciado
Luis es un gran atleta Luis no es un gran atleta
Rubn lee a Pedro Hispano Rubn no lee a Pedro Hispano
Mario es amigo de Karina Mario no es amigo de Karina
Apreciamos con claridad que los valores de verdad de los enunciados de la
izquierda se invierten correctamente con la negacin propuesta en la columna
de la derecha. Qu pasa con el siguiente ejemplo?
(A) Los animales silvestres son peligrosos
La negacin lgica de (A) es no todos los animales silvestres son peligrosos.
Los distintos giros del lenguaje que suelen usarse para expresar la negacin
lgica son: no, no es cierto que, no es el caso. La forma ms sencilla de
aplicar la negacin en el lenguaje natural para no incurrir en error es anteponer
la negacin a todo el enunciado. Ejemplos: no es el caso que Javier juegue
en Inglaterra, no es cierto que las tortugas vuelan, no es verdad que los
Pumas fracasaron, no es el caso que Luis sea un gran atleta, no hace fro.
Como esta funcin es de gran importancia en la lgica utilizaremos el smbolo
23
para denotarla:
(Luis es un gran atleta)
Aqu se ve de inmediato la necesidad de introducir abreviaturas que permitan
una simbolizacin elegante y sencilla para la lgica proposicional. Si le
asignamos un smbolo especial a nuestra primera funcin proposicional de
relevancia Porqu no asignar tambin smbolos a las proposiciones mismas?
En aritmtica estamos acostumbrados a usar como variables a las ltimas
letras del alfabeto (x, y, z, ). Y sabemos que una x en una ecuacin significa
un lugar que puede ocupar un nmero cualquiera, pero siempre el mismo en
cada aparicin de x en la misma ecuacin. De la misma forma, en lgica
proposicional usaremos ciertas letras para representar variables
proposicionales. Es una convencin aceptada que se utilicen las letras medias
del alfabeto:
23
En otros textos suele usarse el smbolo ~ .
29
p, q, r, s, t
Una variable proposicional es una letra, un smbolo esquemtico, que debe ser
interpretado como una proposicin cualquiera. Sin embargo, una vez que se le
ha asignado a una letra cierta interpretacin, sta debe mantenerse siempre la
misma. Es decir, es incorrecto darle en un mismo contexto interpretaciones
diversas a la letra p, si se le ha asignado una interpretacin determinada, por
ejemplo Luis es un gran atleta.
Convenido esto acerca de las variables, y tomando en esta ocasin p como
Luis es un gran atleta; podemos expresar la negacin lgica de Luis es un
gran atleta con:
p
A esta simbolizacin, por medio de variables proposicionales y smbolos de
funciones veritativas las llamaremos esquemas veritativo-funcionales. Pues son
esquemas generales en los que al sustituir las variables por enunciados
concretos obtenemos un complejo veritativo funcional concreto.
Es hora de explicar el resto de las funciones veritativas que sern de nuestro
inters. Pasemos ahora a funciones de dos argumentos.
A esta importante funcin la llamamos conjuncin. Una conjuncin la verdad de
dos proposiciones, por ejemplo: Luis es un gran atleta y Alberto es un gran
filsofo, Duermo la siesta a las tres y veo T.V. en la noche, Me gusta el futbol
y no me gusta la poltica. La regla de la funcin conjuncin nos dice que es
verdadera slo cuando los dos enunciados componentes son verdaderos. En el
lenguaje natural la palabra que usamos con ms frecuencia para expresar la
conjuncin es y. Pero hay otras palabras que nos indican que estamos frente
a una conjuncin: pero, tambin, sin embargo, etctera. El smbolo que
utilizaremos es . puesto entre las dos proposiciones que forman la conjuncin:
p . q
Ahora definamos la siguiente funcin veritativa:
30
A esta funcin la llamamos disyuncin. Slo es falsa cuando las dos
proposiciones componentes son falsas. Es claro a partir de un ejemplo: si
alguien afirma ver el partido en el estadio o lo ver en T.V. y no hace ninguna
de las dos cosas, su afirmacin ser considerada falsa. Aqu conviene hacer
una aclaracin ms. Algunas veces la disyuncin en el lenguaje natural tiene el
significado siguiente: pasa alguna de las dos cosas pero no ambas. Por
ejemplo: en el desayuno de hoy pedir caf o t. En este caso se entiende
que no puede darse el caso de que pida ambas cosas. Sin embargo este tipo
de ejemplos (el nuevo beb ser nio o nia) dependen de circunstancias en
las que la misma realidad excluye la posibilidad de que los dos enunciados
componentes sean verdaderos. La disyuncin que es admitida en la lgica es
la disyuncin inclusiva, definida en la tabla de arriba. En efecto, cuando alguien
dice Ir al cine o ir al teatro y resulta que va a ambos, no deci mos que minti,
solamente que fue afortunado al tener tiempo y dinero para asistir a ambos
centros de entretenimiento. El giro del lenguaje ms comn para expresar la
disyuncin es o, o esto. o lo otro. El smbolo que usaremos es v:
(p v q)
Aunque conjuncin y disyuncin
24
estn definidas para dos proposiciones
componentes, es posible considerar conjunciones y disyunciones de n
miembros, para cualquier nmero n. Un aspecto de las funciones de verdad
que no habamos hecho explcito pero que el lector ya habr sospechado es
que al definirlas como funciones en las que argumentos y valores son valores
de verdad, lo que hicimos fue admitir que los argumentos de nuestras
funciones son proposiciones y sus valores tambin. Es decir, al combinar dos
proposiciones mediante una conjuncin tenemos como resultado una nueva
proposicin. Esta nueva proposicin tiene un grado de complejidad mayor que
el de sus partes componentes, pero no deja de ser una proposicin, un
enunciado que es verdadero o falso. Por lo tanto, si tomamos dos
proposiciones p y q, y formamos con ella p. q, podemos considerar a sta
ltima como una nueva proposicin, llammosla S. A S le podemos aplicar
una nueva conjuncin: S.r, que, por la notacin empleada aparenta ser una
conjuncin de dos miembros, aunque en realidad lo es de tres (p, q, r). Y as
sucesivamente. Y anlogamente para la disyuncin.
Ejercicio: Atendiendo a las explicaciones de la definicin de conjuncin y
disyuncin, vea el lector si es posible establecer un criterio de verdad o
falsedad para ambas funciones, con un nmero cualquiera n de argumentos.
24
. y v son conocidos tambin como conectivos lgicos, pues esa es su funcin: conectar o
unir dos o ms proposiciones. De manera similar, es conocido tambin como un operador.
31
Agrupacin
En este momento hay que hablar acerca de la agrupacin. En algunos casos,
de hecho en la mayora de ellos, nos las veremos con ms de dos
proposiciones y hay que saber cmo simbolizar apropiadamente para
conservar el significado de lo que queremos expresar con nuestra
simbolizacin. El lenguaje natural tiene sus propios medios para desambiguar
expresiones en las que intervienen varios enunciados.
Por ejemplo: Mxico gana a Holanda o a Uruguay, pero no pierde contra
Corea. Se entiende que Mxico gana a Holanda o a Uruguay es una
proposicin por s misma, en conjuncin son no pierde contra Corea;
simbolizamos la primara con una D y la segunda con una r: D . r. Pero D
es una proposicin compuesta, una disyuncin: Mxico gana a Holanda v
Mxico gana a Uruguay.
Recurriremos al uso de parntesis para dejar en claro el alcance de los
conectivos al simbolizar las proposiciones con nuestras variables. La
proposicin en cuestin quedara as:
(p v q) . r
Donde p es Mxico gana a Holanda, q es Mxico gana a Uruguay y r es
Mxico pierde contra Corea.
Haciendo buen uso de la agrupacin ya podemos evaluar esquemas
proposicionales bastante complejos. Por ejemplo:
a) Evaluar el esquema (p v q) . (r . (p v s)), considerando los siguientes
valores para las variables proposicionales; p: T, q: , r: T, s: T.
Vamos primero con p v s: por la definicin de la funcin negacin p: , s:
Por la definicin de la funcin disyuncin, (p v s):
Por la definicin de conjuncin, (r . (p v s)):
Por la definicin de negacin, (r . (p v s)): T
Vamos ahora con p v q: por definicin de disyuncin, (p v q): T
Ahora, todo junto, por definicin de conjuncin, (p v q) . (r . (p v s)): T
Ejercicios:
1) Simbolizar los siguientes enunciados, ponga atencin en la agrupacin.
i) Juan no comi carne, pero comi verduras o fruta o pasta.
ii) Luis y Pedro no fueron ayer al estadio, o bien, Javier y Rafael fueron al
estadio.
32
iii) Ni Luis, ni Pedro, ni Javier, ni Rafael fueron al estadio ayer.
iv) Nos gusta la lgica o la filosofa pero no nos gusta la qumica ni las ciencias
sociales.
2) Evaluar los siguientes esquemas proposicionales. Considere los siguientes
valores para las variables: p: T, q: , r: T, s: , t: T
i) (r . (s v t)) . p
ii) q v (p v (p . p))
iii) (p . r) v ((r . s) v (t v q))
iv) (p . r) . (s . t)
v) ((p v (q v s)) v (r v s)) v (t v (s v t))
Tablas de verdad
Lo que hemos estado haciendo al definir las funciones veritativas es
equivalente a hacer uso del mecanismo conocido como tablas de verdad. Las
tablas de verdad son un mtodo que tiene mltiples aplicaciones en la lgica
proposicional. La primera de ellas es la que acabamos de utilizar: definir las
funciones veritativas. Ms adelante explicaremos otras aplicaciones de las
tablas que son en general un mtodo de anlisis veritativo funcional. En una
tabla de verdad se enumeran con exhaustividad todas las combinaciones
posibles de valores de verdad para un nmero n de variables proposicionales.
La frmula que se utiliza para calcular el nmero de combinaciones posibles es
la siguiente:
Combinaciones posibles= 2
n
, para n variables proposicionales
Esto es importante, pues como acabamos de hacerlo, al definir una funcin
veritativa para n argumentos es necesario saber cules son todas las
combinaciones posibles de valores de verdad, pues a cada combinacin
distinta debe corresponderle un valor. Si tenemos el enunciado Pedro ama al
futbol y a sus hijos, pero tambin ama a su prjimo debemos saber qu valor
de verdad asignar nuestra funcin conjuncin cuando, por ejemplo, el primer
elemento es falso y los otros dos son verdaderos.
En este caso si tenemos tres proposiciones, el clculo da como resultado ocho
posibles combinaciones. Para ser exhaustivos y desplegar con facilidad todas
estas combinaciones se utiliza la tcnica que se mostrar en la siguiente tabla
de verdad:
33
# p: Pedro ama al
futbol
q: Pedro ama a sus
hijos
r: Pedro ama a su
prjimo
1 T T T
2 T T
3 T T
4 T
5 T T
6 T
7 T
8
Es claro que si estuvieran involucradas cuatro letras proposicionales y por lo
tanto diecisis combinaciones posibles de valores de verdad para ellas, la tabla
tendra que comenzar distribuyendo ocho renglones consecutivos con valor
verdadero, seguidos de ocho renglones con valor falso. A continuacin se
repetira el mismo patrn que se observa arriba: en la siguiente columna se
distribuyen la mitad de valores T y respecto a la columna anterior, y as
sucesivamente. De esta manera se agotan todas las posibilidades dadas para
un nmero cualquiera de variables proposicionales.
De este modo cada rengln nos proporciona una interpretacin posible para un
complejo veritativo funcional dado. Detengmonos en este punto volviendo a
nuestro ejemplo. Decamos que tenamos el siguiente enunciado: Pedro ama
al futbol y a sus hijos, pero tambin ama a su prjimo. Haciendo uso de la
agrupacin adecuada y de la correcta interpretacin de los giros lingsticos
involucrados (pero tambin); la simbolizacin adecuada del enunciado es (p .
q) . r. Supongamos ahora que Pedro en realidad detesta todos los deportes,
entre ellos el futbol, que ama a sus hijos aunque odia a sus vecinos. Sabemos
que bajo estos supuestos nuestro enunciado es falso pues tanto p como r
son proposiciones falsas. Imaginemos ahora un mundo, quizs diferente al real,
en el que Pedro ama a su prjimo y a sus hijos, aunque sigue detestando los
deportes. Bajo esta otra interpretacin nuestro enunciado sigue siendo falso
aunque es claro que es una interpretacin diferente.
En lgica proposicional hablamos de interpretacin en dos sentidos, hasta el
momento. Por un lado, podemos interpretar un esquema veritativo funcional
como (p . q) . r asignndole una proposicin concreta a cada variable
proposicional. Otro sentido de interpretar es cuando asignamos los valores T o
a una variable proposicional dada. En realidad los dos son equivalentes en
tanto que una proposicin concreta es verdadera o falsa en la realidad. Ello por
supuesto puede envolvernos en complicadas polmicas que no abordaremos
por ahora, pues en qu sentido Pedro ama a sus hijos es verdadera o falsa
realmente? Al menos mientras no digamos explcitamente a quin nos
referimos, pues hay muchos sujetos que responden al nombre Pedro. Por
34
ahora no nos ocuparemos de estas dificultades pero las mencionamos de
pasada por no constituir problemas triviales.
De este modo una tabla de verdad puede leerse como una descripcin
exhaustiva de los mundos posibles implicados en el contexto que demanda la
evaluacin de un esquema veritativo funcional complejo. As, en nuestro
ejemplo, el rengln nmero 8 describe el mundo posible en el que Pedro no
ama al futbol ni a sus hijos ni al prjimo en general.
A continuacin y para lo que resta del libro utilizaremos una notacin especial
para las tablas de verdad. En lugar de simbolizar el valor verdadero con T y el
falso con , de ahora en adelante utilizaremos el 1 para decir verdadero y el
0 para decir falso en las tablas de verdad. Al desplegar todas las posibles
combinaciones de valores de verdad para las variables de un esquema
proposicional una tabla de verdad nos proporciona el medio para evaluar
cualquier esquema. Veamos algunos ejemplos.
1) En qu casos es falso el esquema siguiente: (q . (r v (p . q)))? Si
ponemos a la izquierda las tres columnas que les corresponden a cada variable
y a la derecha escribimos nuestro esquema podemos ir evaluando cada
rengln de acuerdo a las definiciones que se dieron anteriormente de las
funciones de verdad o conectivos ., v y el operador . Por supuesto, hay
que atender a todas las precauciones que ya se explicaron en los ejemplos del
apartado anterior.
1 2 3 4 5 6 7 8 9 10 11 12
p q r (p . ( r v (p . q)))
1 1 1 1 0 0 1 0 1 0 0 1
1 1 0 1 1 1 0 1 1 0 0 1
1 0 1 1 1 0 1 1 1 1 1 0
1 0 0 1 1 1 0 1 1 1 1 0
0 1 1 0 0 0 1 0 0 0 0 1
0 1 0 0 0 1 0 1 0 0 0 1
0 0 1 0 0 0 1 1 0 0 1 0
0 0 0 0 0 1 0 1 0 0 1 0
Pudiera parece exagerada la minuciosidad de la tabla, por supuesto que no se
recomienda al estudiante que realice el llenado completo de la tabla cada vez
que quiera realizar el anlisis de un esquema veritativo funcional. En esta
35
excepcional ocasin se hizo para no dejar lugar a dudas de lo que se estaba
haciendo. Hacer este llenado exhaustivo puede resultar incluso perjudicial dado
que visualmente es difcil de observar los detalles relevantes. Obviamente es
redundante el llenado de las columnas 4, 7, 9 y 12. No lo es tanto el llenado de
las columnas 6 y 11 que son la negacin de variables, aunque con la prctica
seguramente se convertir, a la larga, en un paso igualmente trivial. El
sombreado en las columnas 5, 8 y 10 est puesto con la intencin de resaltar
las columnas ms relevantes. Ms relevantes pues en realidad al igual que
6 y 11 son las que corresponden a alguna funcin veritativa, aunque, en este
caso, de dos variables. Sin embargo 5 s tiene un estatus especial, pues en la
columna 5 encontramos la funcin veritativa que domina todo el esquema. Es
decir, aunque en el esquema encontramos varias negaciones, conjunciones y
una disyuncin; la conjuncin que se encuentra en la columna 5 es la que
constituye la forma de todo el esquema. El esquema es una conjuncin; por
supuesto, donde el primer componente es una variable simple, y el segundo es
una disyuncin, disyuncin donde el primer componente es una negacin y el
segundo una conjuncin nuevamente. De este modo, y respondiendo a la
pregunta inicial, el esquema (q . (r v (p . q))) es falso cuando todas las
variables son verdaderas y tambin es falso siempre que la p sea falsa.
Segn el esquema que nos sea propuesto debemos buscar cul es la funcin
veritativa principal, o como suele decirse, cul es el conectivo principal.
Ejercicio I: Determine cul es la funcin de verdad principal para cada uno de
los siguientes esquemas. Ejemplo: (p v (p . r)) funcin o conectiva
principal: negacin.
1) (p v (p . p)) . r
2) (r .p) v ((pvq) . (pv s))
3) |((q . (r . s)) v t]
4) (s . s) . (t v (p . t))
5) [t v (r v t)]
6) (p . r) v (t . s . p)
7) (p v (t . r)) . (t . p) . (p v q)
8) ((p v r) . (t v (p v (q v (p v (s . m))))))
9) (p v (r r)) (p p)
10) (r (p (q v p)))
36
Ejercicio II: Observe las siguientes tablas de verdad y compltelas como es
adecuado. El sombreado indica la conectiva principal. Ponga atencin en el uso
de los parntesis.
p q r
(p v r) .
(q
v r)
0 1
0 0 1
0 1
0 0
1 1
1 0
1 1
1 0
p q r
(p .
q) (q
((p v
r) (p
v r)))
1 1 1 1
1 1 0 1
1 0 1 1
1 0 0 0
0 1 1 1
0 1 0 1
0 0 1 0
0 0 0 1
37
Ms funciones de verdad
Una vez que ya hemos definido qu es una funcin de verdad y definimos las
funciones , . y v; podemos utilizar las tablas de verdad para definir
algunas funciones veritativas ms que sern de gran inters e importancia en
adelante.
p q (p
q)
1 1 1
1 0 0
0 1 1
0 0 1
A esta funcin veritativa la llamamos condicional material. Traducimos entonces
pq como Si p entonces q. Llamaremos al elemento que en este caso ocupa
el lugar de la p el antecedente del condicional y al elemento que ocupa el de la
q, su consecuente.
Veamos: Si te portas bien te compro la bicicleta. Cundo es falsa esta
promesa? Solamente cuando el nio se porta bien y su madre no le compra la
bicicleta. Pero, por qu es verdadero este condicional cuando el antecedente
es falso? Siguiendo el ejemplo podramos decir que si el chico no se porta bien
la promesa no se ha roto, pues es claro que slo hay un modo en el que puede
romperse.
Otras expresiones que suelen usarse en el lenguaje natural y que se pueden
tomar por un condicional material son: p slo si q, q cuando p, siempre que
p, q. Todas estas expresiones se traducen pq. Aunque de hecho parezca
raro que el condicional material sea verdadero cuando el antecedente es fal so
hay que notar que no sera menos raro tomar el condicional falso en lugar de
verdadero en estos casos.
El condicional material sirve para expresar que no es posible que se d el
antecedente sin el consecuente. Claro que podemos errar en esta apreciacin
cuando emitimos juicios en la vida real, por ejemplo: Si Inglaterra juega con
sus mejores hombres ser invencible.
Obviamente cuando se expresan este tipo de oraciones se espera acertar en la
apreciacin de que no puede darse el antecedente sin que se d tambin el
consecuente. No solemos construir este tipo de oraciones con proposiciones
38
que de antemano sabemos que no tienen nada que ver: Si Inglaterra gana el
mundial entonces el hombre llegar a Marte.
Algo que es importante sealar es que el condicional material no expresa
nexos causales. Ciertamente, si sabemos que el que se moje el piso es
consecuencia necesaria de verter lquido sobre l, haremos bien en decir: Si
vertemos lquido sobre el piso entonces ste se mojar. Pero en general, un
condicional material no representa causalidad, pues cuando el condicional es
falso es claro que no hay tal nexo; y aunque fuera verdadero es demasiado
comprometedor decir que es verdadero por necesidad.
Como acabamos de ver, el condicional material expresa la situacin en la que
no es el caso que se d el antecedente y no se d el consecuente, es decir:
(p . q). Y el condicional material resulta ser verdadero cuando el
antecedente es falso o cuando el consecuente es verdadero, es decir: p v q.
Es un hecho importante que las funciones veritativas puedan expresarse en
trminos de otras funciones. Hasta el momento hemos encontrado el modo de
expresar por medio de e . y de y v la funcin .
Ser posible expresar . por medio de v? La respuesta es afirmativa,
siempre y cuando se haga uso tambin de . Slo hay que repasar las
condiciones de verdad y falsedad de la funcin . para ver cmo es posible. La
conjuncin es falsa cuando alguno de sus dos elementos es falso, es decir,
(p.q) (conjuncin falsa) dice lo mismo que p v q (alguno de los
elementos falso).
Algo similar ocurre con la disyuncin: p v q es falso cuando no ocurre ni p ni
q. Es decir: (p v q) expresa el siguiente hecho p . q.
A continuacin nos interesa definir otra funcin de verdad que va de la mano
con ciertas expresiones del lenguaje natural. Mxico ganar la copa siempre y
cuando Uruguay no la gane. Este enunciado expresa dos situaciones: que si
Mxico gana la copa Uruguay no la gana y que si Uruguay la gana entonces
Mxico no hace lo mismo. Otro ejemplo: pasas al siguiente ao si y slo si
apruebas todas tus materias. Es decir, que si apruebas todas tus materias
pasas de ao, pero tambin que si pasas de ao es porque las aprobaste
todas; en suma: no es posible que se d una de las dos cosas sin que se d la
otra.
A esta nueva funcin la llamamos bicondicional material. Equivale a dos
condicionales materiales, es decir, p si y slo si q equivale a si p entonces q y
si q entonces p.
El bicondicional es verdadero cuando los valores de verdad de sus partes
componentes es igual, es falso en cualquier otro caso. Esta ltima explicacin
39
nos sugiere la tabla de verdad que define a la nueva funcin, la que
denotaremos con el smbolo o conectivo :
p q (p
q)
1 1 1
1 0 0
0 1 0
0 0 1
A continuacin conviene hacer algunas observaciones acerca de las cinco
funciones privilegiadas que acabamos de definir: , ., v, y .
Elegimos estas cinco funciones no slo porque sean representativas de
operadores y conectores de oraciones o proposiciones en el habla cotidiana.
Primordialmente les daremos una atencin especial por su papel destacado en
contextos lgicos y por ende, en los contextos cientficos o matemticos que se
valen de la lgica. Es decir, la lgica no le presta atencin a estas funciones
veritativas porque sean de uso comn, sino que son de uso comn porque
expresan relaciones lgicas bsicas.
La primera explicacin que dimos de lo que era una funcin veritativa y la
subsecuente definicin de algunas funciones veritativas que encuentran uso en
la vida real nos lleva a preguntarnos Son stas las nicas funciones de
verdad? La respuesta es no, hay infinitas funciones de verdad, siempre y
cuando haya un infinito nmero de variables proposicionales. Vemoslo
definiendo nuevas funciones con el mtodo de tablas de verdad.
Es claro, por un simple razonamiento combinatorio, que hay cuatro funciones
veritativas de un solo argumento:
p
f
(p)
Neg (p) T(p)
(p)
1 1 0 1 0
0 0 1 1 0
La primera funcin es el ejemplo trivial con el que comenzamos la explicacin
de funcin veritativa; a dicha funcin de manera arbitraria y convencional
elegimos denotarla con el smbolo f
n
O
p
o
s
i
c
i
n
La subalternacin
negativa es semejante
a la subalternacin
afirmativa: en efecto,
de ser cierta la
proposicin universal,
lo es tambin la
particular. As, su
relacin se representa
fielmente por la
frmula mostrada a
continuacin:
Contradictorias
En la contradiccin, ocurre que de ninguna
manera pueden ser ambas proposiciones
falsas o verdaderas simultneamente. La
proposicin universal afirmativa (A)
contradice a la proposicin particular
negativa (I), y viceversa; la proposicin
universal negativa (E) contradice a la
particular afirmativa (O), y viceversa. Por
ello se dice, acerca de la contradictoria de
una proposicin, que es su negacin lgica.
La relacin de contradiccin se muestra
segn se ve en las frmulas siguientes:
Modos de la primera figura del silogismo
68
68
Las figuras y los modos presentados aqu corresponden a los que los escolsticos articularon [Cf. Pedro
Hispano, Tractatus (Summula Logicales)] a partir de la silogstica aristotlica [Cf. Aristteles, Analticos
Primeros]. Lgicos posteriores, como los de Port-Royale, introdujeron nombres nuevos para algunos de los
modos, ms precisamente para aquellos de la llamada cuarta figura [Cf. Arnauld, Logique]. Las abreviaturas
de las reglas de inferencia o equivalencia que han sido utilizadas aqu, y que justifican las operaciones
realizadas con las proposiciones traducidas a lenguaje cuantificacional son: conj., conjuncin; EE.,
Especificacin del existencial; EU., Especificacin del universal; export., exportacin; IE., Introduccin del
existencial; IU., Introduccin del universal; MPP., Modus ponendo ponens; MTT., Modus tollendo tollens;
s.h., silogismo hipottico; simp., simplificacin; transp., transposicin.
Barbara
Lenguaje natural Traduccin formal
Todo heleno es descendiente de
Deucalin y de Pirra. 1.
Todo aqueo es heleno.
2.
3.
EU. 1 x / a
4.
EU. 2 x / a
5. s.h. 4,3
Todo aqueo es descendiente de
Deucalin y Pirra. 6. IU. 5
Celarent
Lenguaje natural Traduccin formal
Ningn hijo de Urano es mortal.
1.
Todo Titn es hijo de Urano.
2.
3.
EU. 1 x / e
4.
EU. 2 x / e
5.
s.h. 4,3
Ningn Titn es mortal.
6. IU. 5
Darii
Lenguaje natural Traduccin formal
Todo hijo de Zeus es divino.
1.
Algn hijo de Alcmena es hijo de Zeus.
2.
3.
EE. 2 x / h
4. EU. 3 x / h
5.
simp. 3
6. MPP. 4,5
7. simp. 3
8. conj. 7,6
Algn hijo de Alcmena es divino.
9. IE. 8
Ferio
Lenguaje natural Traduccin formal
Ningn monstruo habita el Olimpo.
1.
Algn hijo de Equidna es monstruo.
2.
3.
EE. 2 x / c
4.
EU. 1 x / c
5. simp. 3
6. MPP. 4,5
7. simp. 3
8. conj. 7,6
Algn hijo de Equidna no habita el
Olimpo. 9. IE. 8
Modos de la segunda figura del silogismo
Cesare
Lenguaje natural Traduccin formal
Ningn partidario de Cronos es leal a
Zeus.
1.
Todo Hecatonquiro es leal a Zeus.
2.
3. EU. 1 x / b
4. EU. 2 x / b
5. transp. 3
6. s.h. 4,5
Ningn Hecatonquiro es partidario
de Cronos. 7. IU. 5
Camestres
Lenguaje natural Traduccin formal
Todas las Greas son hijas de Ceto.
1.
Ninguna Erinia es hija de Ceto.
2.
3. EU. 1 x / p
4. EU. 2 x / p
5.
transp. 3
6. s.h. 4,5
Ninguna Erinia es Grea.
7. IU. 5
Festino
Lenguaje natural Traduccin formal
Ningn malvado habita los Campos
Elseos.
1.
Algn hijo de Anquises y de Afrodita
habita los Campos Elseos.
2.
3. EE. 2 x / n
4. EU. 1 x / n
5. simp. 3
6.
MTT. 4,5
7. simp. 1
8. conj. 7,6
Algn hijo de Anquises y de Afrodita
no es malvado.
9. IE. 5
Baroco
Lenguaje natural Traduccin formal
Todo Atreida es nieto de Plope.
1.
Algn morador de la Hlade no es
nieto de Plope.
2.
3. EE. 2 x / i
4. EU. 1 x / i
5. simp. 3
6. MTT. 4,5
7. simp. 3
8. conj. 7,6
Algn morador de la Hlade no es
Atreida. 9. IE. 8
Modos de la tercera figura del silogismo
Darapti
Lenguaje natural Traduccin formal
Toda Crite es hija de Hera.
1.
Toda Crite es miembro del squito de
Afrodita. 2.
3. (supuesto existencial)
4. EE. 3 x / e
5. EU. 1 x / e
6. EU. 2 x / e
7. MPP. 5,4
8. MPP. 6,4
9. conj. 8,7
Algn miembro del squito de
Afrodita es hijo de Hera. 10. IE. 9
Disamis
Lenguaje natural Traduccin formal
Algn hijo del dios Cfiro es caballo.
1.
Todo hijo del dios Cfiro es
descendiente de Titanes.
2.
3. EE. 1 x / b
4. EU. 2 x / b
5. simp. 3
6. MPP. 4,5
7. simp. 3
8. conj. 6,7
Algn descendiente de Titanes es
caballo.
9. IE. 8
Datisi
Lenguaje natural Traduccin formal
Los caballos que la diosa
Eos engancha en su carro,
distintos entre s, son
nicamente dos: Faetn y
Lampo.
1.
Al menos uno de los
caballos que la diosa Eos
engancha en su carro es
alado y su nombre
significa el centelleante.
2.
,,
3. EE. 2 z / m
4. EE. 3 y / g
5. EE. 4 x / j
6. EU. 1 y / g
7. EU. 6 x / j
8. simp. 5
9. MPP. 7,8
10. simp. 5
11. conj. 10,9
12. IE. 11
Alguno alado y cuyo
nombre significa el
centelleante es o Faetn
o Lampo, pero no ambos a
la vez.
13. IE. 13
Felapton
Lenguaje natural Traduccin formal
No hay musa alguna que,
o bien habite en el Erebo
o bien cobre venganza por
1.
crmenes de sangre.
Las musas tienen cantos
con los que alegran los
banquetes de los dioses
en el Olimpo.
2.
3. (supuesto existencial)
4. EE. 3 x / e
5. EE. 2 y / f
6. EU. 5 z / c
7. EU. 6 x / e
8. EU. 1 x / e
9. MPP. 7,4
10. MPP. 8,4
11. conj. 9,10
12. IE. 11
13. IE. 12
Algo que tiene cantos con
los que alegra los
banquetes de los dioses
en el Olimpo, no ocurre
que, o habite en el Erebo
o cobre venganza por
crmenes de sangre.
14. IE.
13
Bocardo
Lenguaje natural Traduccin formal
Al menos una cuya madre
es Plyone no pari hijos de
un mortal.
1.
Aquellas quienes tienen a
Plyone por madre tienen
por bisabuela a Gea.
2.
3. EE. 1 x / m
4. EU. 3 y / s
5. EU. 2 x / m
6. simp. 4
7. MPP. 5,6
8. simp. 4
9. conj. 7,8
10. IU. 9
Algo cuya bisabuela es Gea
no pari hijos de un mortal. 11. IE. 10
Ferison
Lenguaje natural Traduccin formal
De las hijas de Mnemsine
y de Zeus, ninguna perdona
a quien se jacta de poderla
superar.
1.
,,
Al menos una de las hijas
de Mnemsine y de Zeus
priv al cantor Tmiris de
voz y de memoria.
2.
,,,,
3. EE. 2 x / u
4. EU. 1 y / p
5. EU. 4 x / u
6. export. 5
7. simp. 3
8. MPP. 6,7
9. simp. 3
10. conj. 9,8
11. IU. 10
Algo que priv al cantor
Tmiris de voz y de
memoria no perdona a
quien se jacta de poderle
superar.
12. IE. 11
Modos indirectos de la primera figura del silogismo
69
69
Si bien aqu se ha optado por mostrar estos modos del silogismo como pertenecientes a la primera figura,
ha de tenerse presente que ello no ha sido siempre considerado lo ms adecuado: estos modos tras
ciertos cambios, pertenecen segn algunos autores, a una cuarta figura. Por cuanto los modos que en ella
estn contenidos no son sino modos indirectos de la primera, algunos, incluso, han tenido por innecesaria
su exposicin como independiente de las otras, juzgndole sustancialmente intil. Por ello, la distincin de
una cuarta figura mostrada en estas pginas no pretende en manera alguna conceder terminante y
definitivamente que tal distincin se constituya como imprescindible o necesaria al aparato silogstico, sino
slo el presentar con mayor claridad cada uno de los modos posibles del silogismo, enfatizando su
distincin. Cabe asimismo mencionar que los trminos utilizados para referir a los modos de la cuarta figura
son aquellos de los que los escolsticos se sirvieron para designar construcciones silogsticas semejantes,
aunque considerndolas como incluidas en la primera figura. Vase, al respecto, la nota al final de este
apndice.
Baralipton
Lenguaje natural Traduccin formal
Las Danaidas asesinas de al menos
uno de los hijos de Egipto fueron
condenadas al suplicio de llenar
eternamente vasijas sin fondo.
1.
,,
Aquellas hijas de Dnao que
residen en el Averno son Danaidas
asesinas de al menos uno de los
hijos de Egipto.
2.
,,
3. (supuesto existencial)
4. EE. 3 x / f
5.
EU. 1 x / f
6.
EU. 2 x / f
7. s.h. 6,5
8. MPP. 7,4
9. conj. 8,4
Alguno de entre los que fueron
condenados al suplicio de llenar
10. IE. 9
70
O Calemes.
eternamente vasijas sin fondo es
hija de Dnao que reside en el
Averno.
Celantes
70
Lenguaje natural Traduccin formal
De ninguno que sea, o bien
Eaco, o bien Minos, o bien
Radamantis -distintos estos
tres entre s-, ocurre que sea,
o bien hijo de Poseidn o bien
de Anftrite.
1.
,,
Todo juez perteneciente al
tribunal de Dis es, o bien Eaco,
o bien Minos, o bien
Radamantis, siendo stos
distintos entre s.
2.
3.
EU. 1 x / d
4.
EU. 2 x / d
5. s.h. 4,3
6. transp. 5
De todos los hijos de Poseidn
o Anftrite, ocurre que
ninguno es juez en el tribunal
de Dis.
7. IU. 6
Dabitis
Lenguaje natural Traduccin formal
Los pjaros monstruosos que
1.
habitaban los alrededores del
lago Estinfalia se alimentaban,
todos, de carne humana.
Algo, de entre lo que posee
pico, alas y zarpas de cobre, es
asimismo pjaro monstruoso
que habitaba los alrededores
del lago Estinfalia.
2.
3. EE. 2 x / a
4. EU. 1 x / a
5. simp. 1
6. MPP. 4,5
7. simp. 3
8. conj. 6,7
Algo que se alimentaba de
carne humana es tambin
poseedor de pico, alas y
zarpas de cobre.
9. IE. 8
Fapesmo
Lenguaje natural Traduccin formal
No hay centauro que no
sea descendiente tanto de
un varn como de una
nube.
1.
No hay alguno que habite
el monte Pelin, tras la
centauromaquia, que sea
centauro.
2.
3. (supuesto existencial)
4. EE. 3 x / q
5. EU. 1 x / q
6. EU. 2 x / q
7. MPP. 5,4
8. MTT. 6,4
9. conj. 7,8
Alguno que es
descendiente de un varn
y de una nube no ocurre
que, tras la
centauromaquia, habite el
monte Pelin.
10. IE. 8
Frisesomorum
Lenguaje natural Traduccin formal
Alguna Moira, si es
Lquesis, hila haciendo
girar su huso, devanando
el tenue hilo de la suerte
de los seres.
1.
Ninguna mujer mortal es
una Moira. 2.
3.
EE. 1 x / l
4. EU. 2 x / l
5. simp. 3
6. MTT. 4,5
7.
simp. 3
8.
conj. 7,6
Algo que si es Lquesis,
hila haciendo girar su
huso, devanando el tenue
hilo de la suerte de los
seres, no es una mujer
mortal.
9.
IE. 8
Modos dbiles del silogismo
71
71
A las cuatro figuras del silogismo los lgicos modernos aadieron estos cinco modos, denominndoles
dbiles puesto que se obtienen por subalternacin de conclusiones universales de otros modos del
silogismo.
Barbari
Lenguaje natural Traduccin formal
Todo dios surgido de la
cabeza de Zeus es Atenea
Palas.
1.
Atenea Palas estaba
armada hasta los dientes
al momento de nacer, y,
en la lucha contra los
Gigantes, mat a Paladio.
2.
,,,
3. (supuesto existencial)
4. EE. 3 x / m
5. EU. 1 x / m
6. EU. 2 x / m
7. MPP. 5,4
8. MPP. 6,7
9. simp. 8
10. conj. 9,4
Algo que estaba armado
hasta los dientes al
momento de nacer y que
en la lucha contra los
Gigantes mat a Paladio,
es dios surgido de la
cabeza de Zeus.
11. IE. 10
Celaront
Lenguaje natural Traduccin formal
Ninguna tarea impuesta
por Euristeo a Heracles
fue, ni realizable para los
mortales, ni sencilla.
1.
Cada uno de los doce
trabajos de Heracles fue
tarea impuesta por
Euristeo a Heracles.
2.
3. (supuesto existencial)
4. EE. 3 x / n
5. EU. 1 x / n
6. EU. 2 x / n
7. s.h. 6,5
8. MPP. 7,4
9. L. de M. 8
10. equiv. de cuantores
11. conj. 4,10
Alguno de los doce
trabajos de Heracles no
fue, ni realizable para los
mortales ni sencillo.
12. IE. 11
Cesaro
Lenguaje natural Traduccin formal
Ningn rayo que no
provenga del bculo
forjado por los Cclopes
para el Crnida fue
lanzado por Zeus.
1.
Todo rayo que venci al
dios-monstruo Tifn fue
lanzado por Zeus.
2.
3. (supuesto existencial)
4. EE. 4 x / f
5. EU. 1 x / f
6. EU. 2 x / f
7. transp. 5
8. s.h. 6,7
9. MPP. 8,4
10. conj. 4,9
Algn rayo que venci al
dios-monstruo Tifn no es
rayo que no proviene del
bculo forjado por los
Cclopes para el Crnida.
11. IE. 10
Camestros
Lenguaje natural Traduccin formal
Todas las manzanas
custodiadas por el dragn
Leto en el jardn de las
Hesprides son obsequios
a Hera debido a su nica
boda.
1.
Ninguna manzana en la
que ha sido inscrita la
frase A la ms bella es
obsequio a Hera debido a
su nica boda.
2.
3. (supuesto existencial)
4. EE. 3 x / d
5. EU. 2 x / d
6.
EU. 1 z / d
7. transp. 5
8. s.h. 6,7
9. MTT. 8,4
10. conj. 4,9
Alguna manzana en la que
ha sido inscrita la frase A
la ms bella, no es
manzana custodiada por
el dragn Leto en el jardn
de las Hesprides.
11. IE. 10
Calemos
Lenguaje natural Traduccin formal
Toda Mnade es
mujer enloquecida
por influjo de un
cierto nctar
dionisaco.
1.
Ninguna mujer
enloquecida por
influjo de un cierto
nctar dionisaco es
enemiga de Sileno.
2.
3. (supuesto existencial)
4. EE. 3 x / j
5. EE. 1 z / j
6. EE. 2 x / j
7. equiv. de cuantores
8. equiv. de cuantores
9. s.h. 5,8
10. MTT. 9,4
11. conj. 4,10
Alguna enemiga de
Sileno no es
Mnade.
12. IE. 11
Sobre el Silogismo
Moiss Rubn Rossano Lpez
Silogismo tiene su origen directo en la expresin griega , y en una
de sus ms llanas acepciones pero no por ello impropia o imprecisa
significara lo que hoy en da tambin nombramos por clculo, aunque
ciertamente no circunscribiendo el sentido de esta palabra dentro de la
matemtica, como suele usualmente hacerse.
Pues silogismo bajo esta acepcin, bastante general referira precisamente
al acto que es el clculo, es decir, a una cierta conjetura, cuya realizacin, en el
pensamiento, no es posible nica y exclusivamente entre entes matemticos (de
nuevo, a pesar de que, en la actualidad, en el uso del trmino casi se tenga por
sobreentendido que se habla de estos ltimos). Tal conjetura no es sino el
razonamiento, o la operacin propia de la razn que es funcin de la inteligencia.
Muy pronto, sin embargo, y con l, posteriormente, tambin
nuestro silogismo signific, no ya slo a tal operacin, sino asimismo a la
expresin de sta, significacin que la palabra finalmente adquiri como propia:
de ah que suele ocuparse al referirse, no al razonamiento, sino a la expresin
de ste aunque en el uso comn no se discierna entre uno y otro por factores
diversos: en efecto, ambos son discursos que competen propiamente a la razn
(y su carcter, por consiguiente, es mediato).
Hallamos muchas veces, de esta manera, que uno u otro trmino designan
indistintamente a la operacin o a su expresin, o incluso al producto de la
operacin an no expresado, es decir, al ente de pensamiento que es obra de la
misma operacin de la razn; no obstante, al hablar con precisin, hay una
cierta distincin entre estos tres aspectos del razonamiento (la operacin misma,
lo producido por ella que es ente de pensamiento, la expresin de lo producido),
aunque suela hacerse uso de un mismo trmino para referir a cualquiera de
ellos.
En cualquier caso, silogismo bien podra significar lo mismo que
razonamiento: siguiendo la tantas veces citada definicin de Aristteles, el
silogismo es un discurso en el que dadas ciertas cosas resulta necesariamente
otra, por el hecho de ser dadas aquellas, y ha de verse que tal definicin ajusta
tambin al razonamiento, en tanto es precisamente un discurrir del
entendimiento.
El entendimiento es precisamente eso que va de aqu a all es decir, que
discurre, y aun el silogismo as propiamente llamado supone este movimiento
(pues un silogismo no es tal slo por hallarse, en tanto expresin, escrito o
pronunciado, sino que se consuma slo cuando el entendimiento discurre lo que
se halla expresado; en otras palabras, se dice que es un silogismo en cuanto
formalmente es tal, y al saberse esto ltimo sbese asimismo qu discurrimiento
hay implcito en l, discurrimiento que no es sino un razonamiento). As, el
silogismo es ya de alguna manera un razonamiento; de ah que tanto
razonamiento como silogismo, aunque puedan utilizarse con propiedad y
precisin para discernir entre la operacin de la razn y la expresin de sta,
refieren ambos directamente a tal operacin, a ese discurrir del intelecto, siendo
que la definicin antes citada del silogismo lo es tambin del razonamiento.
Hasta aqu, dirase de la expresin de cualquier razonamiento que es un
silogismo? No exactamente. Pues se dice de un silogismo que es tal
propiamente cuando su conclusin est dada necesaria (por la imposibilidad, en
virtud de la argumentacin misma que es el silogismo, de refutar la negacin de
la contradiccin de esa conclusin) y deductivamente a partir de sus premisas, y
ms an, cuando lo que se sujeta y predica en la conclusin se liga en virtud de
un universal que se coloca como aquello que llmase trmino medio. En los
razonamientos inductivos, por ejemplo, la conclusin puede considerarse como
obtenida necesariamente, pero sujeto y predicado en ella no se ligan de esta
manera. As, llamamos propiamente silogismo o bien, silogismo categrico a
la expresin del razonamiento deductivo.
Ahora bien, el silogismo exige modo y figura [Pedro Hispano, Tractatus; IV, 3];
esto es, requiere ordenacin de los tres trminos que constituyen las
proposiciones premisas de acuerdo a la disposicin del trmino medio en ellas, y
ordenacin adecuada de cada una de las proposiciones premisas en cualidad y
cantidad. As, por ejemplo, tenemos una figura cuando, en dos proposiciones, el
sujeto de la primera es predicado en la segunda, como en
Toda llanura frtil es habitable
Esdreln es llanura frtil
Cuntas figuras del silogismo resultan de esta ordenacin, por consiguiente?
Se consideran tres figuras: aquella en la que lo sujetado en la pri mera
proposicin se predica en la segunda (como en el ejemplo anterior); aquella en
la que se predica lo mismo en ambas; y aquella en la que ambas tienen el
mismo sujeto. Y dadas las figuras, cuando descartamos las combinaciones de
premisas universales o particulares y afirmativas o negativas de las que no se
obtiene conclusin alguna, tenemos entonces tambin los modos posibles, que
son cada uno de los que se ejemplifican y traducen a lgica de cuantores en
este apndice.
No obstante, la primera figura, en la que se hallan los modos perfectos del
silogismo (Barbara, Celarent, Darii, Ferio), permite tambin ciertos modos cuyas
conclusiones han sido llamadas indirectas, por cuanto su carcter, siendo
particular, habra por necesidad de ser universal. La escolstica les consider
como incluidos en la primera figura [Cfr. Pedro Hispano, Tractatus; IV, 6]; mas
otros, incluso anteriores, haban ya sugerido que estos modos constituan otra
figura del silogismo -a saber, la cuarta. El reconocimiento de una cuarta figura
cual distinta e independiente, as como su exposicin, se atribuyen por lo
general a Galeno, si bien se tiene a Teofrasto de Lesbos como el primero quien
dispuso sus modos de manera explcita.