RESMENES DE TESIS DOCTORALES

Cuadernos de filosofa /59 .2012. ISSN 0590-1901

La implicacin analtica y la nocin de consecuencia

lgica
C
A. O
"" Directora:
Dra. Gladys D. Palau
arlos

ller

El propsito de esta tesis fue explorar la posibilidad

de caracterizar relaciones de consecuencia que reflejen la intuicin que el lgico norteamericano William
Tuthill Parry (1908-1988) intent capturar en su lgica
de la implicacin analtica: para que exista la relacin
entre dos proposiciones que es necesaria y suficiente
para permitirnos pasar, en virtud de razones puramente lgicas, de la afirmacin de la primera proposicin a la afirmacin de la segunda es necesario que el
contenido de la segunda est incluido en el contenido
de la primera. La implicacin analtica caracterizada
por Parry una conectiva condicional del lenguaje
proposicional evita algunas de las paradojas de la
implicacin material y de la implicacin estricta, pero
valida determinadas tesis paradjicas las paradojas
de la implicacin analtica que impiden que el sistema de Parry pueda considerarse una lgica relevante
o paraconsistente interesante. Por ello, uno de los
objetivos de esta tesis fue investigar cmo modificar
la lgica de implicacin analtica para lograr caracterizar una nocin de consecuencia que presente un
comportamiento inferencial ms plausible que el
definido por la implicacin analtica de Parry.
La lgica de la implicacin analtica y las intuiciones
que la motivan pueden comprenderse, segn se mostr en el captulo 2 de esta tesis, si se considera el
contexto histrico en el que surge el sistema de Parry.
Por una parte, Parry recoge de su maestro Clarence I.
Lewis la idea de que la relacin de implicacin material es una relacin entre las extensiones los valores
de verdad de los enunciados, mientras que la de
implicacin lgica es una relacin entre las intenciones o significados de los enunciados. Por ello, como
Lewis, rechaza la eleccin de Bertrand Russell de la
implicacin material para representar la relacin de
implicacin lgica. Pero tambin rechaza Parry la
tesis de Lewis segn la cual la inferencia deductiva
puede fundamentarse en las propiedades de la implicacin estricta.
Cuando en la dcada de 1970 se redescubre la lgica
de la implicacin analtica de Parry, y se ofrecen pruebas de consistencia y completitud para esta lgica, se
1 Jurados de la tesis: Dr. Javier Legris, Dr. Alberto Moretti y Dr. Luis A. Urtubey. Fecha de defensa de la tesis: 31 de mayo de 2013

sigue estudiando la implicacin analtica como una

conectiva del lenguaje. Por su parte, el tratamiento
formal de la implicacin analtica como una relacin
de consecuencia que se defendi en esta tesis tiene
un antecedente en un abstract de T. Smiley publicado
en 1962, pero es necesario esperar hasta la dcada
de 1990 para encontrar un tratamiento cabal de una
relacin de consecuencia analtica inspirada en las
ideas de Parry. Por una parte, encontramos en 1996 la
caracterizacin de una relacin de consecuencia analtica para un sistema de secuentes de A. Tzouvaras y,
por otra parte, el autor de esta tesis ofreci en 1999
la caracterizacin de una relacin de consecuencia
analtica para un sistema de tablas semnticas.
En el tercer captulo de esta tesis se argumenta que
la lgica de la implicacin analtica de Parry puede
incluirse dentro de la clase de lgicas relevantes. En
efecto, como los lgicos de la relevancia, Parry busc
evitar las paradojas de la relevancia de la implicacin material y de la implicacin estricta y propuso
al principio proscriptivo un criterio de irrelevancia
deductiva que pide la inclusin de las variables proposicionales del consecuente de una implicacin
analtica en las de su antecedente como gua para
la construccin de la lgica de la implicacin analtica.
El principio proscriptivo puede considerarse como
un criterio que formula condiciones suficientes para
la irrelevancia deductiva y, por lo tanto, condiciones
necesarias de relevancia deductiva. En ese mismo
captulo de esta tesis se mostr que un refinamiento del principio proscriptivo de Parry, que exige que
en el consecuente de una implicacin analtica no
aparezcan positivamente (negativamente) variables
proposicionales que no aparezcan positivamente
(negativamente) en el antecedente, filtra algunas de
las paradojas de la implicacin analtica pero no logra
filtrar todas las paradojas de esta clase.
En el cuarto captulo se defendi la tesis segn la
cual la lgica de la implicacin analtica puede considerarse una lgica paraconsistente cabal, en contra
del argumento de Charles F. Kielkopf que mostr que
el sistema de implicacin analtica de Parry permite
obtener la regla del ECQ (ex contradictione quodlibet)
como regla derivada del sistema y que, por lo tanto,
no es una lgica paraconsistente de acuerdo con la
caracterizacin ms comnmente aceptada de estas
lgicas que considera que la paraconsistencia es una

153

154

Cuadernos
Cuadernos
de de
filosofa
filosofa
/59 .2012.
/59 . ISSN
ISSN 0590-1901
0590-1901

propiedad de la relacin de consecuencia de un sistema. Se argument que la intencin de Parry era

ofrecer una teora de la consecuencia lgica en la que
esta relacin es simbolizada por la implicacin analtica y que, por ello, resulta en este caso ms adecuado
considerar la paraconsistencia como una propiedad
de esa conectiva ms que como un atributo de la
relacin de consecuencia lgica del sistema de Parry.
Se sostuvo en ese captulo de la tesis que problemas
como el planteado por la crtica de Kielkopf confirman la conveniencia de presentar la implicacin analtica de Parry como una relacin metalingstica de
consecuencia entre frmulas del lenguaje ms que
como una conectiva del lenguaje.
En el quinto captulo se desarroll un sistema de lgica proposicional el sistema LPa que ejemplifica la
conjetura de que la combinacin de paraconsistencia
y analiticidad puede servir para caracterizar relaciones de consecuencia analtica que resulten filosficamente plausibles y que eviten las paradojas de la
implicacin analtica de Parry. Por otra parte, se trat
que la eliminacin de las paradojas de la implicacin
analtica no se haga a costa de una prdida excesiva
del poder inferencial del sistema lgico resultante y,
en particular, se busc que la conectiva condicional
del sistema valide la regla del modus ponens.
Se mostr que la relacin de consecuencia paraconsistente de LPes decir, el sistema LP de Priest a
cuyo vocabulario se aade una conectiva condicional
para la que vale la regla del modus ponens restringida mediante el principio proscriptivo puede generar
una lgica el sistema LPa que cumple con las exigencias de analiticidad planteadas por Parry, al tiempo que elimina las paradojas que inutilizan el sistema
de la implicacin analtica del lgico norteamericano.
Se present en ese captulo de la tesis una semntica tetravalente y otra trivalente para el sistema
proposicional de lgica analtica LPa. La semntica
tetravalente extiende las matrices trivalentes para
LP que, a su vez, modifican las matrices trivalentes
de la lgica LP de Priest. Por su parte, la semntica
trivalente utiliza las matrices de la semntica trivalente para LP y funciones de asignacin de contenidos
para las frmulas bien formadas del sistema, y define
la relacin de consecuencia lgica en trminos de
ambas. La teora de la demostracin para el sistema
LPa se present bajo la forma de un sistema tablas
semnticas y se prob la correccin y completitud
de este sistema respecto de la semntica trivalente
para LPa.

[153-154] Carlos A. Oller

Por ltimo, en el sexto captulo de la tesis se estudi

la posibilidad de combinar la consecuencia analtica
con la no-monotona para definir relaciones de consecuencia adecuadas para formalizar razonamientos de
sentido comn. Se seal que la razn para construir
una lgica de la implicacin analtica no-montona
no puede ser, como en el caso de las versiones nomontonas de algunos sistemas paraconsistentes, la
ampliacin del poder inferencial que esos sistemas
pierden al invalidar el ECQ. En efecto, y en contraste con lo que sucede con esos sistemas, la relacin
de consecuencia analtica caracterizada por Parry es
demasiado fuerte y no logra evitar completamente
inferencias poco plausibles a partir de conjuntos de
premisas inconsistentes. Sin embargo, se sostuvo que
las lgicas analticas pueden servir de base para una
lgica no-montona de la inferencia revocable que
pretenda modelizar ciertos tipos de razonamiento
humano de sentido comn.
En ese captulo se exploraron dos maneras de obtener
una relacin de consecuencia analtica no-montona:
a partir de una relacin de consecuencia montona
y de una relacin de consecuencia no-montona.
La primera manera de definir una relacin de consecuencia no-montona analtica que se explor es
en trminos de la relacin de consecuencia clsica
y de una funcin i() que nos devuelve el contenido
implcito de un conjunto de premisas . La segunda
manera de definir una relacin de consecuencia nomontona analtica que se explor es en trminos de
una relacin de consecuencia no-montona caracterizada por un conjunto de postulados por ejemplo,
los propios de una relacin no-montona racional y
de la funcin de asignacin de contenidos s. Se mostr que la relacin de consecuencia definida de esta
segunda manera tiene propiedades, adems de la
analiticidad, que son deseables para una relacin de
consecuencia no-montona.
En conclusin, en esta tesis se mostr que un grupo
de lgicas paraconsistentes que han recibido comparativamente poca atencin en la literatura las lgicas analticas que abandonan la validez irrestricta del
principio de adicin incluye sistemas que caracterizan relaciones de consecuencia que permiten extraer
conclusiones sensatas y no triviales a partir de conjuntos de premisas posiblemente inconsistentes. Las
lgicas analticas, precisamente por estas razones,
ofrecen un campo de investigacin promisorio en lo
que respecta a la lgica pura y aplicada.