Anda di halaman 1dari 47

CAPTULO II

, ,
LOGICA MATEMATICA
CAPTULO II
LGICA MATEMTICA
Esta lgica tambin es conocida con los nombres de lgica simblica y
lgica lTIoderna, se desarroll muchos aos (incluso siglos) despus de la
lgica general y no fue obra de un solo filsofo y / o lgico, porque como
afirman Delia Teresa Echave, Mara Eugenia Urquijo y Ricardo Guibourg
se inici " . .. a lo largo del siglo XIX en los trabajos de De Margan (1806-1876),
Boole (1815-1864), Frege (1848-1925) y Peana (1858-1932)"144.
)
La lgica clsica tiene limitaciones: 1. utiliza principalmente urt
lenguaje naturaF45, el cual es ambiguo, porque una palabra puede tener
ms de un significado, y tal vaguedad se puede reflejar en toda una
discusin intil, adems el uso de dicho lenguaje, supuso para muchos
filsofos y / o lgicos, vinculaciones de la lgica con la gramtica y la
ontologa, tal y como se seal al desarrollar la funcin enunciativa de
los juicios en el primer captulo; y, 2. las formas del silogismo aristotlico
son simblicas, pero como afirm George Boole en su libro publicado por
primera vez en 1847 llamado El anlisis matemtico de la lgica
146
, dichos
smbolos son menos perfectos que los de la matemtica.
144 Echave, Delia Teresa, y otros. Lgica, proposicin y norma. Argentina, Editorial Astrea,
2002, sexta reimpresin de la primera edicin, pgina: 27.
145 Mara Cristina Campagna y Adriana Lazzeretti definen el lenguaje natural como aquel
" ... que se hereda, que transmite las costumbres y los usos de una cultura". Campagna, Mara
Cristina; y Adriana Lazzeretti. Op. cit., pgina: 14. .
146 Boole, George. El anlisis matemtico de la lgica. Traduccin de: Esteban Requena Manzano;'
Espaa, Ediciones Ctedra, Sociedad Annima, 1984, segunrl F.l edicin, pgina: 48.
57
u jcIC'\ WUJ I/( . \ : 11\) L,' '/W.\ I/ .N ( ) Ii\i / )J</'UV"; \I: ./ l'iW: \ U f UI :;: y U . .. \ /{()GAPU U UC/ \ ,\' Fr
Con el uso de un lenguaje simblico, la lgica matemtica supera
los lmites de la lgica general, porque aquella lgica utiliza smbolos
ms perfectos, ya que cada uno posee un significado nico para evitar
imprecisiones o equivocaciones en los razonmnientos, y no se le vincula
con la gralntica ni la ontologa.
A. DEFINICIN
Esta lgica se ha definido de la siguiente manera:
1. Antonio Gonzlez la define COlno: " ... una disciplina formal que
estudia la relacin de inferencia y sus elementos, tratando de determinar las
formas fundamentales de la inferencia correcta "147;
2. Jos Ferrater Mora y Hugues Leblanc afirman que la lgica
matemtica es una disciplina formal que se ocupa nicamente de
estructuras formales de los razonamientos y de los enunciados,
representados por snlbolos que expresan partculas gramaticales como los
adjetivos cuantitativos, la cpula "es" o "no es", la conjuncin condicional
"si ... entonces ... ", y de las relaciones entre dichas estructuras
l 48
;
3. Jorge Witker y Rogelio Larios expresan que es una ciencia formal
" ... que se ocupa del anlisis del razonamiento y del uso del lenguaje atendiendo
a sus elementos formales o sintcticos "149; y,
4. El diccionario Wikipedia precisa su naturaleza como: " ... la disciplina
que se vale de mtodos de anlisis y razonamiento utilizando el lenguaje de
las matemticas como un lenguaje analtico. La lgica matemtica nos ayuda
a establecer criterios de verdad, equivalencias lgicas tales como el silogismo,
hacer demostraciones de teoremas y es auxiliar en el anlisis de argumentos
planteados "150.
En las definiciones citadas existen las siguientes semejanzas: 1. todas
tienen en comn que la lgica matemtica tiene carcter "formal", el
cual ya estaba sealado en la lgica aristotlica pero a un nivel inferior,
porque sus smbolos (utilizados para representar los trminos de las
proposiciones en un silogismo) no eran suficientes para determinar la
147 Gonzlez, Antonio. Op. cit., pgina: 117.
148 Ferrater Mora, Jos, y, Hugues Leblanc. Op. cit., pginas: 9-13 y 20.
149 Witker, Jorge, y Rogelio Larios. Op. cit., pginas: 3, 72 Y 73.
150 Lgica matemtica. Wikipedia, la enciclopedia libre. Disponibilidad y acceso:
es.wikipedia.org/wiki/Lgica_rnaterntica. Fecha de consulta: 19 de junio de 2006.
58
/. /< - / n .; \j .' \ \ '1 )i ) 1,' \ \//:,/\ IWS .. IU. c; C/\.'\ ,\1. I jl)
validez o invalidez de un razonamiento. En la ltlna definicin no es
explcito este elemento, pero el mismo se detern1ina por el uso del lenguaje
de las matemticas en la lgica como un lenguaje analtico para el estudio
de su objeto; 2. las definiciones de Antonio Gonzlez, Jos Ferrater Mora,
Bugues Leblanc, Jorge Witker y Rogelio Larios, todas expresan que el
objeto de estudio de la lgica matemtica es el "razonamiento", con la
salvedad que Antonio Gonzlez en su definicin utiliza el trmino de
"relacin de inferencia", como sinnin10 de "razonamiento", pero aqul
no es idntico a ste, tal y como qued aclarado al estudiar esta ltima
forma general del pensamiento en la lgica general; y, 3. la definicin
de Jos Ferrater Mora, Hugues Leblanc, Jorge Witker, Rogelio Larios
y la contenida en el diccionario Wikipedia comprenden en diferentes
trminos el uso del lenguaje simblico o de las matemticas en la lgica
moderna.
Entre las diferencias de las expresiones de la esencia del concepto
de lgica simblica, a parte de las derivadas -naturalmente- de la no
semejanza total entre los elementos de las mismas, la ms importante
radica en que la contenida en el diccionario Wikipedia no expresa el
objeto de estudio de la lgica matemtica, sino su finalidad, pero con tal
discrepancia se produce su complementariedad.
Como resultado del examen comparativo indicado, se puede definir
la lgica matemtica como una ciencia formal que estudia los conceptos,
los juicios y los razonamientos, los cuales son representados con el uso
del lenguaje simblico de la matemtica a partir del anlisis de las formas
COlno se expresan dichos elementos del pensamiento: los trminos, las
proposiciones y los argumentos o los silogismos, respectivamente, para
determinar la validez del raciocinio en base a las relaciones formales de
sus elementos.
B. LGICA PROPOSICIONAL
Es una parte de la lgica matemtica que se le nombra de diferente
forma:
1. Delia Teresa Echave, Mara Eugenia Urquijo y Ricardo Guibourg
151
la llaman lgica proposicional, porque para ellos la proposicin es el
elemento general del pensamiento que se constituye de conceptos, en el
151 Echave, Delia Teresa, y otros. Op. cit., pginas: 35-37.
59
U JO c" \ } Ll Rl u /C \: 1 \' ,'1 '/'1\ L! '\ JE' ,\JU l \ ' j) /SN' ,\', , \/U,/l l. \ /\A L.I L/ U Y 1"/ ,,\!IUC:' \ j'
1
U I./ rt C, I N'/'l :
que uno se afirma o niega a otro, o dicho de otro modo, la proposicin es
el contenido de su expresin verbal llamado enunciado; y,
2. Jos Ferrater Mora y Hugues Leblanc
152
la llaman lgica sentencial
(de sentencia), porque, para dichos lgicos, juicio es el acto lnental
mediante el cual se une o separa conceptos mediante su afirn1acin o
negacin, respectivamente, proposicin es el producto de dicho acto,
es el pensamiento mismo, y la sentencia, es un conjunto de signos con
los que se expresan las proposiciones (es la manifestacin verbal de la
proposicin) .
Con base a lo que se estudi en lgica clsica, los lgicos indicados
tanto en el numeral"l." como en el "2.", llaman proposicin a lo que
se aprendi como juicio, con la diferencia de que los primeros llaman
a la manifestacin verbal de dicho elemento general del pensamiento
"enunciado", y los segundos "sentencia". Para los efectos de mantener
un sentido unvoco de los trminos en consideracin en este trabajo de
investigacin, se seguir firme con las ideas expresadas en la lgica de los
enunciados: juicio no es el acto por el cual el entendimiento une o separa
dos ideas o conceptos, mediante la afirmacin o la negacin, porque es
el producto de dicho acto, es el pensamiento mi SIlla que se constituye
de conceptos, en el que uno se afirma o niega a otro, y su manifestacin
verbal se llama proposicin o enunciado.
Con fundamento en lo que se entiende por juicio y proposicin o
enunciado, se puede resaltar la diferencia sustancial que supone llamar a
esta parte de la lgica simblica de diferente fonna: si se aplica la nocin
de Delia Teresa Echave, Mara Eugenia Urquijo y Ricardo Guibourg,
realmente se tratara de una lgica de juicios (porque para dichos filsofos
la proposicin es lo que se ha definido como juicio), pero si se atiende la
concepcin de Jos Ferrater Mora y Hugues Leblanc, se tratara de una
lgica de proposiciones (porque para los citados lgicos la sentencia no
es ms que la expresin de un juicio).
En esta monografa se llamar a esta parte de la lgica moderna como
lgica proposicional, porque a partir del anlisis de las proposiciones o
los enunciados se representan su objeto de estudio.
152 Ferrater Mora, Jos y Hugues Leblanc. Op. cit., pginas: 23 y 24.
60
L/ e Ffl U\j /\ \ 'j)() J. IVIEP, l<OSAIJ.r; u,/ \'\/,'\j()
Aclarado el problema de terminologa, se definir la lgica
proposicional:
1. Antonio Gonzlez la define como una parte de la lgica matemtica
que estudia lgicamente inferencias sin tener en cuenta la estructura
interna y los componentes de las proposiciones que la integran
153
;
2. Jos Ferrater Mora y Hugues Leblanc la definen como una rama
de la lgica matemtica " .. . que trata de las sentencias como unidades y de
b
"154
sus com maClOnes... ;
3. Jos A. Diez Calzada la define como parte de la lgica moderna
que estudia " ... la validez de los argumentos cuya validez depende slo de las
conexiones entre afirmaciones (proposiciones/enunciados) completas. La lgica
proposicional debe explicar o poner de manifiesto los motivos por los que ciertos
esquemas argumentativos son vlidos ... y ciertos otros son invlidos ... "155; y,
4. Mara Cristina Campagna y Adriana Lazzeretti la precisan como
la lgica que se dedica al estudio de la determinacin de la validez o
invalidez de algunos razonamientos sobre la base de las relaciones de
las proposiciones que los integran 156.
Las diferencias entre las definiciones son las siguientes: 1. por el
nombre de los elementos: nicamente Jos Ferrater Mora y Hugues
Leblanc se refieren al estudio de las" sentencias", empero tal diferencia
nominal se aclar al abordar el tema del nombre de esta parte de la
lgica matemtica; y 2. por su objeto de estudio: Antonio Gonzlez
afirma que son las inferencias; Jos A. Diez Calzada, los argumentos
y, Mara Cristina Campagna y Adriana Lazzeretti, los razonamientos.
No se puede admitir que el nico objeto de la lgica proposicional
son las inferencias, porque como se expres en la lgica general, tal
nombre hace alusin a la derivacin de un juicio de otros, aunque en
la lgica moderna se extiende su sentido incluso al paso de varios
juicios de otros. Lo que s estudia la lgica proposicional son los
razonamientos, los cuales son significados a partir del anlisis de
las formas como se expresa dicho elemento del pensamiento: los
153 Gonzlez, Antonio. Op. cit., pginas: 117 y 118.
154 Ferrater Mora, Jos y Hugues Leblanc. Op. cit., pgina: 24.
155 Diez Calzada, Jos A. Op. cit., pgina: 35 y 36.
156 Campagna, Mara Cristina; y Adriana Lazzeretti. Op. cit., pgina: 64.
61
/.( )(; /C, \ I L1f\JI l /e. \: / \ST/\LI :\ /:'.\ /'1 l 1 \ ' / )1 SI'J' \ ... , \ l iI l ' l ' \ 1, \ 1 1 11 1/'.>: y 1,/ .'\ lit )c; ,\ IX ) uTl e .. \ NrF
argumentos y los silogismos1
57
, siempre y cuando sus proposiciones
puedan ser representadas simblicamente de forma completa sin
atender sus cOlnponentes.
La ltlna diferencia ll1uestra tambin algo en comn en las
definiciones de los lgicos indicados: 1. Antonio Gonzlez lo hace
ver con la expresin " ... sin tener en cuenta la estructura interna y los
componentes de las proposiciones que la integran ... "; 2. Jos Ferrater Mora y
Hugues Leblanc al indicar " ... sentencias como unidades ... "; 3. JosA. Diez
Calzada en " .. . argumentos cuya validez depende slo de las conexiones entre
afirmaciones (proposiciones/enunciados) completas ... "; y, 4. Mara Cristina
Cmnpagna y Adriana Lazzeretti al sealar " ... algunos razonamientos
sobre la base de las relaciones de las proposiciones que los integran". En
efecto, todas esas expresiones denotan la 'semejanza y la limitacin de
la lgica proposicional: esta parte de la lgica matemtica nicamente
analiza los argumentos y los silogismos en los que se puede representar
simblicamente sus proposiciones sin considerar los elementos que las
integran (los trminos de los que consta cada proposicin: sujeto, cpula
y predicado). De los silogismos estudiados en lgica general, pueden ser
perfectamente simbolizados por la lgica proposicional el hipottico, el
disyuntivo y el dilema, porque los otros tres: el categrico, el entinema
y el epiquerema, se tendra que significar tambin los trminos de las
proposiciones para determinar su validez. Para establecer la correccin o
validez de estas formas del silogismo y argumentos ms complicados, los
lgicos han creado otra rama o parte de la lgica matemtica, constituida
de un lenguaje simblico ms complejo, que denominan lgica de
predicados, lgica de primer orden o lgica cuantificacional elemental,
pero el estudio de la misma no est dentro de los objetivos de este trabajo
de investigacin.
Aclarado lo anterior, se puede definir la lgica proposicional como la
parte de la lgica matemtica que estudia los juicios, las relaciones entre
juicios y los razonamientos, los cuales son significados con el uso de un
lenguaje simblico a partir del anlisis de las formas como se expresan
157 Todo argumento es un silogismo, pero no a la inversa, porque como se desarroll al
estudiar la forma del pensamiento ms compleja en la lgica general, el argumento
es un acto de habla de carcter pragmtico con la simple pretensin de formar una
secuencia de proposiciones (que constituyen cualquier tipo de razonamiento), y el
silogismo se concibe como la expresin verbal del razonamiento deductivo.
62
/. /e. /D\ N. \/'J /lU \V/U' f )" "IIJ',') (;/.:-\'\ '\JU
dichos elen1entos del pensamiento: las proposiciones, sus relaciones y los
argumentos o los silogismos, pero slo en el caso de que los enunciados
puedan ser representados simblicamente de forma completa sin atender
sus componentes, para determinar la validez o invalidez del raciocinio.
1. Variables proposicionales
Son los signos que representan proposiciones declarativas
158
,
y se simbolizan con las letras "p", "q", "r", "s", "t" y siguientes
letras del alfabeto. En caso de que en un argumento existan muchas
proposiciones, que excedan en nmero a las variables indicadas, se
suele aplicar subndices a las mismas para tener una serie ms extensa,
pero en cualquier caso, una proposicin determinada ser representada
por slo una variable proposicional, por ejemplo: "si Pedro colisiona
deliberadamente con su vehculo, entonces Pedro ser responsable por
los daos causados. Pedro colisiona deliberadamente con su vehculo.
Luego, Pedro ser responsable por los daos causados", la proposicin
"Pedro colisiona deliberadamente con su vehculo" se representa por la
variable "p", y "Pedro ser responsable por los daos causados" por
"q", entonces tal forma del pensamiento se simboliza as: "Si p entonces
q. p. luego, q".
Las variables proposicionales pueden ser verdaderas o falsas, segn si
la proposicin que representan tenga uno u otro valor, y se simboliza
con las letras V o F, o por los nmeros 1 0, respectivamente
159
. Tales
valores de verdad no significan que lo expresado en la proposicin refleje
la realidad, porque tienen un sentido puralnente formal para determinar
la validez de los argumentos.
158 Jos Ferrater Mora y Hugues Leblanc advierten acertadamente que las variables de la
lgica proposicional representan nicamente proposiciones declarativas, expresadas
en gramtica en modo indicativo, porque las proposiciones o enunciados en modos
subjuntivo e imperativo son representados tambin por smbolos pero por otras
lgicas, por ejemplo, los imperativos son objeto de estudio de la lgica dentica.
Tales filsofos usan el trmino "sentencia" en vez de "proposicin", pero se aplic
su pensamiento a esta ltima nocin para que los trminos de este trabajo de inves-
tigacin se entiendan en el mismo sentido. Ferrater Mora, Jos y Hugues Leblanc.
Op. cit., pgina: 24.
159 Porque las variables proposicionales pueden tener uno de dos valores: verdadero p
falso, esta lgica tiene la caracterstica denominada "bivalente". Campagna, Mara
Cristina; y Adriana Lazzeretti. Op. cit., pginas: 115 y 116.
63
( l CICl J J NST1W /\:/ C\I' I\ ) I NU! S PE \!.<;; ,. \nU {J,.HU "l .' L.II:./ Y :- I, . IHUC.\ IX} u nc,.,IJv n:
2. Constantes o conectivas lgicas y tablas de verdad
Las constantes o conectivas lgicas son los signos que representan las
relaciones entre las proposiciones, comnmente simbolizan conjunciones
del lenguaje natural. Las constantes ms frecuentes son las siguientes:
a. Negador
En lgica proposicional el negador es una conectiva lgica representada
con el smbolo" -", que se antepone a la variable proposicional a negar,
verbigracia: "-p". Esta expresin se lee "no p" o "no es el caso que p".
El negador cambia el valor de verdad de la variable proposicional que
antecede, as, si "p" es verdadera, "-p" ser falsa, y si "p" es falsa, "-p"
ser verdadera.
Lo anterior se expresa en la siguiente tabla de verdad:
p -p
1 O
O 1
En lenguaje natural el negador es la negacin que se representa
usualmente con las palabras: a.l. "ningn" antes del sujeto de la
proposicin; a.2. "no" antes del verbo de la proposicin; o, a.3. "nunca"
antes del verbo de la proposicin, por ejemplo: "Ningn" pjaro es
un animal racional, Fernando "no" viajar a Italia y Mara "nunca" ha
visitado las playas de Guatemala. El ejemplo proporcionado en la literal
"a.l.", es un enunciado que significa un juicio universal negativo, el
cual no es objeto de estudio de la lgica proposicional, porque forma
parte de silogismos categricos o argumentos ms complejos que para
representarlo se tendra que simbolizar los trminos que lo integran, por
lo que es objeto de estudio de la lgica de predicables.
Delia Teresa Echave, Mara Eugenia Urquijo y Ricardo Guibourg
muestran la versatilidad del lenguaje natural para referirse a la negacin
con el uso de las siguientes expresiones: "es inexacto que ... ", "es mentira
que ... "160.
160 Echave, Delia Teresa, y otros. Op. cit., pgina: 52.
64
1.1e. l<o.-;,,,\ L.C.'1 CR/\.\l.AJU
b. Coyuntor
Es una constante o conectiva lgica representada con el smbolo" /\",
el cual se sita entre dos variables proposicionales, por ejemplo: "p /\
q". Esta expresin se lee "p y q", la cual representa una proposicin que
ser verdadera slo en el caso que las dos proposiciones que la integran
tambin sean verdaderas.
La siguiente tabla de verdad de esta constante refleja lo manifestado:
p
1
1
O
O
/\
1
O
O
O
q
1
O
1
O
En lenguaje natural el coyuntor es la conjuncin copulativa "y", la
cual establece una relacin de unin entre las proposiciones, empero,
tambin cumplen esa funcin las siguientes palabras: "pero", "aunque" y
"sin embargo", por ejemplo: Alejandro quera estudiar "pero" olvid sus
libros, Roberto construy la casa, "aunque" no se ajust a todo lo indicado
en el plano y Miguel nunca fue un buen estudiante, "sin embargo" en el
ejercicio profesional es brillante.
c. Disyuntor
Es una conectiva lgica representada con el smbolo "v", el cual se ubica
entre dos variables proposicionales, verbigracia: "p v q". Esta expresin se lee
"p o q", la cual representa una proposicin que ser verdadera si allnenos
una de las dos proposiciones que la constituyen es verdadera, o lo que es
igual a decir que nicamente ser falsa si sus dos proposiciones son falsas.
La tabla de verdad de esta conectiva es la siguiente:
p
1
1
O
O
v
1
1
1
O
q
1
O
1
O
En el lenguaje natural el disyuntor es la conjuncin disyuntiva" o", la
cual presenta una alternativa entre las proposiciones, por ejemplo: Javier
65
I U ~ / . \ 1I J/:.:. inl c \: I N\' I J' /. /,\ II :.\I/ () 11\I / 1J.<,PL\"1.' \n1 I I' 1/\ . \ I . W./ ) 1.'1 . . \I :C)( ;.\1 lU unc. \,\i ti:
decidi ir a sus clases de piano" o" a sus clases de lgica. La conjuncin
en consideracin puede tener otro sentido, tal y como se muestra en el
ejemplo indicado, porque en el uso cotidiano de dicha partcula puede
significar que es verdadera solamente si una de las proposiciones es
verdadera, es decir, que es falsa si las dos son verdaderas y si las dos son
falsas. Sin embargo, como expresan Delia Teresa Echave, Mara Eugenia
Urquijo y Ricardo Guibourg, en la lgica silnblica es lns frecuente el uso
del primer tipo de disyuntor, denominado "incluyente", porque permite
definir otras constantes o conectivas lgicas
161
.
Jos A. Diez Calzada agrega que la disyuncin inclusiva, la que es
falsa solamente si sus dos simples que la integran son falsas, tambin
se expresa en el lenguaje natural con la frase " ... y a menos que ... ", y la
disyuncin exclusiva con la siguiente: "o talo cual"162.
d. Condicional o implicador
Es una constante o conectiva lgica representada con el smbolo
/1 7 /1, el cual se coloca entre una proposicin denominada antecedente
o condicin y otra proposicin llamada consiguiente o condicionado,
por ejemplo: /l p -7 q". Esta expresin se lee "si p entonces q" o "p es
condicin suficiente de q", la cual representa una proposicin que
ser falsa nicamente si el antecedente es verdadero y el consiguiente
es falso.
Lo expresado se traduce en la siguiente tabla de verdad:
p
1
1
O
O
1
O
1
1
q
1
O
1
O
Se afirm que la variable "p" es condicin sufisiente de "q", esto
significa que, como explican Delia Teresa Echave, Mara Eugenia
161 El disyuntor incluyente es una conectiva lgica que, junto con el negador, se puede
definir las restantes constantes: el coyuntor, el disyuntor excluyente, el condicional
y el bicondicional, empero, el disyuntor excluyente nicamente puede definir, junto
con el negador, el bicondicional. bid., pginas: 55, 94-96.
162 Diez Calzada, Jos A. Op. cit., pgina: 57.
66
L/e. l TR,\ / I \OU /\0.'-, .. \/. L> C/\ / I /\ // I /U
Urquijo y Ricardo Guibourg, de la verdad de "p" se puede afirmar la
verdad de "q", o la verdad del antecedente es condicin suficiente de
la verdad del consecuente, pero existe otra relacin, el consecuente es
condicin necesaria del antecedente, es decir, que de la falsedad de "q"
se puede aseverar la falsedad de "p"163. La dilucidacin de estos tipos
de condiciones aclara la primera y la cuarta combinacin de valores de
verdad de las variables proposicionales en la tabla de verdad relacionada
y las reglas del silogismo hipottico estudiadas en el primer captulo, en
particular las identificadas con los numerales romanos "i." y "iv.".
En lenguaje natural el condicional corresponde a la conjuncin
condicional" si ... entonces ... ", aunque tambin se evidencia con la expresin
JI implica ... ", verbigracia: "si" Juan se esfuerza en su objetivo, "entonces"
Juan lograr hacer su objetivo realidad. Dicha como seala
Antonio Gonzlez, dista de la estudiada en lgica matemtica, porque en
lenguaje natural entre las proposiciones o conjunto de stas se produce
una relacin de necesidad, es decir, que lo expresado en el antecedente
efectivamente sea "congruente" con lo manifestado en el consiguiente
l64
,
lo cual no es requisito en la lgica proposicional porque no se enfoca en los
significados de las proposiciones sino su relacin formal.
e. Bicondicional o equivalencia
Es una conectiva lgica representada con el smbolo el cual se
coloca en medio de dos variables proposicionales, por ejemplo: "p q".
Esta expresin se lee "p equivale a q",la cual representa una proposicin
que ser verdadera si las dos proposiciones que la constituyen tienen el
mismo valor de verdad.
La tabla de verdad de esta constante es la siguiente:
p
1
1
O
O
1
O
O
1
q
1
O
1
O
163 Echave, Delia Teresa, y otros. Op. cit., pgina: 61.
164 Gonzlez, Antonio. Op. cit., pgina: 122.
67
Se le llama bicondicional porque es una condicin doble, cada
variable proposicional es condicin suficiente y necesaria de la otra,
razn por la cual la simbolizacin de esta conectiva lgica tambin se
lee: "p es condicin suficiente y necesaria de q". En virtud de lo anterior
"p" equivale a "q" es lo mismo que "p" implica "q" (p q) y
"q" implica "p" (q p).
En lenguaje natural el bicondicional corresponde con la expresin" si
y slo si ... ", la cual tambin se expresa como afirma Jos A. Diez Calzada
en" ... en el caso y slo en el caso ... "165, por ejemplo: Cristian ser abogado
"si y slo si" se grada.
De todas las constantes estudiadas nicamente el negador se puede
aplicar a una variable proposicional, y es por esta razn que se le
denomina mondica, pero las otras conectivas lgicas: el coyuntor, el
disyuntor, el condicional y el bicondicional, se aplican a dos variables
proposicionales, por eso se les llaman didicas.
3. Smbolos auxiliares
Son signos que se emplean en relaciones entre varias variables
proposicionales con la finalidad de: a. evitar ambigedades en
su interpretacin; y, b. establecer el orden de los clculos lgicos,
evidenciando la conectiva lgica principal, es decir, la cual determina la
ltima operacin a efectuar. Dichos signos son: los parntesis "( )", los
corchetes "[ ]" y las llaves "{ }".
El orden para operar es de adentro hacia fuera, verbigracia: (p v q)
1\ -p) q. En la representacin de este silogismo disyuntivo, primero se
efecta el clculo indicado por el disyuntor "V" en la proposicin "(p v q)"
-premisa mayor-; segundo, se opera el negador de la variable proposicional
11 _p" -premisa menor-; tercero, con los resultados de las proposiciones
anteriores, producto del disyuntor y negador, se efecta el clculo indicado
con la constante" 1\" -relacin de las premisas-; y, por ltimo, el resultado de
esta constante, coyuntor, se opera con el valor de la variable proposicional
11 q" -conclusin-, que se encuentra fuera de los parntesis, de conformidad .
con el comportamiento del
165 Diez Calzada, Jos A. op. cit. , pgina: 57.
68
lA '. J ~ \ .. ' I\ I !( 11 1 V 11.1\ { ',: \U ',(,' 1\ , \ ,'\ 1, lit)
4. Frmula proposicional y reglas para su formacin
El concepto "fnnula proposicional" ha sido definido de la siguiente
rnanera:
a. Delia Teresa Echave, Mara Eugenia Urquijo y Ricardo Guibourg la
definen como " ... una expresin simblica que est compu.esta exclusivamente
por variables proposicionales, conectivas o signos lgicos y smbolos auxiliares
.. , no implica que todos ellos deban estar siempre .. . bastar con que haya, por lo
menos, una variable ... 1/
166
; y,
b. Jos A. Diez Calzada llan1a fnnulas a " ... las expresiones bien
construidas del lenguaje proposicional 1/
167

Las definiciones citadas difieren nicamente en que la primera es ms
extensa que la segunda, pero ambas son idnticas, porque el concepto
"lenguaje proposicional" utilizado por Jos A. Diez Calzada comprende
todos los signos enunciados por los lgicos indicados en la literal "a."
de este sub-apartado, que ya se han analizado y definido en el desarrollo
de esta lgica.
Delia Teresa Echave, Mara Eugenia Urquijo y Ricardo Guibourg
expresan en su definicin que una frmula proposicional puede estar
integrada nicamente con una variable proposicional, a ese tipo se le
llama "atmica", y el tipo de frmula a la cual se aplica el conector
lgico mondico (el negador), o est compuesta de dos o ms variables
proposicionales, relacionadas por constantes didicas y entre slnbolos
auxiliares se llaman moleculares.
La composicin de una fnnula proposicional no es arbitraria, ya
que no cualquier combinacin de elementos del lenguaje proposicional
pueden conformarla satisfactorian1ente. Para dichos fines los lgicos
formulan reglas para su formacin, y Delia Teresa Echave, Mara Eugenia
Urquijo y Ricardo Guibourg 168 las expresan de la siguiente manera:
a. Una variable proposicional es una frmula, verbigracia: "p" o "q"
o cualquier otra es una frmula;
b. Una frmula antecedida por una constante mondica (el negador)
es una frmula, por ejemplo: "-p"; y,
166 Echave, Delia Teresa, y otros. Op. cit., pgina: 43.
167 Diez Calzada, Jos A. Op. cit., pgina: 49.
168 Echave, Delia Teresa, y otros. Op. cit., pgina: 44.
69
c. Dos frnll.llas entre algn snbolo auxiliar, y relacionadas por una y
solo una conectiva lgica didica (el coyuntor, el disyuntor, el condicional
o el bicondicional) son una frmula, verbigracia: (p /\ q), (r v s), (t ~ u),
y (v f ~ w).
Con fundamento en estas reglas se puede decir que "algunos" de
los elementos del silogismo disyuntivo, cuya representacin simblica
se expres en el apartado de los "smbolos auxiliares" -numeral 1/2.3."
de este captulo-, son una frmula, porque I/(p v q)", la premisa mayor,
es una frmula definida en la tercera regla; "_p", la premisa menor, es
una frmula definida en la segunda regla; y, "p", la conclusin, es una
frmula definida en la primera regla. Sin embargo, dichos cnones no
son suficientes para determinar: a. si es o no frmula la relacin entre
las premisas y la que se produce entre stas con la conclusin, ya que,
por ejemplo, no se puede predicar si es o no una frmula "(p v q) /\ -q",
porque no existe una norma que establezca que es frmula la unin de
dos variables proposicionales entre algn smbolo auxiliar, relacionadas
por una conectiva lgica didica, con la negacin de una variable
proposicional; y, b. si una relacin de variables proposicionales como la
siguiente 11 -(p /\ q)" es o no una frmula, porque no existe una regla que
as lo determine.
Otros lgicos, como Jos A. Diez Calzada, en vez de definir las
reglas para formacin de frmulas proposicionales en base a un nmero
determinado de "variables proposicionales", "frmulas", "conectivas
lgicas mnadicas o didicas" y 11 smbolos auxiliares", lo hace a travs
de la nocin "metavariable"169 (que se representar con las letras del
alfabeto griego alfa, beta y gamma: a, B y V, respectivamente), con la
cual se refiere a 11 cualquier" tipo de enunciado o secuencia del lenguaje
proposicional, expresando con fundamento en dicha idea las normas de
la siguiente manera 170:
a. Toda letra enunciativa -sola- es una frmula;
b. Si a es frmula, entonces la secuencia - a es frmula;
169 Las metavariables corresponden a un metalenguaje, es decir, a un sistema de signos
que se emplea para referirse al lenguaje proposicional o lenguaje objeto. Diez Calzada,
Jos A. Op. cit., pginas: 47 y 48.
170 Ibid., pginas: 49 y 50.
70
c. Si a y B son frmulas, entonces las secuencias (a /\ B), (a v B), (a -7
~ Y (a ~ - 7 B) son fnnulas; y,
d. Slo son frmulas las secuencias que satisfacen alguna de las
clusulas anteriores.
Jos A. Diez Calzada, a diferencia de los lgicos citados, enuncia
una cuarta clusula afirmando que la misma es "necesaria" porque con
fundamento en ella se puede predicar si una fnnula est o no bien
formada. Se estima que no tiene tal carcter, porque nicamente enuncia
la operacin mental consistente en juzgar o discernir si una cosa es talo
cual otra, y dicha facultad no est sujeta o condicionada a la manifestacin
del fenmeno.
El ltimo tipo de estipulaciones para la formacin de frmulas
proposicionales es ms abstracta, y son suficientes para analizar toda
frmula proposicional, porque con las mismas se puede establecer que
la relacin entre las premisas y la conclusin del silogismo disyuntivo
estudiado y representado as "(p v q) 1\ -p) -7 q", es del tipo ( a -7 B)
porque la primera metavariable, la letra a , significa la relacin de las
premisas: "(p v q) 1\ -p )", y la segunda metavariable, la letra B, representa
nicamente la conclusin: "q".
5. Funciones de verdad y clculo lgico:
tautologa, contradiccin y contingencia
Antonio Gonzlez
171
, Mara Cristina Campagna, Adriana Lazzerettpn,
Delia Teresa Echave, Mara Eugenia Urquijo y Ricardo Guibourg
173
definen
la funcin de verdad como una frmula proposicional molecular, cuyo
valor de verdad est determinado por el valor de sus frmulas atlnicas
o componentes.
Para determinar el valor de verdad de las frmulas proposicionales
moleculares se tiene que realizar su clculo lgico, para lo cual se procede
de la siguiente manera:
a. Hay que elaborar su tabla de verdad, y para ello se tiene que
establecer las diferentes combinaciones de valores veritativos entre las
171 Gonzlez, Antonio. Op. cit., pgina: 125.
172 Campagna, Mara Cristina y Adriana Lazzeretti. Op. cit. , pgina: 89.
173 Echave, Delia Teresa, y otros. Op. cit., pgina: 67.
71
L U( ;}( .. \ I u 1\ 11 ) fC .. \. 111." I ~ U,\ ! I.!J ( ( .l 11', 1) 1"; 1 '! J\JS \ I:./ . 1 ', \ 1\ .' \ 1'1. 1 L 11 . .< y t:J . . \ {{ (J( : , \ 1 )U IJ I IC/ \ \ 'TI:
frmulas atn1icas que la integran, con apoyo en la fnnula dos (2) a la
"n" exponente, donde el nmero dos (2) representa las posibilidades
verdadero-falso de cada variab] e proposicional, y la "n" la cantidad
de estos elelnentos de] lenguaje proposicional. As, por ejelnplo,
una fnnula molecular integrada por dos (2) frmulas atmicas, le
corresponden cuatro (4) combinaciones de valores veritativos entre sus
variables proposicionales; una integrada por tres (3) frmulas atmicas,
le corresponden ocho (8) combinaciones de valores veritativos entre
sus variables proposicionales; y una integrada por cuatro (4) frmulas
atmicas le corresponden diecisis (16) combinaciones de valores
veritativos entre sus variables proposicionales.
Para agotar todas las combinaciones de valores veritativos entre las
frmulas atmicas de una tabla de verdad de una frmula molecular,
Jos A. Diez Calzada
174
, entre otros lgicos, determinan el siguiente
procedimiento:
a.l. Colocar bajo la prilnera frmula atmica una serie de un (1)
uno (verdadero)'y un (1) cero (falso) en forma alterna hasta completar
el nmero correspondiente a la totalidad de combinaciones de valores
veritativos entre las atmicas;
a.2. Poner bajo la siguiente frmula atmica y distinta de la anterior,
una serie de dos (2) unos (verdadero) y dos (2) ceros (falso) en forma
alterna hasta completar el nmero correspondiente a la totalidad de
combinaciones de valores veritativos entre las atmicas;
a.3. Colocar bajo la siguiente frmula atmica y distinta de las dos
anteriores, una serie de cuatro (4) unos (verdadero) y cuatro (4) ceros
(falso) en forma alterna hasta completar el nmero correspondiente a la
totalidad de combinaciones de valores veritativos entre las atmicas; y,
a.4. Situar bajo la siguiente frmula atmica y distinta de todas las
anteriores una serie de una cantidad equivalente a la mitad del total
de combinaciones de valores veritativos entre las atmicas en unos
(verdadero) y en ceros (falsos) en forma alterna.
Cada asignacin de valores de verdad a una variable proposicional
se tiene que repetir tantas veces aparezca esta en la frmula molecular.
174 Diez Calzada, Jos A. Op. cit., pgina: 67.
72
LlC'. r /:/' J\. \ Nl lO IAI 'fI:R I, US;'IU'S (; 1" l.'\ I. \I U
b. Despus de haber asignado a cada variable proposicional un
valor de verdad en todas y cada una de sus posibles combinaciones en
la frmula proposicional, se operan las lnisn1as de conformidad con el
comportamiento de cada constante o conectiva lgica que las relacionan,
segn como se defini en el numeral "2." de este captulo, en el orden
determinado por los smbolos auxilires: de adentro hacia fuera, y siempre
en funcin de la conectiva principal o central.
Como ejemplo de lo anterior, se efectuar el clculo lgico de un
dilema, una forma de silogismo estudiada en el primer captulo de este
trabajo:
Premisas:
Luis Sorn es condenado por asesinato o Luis Sorn es condenado por
homicidio.
Si Luis Sorn es condenado por asesinato, entonces Luis Sorn ser privado
de su libertad.
Si Luis Sorn es condenado por homicidio, entonces Luis Sorn ser
privado de su libertad.
Conclusin:
Luis Sorn ser privado de su libertad.
Cada proposicin del dilema se simboliza as:
"Luis Sorn es condenado por asesinato" es "p"
"Luis Sorn es condenado por homicidio" es "q"
l/Luis Sorn ser privado de su libertad" es "r"
La relacin entre dichas proposiciones se representan en la frmula
proposicional: "[(p v q) /\ (p -7 r) /\ (q -7 r)] -7 r".
Para determinar la validez de esa expresin lgica hay que proceder
de la siguiente manera:
a. Elaborar su tabla de verdad. La frmula proposicional en
consideracin tiene tres variables proposicionales: "p", "q" y "r", por lo
que se multiplica dos (2), la base del exponencial, tres (3) veces: dos (2)
por (X) dos (2) por (X) dos (2) es igual (=) a ocho (8). Entonces, debajo de
cada variable proposicional se asignarn ocho valores de verdad en cada
aparicin en la frmula molecular: bajo la letra "p" una serie de un (1) und
(verdadero) y un (1) cero (falso) alternndolos hasta un total de ocho (el
73
(l Je /e ; \ jw;:il lle. \: I\j" /'/W,\ I/ ,N I () INI II "; Pf .N,' \IUL Jl, \I\ '\ U jWJ y U , \HUC/tIlU [Jnc.' \.\''/'I:
resultado de la base dos -2- al exponente tres -3-); bajo 11 q", una sucesin
de dos (2) unos (verdadero) y dos (2) ceros (falso) alternndolos hasta un
total de ocho; y bajo de "r", una cadena de cuatro (4) unos (verdadero)
y cuatro (4) ceros (falso).
La tabla de verdad del dilema es:
[(p v q} J\ (12 -7 r} J\
(q-7 JlL -7-.I
1 1 1 1 1 1 1
O 1 O 1 1 1 1
1 O 1 1 O 1 1
O O O 1 O 1 1
1 1 1 O 1 O O
O 1 O O 1 O O
1 O 1 O O O O
O O O O O O O
b. Determinada la tabla de verdad, se operan los valores de verdad de
cada frmula proposicional, segn el comportamiento de cada constante
que las relaciona
175
, en el orden determinado por los smbolos auxiliares:
de adentro hacia fuera, y siempre en funcin de la conectiva principal
o central.
La conectiva principal en esta frmula molecular es el condicional
"-7" que se encuentra fuera de los corchetes, ya que es una secuencia del
tipo (a -7 ~ segn la tercera regla del segundo tipo de normas estudiadas
para formacin de frmulas moleculares (las que se apoyan en la nocin
de "metavariables"), en donde:
a significa "[(p v q) J\ (p -7 r) J\ (q -7 r)]", y ~ representa "r".
El orden para operar es el siguiente: primero se efecta el clculo
indicado por el disyuntor de la frmula molecular "(p v q)" -primera
premisa-; segundo, se realiza el clculo indicado por el condicional en
175 Esta forma de clculo lgico es llamado por Jos A. Diez Calzada como "semntico",
ya que el mismo se funda en las propiedades" semnticas" de las proposiciones: ver-
daderas o falsas. Empero, existe otra forma de determinar la validez de los argumentos
y los silogismos, el cual consiste en operaciones entre las frmulas proposicionales
con fundamento en ciertas reglas de inferencia. Dicha forma de clculo, llamado
"sintctico", no se estudiar en esta tesis porque sobrepasa los alcances de la misma.
Diez Calzada, Jos A. Op. cit., pginas: 63 y 95.
74
Ll C. I'J' KV \ .\' j X) / ... IWS. \U:, S C/\':\' \ 'I, '\/ C)
la frmula "(p -7 q)" -segunda pren1isa-; tercero, se opera el clculo
'ndicado por el condicional en la frmula molecular "(q -7 r)" -tercera
1 remisa-; cuarto, con los resultados de la prlnera y segunda premisa,
del disyuntor y condicional, se efecta el clculo indicado con
'la constante "N' -relacin de premisas-; quinto, con el resultado de esta
conectiva lgica, el coyuntor, y el del condicional de la tercera premisa,
se realiza la operacin detenninada por la conectiva lgica 11 /\I! -relacin
de premisas-; y sexto, y ltimo clculo, con el resultado de esta ltima
constante, el coyuntor, y el valor de verdad de la variable proposicional
"r" -conclusin-, que se encuentra afuera de los corchetes, se efecta la
operacin segn la conectiva principal, el condicional.
Se numerar cada paso del clculo lgico en la parte superior de la
frmula proposicional que se opera.
1 4 2 5 3 6
[(12 v
q} /\ (p -7 r) /\ (q -7 --D.L -7-.r
1 1 1 1 1 1 1 1 1 1 1 1 1
O 1 1 1 O 1 1 1 1 1 1 1 1
1 1 O 1 1 1 1 1 O 1 1 1 1
O O O O O 1 1 O O 1 1 1 1
1 1 1 O 1 O O O 1 O O 1 O
O 1 1 1 O 1 O O 1 O O 1 O
1 1 O O 1 O O O O 1 O 1 O
O O O O O 1 O O O 1 O 1 O
El resultado del dilema, cualquiera que sea el valor de verdad de
las fnnulas atmicas que la integran, es verdadero. A esta frmula
proposicional molecular, as como cualquier otra que debajo de su
conectiva principal (indistintamente de las combinaciones de valores
de verdad entre sus componentes) tenga slo unos (verdadero), se les
llaman tautologas.
Tambin existen frmulas que, indistintamente del valor de verdad de
sus atmicas, el resultado es siempre falso, y a ste tipo se les denomina
contradicciones. Estas pueden ser producto de anteponer el negador al
dilema o a cualquier otra frmula molecular tautolgica.
y existen frmulas moleculares que, bajo cierta combinacin de
valores de verdad de sus atmicas, tendrn bajo su conectiva principal o
un uno (verdadero) o un cero (falso), es decir, que el resultado en este tipo
75
de frmulas m.oleculares s depende del valor de verdad de las variables
proposicionales, y se les llaman contingentes.
El clculo lgico efectuado se complica en la medida en que en las
frmulas lTIoleculares tienen ms atmicas que la integran, por lo que
algunos lgicos, como Mara Cristina Campagna, Adriana Lazzerettp76
y Jos A. Diez Calzada
177
, tratan de un mtodo ms sencillo, llamado
"mtodo de asignacin de valores" o "mtodo abreviado", el cual consiste
en tratar de encontrar una combinacin de valores de verdad para todas
las variables proposicionales que integran la frmula molecular, cuyas
relaciones produzcan una conclusin falsa, es decir, que el valor de
verdad debajo de la conectiva principal sea cero (falso), en cuyo caso la
funcin de verdad no ser una tautologa. Sin embargo, si no es posible
que la conclusin sea falsa, o si para ello hay que asignar dos valores de
verdad distintos a una sola variable proposicional, entonces la frmula
molecular es una tautologa.
6. Leyes lgicas y reglas de inferencia
Las leyes lgicas son, como definen Mara Cristina Campagna,
Adriana LazzerettP78, Delia Teresa Echave, Mara Eugenia Urquijo y
Ricardo Guibourg
179
, frmulas proposicionales en las que si se sustituyen
sus variables por los enunciados que representan el resultado ser una
proposicin lgicamente verdadera.
La determinacin de la naturaleza de la ley lgica como "frmula
proposicional" distingue su carcter de nocin" general", porque no hace
alusin a una proposicin en particular, sino a cualquiera de stas que
participe de la estructura referida por la ley lgica.
Con fundamento en el contenido de la definicin de ley lgica se
evidencia la relacin de sta con las tautologas: toda tautologa es una
ley lgica. Como ejemplo de lo afirmado es el dilema estudiado, el cual
es una ley lgica.
A continuacin se indican algunas leyes lgicas, que comprenden las
ms bsicas de las enunciadas por Mara Cristina Campagna, Adriana
176 Campagna, Mara Cristina y Adriana Lazzeretti. Op. cit., pgina: 85.
177 Diez Calzada, Jos A. Op. cit., pginas: 72-75.
178 Campagna, Mara Cristina y Adriana Lazzeretti. Op. cit., pgina: 78.
179 Echave, Delia Teresa, y otros. Op. cit., pgina: 81.
76
L le 1: .'R,"J,, \.\'I X) .lA \/ IER KOS','\tE:C"CRA,\.J/ \} iJ
Lazzerettj180, Delia Teresa Echave, Mara Eugenia Urquijo y Ricardo
Guibourg
18
1, de las cuales las primeras tres son la representacin simblica
de los principios lgicos supremos de la lgica general:
a. Identidad:
p ~ q (tambin se le fonnula con el bicondicioI'lal: p ~ ~ q182)
b. No contradiccin:
- (p 1\ _ p)
c. Tercero excluido:
pv-p
d. Doble negacin:
-- p ~ ~ p
e. Definicin del condicional por el disyuntor:
(p ~ q) ~ ~ (- p v q)
f. Definicin del condicional por el coyuntor:
(p ~ q) ~ ~ - (p 1\ _ q)
g. Definicin del bicondicional por el condicional y el coyuntor:
(p ~ ~ q ~ ~ [(p ~ q) 1\ (q ~ p)]
H. Definicin del bicondicional por el negador,
el disyuntor y el coyuntor:
(p ~ ~ q ~ ~ [(p 1\ q) v ( - P 1\ _ q)]
1. N egacin del condicional:
- (p ~ q) ~ ~ (p 1\ _ q)
J. Asociatividad del coyuntor:
[p 1\ (q 1\ r)] f - ~ [(p 1\ q) 1\ r]
180 Campagna, Mara Cristina; y Adriana Lazzeretti. Op. cit., pginas: 78 y 79.
181 Echave, Delia Teresa, y otros. Op. cit., pginas: 90-93. ~
182 Ver en la pgina 7 de este trabajo las observaciones que Antonio Gonzlez hace "i.l
principio lgico supremo de identidad (el cual est expresado en lenguaje simblico).
77
k. Asociatividad del disyuntor:
[p v (q v r)] ~ -7 [(p v q) v r]
1. Asociatividad del bicondicional:
[p ~ 7 (q ~ 7 r)] ~ 7 [(p ~ 7 q) ~ 7 r]
m. Conmutatividad del coyuntor:
(p /\ q) ~ 7 (q /\ p)
n. Conmutatividad del disyuntor:
(p v q) ~ 7 (q v p)
o. Conmutatividad del bicondicional:
(p ~ 7 q) ~ 7 (q ~ 7 p)
p. Distributividad del coyuntor respecto al disyuntor:
[p /\ (q v r)] ~ 7 [(p /\ q) v (p /\ r)]
q. Distributividad del disyuntor respecto del coyuntor:
[p v (q /\ r)] ~ 7 [(p v q) /\ (p v r)]
r. Autodistributividad del condicional:
[p -7 (q -7 r)] ~ 7 [(p -7 q) -7 (p -7 r)]
s. Transitividad del condicional:
[(p -7 q) /\ (q -7 r)] -7 (p -7 r)
t. Modus ponens o modus ponendo ponens (afirma afirmando):
[(p -7 q) /\ p] -7 q
u. Modus tollens o modus tollendo tollens (niega negando):
[(p -7 q) /\ - q] -7 - p
v. Silogismo disyuntivo:
[(p v q) /\ - p] -7 q
78
1,l e I E /\N/ I Nnu /W S. IL L'S CR. \VI.Aj <.)
Las reglas de inferencia
lR3
, como su nombre lo indica, aluden a
las normas que han de seguirse para derivar una o varias frmulas
proposicionales de otra u otras, y es por ello que utilizan la estructura
de las leyes lgicas, en las que se sustituyen las frmulas atmicas y / o
las moleculares que las constituyen por metavariables
1H4
, para enfocarse
nicamente en esa operacin mental denominada inferencia.
En aplicacin de lo expresado, se pueden enunciar, a modo de
ejemplo, las siguientes reglas de inferencia a partir de las leyes lgicas:
a. Doble negacin:
- - a a
b. Definicin del condicional por el disyuntor:
(a -7 (3) (-a v (3)
c. Definicin del bicondicional por el condicional y el coyuntor:
(a (3) [(a -7 (3) 1\ ((3 -7 a)]
d. Asociatividad del disyuntor:
[a v ((3 v y)] [(a v (3) v y]
e. Conmutatividad del coyuntor:
(a 1\ (3) ((3 1\ a)
f. Autodistributividad del condicional:
[a -7 ((3 -7 y)] [(a -7 (3) -7 (a -7 y)]
g. Transitividad del condicional:
[(a -7 (3) 1\ ((3 -7 y)] -7 (a -7 y)
h. Modus ponens o modus ponendo ponens (afirma afirmando):
[(a -7 (3) 1\ a] -7 (3
183 Algunos lgicos como Mara Cristina Campagna y Adriana Lazzeretti desarrollan las
"reglas lgicas", y las definen como formas de razonamiento siempre vlidas, pero
una regla, por definicin, no puede ser algo totalmente distinto de su gnero, es decir,
una regla es una clusula, pauta o norma a seguir para un determinado efecto, que
puede referirse a una forma de razonamiento, pero no confundir su naturaleza con
ella. Campagna, Mara Cristina; y Adriana Lazzeretti. Op. cit., pgina: 78. ..
184 Es la misma nocin que se utiliz en un tipo de normas para formacin de frmuls
proposicionales, y se simbolizan con las letras del alfabeto griego a, y y. Ver pgina 70.
79
1.
1 (.) l : Il ',1 I Uf\ IJ ){( .. ','\: 1 N,-; 'IIW A/I :.'\J' f'( ) I r\) L JI,'i J'I_ \ rS.\ I :I./: 1'., \ 1\. I 1",11/1:;/ 1 f) .. III Ul : \ 1 JU U I H.; , 1/\ 1'1::
Modus tollells O modus tollendo tollens (niega negando):
[(a -7 ~ 1\ - ~ ] -7 - a
J. Silogislno disyuntivo:
[(a v (3) 1\ - al -7 (3
Existen numerosas reglas de inferencia, pero algunos lgicos, como
Delia Teresa Echave, Mara Eugenia Urquijo y Ricardo Guibourg
185
,
afirman que aquellas pueden reducirse "en la prctica" nicalnente
a dos:
a. La regla de sustitucin, que consiste precisamente en sustituir en
una ley lgica: a.l. una variable proposicional por otra o por una frmula
molecular; o, a.2. una frmula molecular por otra; siempre y cuando dicho
reemplazo sea de la misma manera en todas y cada una de las apariciones
de la variable proposicional y / o frmula molecular a cambiar (salvo si se
trata de frmulas equivalentes) y sin que se cambie la estructura de la ley
lgica, es decir, sin modificar sus conectivas lgicas; y,
b. La regla del modus ponendo ponens, porque lnediante la misma,
indistintamente de la estructura de las diversas leyes lgicas, se puede
entender la nocin de " consecuencia", es decir, entender las premisas como
un conjunto de frmulas proposicionales que constituiran el antecedente
del modus ponendo ponens, y la conclusin como su consiguiente, de tal
forma que, si aquellas son verdaderas, la conclusin ser verdadera.
C. LGICA DE LAS CLASES
El objeto de estudio de esta lgica ya se ha mencionado, y en
consecuencia aplicado, en el primer captulo de esta monografa (por
ejemplo, al definir los conceptos universales, los conceptos particulares,
la comprensin y extensin del concepto y los rboles lgicos), y en
lo desarrollado del presente (verbigracia: al definir la sentencia), con
los trminos de "clase" o "conjunto", los cuales se utilizarn como
sinnimos.
Esta rama de la lgica moderna, con fundamento en la teora de
conjuntos de la matemtica, estudia los conceptos, las formas del juicio
categrico y el razonamiento deductivo, los cuales son representados con
185 Echave, Delia Teresa, y otros. Op. cit., pginas: 100-106.
80
lA." I(/\ /\ ; \ I\) /)(I I \\'IL /\ 1 )::\ U S ( ; I : \ ~ l\ jU
l USO del lenguaje silnblico de aquella teora, a partir del anlisis de
fas fonnas COlno se manifiestan dichos elementos del pensamiento: los
trminos, las proposiciones y los silogismos categricos, respectivalnente,
para establecer la validez del raciocinio en base a las relaciones de sus
elementos.
A continuacin, se estudiar y analizar los conocilnientos bsicos
de la teora de los conjuntos de la matemtica para entender la lgica de
las clases.
1. Definicin de clase
Las clases o conjuntos se han definido de la siguiente manera:
a. Jos A. Diez Calzada la define as: "Los conjuntos, o clases, son
"colecciones" de cosas, son entidades que consisten en tener otras entidades
como miembros "186; y,
b. Sergio Custodio manifiesta al respecto que: "Se denomina clase al
conjunto formado por objetos, cosas, fenmenos o hechos que tienen caractersticas
comunes "187.
Ambas definiciones denotan el carcter" abstracto" de los conjuntos,
empero, la segunda es ms explcita que la primera, porque "las
entidades contenidas como miembros" en las clases, pueden ser, como
expresa Sergio Custodio, objetos, cosas, fenmenos o hechos" que tienen
caractersticas comunes".
La relacin entre el concepto definido (clase) y el elemento
diferenciador de las expresiones definitorias citadas (propiedad), ha
sido motivo de discusin entre varios lgicos que se plantean la relacin
existente entre los mismos, ya que unos la identifican y otros, la rechazan.
Jos Ferrater Mora y Hugues Leblanc, a pesar de que expresan que no
se pronuncian al respecto, afirman que: " ... a toda clase corresponde (por lo
menos) una propiedad, y que a toda propiedad corresponde una clase. Decimos
'por lo menos', porque, por ejemplo, a la propiedad de ser humano corresponde
la clase de los hombres, pero a la clase de los hombres corresponden otras
propiedades adems de la de ser humano (verbigracia, la propiedad de ser un
186 Diez Calzada, Jos A. Op. cit., pgina: 241.
187 Custodio, Sergio. Op. cit., pgina: 81.
81
/( le le. \ I WUI )/( , \: I NS'I IW 1\ I LV I (i I /\j Uf.'; 1'1., \'S" \ /:/1 : 1'\1\ / \ I 'f ,/ LIJ j r 11. ' \ UC,)C; .:\ /}LJ une, \ \i n:
animal racional) ... 1/1HH. De lo expresado por dichos lgicos se puede inferir
que los mismos rechazan la identidad entre la clase y la propiedad, porque
aqulla puede contener ms propiedades comunes entre sus miembros
que la determinante del conjunto y por eso, no son una sola y misma
cosa. Al respecto se considera que, adems de lo inferido del pensamiento
de Jos Ferrater Mora y Hugues Leblanc, no existe una relacin de
identidad entre la clase y la propiedad, porque una simple descripcin
de dichos objetos de conocimiento lo demuestra: un conjunto es un ente
que" comprende o no" otros objetos, y la propiedad no "comprende o
no" otros objetos, sino que "est" en ellos, es un elemento constitutivo
de los mismos.
2. Denotacin de los conjuntos y su expresin simblica
Los conjuntos pueden ser denotados por extensin o por comprensin,
pero en ambos casos se hace entre llaves "{}". La primera, consiste en
consignar entre dichos smbolos el nombre de todos los elementos del
conjunto, por ejemplo: {lgica, matemtica}, {concepto, juicio, raciocinio}
y {l,2,3,4,5}. La segunda, consiste en consignar entre las llaves una
variable (x) y una condicin que cumplan los entes que integran la clase
(c(x)), verbigracia:{x/x es una ciencia formal}, {xix es una forma del
pensamiento que estudia la lgica general} y {xix es un nmero menor
que seis}.
Los conjuntos se simbolizan de la siguiente manera: a. las clases con
las letras maysculas "A", "B", "C" y siguientes; b.los miembros de los
conjuntos con la letra minscula "x", y slo en caso de relaciones entre
stos se utilizan otras variables con letras minsculas "r", "s", "t", "y",
"z", y otras; y, c.la relacin de los elementos del conjunto con ste, si es de
pertenencia se emplea el smbolo E, Y si es de no pertenencia el signo E.
Por ejemplo: "x E A" significa que el elemento representado con la letra
"x" pertenece al conjunto aludido con el carcter" A", Y IIX ft. A" que el
elemento expresado con la letra "x" no pertenece o no es miembro del
conjunto referido con el carcter" A" .
Con los elementos anteriores se pueden formular los siguientes
enunciados de conjuntos: lgica E {xl x es una ciencia formal}, juicio E
{concepto, juicio, raciocinio}, 3 E {xix es un nmero menor que seis}, fsica
188 Ferrater Mora, Jos y Hugues Leblanc. Op. cit., pgina: 120.
82
uc. Fl I\ ,\, \\{)U / IV/L/, CK I \/ \/ t.l
$. {lgica, matemtica}, lo percibido por los sentidos ti:. {xl x es una fonna
del pensamiento que estudia la lgica general}, y 7 ti:. {l,2,3,4,5}.
Al exponer la denotacin de los conjuntos por comprensin se
expres que despus de colocar una variable se indica una condicin
que realicen los entes u objetos que integran la clase, empero no toda
condicin determina un conjunto coherente o vlido, porque como
expres Bertrand Rusell existe una condicin que puede implicar una
paradoja, la cual lleva su nombre. Dicha paradoja la explica Jos A. Diez
Calzada con apoyo de la propiedad "no ser miembro de s mismo",
que significa la condicin x ti:. x en los siguientes trminos: " ... Russell
mostr que este conjunto no puede existir. En efecto, supongamos que existe.
Para abreviar digamos que este conjunto es el conjunto R (R = (xl x ti:. xl).
Puesto que R es una cosa (en particular, un conjunto), podemos preguntarnos,
como hacamos respecto de todo lo dems, si R tiene esa propiedad, esto es, si R
se pertenece a s mismo o no. Supongamos que R se pertenece a s mismo, e.e.
R E R. Entonces R tiene la propiedad que tienen todas las cosas que estn en
R, a saber, no pertenecerse a s mismo. As pues, si R E R entonces R ti:. R. Por
tanto R no puede pertenecerse a s mismo. Bien, supongamos ahora que R no se
pertenece a s mismo, e.e. R ti:. R. Pero esa es justamente la propiedad que hace
que algo est en R, pues algo est en R si no se pertenece a s mismo. As pues,
si R ti:. R entonces RE R. Resumiendo: RE R syss (si y solo si) R ti:. R, lo que
constituye simplemente una contradiccin ... "189.
Al inicio de esta lgica se estableci que los trminos de "clase"
o "conjunto" se utilizaran como sinnimos, sin embargo se han
desarrollado nociones bsicas para entender una diferencia entre
dichas palabras calificada como "tcnica" por Willard Van Orman
Quine, quien al discernir que algunas teoras de conjuntos" obvian" las
paradojas por el procedimiento de declarar que "algunas clases no son
miembros de nada", y utilizan el trmino "conjunto" para referirse a
las clases que son miembros de algo. El citado lgico llama al otro tipo
de clases como "ltimas"190. En virtud de lo anterior se justifica que se
utilicen indistintamente los trminos de "clase" y "conjunto", porque
en el desarrollo de esta fundamental teora de conjuntos no se tratan las
clases ltimas.
189 Diez Calzada, Jos A. Op. cit" pgina: 245.
190 Van Orman Quine, Willard. Filosofa de la lgica. Traduccin de: Manuel Sacristn,
Espaa, Alianza Universidad, 1981, tercera edicin, pginas: 124 y 125.
83
3. Principio de extensionalidad de las clases
Willard Van Orman Quine
191
, Jos A. Diez Calzada
J92
y Antonio Gallo
Armosino
193
tratan sobre el principio de extensionalidad de las clases,
el cual establece la identidad entre dos conjuntos si sus miembros son
los lnismos, ya que aqullos son entidades extensionales y se puede
determinar su identidad en base a los elementos que los integran, sin
importar: a. la forma como se nombren o denoten (por extensin o por
comprensin); y, b. el orden en que se expresen y la repeticin de algn
elemento en uno o en ambos conjuntos (en caso de que las clases se
denoten por extensin).
Jos A. Diez Calzada expresa simblicamente el principio en
consideracin as: "si para todo x ((x E A) si y solo si (x E B)), entonces A
= B 11
194

Ejemplos de conjuntos idnticos:
a. {1,2,3,4,S} es idntico a {xix es un nmero menor que seis};
b. {xix es un polgono de tres lados} es idntico a {xix es un tringulo}; y,
c. {a,b,c,d} es idntico a {d,c,b,b,a}.
El principio de extensionalidad de las clases tambin es aplicable a los
conjuntos vacos, aquellos que no tienen miembros (A es vaco si y slo
si para todo x: x tt. A195), ya que dos clases que no tienen elementos son el
mismo conjunto. Los conjuntos vacos se representan con el signo" <p" .
4. Relaciones entre conjuntos
Si dos clases tienen los mismos miembros entonces son conjuntos
idnticos, de conformidad con el principio de extensionalidad, pero,
si todos los miembros de un conjunto tambin son elementos de otro,
entonces el primero est incluido en el segundo. Esta relacin entre clases
se denomina "inclusin", y la misma se simboliza con el signo "e", el cual
191 Ibid., pgina: 119.
192 Diez Calzada, Jos A. Op. cit., pginas: 242 y 243.
193 Gallo Armosino, Antonio. Ver de verbo. Guatemala, Editorial Universidad Rafael
Landvar, 1996, primera edicin, pginas: 55 y 56.
194 Diez Calzada, Jos A. Op. cit., pgina: 243.
195 Ibid., pgina: 244.
84
l/e I/-.K\ .. \I,, / IU \ v u ~ /,( 1', .. \/ L ~ C/'AI\/ .. \/ u
se coloca entre dos conjuntos, cuyos elen1entos del prhnero, de izquierda
a derecha, estn en el segundo.
Simblicamente se define la relacin de inclusin entre conjuntos de
la siguiente lnanera: A C B, si y solo si, para todo x: si x E A entonces x
E B
I96
.
Como ejemplos de la relacin de inclusin entre conjw1tos se expresan
, los siguientes:
a. {concepto, juicio} C {concepto, juicio, raciocinio};
b. {xix es un contrato} C {xix es un negocio jurdico}; y,
c. {decreto} C {decreto, auto, sentencia}.
En todos los ejemplos los miembros del prin1er conjw1to estn tambin
en el segundo, y ste tiene elementos que no estn en aqul. Por dicha
relacin se dice que la primera clase es subconjunto de la segunda, y se
simboliza con el signo "C".
Con el uso del lenguaje simblico de la teora de conjuntos se define
la relacin de "subconjunto" as: A C B, si Y solo si A C B Y A -:t... B197.
Otros ejemplos de subconjuntos:
d. {a,b,c}C{a,b,c,d,e,f}; y,
e. {compraventa, donacin} C {compraventa, donacin, permuta}.
En el caso de que uno o ms elementos del primer conjunto no
estn comprendidos en el segundo, entonces no existe relacin de
inclusin, lo cual se simboliza con el signo "ct", verbigracia: {1,2,3,4,5}
ct{1,2,4,5,6,7,9,lO} .
5. Operaciones bsicas o elementales entre conjuntos
Las operaciones entre conjuntos consisten en obtener una clase de la
combinacin o relacin de los miembros de otras. Las operaciones ms
bsicas son las siguientes:
a. Unin: la unin de conjuntos produce otra clase que comprende
los elementos de los que se deriva sin repetirse los comunes, es decir,
196 [bid., pgina: 247.
197 Loe. cit.
85
J ,l Il J ip I( ', L 1 1/, 1/ ,\ 1/ '/\ /'(1 1,\ P / "I) /. ',\ \ 1:1.1 \ 1\ . \ 1,1. I W:'/ y IJ , \ I:UC, ILJU unc: /\ V I E
los elementos que estn en uno "u" en otro conjunto que se operan.
Esta operacin se silnboliza con el signo "U", el cual se coloca entre los
smbolos que representan las clases.
b. Interseccin: la interseccin de conjuntos genera otra clase que
comprende nicamente los elementos COll1unes de los que se deriva, es
decir, los elementos que estn en uno "y" en otro conjunto que se operan.
Esta operacin se shnboliza con el signo "n", el cual se coloca entre los
smbolos que representan los conjuntos.
c. Diferencia: la diferencia de conjuntos produce otra clase que
comprende los elementos que pertenecen a una pero no a la otra. Esta
operacin se 'simboliza con el signo" -" que se coloca entre los smbolos
que representan las clases.
d .. Complemento: el complemento de una clase forma otra que
contiene todos los elementos que no pertenecen al conjunto que se opera.
Esta operacin se simboliza con el signo" -", el cual se coloca por encima
de la letra que representa el conjunto que se opera.
Ejemplos de las operaciones de unin, interseccin y diferencia:
A = {a,b,c,d,e,f}, B = {d,e,f,g,h,i}.
a. A U B = {a,b,c,d,e,f,g,h,i};
b. A n B = {d,e,f};
c. A - B = {a,b,c}; y,
d. B - A = {g,h,i}.
Un ejemplo de la operacin de complemento sera la clase de los
animales racionales, si el conjunto que se opera es de los animales
irracionales. Tanto la clase de animal racional como la de los irracionales
corresponden al conjunto llamado "universal", porque a ste pertenece
todo, y se simboliza con el signo "V". En el caso de los conjuntos referidos
con las letras" A" Y "B", citados en los ejemplos anteriores, la clase
universal sera el abecedario completo, es decir: V = {a,b,c,d,e,f,g,h,i,j,k,
l,m,n,o,p,q,r,s,t,u,v,w,x,y,z}. En base a dicho ejemplo se puede operar el
complemento, tanto del conjunto expresado con el carcter" A", como
de la clase declarada con la letra "B" en funcin de su universo:
e. A = {g,h,i,j,k,l,m,n,o,p,q,r,s,t,u,v,w,x,y,z}
f. B = {a,b,c,j,k,l,m,n,o,p,q,r,s,t,u,v,w,x,y,z}
86
6. Estructuras del pensamiento en lgica de clases
Al definir la lgica de clases se estableci que la lnislna estudia los
conceptos, las formas del juicio categrico y el razonamiento deductivo,
los cuales se estudiarn a continuacin.
a. El concepto
En lgica de clases el concepto, cuya expresin verbal es el trmino o
la palabra (a partir del cual se representa simblicamente), se reputa como
un conjunto, y la extensin de aquel elemento general del pensamiento
expresa los miembros o elementos de la clase.
Los rboles lgicos, estudiados en lgica general, representan la
relacin de inclusin entre clases, ya que la especie est incluida en
la diferencia genrica, la diferencia genrica en el gnero prximo,
la diferencia genrica en el gnero subalterno, hasta que se figure la
relacin de inclusin de la diferencia genrica en el gnero supremo. Por
ejemplo: la clase de "hombre" est incluida (e) en la de "ser racional",
la de "ser racional" en la de "animal", la de 11 animal" en la de 11 ser
anlnado", la de "ser animado" en la de 11 cuerpo", y la de 11 cuerpo" en
la de 11 substancia" .
De lo anterior tambin se denota otra relacin entre clases: la de
subconjunto, ya que la especie es subconjunto de la diferencia genrica,
la diferencia genrica es subconjunto del gnero prximo y aS, hasta
agotar las relaciones de inclusin mencionadas, porque cada elemento,
por ejemplo, de la clase fonr..Lda por una especie determinada, es miembro
del conjunto constituido por la diferencia genrica a la cual corresponde
la especie, pero existen en esta clase elementos que no pertenecen
a aqulla. .
Otra nocin de lgica general que refleja las relaciones de inclusin y
de subconjuntos es la de "subordinacin de conceptos", una divisin de
los conceptos por su relacin, porque si un concepto est contenido en
la extensin de otro, aquel concepto, reputado como clase, est incluido
en el ms extenso, y es tambin un subconjunto de ste.
b. El juicio categrico
En lgica de clases el juicio se reputa de la siguiente manera:
b.l.Jorge Witker y Rogelio Larios expresan que: "Las propo.sicio.nes
relacio.nan clases entre s. Una clase es la extensin a deno.tacin de un trmino., a
87 .
/ (IC/C,. \ I l I ~ i .l/ t . \: / /\/', n:U,\. Il .N ! () /NI l /</ ' ! ,N.'i \ / :iJ . 1', 11\. ' \ I 1 Ji 11 ./ \ r:r . ' \ /i ()( ;\I ) (J UI {(; .\ .\"IF
sea, es el conju'nto de individuos 11 objetos alas que se aplica una misma palabra o
expresin. Tambin, puede tener un solo miembro, como las clases denotadas por
los nombres propios. Cuando las proposiciones relacionan clases, explcitamente
y sin condiciones, SOI1 denominadas proposicio71es categricas ... 1/1 9R;
b.2. Sergio Custodio determina que 11 En el juicio, que es una relacin
entre clases, se puede decir lo que es verdadero o falso ... 1/
199
;
b.3. Mara Cristina Campagna y Adriana Lazzeretti manifiestan:
"Las proposiciones categricas de forma tpica pueden interpretarse como
representando relaciones entre clases 11
20
; y,
b.4. Antonio Gallo Armosino define el juicio como una oracin en
la que " .. . En general, todo sujeto es un miembro o es una subclase de la clase
predicado ... 1/201
Las expresiones definitorias citadas difieren en lo siguiente: b.l.
por el nombre con que denominan al objeto de estudio: Jorge Witker,
Rogelio Larios, Mara Cristina Campagna y Adriana Lazzeretti lo llaman
proposicin; Antonio Gallo Armosino oracin, y Sergio Custodio es el
nico que lo llama juicio. Lo que estudia la lgica de clases es el juicio,
el cual se enuncia y se simboliza en esta parte de la lgica moderna a
partir de su expresin verbal: la proposicin, pero no le interesa analizarlo
desde una perspectiva estrictamente gramatical (como oracin); b.2.
por el enfoque con que se desarrolla el objeto de estudio: Mara Cristina
Campagna y Adriana Lazzeretti son las nicas que expresan que las
proposiciones categricas "se pueden interpretar" como representando
relaciones entre clases, es decir, que el juicio, integrado de conceptos (tal y
como se estudi en la lgica general), "puede" explicarse como relaciones
entre conjuntos. Tal enfoque difiere del de Jorge Witker, Rogelio Larios y
Sergio Custodio, para quienes el juicio es nicamente una relacin entre
conjuntos, perspectiva que denota una identificacin entre la lgica de
clases y la lgica aristotlica, y en efecto, Sergio Custodio en su obra
explcitamente establece dicha relacin
202
Al respecto se estima que la
lgica de clases no se identifica con la lgica general, aunque sta puede
ser estudiada con los elementos de aquella lgica que se funda en la teora
198 Witker, Jorge, y Rogelio Larios. Op. cit., pgina: 11.
199 Custodio, Sergio. Op. cit., pgina: 81.
200 Campagna, Mara Cristina; y Adriana Lazzeretti. Op. cit., gina: 111.
201 Gallo Armosino, Antonio. Op. cit., pgina: 61.
202 Custodio, Sergio. Op. cit., pginas: 79 y 80.
88
L!c' .I'I. /\\ .. IN/ l) ' \\ .' /I R /,() l.,i\ /.,. . .., I /()
de conjuntos
2
0
3
; y, b.3. Antonio Gallo Armosino es el nico que indica que
el concepto-sujeto, con relacin con el concepto-predicado, o es un ente
susceptible de ser lnien1bro de la clase predicado o es un subconjunto de
dicha clase, lo cual difiere de los otros filsofos y / o lgicos que indican
que el concepto-sujeto es una clase.
Considerado lo anterior se define el juicio categrico en esta parte de
la lgica matemtica como una relacin de pertenencia o no pertenencia
entre un ente y una clase o una relacin entre conjuntos.
Establecido lo anterior, la proposicin: "Fernando es un hombre
estudioso", que significa un juicio categrico, se representara de
la siguiente manera: x E A, donde "x", " E " Y "A", simbolizan,
respectivamente, el ente significado por el trmino "Fernando",la relacin
expresada por las palabras 11 es miembro de" y la clase significada con la
letra 11 A", que corresponde a la de los hombres estudiosos.
Las formas del juicio categrico denotan otro tipo de relacin,
estrictamente entre clases, y son estudiadas, entre otros lgicos, por Jos
Ferrater Mora, Hugues Leblanc
204
, Mara Cristina Cmnpagna, Adriana
LazzerettP05, Jos A. Diez Calzada
206
y Sergio Custodi0
207
, quienes
adems se valen de los diagramas de J ohn Venn
208
para representarlos
grficamente:
203 Algunos lgicos consideran que la teora de conjuntos es lgica pura. Willard Van
Orman Quine niega que la teora de conjuntos pertenezca a la lgica, ya que aquellos
que sostienen lo contrario, segn el filsofo citado, se fundan en una "sobreestimacin"
del parentesco entre la nocin de "miembro-de" -relacin de pertenencia- y la predi-
cacin, nociones entre las que existe una intermedia: "la de atribucin de atributos".
Van Orman Quine, Willard. Filosofa de la lgica. Op. cit., pginas: 116-121.
204 Ferrater Mora, Jos, y, Hugues Leblanc. Op. cit., pginas: 132-134.
205 Campagna, Mara Cristina; y Adriana Lazzeretti. Op. cit., pginas: 111-113.
206 Diez Calzada, Jos A. Op. cit., pginas: 291 y 292.
207 Custodio, Sergio. Op. cit., pginas: 127-130.
208 Jos Ferrater Mora y Hugues Leblanc indican que los diagramas de John Venn fueroD-
introducidos por dicho lgico en su obra Symbolic logic, cuya segunda edicin fu
publicada en 1881. Ferrater Mora, Jos, y, Hugues Leblanc. Op. cit., pgina: 139.
89
Lc>crCA URmCA: I NSrJ<' U,\,j LN'(O IND/SPENS/ IHU: PARA t:J. IUl j, y U. / \ LlOCAOL) UTlG,'\.\'Ff
b.l. El juicio universal significado con el esquema: "Todo S
es P", se simboliza "S n P = <1>", y se representa grficamente:
s F
b.2. El juicio universal negativo, expresado con el esquema: "Ningn S
es P", se simboliza "S n P = <1>", y se representa grficamente:
s F
b.3. El juicio particular aludido con el esquema: "Algn S
es P", se simboliza "S n p:; <1>", y se representa grficamente:
s F
b.4. El JUICIO particular negativo, refer!..do con el esquema:
90
"Algn S no es P", se simboliza "S n P :; <1>", y se representa
grficamente:
s F
/ {(, /,/ '/\\,,' \ \ 'J)(J /, \\/I. /\
Para simbolizar Jos juicios categricos se en1plearon las nociones
conjuntistas de interseccin, complemento, clase vaca, igual y no igual,
empero, Mara Cristina Campagna y Adriana LazzerettFl), sealan que
el lgico Charles Peirce representa dichos juicios ll1ediante la inclusin,
no-inclusin y complemento.
En la representacin grfica de los juicios el sOlnbreado indica que la
clase no tiene elementos, es un conjunto vaco, y la cruz "x" seala que la
clase no es vaca, o que tiene un elemento o ms. Por estas convenciones
en la diagramacin del juicio universal afirmativo se sombre el rea del
crculo identificado con la letra "S" que est fuera del rea del crculo
indicado con el carcter "P", porque todos los elementos de la clase
significada con la letra "S" son miembros del conjunto representado
con el carcter "P", o dicho negativamente, no hay ningn elemento
de la clase aludida con la letra "S" que no est contenida en el conjunto
referido con el carcter "P" (est incluido); del juicio universal negativo
se sombre el rea comn o de interseccin entre el crculo determinado
con la letra "S" y el crculo sealado con el carcter "P", porque no hay
elementos de la clase simbolizada con la letra "S" que pertenezcan al
conjunto representado con el carcter "P"; del juicio particular afirmativo
se coloc una cruz "x" en el rea comn o de interseccin entre el crculo
sealado con la letra "S" y del crculo identificado con el carcter "P", para
indicar que al menos hay uno o ms elementos (algunos) del conjunto
referido con el signo "S" que pertenecen a la clase declarada con la letra
/lp"; Y del juicio particular negativo se coloc una cruz "x" en el rea del
crculo determinado con el carcter "S" que est fuera del rea del crculo
indicado con la letra "P", para indicar que uno o ms elementos (algunos)
del conjunto simbolizado con el signo "S" no son miembros de la clase
significada con el carcter "P".
c. El raciocinio en su expresin de silogismo categrico
Con las diagramaciones de J ohn Venn para representar grficamente
las formas del juicio categrico, se puede determinar la validez del
raciocinio deductivo a partir de su expresin: el silogismo categrico,
pero para ello es necesario que se introduzca un tercer crculo para que
estn totalmente significados los tres trminos del silogismo (cada
209 Campagna, Mara Cristina; y Adriana Lazzeretti. Op. cit., pgina: 111.
91
1/1(: le \ J Ll I< il ) Il ', \: / \c;'J ,/, I 1 l ' ,\ FU / \ ' j) 1 S J) 1-: \ t; , \ 1 U 1 1', \ I\. \ 1 l. ItI/ / r /,1 , \ ,: ll( ; \ 1 1( ) 11 TI (; ,. \ N'fI
tnnino es la expresin de un concepto, y ste se reputa en lgica de
clases corno un conjunto).
Por ejemplo, el silogismo en modo DARlL primera figura, citado en
lgica general:
Premisas
Mayor: Todos los argulllentos lgicos son vlidos.
Menor: Algunos argumentos jurdicos son argumentos lgicos.
Conclusin: Algunos argumentos jurdicos son vlidos.
Los conceptos significados en las proposiciones del silogismo en
nodo DARII se representarn de la siguiente manera: c.l. el concepto
expresado con las palabras "todos los argumentos lgicos", que son
el trmino medio en el silogismo, con la letra "M"; c.2. el concepto
manifestado con el vocablo "vlidos", que es el trmino mayor en el
silogismo, con la letra "P"; y, c.3. el concepto referido con la expresin
"algunos argumentos jurdicos", que es el trmino menor en el silogismo,
con la letra "S".
y los juicios referidos por las proposiciones del silogismo en
consideracin se simbolizarn as:
c.l. El juicio universal afirmativo expresado con la proposicin
"Todos los argumentos lgicos son vlidos", que es la premisa mayor,
con el enunciado: "M n P = <P";
c.2. El juicio particular afirmativo indicado con el enunciado" Algunos
argumentos jurdicos son argumentos lgicos", que es la premisa menor,
con la relacin de conjuntos: "S n M = <P"; Y
c.3. El juicio particular afirmativo referido con la proposicin:
"Algunos argumentos jurdicos son vlidos", que es la conclusin, con
el enunciado conjuntista: "S n P #- <p".
nicamente se diagramarn las premisas, y si de las mismas resulta
contenida la conclusin, entonces el silogismo ser vlido.
92
LIC 1"11('\j, \ \ ' j )( ) : II /U, CI\ ,-\, \ I. \ / l!
s
p
M
Para diagramar el juicio universal afirmativo significado en esta parte
de la lgica matemtica a partir del enunciado "todos los argumentos
lgicos son vlidos", se sombre el rea del crculo identificado con la
letra "M" que est fuera del crculo indicado con el carcter "P", porque
todos los elementos del conjunto representado con el signo "M" son
miembros de la clase aludida con la letra "P", o dicho negativamente, no
hay ningn elemento del conjunto simbolizado con el carcter "M" que
no sea miembro de la clase aludida con el signo "P". y para representar
grficamente el juicio particular afirmativo, significado en esta rama de la
lgica moderna a partir de la proposicin" algunos argumentos jurdicos
son argumentos lgicos", se coloc una cruz "x" en el rea comn o de
interseccin entre el crculo identificado con el carcter "S" y el crculo
sealado con la letra "M", para indicar que algunos elementos del
conjunto expresado con el signo "S" son miembros de la clase manifestada
con el carcter "M".
Como se puede apreciar la diagramacin del ltimo juicio particular
afirmativo, denominado como conclusin en el silogismo, result
contenida o implicada en las diagramaciones de los juicios que constituyen
las premisas, porque existe una cruz en una parte del rea comn del
crculo referido con el signo "S" y el crculo determinado con el carcter
"P", que indica que algunos elementos del conjunto aludido con la letra
"S" son miembros del conjunto expresado con el signo "P", o dicho en
lenguaje natural" algunos argumentos jurdicos son vlidos".
93
I.l .;/l , \ JLlldl l /l , 1, J\ '''''; 'II<L1:\ I L,\ l'll /.\' / )/ ,', /' 1\<"' . \1)// /'. \/, .. \ 1.1 1111 / ). /./ , l/ i ( le; \/ lU /lr/ C .' I N'} / :
D. LGICA DE LAS RELACIONES
La lgica proposjcional y la lgica de clases tienen por objeto
material, entre otras fonnas del pensamiento: 1. los juicios hipotticos
y disyuntivos estudiados en lgica general, y aquellos que, desde
una perspectiva gramatical, comprenden conjunciones copulativas
y condicionales (refirindose con esta tambin a aquellos trminos
que se representan en la primera lgica indicada por la constante
llamada bicondicional); y, 2. los juicios categricos estudiados en lgica
aristotlica, respectivaInente.
La lgica de las relaciones estudia un tipo de juicios muy distintos
a cualquiera de los desarrollados hasta ahora, denolninados juicios
relacionales, que integran razonamientos particulares denOlninados por
los escolsticos como oblicuos
21o
, pero esta parte de la lgica moderna se
enfoca, mas no se agota, en el estudio del juicio relacional, sus elementos,
propiedades y funciones.
1. Juicios relacionales: elementos y expresin simblica
En el juicio relacional significado por la proposicin "Platn fue
maestro de Aristteles", que se simboliza en esta rama de la lgica
moderna como "xRy", se integra de los siguientes elementos:
a. Concepto referente, simbolizado con la letra minscula "x", que
es el primero de los conceptos relacionados y sostiene el sentido de la
relacin;
b. Concepto relacional, significado con la letra mayscula "R", cuya
funcin es expresar el nexo entre los conceptos relacionados; y,
c. Concepto relato, representado con la letra minscula "y", y es el
segundo de los conceptos relacionados.
El ejemplo citado corresponde a lo que los lgicos como Willard Van
Orman Quine
211
, Jos Ferrater Mora y Hugues Leblanc
212
llaman relaciones
didicas, porque relacionan nicamente dos conceptos (el referente y el
relato), sin embargo, tambin existen relaciones tridicas (verbigracia: "x"
210 Sanguineti, Juan Jos. Op. cit., pgina: 14l.
211 Van arman Quine, Willard. Lgica matemtica. Traduccin de: Jos Hierro S. Pescador.
Espaa, 1972, Revista de Occidente, Sociedad Annima, pgina: 205.
212 Ferrater Mora, Jos y Hugues Leblanc. Op. cit., pgina: 145.
94
1./e. I D,h, l /'J Il U (. \\ ,' / 1\ ( ):-. \ / .1. '.' . (;/.; \.'II . \} U
esta en Inedia de "y" y "Z"), tetrdicas y otras polidicas, aunque sern
objeto de estudio en esta lgica nicamente las prlneras por proporcionar
los nociones bsicas suficientes para el conoclniento de las dems.
Los elementos del juicio relacional son los conceptos, pero algunos
pensadores tratan la relacin en s COlllO una clase, verbigracia: los lgicos
citados
213
, quienes efectan con las relaciones vnculos de inclusin o las
operaciones de unin, interseccin y complemento de los conjuntos, las
cuales no se estudiarn porque exceden los objetivos de este trabajo de
investigacin.
Como se puede apreciar los juicios relacionales, por sus elementos, son
diferentes a los predicativos, y Eduardo Gara Mynez
214
, con fundamento en
la distincin formulada por Jules Lachelier sobre los juicios estudiados por la
lgica general y los estudiados por la lgica de las relacionales, expresa que:
a. en los juicios predicativos el concepto-sujeto se refiere a uno o varios objetos,
el concepto-cpula expresado con la palabra" es" tiene un sentido metafsico,
por lo que el concepto-predicado alude a una manera de ser inherente del
objeto referido por el en tanto que los juicios relacionales,
entre los conceptos de la relacin (los denominados referente y relato), que
se refieren a seres exteriores el uno del otro, existe un nexo de aproximacin
entre ellos (verbigracia: de causalidad, de posicin, de magnitud, de nmero y
otras), y el concepto relacional no tiene un valor metafsico; b.la conversin
215
,
en los juicios predicativos, puede implicar Inodificaciones de cantidad o de
213 Willard Van Onnan Quine expresa que la nocin de relacin como clase de pares ordenados
(es decir, como una clase de pares de elementos que no son conmutativos, ya que importa
distinguir la manera como sus elementos estn vinculados) data de Peirce, y la notacin
'x;y' (que aluden a los elementos relacionados) de Frege y Peano, pero fue Weiner, en 1914,
el primero en mostrar que el par ordenado puede ser definido dentro de la teora de las
clases. Van Qrman Quine, Willard. Lgica matemtica. Op. cit., pgina: 206.
214 Se doto de unidad al pensamiento del filsofo citado, porque el mismo trata indistin-
tamente los elementos de la proposicin (sujeto, cpula y predicado) con los del juicio
(concepto-sujeto, concepto-cpula y concepto-predicado).Garca Mynez, Eduardo.
Lgica del juicio jurdico. Op. cit., pginas: 37-44.
215 Mario Moro define la conversin como " ... la operacin mediante la cual se cambian entre
s los trminos de manera que el sujeto pase a ser predicado y el predicado sujeto, sin que cambie
la verdad de la proposicin resultante". La conversin entre juicios universales afirmativos
y negativos no slo implica el cambio entre el concepto-sujeto y concepto-predicado,
sino que tambin el de la cantidad de los juicios (de universales a particulares). Y la
conversin del juicio particular negativo, se cambia de lugar el concepto-sujeto y
concepto-predicado y adems la cualidad anteponiendo a cada uno la negacin "no'.
Moro, Mario. Op. cit., pgina: 36.
95
u)( ; /C \ ILI /' !O/ C .. \ : IN::;'! I\ll AIl V I ( ') /;\1 1 11'i / 'L\''i 'ln/IIi.\ I\ , \ 1'1, /UC" y 1'1. ,\ U()(; ,lI lL .l (JI /C, I /\ l E
cualidad en los mismos, pero en los juicios relacionales la conversin no
iInplica cambio de sentido de los conceptos referente y relato, ya que todo
concepto relacional tiene un converso que permite invertir los conceptos de la
relacin y an as se refiere a la miSlna situacin objetiva, por ejemplo, el juicio
relacional expresado con el enunciado "Platn fue maestro de Aristteles", se
convierte en el juicio relacional manifestado con la proposicin" Aristteles
fue discpulo de Platn"; c. en los juicios predicativos el concepto bsico es
el concepto-sujeto, el cual est subordinado o no al concepto-predicado, en
cambio, en los relacionales ninguno de los conceptos est subordinado al otro,
ya que ambos estn coordinados entre s; y, d. Algunas reglas y formas del
silogismo estudiado en la lgica tradicional (silogismo categrico), vlidas
para los juicios predicativos, no se pueden aplicar a los juicios de la lgica de'
las relaciones, porque sta posee una silogstica propia, verbigracia: "a es igual
a b; b es igual a c, luego a es igual a c", en tal expresin de razonamiento, el
signo "b" figura como trmino medio de la relacin pero no del silogismo.
Todas las diferencias indicadas son acertadas: la segunda, sobre la
conversin de los juicios relacionales, al indicar que "se invierten los
trminos de la relacin" quiere decir que el concepto referente se transforma
en el relato y el relato en referente, y para que la conversin sea ntegra,
el concepto relacional se reemplaza por su converso. Simblicamente, el
concepto relacional converso se significa "R.", por tanto, la conversin
del juicio relacional en su totalidad se representa: "y R x". En el ejemplo
citado, el juicio relacional referido con el enunciado "Platn fue maestro
de Aristteles" se simboliza "xRy", y su conversin es juicio relacional
aludido con la proposicin "Aristteles fue discpulo de Platn", el
cual se representa "y R. x", en donde "x", "R", "y" Y "R." significan los
conceptos de "Platn", "fue maestro de", "Aristteles" y "fue discpulo
de", respectivamente. Dichos juicios se implican recprocamente o son
equivalentes, porque si Platn fue maestro de Aristteles entonces ste
fue discpulo de aqul, y si Aristteles fue discpulo de Platn entonces
ste fue maestro de aqul.
2. Propiedades de las relaciones
Los juicios relacionales se caracterizan por tener las siguientes
propiedades:
a. Reflexividad: un concepto tiene una relacin consigo mismo. Son
relaciones reflexivas, entre otras, las referidas con las expresiones "igual
a" o "idntico a". Por ejemplo, el juicio relacional declarado con la
96
l. N JlU/I,\ 'II F l< n ." \J./' S ;',:, \\I\/,1
proposicin "El silogisl110 categrico es idntico al silogisll10 categrico".
Simblican1ente "xRx".
b. Irreflexividad: un concepto no tiene una relacin consigo ll1isn10.
Son relaciones irreflexivas, entre otras, las aludidas con las palabras
11 distinto de", "abuelo de" y "detrs de". Verbigracia, el juicio relacional
significado con el enunciado "Alberto es abuelo de Jos", ya que en una
hipottica situacin objetiva: Alberto no puede ser abuelo de s ll1isl110.
c. Simetra: el concepto relacional es idntico a su converso, y
transformar el concepto referente en el relato y el relato en referente
produce un juicio distinto pero significativamente equivalente al anterior.
Son relaciones simtricas, entre otras, las significadas con los trminos
"igual a", "semejante a", "diferente de", "vecino de", "hermano de" y
11 all1igo de". Por ejemplo, el juicio relacional aludido con la proposicin
IIHctor es hermano de Paris", ya que su concepto relacional (R) es
idntico a su converso (R), por lo que al invertir los conceptos relacionados
el juicio resultante es significativamente equivalente al anterior, el cual
se manifiesta con el enunciado "Paris es hermano de Hctor".
d. Asimetra: el concepto relacional no es idntico a su converso, por
lo que no se pueden invertir los conceptos relacionados indistintamente,
porque la relacin entre el concepto referente y el concepto relato no es
la misma. Son relaciones asimtricas, entre otras, las expresadas con los
vocablos "padre de", .l/hijo de", "mayor que", .l/ms viejo que" y "menor
que". Verbigracia, en el juicio relacional declarado con la proposicin
"Pramo es padre de Hctor", no se pueden invertir simplemente los
conceptos relacionados, porque resultara el juicio relacional referido con
el enunciado "Hctor es padre de Pralno"; y el concepto referente y el
concepto relato no estn bajo la misma relacin, por lo que necesariamente
hay que sustituir el concepto relacional por su converso, y resulta el
siguiente juicio relacional aludido con la proposicin "Hctor es hijo de
Pramo".
, e. Transitividad: la relacin que existe entre el concepto referente y el
concepto relato se produce tambin entre este y un tercer concepto, por lo
que el primero tiene con el tercero la misma relacin. Simblicamente, si
"xRy", y "yRz", entonces "xRz". Son relaciones transitivas, entre otras,
las manifestadas con las palabras "igual a", "mayor que", "ms alto que",
"ms viejo que", "incluido en", "menor que". Por ejemplo, los juicios:
relacionales representados por los enunciados: "Agamenn es ms viejo
97
' ()I ;!l ', \ WUI ,11\..\ : IN,'; ' IU I/\f/ :;'j'f () /',J /l /'1 I '(\'.'1, \1:// "11':, \ / '1,1(11,/ ') , '1" \U(!I:'\/lU /..f'/ IC, \I\ifE
que Ulises", y "Ulises es 111s viejo que Aquiles", entonces" Agamenn
es ms viejo que Aquiles" .
f. Intransitividad: la relacin que existe entre el concepto referente
y el concepto relato se produce tambin entre este y un tercer concepto,
pero el primero no tiene con el tercero la 111islna relacin. Son relaciones
intransitivas, por ejemplo, las declaradas con los vocablos: "madre de",
"padre de", "doble de" y "cuadrado de". AS, verbigracia, de los juicios
relacionales referidos por las proposiciones" ocho es el doble de cuatro",
y "cuatro es el doble de dos", no se sigue el juicio relacional significado
por el enunciado" ocho es el doble de dos", porque ocho no es el doble
de dos, sino su cudruplo. '
Jos Ferrater Mora y Hugues Leblanc
216
tratan adems las siguientes
propiedades que definen de la siguiente manera:
g. No reflexividad: es una relacin que no es reflexiva ni irreflexiva.
h. No simetra: es una relacin que no es simtrica ni asimtrica.
i. No transitividad: es una relacin que no es transitiva ni intransitiva.
Eduardo Carda Mynez
217
talnbin desarrolla dichas propiedades,
pero las define de modo distinto, mediante el uso de trminos de
"posibilidad", por ejemplo: una relacin es "no reflexiva", si es "posible",
mas no necesario, que un concepto tenga una relacin consigo mismo,
o una relacin es "no simtrica" si algunas veces" es posible" invertir el
orden de los conceptos relacionados sin sustituir el concepto relacional
por su converso.
El ltimo lgico no est de acuerdo con estas ltimas tres propiedades;
le parecen inadmisibles, afirmando, en base al principio de tercero
excluido, que las relaciones son reflexivas o irreflexivas, simtricas
o asimtricas, transitivas o intransitivas, porque entre las mismas no
existe un tercer trmino: no-reflexivas, no-simtricas y no-transitivas,
respectivamente. En todo caso, dice Eduardo Carda Mynez, si una
relacin es irreflexiva equivale a no-relfexiva; asimtrica a no-simtrica
e intransitiva a no-transitiva
218

216 Ferrater Mora, Jos y Hugues Leblanc. Op. cit., pginas: 155-157.
217 Carda Mynez, Eduardo. Lgica del juicio jurdico. Op. cit., pginas: 48-50.
218 [bid., pgina: 50.
98
ue. fF 1\\ \ 1\ PO J -\ \.' I L./' 1\ nc, : \ I L:-' <-: /\ . \ tU. '" ( .1
Las definiciones de Jos Ferrater Mora, Hugues Leblanc y Eduardo
Garca Mynez no proporcionan ninguna claridad respecto a la naturaleza
de los conceptos definidos. Las de los dos primeros lgicos porque
estn formuladas en sentido negativo, verbigracia: la propiedad "no-
reflexividad" podra significar que es de tipo "silnetra", "asimetra",
"no simetra", "transitividad", "intransitividad" y "no transitividad",
porque lo nico que se sabe es que no es reflexiva ni irreflexiva. Y la del
ltimo filsofo indicado, porque no se puede determinar la esencia de
los conceptos definidos en base a trminos de "posibilidad". Por dichas
consideraciones se trataron estas ltimas propiedades de nodo distinto
y aparte.
3. Funciones
Las funciones son relaciones particulares entre el concepto referente
y el concepto relato segn la correspondencia entre los mismos. Las
funciones son:
a. Relaciones de uno a uno o uni-nica: a cada concepto referente de
una determinada relacin corresponde solamente un concepto relato, y
viceversa. Son relaciones uni-nicas, entre otras, las expresadas con las
palabras "rey a monarqua", yen una cultura monogmica "casado con",
por ejemplo, los juicios relacionales representados con los enunciados:
a.l. "Inglaterra fue gobernada por el rey Enrique VIII", y "el rey Enrique
VIII gobern Inglaterra"; y, a.2. "El prncipe de Asturias Felipe de Borbn
est casado con Letizia Ortiz", y "Letizia Ortiz est casada con el prncipe
de Asturias Felipe de Borbn".
b. Relaciones de uno a muchos o uni-multiple: a cada concepto
referente de una determinada relacin corresponden varios conceptos
relatos, pero no viceversa, es decir, que a cada concepto relato corresponde
un concepto referente. Son relaciones uni-mltiple, entre otras, las
manifestadas con las expresiones "padre de" y "madre de", verbigracia:
el juicio relacional referido con el enunciado "Pramo es padre de Hctor
y de Paris", denota que Hctor y Paris slo tienen un padre: Pramo.
c. Relaciones de muchos a uno o multi-nica: a cada concepto
referente de una determinada relacin corresponde un concepto relato,
pero a ste concepto corresponden varios conceptos referentes. Son
relaciones multi-nica, entre otras, las referidas con los vocablos "hijo
de", "hija de", ya que, por ejemplo, en los juicios relacionales aludidos
99
con las proposiciones" Agan1enn es hijo de Atreo" y "Menelao es hijo
de Atreo", lnuestran que Agmnenn y Menelao slo tienen un padre:
Atreo, pero ste tiene dos hijos.
d. Relaciones de muchos a muchos o multi-mltiple: a cada concepto
referente de una determinada relacin corresponden varios o lnuchos
conceptos relatos y viceversa. Son relaciones multi-mltiples, entre otras,
las aludidas con los trminos "mayor que" y "menor que". Por ejemplo,
el juicio relacional expresado con el enunciado "x < y"219, ya que, si se
asigna un valor numrico a la variable simbolizada con la letra "x",
entonces la variable referida con el carcter "y" podr significar desde el
pri1l1er nmero mayor al referido con la variable anterior hasta el infinito,
y si se asigna un valor nU1l1rico a la variable aludida con la letra "y",
entonces la variable representada con el carcter "x" podr significar
desde el primer nmero menor al expresado con aquella variable hasta
el menos infinito.
E. APLICACIONES DE LA LGICA MATEMTICA
La lgica moderna a pesar que es ms compleja que la lgica clsica,
porque utiliza el lenguaje simblico de la matemtica, tambin sirve
a varios sujetos como instrumento para diversas aplicaciones de gran
utilidad, verbigracia:
1. De lgica proposicional: a. al representar de "una manera", por
medio de las constantes o conectivas lgicas, las mltiples formas COlno
se expresan en lenguaje natural las relaciones entre proposiciones, facilita
la identificacin del tipo de vnculo entre las mismas, lo cual coadyuva
a su correcta interpretacin; b. la representacin de las relaciones entre
los enunciados y de los argumentos conforme el lenguaje simblico de la
lgica proposicional, permite discernir la estructura del razonamiento; y,
c. la expresin de un determinado razonamiento en una discusin para la
defensa de una postura o posicin respecto algn tema, puede ser objeto
de anlisis desde sta lgica, segn la naturaleza del argumento, para
determinar con fundamento en los valores de verdad de sus enunciados
y el modo de sus relaciones formales, si es vlido o invlido;
2. De la lgica de clases: a. la forma como se concibe el concepto
suministra otra perspectiva para reputar la extensin y las relaciones de
219 Ibid., pgina: 52.
100
l/e. rU:' .\ , \t\ p() .. \ \ ' IU\ C /\ / \ i\l i \/ U
dicha forma del pensamiento atendiendo a su cOlnprensin y extensin
(rbol lgico), en base a las nociones de la teora de conjuntos de la
matemtica referidas por los trminos "miembro de" e "inclusin"
y "no-inclusin", respectivamente, enfoque que contribuye en los
alcances de la predicabilidad de tal elemento general del pensamiento;
b. las diagramaciones de las formas del juicio categrico muestran las
relaciones entre conjuntos, proporcionando esquemas universalmente
vlidos indistintamente de las clases significadas, que pueden ser de
utilidad en cualquier ciencia o conjunto de conocimientos estructurados
y sistemticos que no constituyen ciencia; y, c. la diagramacin del
silogismo categrico constituye un mecanismo para determinar la validez
o invalidez del raciocinio significado y empleado; y,
3. De la lgica de las relaciones: a. el anlisis de un tipo de juicio
distinto a los estudiados en las lgicas anteriores, constituye en s un
conocimiento que es de gran utilidad en diversas aplicaciones, porque
contempla otro tipo de relaciones entre conceptos cuya estructura se aplica
al objeto material de diversas ciencias (incluida la lgica jurdica, tal y
como se estudiar en el captulo inmediato siguiente, especficamente
en el desarrollo del "juicio jurdico"); y, b. las funciones de los juicios
relacionales muestran los distintos vnculos entre el concepto referente y
el concepto relato, lo cual contribuye a ampliar los contenidos mentales
para un anlisis.
Las aplicaciones de la lgica matemtica no quedan reducidas a las
expresadas ni son solamente vlidas en un mbito terico, ya que la
opinin de Luis Enrique Prez publicada en un peridico de Guatemala,
denominada "Una confusin semntica: violencia y criminalidad",
que tiene por objeto distinguir entre los conceptos de "violencia" y de
"criminalidad", muestra lo contrario: "El crimen ... consiste en ejecutar
intencionalmente actos socialmente dainos o peligrosos, que la ley penal tipifica,
prohbe y castiga. La violencia consiste en emplear la fuerza bruta para obligar
a ejecutar un acto, o para obligar a abstenerse de ejecutarlo ... El crimen no
necesariamente es violencia ... La violencia tampoco es necesariamente crimen ...
El crimen incluye actos violentos y no violentos ... La violencia incluye actos
criminales y no criminales ... En suma: ni el crimen es necesariamente violencia,
ni la violencia es necesariamente crimen, sino que algunos actos criminales son
violentos, y algunos actos violentos son criminales. No es el caso, entonces, como
dira un matemtico, que los actos criminales sean un subconjunto de los actos
violentos, o que los actos violentos sean un subconjunto de los actos criminales.
101
El crimen violento, o la violencia criminaL, es un nuevo conjunto, constituido por
la interseccin del conjunto de actos criminales y del conjunto de actos violentos.
Dedcese, entonces, que quien protesta por el crimen, necesariamente protesta
tambin por el crimen violento, que est incluido en la interseccin; pero quien
protesta por la violencia, necesariamente protesta tambin por la violencia no
criminal, que est excluida de esa misma interseccin ... 11
22
.
El comentarista citado, en claro paradigma de aplicacin correcta de
la lgica de clases, se funda en nociones de las relaciones (las referidas por
los vocablos "inclusin" y "subconjunto") y de operaciones elementales
entre conjuntos (la significada con la palabra "interseccin"), aplicadas
en una serie de proposiciones en lenguaje natural, para discernir que los
actos criminales, los actos violentos y la violencia criminal, entre otros
trminos que significan clases, no son conjuntos que por su extensin
sean idnticos.
Lo anterior demuestra que el estudio y la aplicacin de los contenidos
de la lgica matemtica s constituyen herramientas tiles en diversas
actividades intelectuales del ser humano, sobre todo en la interpretacin
del lenguaje natural, el anlisis de los contenidos mentales y establecer
la validez o invalidez de los raciocinios.
220 Perez, Luis Enrique. "Una confusin semntica: violencia y criminalidad". Siglo
Veintiuno. Guatemala, 5 de marzo de 2005, pgina: 11. Ver anexo 3.
102