14

enero - junio 2012

REVISTA LGEIN N 12 ENERO JUNIO 2011

y sintticas a priori. Hacer visible la diferencia esencial que hay entre

la utilizacin de estos conceptos en Husserl y Kant es un tema que por
completo desbordara las intensiones de este texto. Ms bien, lo dicho
hasta aqu puede ser til para descubrir la diferencia que el mtodo
fenomenolgico revela entre las leyes que se fundan en la naturaleza
especfica de los contenidos y las leyes analticas y formales que, como
fundadas puramente en las categoras formales son insensibles frente a
toda materia del conocimiento.
En la tercera de las seis Investigaciones para la fenomenologa y
teora del conocimiento (IL.), exactamente en los pargrafos 10, 11 y 12
Husserl presenta muy detalladamente su determinacin fundamental
respecto de las proposiciones analticas y sintticas:
Las leyes analticas son proposiciones incondicionalmente
universales (libre de toda explcita o implcita posicin
existencial de algo individual) que no contienen mas conceptos
que conceptos formales, que categoras formales. Frente a las
leyes analticas se hallan sus particularizaciones, que se producen
por introduccin de conceptos materiales y eventualmente de
pensamientos que ponen existencia individual (como esto, el
emperador, etc). As como en general las particularizaciones
de leyes producen necesidades, as las particularizaciones
de leyes analticas producen necesidades analticas. Las que
se suele llamar proposiciones analticas son regularmente
necesidades analticas [] proposiciones tales que su verdad es
completamente independiente de la peculiaridad material de sus
objetos y de la eventual actividad del caso, as como de la validez
de la posicin eventual de existencia; proposiciones que pueden
formalizarse por completo y concebirse como casos especiales o
aplicaciones empricas de las leyes formales o analticas nacidas
vlidamente de dicha formalizacin (H
IL., 1, 12: 407.
Apndice).

Otro rasgo fundamental de una proposicin analtica, tal vez el

ms importante para la fenomenologa, versa en la posibilidad de
sustitucin de toda la materialidad objetiva por la forma vaca universal
algo, sin que la forma lgica de la proposicin se vea alterada; de suyo
es que pueda excluir toda posicin de existencia mediante el paso a
la correspondiente forma de juicio de incondicional universalidad
o legalidad (H
IL., 1, 12: 405. Apndice). Adicional a esto hay
que dejar clara la imposibilidad de plantear proposiciones sintticas
44

Lgica paraconsistente:
el caso de J3
Julin Mauricio Valds Toro
Universidad del Valle

Recibido: febrero 2011; aprobado: mayo 2011

Revista Lgein N 14, enero - junio 2012: 67 - 81

ISSN 1794-5291

SOBRE LAS CATEGORAS LGICAS, LA ONTOLOGA FORMAL Y LA IDEA DE LA LGICA PURA ...

tiene nociones de algo sino que, en cuanto saber, es un estar y una

actitud; Heidegger dice que por conceptos fundamentales se entiende
habitualmente las representaciones que nos delimitan un mbito de
objetos en su totalidad o segn perspectivas particulares, pero rectoras
(H
1989: 39). As, por ejemplo, el concepto de fenmeno
resulta fundamental para la ciencia de lo psquico, lo mismo que el
concepto de fuerza es un concepto fundamental de la ciencia de la
naturaleza, el concepto de cultura lo es de la historia, y el concepto de
ley del derecho (H
1989: 40). Estos conceptos son primitivos,
hacen posible la conexin del conocimiento en sentido objetivo y
particularmente la conexin teortica, de tal suerte que ellos conducen
y sirven a las ciencias particulares en la exploracin y comprensin de
los objetos de su dominio particular porque constituyen la idea de una
unidad teortica, de una significatividad.

Julin Mauricio Valds Toro

Estudiante de Licenciatura en Filosofa de la Universidad del Valle. Acaba de
presentar trabajo de grado en rea de lgica, recibiendo la mencin Laureada.
Tambin ha sido monitor de los cursos Introduccin a la lgica e Introduccin
a la filosofa de la ciencia. Desde hace dos aos es ayudante de investigacin del
grupo de investigacin Episteme: Filosofa y Ciencia, adscrito al Departamento
de Filosofa de la Universidad del Valle clasificado por Colciencias categora
A. Ha publicado el artculo El modelo nomolgico deductivo de explicacin
cientfica frente al problema de la irrelevancia en la edicin nmero 8 de la
Revista Lgein de estudiantes de filosofa.
Correo electrnico: jumaovat@hotmail.com

Ahora bien, para Husserl en estrecha relacin ideal con estos

conceptos o categoras significativas se hallan las categoras
objetivas formales o puras, tales como: objeto, situacin objetiva,
unidad, pluralidad, relacin, combinacin, etc. En sus propias
palabras: en ambos casos se trata exclusivamente de conceptos
que son independientes de la particular ndole de toda materia del
conocimiento [] y a los cuales han de subordinarse necesariamente
todos los conceptos y objetos, proposiciones y situaciones objetivas
que figuran especialmente en el pensamiento (H
IL., 11, 67:
202. Apndice). Se requiere, por tanto, necesariamente una distincin
entre dos tipos de conceptos: en primer lugar, aquellos que se agrupan
alrededor de la idea vaca de un objeto en general y se enlazan con
este objeto mediante axiomas ontolgicos formales (algo, uno, objeto,
propiedad, relacin, enlace, pluralidad, nmero, orden, numero ordinal,
todo, parte, magnitud, etc.). En segundo lugar, aquellos conceptos que
a diferencia de los primeros expresan algo que contiene una cosa,
categoras que se ordenan en torno a diferentes gneros supremos de
cosas en las cuales arraigan ontologas materiales (casa, rbol, color,
sonido, espacio, sensacin, sentimiento). As pues, es en virtud de estos
dos modos categoriales que Husserl puede establecer determinaciones
fundamentales sobre proposiciones analticas a partir de la divisin
cardinal entre la esfera de las esencias formales y materiales. Tal divisin,
segn hemos repasado en este artculo, sirve de base a la autntica
diferencia entre disciplinas (o leyes y necesidades) analticas a priori
43

REVISTA LGEIN N 12 ENERO JUNIO 2011

tanto que son conceptos puramente lgicos y fundamentales los que

determinan la esencia lgica del objeto en general dentro del sistema
total de los axiomas. Estas categoras son meras formas vacas, es decir,
conceptos independientes de toda materia del conocimiento que no
tienen en cuenta ninguna determinacin material de objetos y que, por
tanto, son algo radicalmente no-cualitativo; en tanto categoras de la
regin analtica, son como formas que requieren un cumplimiento
material con el cual algo como un objeto pueda ser, al tiempo que son
independientes de su posible cumplimiento. Estas formas categoriales
no son objetos reales ni tampoco contenidos de conciencia sino formas
universales irreales, en las cuales todo lo cognoscible debe encajar, el
presupuesto de toda existencia real.
Husserl pone como ejemplos de estas categoras a los conceptos de
propiedad, cualidad relativa, relacin, identidad, igualdad, conjunto o
coleccin, nmero, todo y parte, gnero y especie, etc. Ellos funcionan
a modo de significados universales capaces de formar estructuras
complejas no arbitrarias, gobernadas por leyes tal y como sucede
tambin con los conceptos de la lgica formal; ambos (las categoras
analticas y los conceptos de la lgica formal) son independientes de
la particularidad material de todo conocimiento. Esto supone que
mediante la intuicin esencial12 somos capaces de asir las propiedades
de estas estructuras dadas de un modo tal como para establecer de una
sola vez las propiedades de todas las estructuras formalmente similares.
Deben incluirse adems en la generalidad de la regin analtica las
categoras significativas los conceptos fundamentales de las diversas
formas de proposiciones, miembros y formas de esta, conceptos que
son inherentes a la esencia de la proposicin (apfansis) (Ideas I, I,
10: 34).
Sin embargo a qu se refiere Husserl cuando habla de estas
categoras como conceptos fundamentales? La tradicin nos informa
que los conceptos son representaciones mediante las cuales traemos
al entendimiento un objeto en general; que sean fundamentales
implica al tiempo representaciones ms generales de mbitos lo ms
amplios posibles. Con ste tipo de conceptos se pretende concebir
el fundamento, alcanzar el suelo de todo en un conocer que no slo
En contraposicin a la emprica como forma de conciencia en que aprehendemos o
ponemos la realidad o la existencia.
12

42

J31

Julin Mauricio Valds Toro

Universidad del Valle

En el presente trabajo pretendo mostrar algunas de las caractersticas ms

importantes de las lgicas de la familia paraconsistente. Considerando la
cantidad de este tipo de lgicas que existen actualmente, para lograr mi
objetivo tomo como ejemplo a un solo sistema lgico: al sistema proposicional
J3, con el cual pretendo dar cuenta de las caractersticas bsicas de su familia.
Esto es, dar cuenta de la satisfacibilidad de contradicciones, la no-trivializacin
de conjuntos de frmulas o teoras a partir de contradicciones, y la presencia
de frmulas de buen comportamiento.
Palabras clave: lgica, lgica paraconsistente, contradiccin, trivializacin,
Principio de Pseudo-Escoto, N. C. A. Da Costa, I. M. L. DOttaviano, J3.

In this work I try to show some of the main characteristics of the logics of
paraconsistent family. Because there is a lot of these logics, to achieve my aim
I take, as an example, just one logical system: the propositional system J3. With
this one, I try to report the main characteristics of its family. I mean, to report
the satisfability of contradictions, the non-trivialization of set of formulas or
theories because of contradictions, and the existence of well-behaved formulas.
Keywords: Logic, Paraconsistent Logic, contradiction, trivialization, PseudoScotus Principle, N. C. A. Da Costa, I. M. L. DOttaviano, J3.

1
Este escrito es resultado del desarrollo de una primera versin creada en el curso
Lgica matemtica del profesor Guillermo Ortiz del Departamento de Matemticas de la
Universidad del Valle en el ao 2010. Por otro lado, agradezco a mi compaero y amigo
Mateo Moreno por ayudarme a comprender los textos en francs.

REVISTA LGEIN N 14 ENERO JUNIO 2012

SOBRE LAS CATEGORAS LGICAS, LA ONTOLOGA FORMAL Y LA IDEA DE LA LGICA PURA ...

La Lgica Paraconsistente es una gran familia de sistemas lgicos

no clsicos desarrollados principalmente en Brasil, Polonia, Australia
y Argentina desde la segunda mitad del siglo pasado; su principal
caracterstica es la posibilidad de tratar teoras o conjuntos de
frmulas considerados clsicamente como contradictorios sin caer
en la trivializacin. Se dice de una teora que es trivial si toda frmula
de su lenguaje es demostrable. En la lgica clsica (y muchos otros
sistemas lgicos), la presencia de cualquier contradiccin en una teora
la trivializa debido a los teoremas y regla de inferencia conocidos
como Pseudo-Escoto; esto es: (A A) B. El propsito de las lgicas
paraconsistentes es manejar proposiciones como (A A), sin que de
ella se siga cualquier frmula. La estrategia para lograr tal cosa es ms
o menos simple: si se desea permitir contradicciones y no caer en la
trivializacin, se debe eliminar el principio clsico de Pseudo-Escoto.
As pues, encontramos que las lgicas paraconsistentes eliminan
siempre tal regla de inferencia.

en prrafos anteriores. Para l, estos dos trminos combinados en el

conjunto categora de una regin remite precisamente a la regin
respectiva de una esencia pura, como es el caso de la regin de la
naturaleza fsica; a la vez, que la pone en relacin con la forma de regin
en general, la esencia formal objeto en general y con las categoras
formales inherentes a esa esencia (Ideas I, I, 3: 33). Es de este modo
que la ontologa formal entendindola siempre como la lgica pura en
toda su extensin hasta una generalidad universal se relaciona con las
ontologas materiales y viceversa. Si la ontologa formal representa para
Husserl, como veremos ms adelante, la ciencia de las esencias, la teora
mximamente abstracta sobre objetos cualesquiera, su fundamento no
puede proceder de las esencias dotadas de un contenido material sino
de las esencias que se presentan en su mera forma esencial general,
aquellas esencias completamente vacas y puras de todo contenido
material que se ajustan a todo objeto posible a la manera de una forma
vaca. Por consiguiente, la ontologa en su formal universalidad se
establecera como una teora a priori de la ciencia cuya misin radicara
no slo en la investigacin de aquello que hace de los distintos saberes
una ciencia estricta, sino tambin, en la fijacin de las condiciones de
posibilidad (noticas y lgico-objetivas) del conocimiento cientfico; en
ltimas, una ciencia de la ciencia que alberga en su seno a la vez las
formas de todas las ontologas posibles en que prescribe a las ontologas
materiales una constitucin formal comn a todas ellas (Ideas I, I, 10:
33) .

Sin embargo, las lgicas paraconsistentes no slo pretenden

atrapar el aspecto lgico de los sistemas considerados clsicamente
contradictorios; sino que tambin pretenden atrapar el aspecto lgico
de sistemas con un comportamiento clsico (es decir, que no presentan
ni pueden presentar contradicciones en sentido clsico). A fin de
lograrlo, encontramos en estos sistemas lgicos operadores tan curiosos
como el de consistencia y la negacin fuerte ~ que permiten
atrapar el carcter consistente de las frmula y el carcter clsico
de la negacin, respectivamente. De esto ltimo se sigue otra de las
caractersticas peculiares de las lgicas paraconsistentes, la existencia
de dos formas de negacin: la negacin dbil o paraconsistente y la
negacin fuerte ~; diferencindose principalmente en la posibilidad
que da la negacin dbil de formar contradicciones (en sentido clsico)
que no son necesariamente insatisfacibles, posibilidad que no permite la
negacin fuerte. As pues, tenemos que, en las lgicas paraconsistentes,
(A A) es satisfacible, mientras (A A) no lo es.
Histricamente, Newton C. A. Da Costa es considerado como el primer
lgico en crear y axiomatizar una lgica paraconsistente. De hecho, cre
y axiomatiz toda una gama de lgicas, la jerarqua Cn1 n en su texto
Sistemas formais inconsistentes de 1963 (Cfr. B
1996: 186);
posteriormente public junto con otros lgicos como Ayda I. Arruda
varias notas en el Comptes Rendus de lAcademie des Sciences de Paris
72

As como a toda ciencia (emprica o de hechos) tiene dominio sobre

una regin de objetos particulares como campo de su investigacin, en
efecto, a la ontologa formal (entendida siempre como la lgica pura en
toda su extensin hasta la mathesis universalis) debe corresponderle el
dominio de la regin eidtica del objeto en general. Objeto sobre el cual
pueden establecerse verdades mltiples e infinitas que se distribuyen
a lo largo y ancho de las polifacticas disciplinas de la mathesis, en
virtud de que toda cosa material se ordena bajo la categora lgica de
individuo puro y simple (objeto absoluto). Ms an, el conjunto total
de estas verdades remiten a un grupo ms pequeo de verdades
inmediatas o fundamentales que funcionan en las disciplinas puramente
lgicas como axiomas (Ideas I, I, 10: 34) constituidos mediante los
conceptos analticos. Indudablemente son las llamadas categoras
lgicas o analticas las que brindan el fundamento a estos axiomas, en
41

REVISTA LGEIN N 12 ENERO JUNIO 2011

LGICA PARACONSISTENTE: EL CASO DE J3

llevar esta dependencia a un grado mucho ms elevado al proponer la

subordinacin de todo lo material a lo formal, o mejor, la reduccin de
todas las ciencias regionales eidticas posibles a una regin formal que
tiene bajo su dominio a todas las regiones con todos sus casos esenciales
especiales o dotados de un contenido material. Esta ontologa que, como
ya sabemos, es presentada por el filsofo como la ciencia eidtica del
objeto en general y a la cual le es inherente los conceptos o categoras
lgicas que expresan las determinaciones absolutamente necesarias y
constitutivas de un objeto en cuanto tal, de un algo cualquiera.

en los que desarrolla variados aspectos de su jerarqua de sistemas

lgicos (Cfr. B
1996:209-216; y D C
,B
B
1998: 101-103). No obstante, antes de la aparicin de la jerarqua de
Da Costa, el lgico polaco Jaskowski, en su texto de 1948 traducido
como Clculo proposicional para sistemas deductivos contradictorios,
present, aunque no axiomatiz, un sistema lgico paraconsistente
conocido como lgica discursiva (Cfr. B
1996: 151-166; D
C
,B
B
1998: 99-101; y D C
L
1995: 190).
Anterior a esto, se encuentran los trabajos del lgico ruso Vasiliev hacia
1925 a partir de la silogstica aristotlica sobre lo que llam lgicas
imaginarias (Cfr. D C
L
1995: 190; y A
1990: 10-13).
Despus de los primeros desarrollos de Da Costa, se han formulado y
estudiado gran cantidad de sistemas lgicos paraconsistentes, como el
clculo de antinomias de Asenjo formulado por primera vez en su
texto de 1965 Lgica dialctica (Cfr. B
1996: 216-221)
y el sistema multivaluado J3 de Da Costa y DOttaviano propuesto
en DO
D C
1970 y desarrollado, entre otros, en
DO
1982 y DO
1985, DO
1987.

3. L

La importancia de la regin analtica y sus categoras es un tema

que no solamente ocup a filsofos tales como Husserl, Wittgenstein,
Austin o Russell; todos ellos hacia la primera mitad del siglo XX. Ya
Aristteles en De interpretatione 16a19-17a9, establece una clara
distincin de los ingredientes fundamentales de todo juicio asignndole
una funcin especial a las categoras. Para Aristteles todo juicio se
compone bsicamente de dos miembros que comparten una relacin de
complementariedad lgica: un sustrato acerca del cual se enuncia algo
(upokeimenon) y aquello que se predica o se enuncia de ese sustrato
(). No solamente para Husserl sino tambin para toda
la tradicin filosfica es claro que con Aristteles se funda el primer
modelo acerca de la naturaleza del juzgar, aceptando que el esquema
bsico de todo juicio es el copulativo, reducible a la forma fundamental
S es P. Sin embargo parece ser que para el filsofo alemn el aporte
ms importante del estagirita consisti en la descripcin, ms no en
la definicin de las llamadas categoras o predicamentos (2a-11b15/
entidad, cantidad, cualidad, relacin, lugar, tiempo, situacin, estado,
accin, pasin); toda una coleccin de conceptos que corresponderan
a los distintos tipos de existencia que puede tener el referente de un
trmino cualquiera, predicado o sujeto, tal como se revela a partir del
anlisis de los enunciados en que dicho trmino puede insertarse.
Las investigaciones fenomenolgicas de Husserl harn suya
nuevamente la problemtica respecto de la importancia del concepto
de categora y su relacin con el concepto de regin que caracterizamos
40

Ahora bien, como es posible ver, la familia paraconsistente es un grupo

extremadamente extenso de lgicas, por lo que he decidido presentar
aqu slo un representante de este grupo: la lgica proposicional J3. Este
sistema lgico presenta la curiosidad de ser una respuesta explcita al
reto de Jaskowski consistente en crear un sistema lgico contradictorio
que 1) no implique su trivializacin, 2) que sea lo suficientemente rico
como para permitir inferencias prcticas y 3) que sea intuitivo (Cfr.
DO
D C
1970: 1349 y DO
1982: iii, 14-15).
La siguiente presentacin de J3 sigue la axiomatizacin presentada en
E
2001: 362 y G
2006: 245-259.

1. S
L:(, , , p0, p1, ..., pn)
Definicin 1.1. Las siguientes clusulas determinan el conjunto de
frmulas de J3:
1. Todo smbolo o variable atmica pi es una frmula de J3.
2. Si A es frmula, entonces:
73

SOBRE LAS CATEGORAS LGICAS, LA ONTOLOGA FORMAL Y LA IDEA DE LA LGICA PURA ...

REVISTA LGEIN N 14 ENERO JUNIO 2012

a) A es frmula de J3.

a su esencia material, y por encima de esta, a un gnero material sumo

que funge como esencia regional.

b) A es frmula de J3.
3. Si A y B son frmulas, entonces A B es frmula de J3.
4. B es frmula de J3 sii B se genera mediante aplicaciones initas de las
reglas anteriores.
Es posible de inir algunos conectores y operadores ms con relacin a los ya
vistos:

1. A B def
( A B)

1. Distintos gneros pueden componer una misma esencia regional

pura.
2. Cada uno de estos gneros funciona a modo de sistema de un
complejo de disciplinas ontolgicas correspondientes a cada uno
de los distintos componentes del gnero de la regin.

2. A B def
(, A B)
3.

Tales relaciones de dependencia entre las ciencias de hechos y las

ciencias de esencias pueden resumirse en una serie de razonamientos
que apuntan a la clarificacin de la regin ontolgica formal entendida
esta, en el lenguaje de Husserl, como la lgica pura en toda su extensin
hasta establecerse como una mathesis universalis:

A def
A

4. A def
( A A)
5. A B (A B) (B A); es decir: ( A B) ( B A)
def

6. ~ A def
A

2. A

J3

A1. A (B A)
A2. (A (B C)) ((A B) (A C))
A3. (A (B C)) ((B A) C)
A4. A (B (A B))
A5. (A A A) B
A6. (( A A) A) A
A7. A A
A8. A A
A9. A ( A A)
A10. ( A)
A11. ((A B) (A B)) ((A A) (B B))

74

3. Toda ciencia emprica que est incluida en el mbito de una regin

est en esencial relacin con el complejo de las disciplinas ontolgico
formales y, tambin, con el resto de ontologas regionales.
4. Toda ciencia de hechos tiene esenciales fundamentos tericos en
ontologas eidticas.
5. La esencia regional pura proporciona la evidencia intelectual como
validez incondicionada, el contenido de conocimiento que se re iere
de un modo puro, absolutamente valido a todos los objetos de la
regin, es decir, a cada objetividad emprica concreta, a toda esencia
dotada de un contenido material.
6. Toda ciencia emprica est incluida en el mbito de una regin
determinada, en esencial relacin con disciplinas formales y con
otros mbitos u ontologas regionales.
De estos razonamientos se sigue que el conocimiento de la ontologa
o ciencia regional eidtica resulte importante para la investigacin
de los hechos empricos, toda vez que a un hecho cualquiera que
sea registrado, por decirlo de algn modo, por alguna ciencia de la
naturaleza le corresponde un eidos que debe ser captado en su pureza.
Como ya hemos sealado, estos razonamientos dejan en evidencia la
subordinacin de cualquier objetividad emprica respecto de un gnero
material sumo; una esencia regional pura que responde a una ciencia
regional eidtica, en otros trminos, una regin de objetos empricos
que comprende una ontologa regional. No obstante, Husserl pretende
39

REVISTA LGEIN N 12 ENERO JUNIO 2011

LGICA PARACONSISTENTE: EL CASO DE J3

tipo particular de objetos como campo de su investigacin e indaga

por el qu de dichas entidades individuales, queda superada cuando se
circunscribe dentro de una nueva regin que atiende no a los objetos en
tanto reales sino a entes en tanto ideales; una ontologa que comprende
a todas las esencias que son formas vacas aplicables a cualquier objeto
o esencia y cuyas relaciones determinan las leyes de una ontologa
formal o lgica pura que se extiende hasta ser una mathesis universalis.

2. L

Regla de inferencia:

A, A B
B
Metateorema 2.1. , entonces

Nota: El teorema de la deduccin es demostrable en J3 siguiendo la

misma forma de la demostracin del teorema de la deduccin de LC.

3. S

F
En el 10 de Ideas I se define la ontologa formal como la ciencia
eidtica del objeto en general. Ciencia eidtica que es independiente
en cuanto excluye sin tomar en cuenta los resultados obtenidos por
las ciencias empricas y sus respectivas ontologas regionales, porque
no se fundamenta en la experiencia como forma de conciencia que
aprehende o pone la realidad o la existencia. Por su parte, las ciencias
de hechos llevan a cabo fundamentaciones que se ven mediatizadas
por principios esenciales y no hay modo alguno en que puedan ser
independientes de conocimientos eidticos o esenciales; de suyo es,
por tanto, que deban proceder siempre con arreglo a los principios
formales, generales y universales que trata la lgica formal. En tanto
ciencia de hechos est siempre dirigida a una regin particular de
objetos o estado de cosas, y sujeta a leyes inherentes a la esencia de
la objetividad en general. Esta dependencia hace posible la relacin, al
modo gnero-especie, de la ciencia emprica no solo con la lgica formal,
sino con la aritmtica, el anlisis puro y la teora de la multiplicidad;
en otras palabras, la subordinacin del hecho a la esencia establece un
vnculo de dependencia que implica la relacin de cualquier ciencia
emprica con el complejo de las disciplinas ontolgico formales, que
abarca, junto a la lgica formal, las restantes disciplinas de la mathesis
universalis formal (Ideas I, I, 3: 30). Tal dependencia permite al mismo
tiempo que la relacin pueda darse en sentido inverso a la operacin de
generalizacin que hay del hecho al eidos, segn la cual a toda esencia
o eidos le corresponde una regin particular de objetos empricos de la
misma forma en que cada uno de estos objetos se subordina o subsume
38

Modus Ponens

La siguiente es la matriz semntica de J3:

Universo semntico (V):

V = 0,

Valores designados (D):

1
D=
,1
2

1
,1
2

{ }

{0 }
Valores antidesignados (D ): D=

Esta matriz es bastante particular debido a que su conjunto de valores

designados no se compone nicamente del valor 1, sino que incluye
adems al valor . Dicho valor puede interpretarse filosficamente,
segn sus creadores, de la siguiente forma
en la fase preliminar de la elaboracin de una teora
(matemtica, fsica, etc.), pueden aparecer contradicciones que,
en la formulacin definitiva, son eliminadas; 0, 1 y son los
valores de verdad, donde 0 representa lo falso, 1 lo verdadero
y el valor provisional de una proposicin A tal que A y A son
tesis de la teora en consideracin en su formulacin provisional;
en la forma definitiva de la teora, el valor se reducir, al menos
en principio, a 0 a 1 (DO
D C
1970: 1351).2

[...]

2
En el original: dans la phase prliminaire de llaboration dune thorie (mathmatique, physique, etc.), peuvent apparatre des contradictions qui, dans la formulation
d initive, sont limines; 0, 1 et sont les valeurs de vrit, o 0 reprsente le faux,
1 le vrai et la valeur provisoire dune proposition A, telle que A et A sont des
thses de la thorie en considration dans sa formulation provisoire; dans la forme d initive de la thorie, la valeur se rduira, au moins en principe, 0 ou 1.

75

REVISTA LGEIN N 14 ENERO JUNIO 2012

SOBRE LAS CATEGORAS LGICAS, LA ONTOLOGA FORMAL Y LA IDEA DE LA LGICA PURA ...

Dicho de otra forma, el valor representa en J3 una especie de

verdad provisional. Tal forma de verdad solamente quiere decir que,
segn la formulacin (tal vez imperfecta) de determinada teora,
tanto la afirmacin como la negacin de determinada proposicin son
demostrables; i.e. son verdaderas segn dicha teora. Efectivamente,
esto no implica necesariamente que el mundo sea contradictorio, pero
s, que las teoras cientficas a veces lo son.

regin formal que no es propiamente una regin, sino la forma vaca de

regin en general (Ideas I, I, 3: 33).

Por otro lado, en J3 las siguientes tablas expresan las definiciones

semnticas de los operadores:
A

AB

A
1

AB

AB

A
1

A
1

AB
A

76

Esta regin u ontologa que se establece como ciencia total de todas

las esencias puras es divida a su vez en dos territorios: el primero que
se ocupa de las esencias formales y que recibe el nombre de ontologa
formal en virtud de las esencias que por estar vacas de todo contenido
se ajustan a todos los seres y todas las dems esencias prescribindoles
leyes; y el segundo, que recibe el nombre de ontologa material por
cuanto le son propias las esencias que contrario de las formales s
poseen un contenido material que est referido y limitado a una cierta
esfera o clase de objetos llamada regin.
As pues, la especial preocupacin de la fenomenologa por el status
ontolgico de las entidades ideales permite vislumbrar la posible
interconexin y coextensin de campos que existen entre los dos
estratos de la lgica a los cuales hice alusin anteriormente. Con esto, ya
debe ser un poco claro para nosotros el principio fenomenolgico que
explica la inseparabilidad del hecho y la esencia, segn el cual a todo lo
contingente, lo accidental y lo factico le es inherente necesariamente
una esencia o un eidos que hay que aprehender en su pureza (Ideas
I, I, 3: 31) y que se haya sujeta a una serie de verdades esenciales
que pertenecen a una regin de universalidad de diverso grado. Debe
entenderse, adems, conforme a dicho principio, que todo objeto
material se ofrece a la conciencia bajo una simple forma espacial
mediante escorzos que son visibles por un solo lado, a la vez que le
es inseparable su propia forma esencial en cuya cima se encuentra la
forma universal, cosa material en general, el sumo gnero.
Lo dicho hasta el momento muestra simplemente la relacin eidtica
que existe entre los objetos individuales y la esencia, entre el hecho y
el eidos, y ms generalmente entre las ciencias de hechos y las ciencias
de esencias donde a cada objeto individual le corresponde una esencia
como su sustrato, al tiempo que toda esencia responde a una regin
ontolgica de individuos posibles que seran los casos particulares y
fcticos de ella. Mi inters primordial ha sido exponer los argumentos
de Husserl que establecen la limitacin fundamental de las ciencias
positivas al proveer una mera forma de racionalidad que es relativa,
unilateral, y unidimensional. Desde mi perspectiva, la ontologa de las
ciencias empricas, que es regional y material por cuanto domina un
37

REVISTA LGEIN N 12 ENERO JUNIO 2011

LGICA PARACONSISTENTE: EL CASO DE J3

con los sujetos reales a que pertenecen9. De este modo, los actos del
experimentar que les sirven de fundamento a las ciencias empricas,
como en el caso de la psicologa, deben suponer que los objetos que
se dan originariamente en la percepcin, y que dicho acto cognoscitivo
intenta aprehender, son seres individuales que poseen un contenido
material espacio-temporalmente definible y a los cuales les es inherente
una forma fsica que se subsume o que est subordinada a una forma
esencial ms general. Este razonamiento muestra significativamente
la naturaleza contingente de los hechos, del factum y de todo ser
individual por cuanto resulta cierto que toda cosa real que es as de ese
modo, puede por esencia ser de otra manera; igualmente, el sentido de
esta contingencia revela el carcter de la correlacin de necesidad que
se establece entre lo fctico y una universalidad esencial, es decir, entre
el hecho y la esencia.

Definicin 3.1. Una frmula A es satisfacible sii existe al menos una

J3-valuacin que le asigne a A un valor designado.

Cuando Husserl en Ideas I afirma que si se define un objeto como

un algo cualquiera (I, 22: 54) puesto que todo hecho bajo el punto
de vista de su esencia peculiar (I, 3: 19)10 puede exhibirse bajo
otro aspecto diferente, lo hace con la intencin de ratificar segn
mi criterio una nueva definicin de la ontologa como ciencia de
las esencias, como una teora general de objetos cualesquiera. As,
la ontologa se establece como una teora mximamente abstracta
de objetos esenciales11, que indaga por la naturaleza ontica de las
entidades ideales, en otras palabras, como una ciencia que indaga por
la regin formal y universal del ser para la cual los objetos no son cosas
que dentro del conocimiento estn como en un saco que permanece
siempre igual siendo uno y el mismo. En palabras de Husserl: una
El panorama total de la crtica husserliana de la psicologa como ciencia emprica de
hechos, lo aporta signi icativamente los captulos 3, 4 y 5 de los Prolegmenos a la lgica
pura. Confrntese igualmente: V
, J.C. 1999. Especialmente la segunda seccin del
captulo segundo.
10
H
Ideas I, I, 3. Pg. 19.
11
Aqu esencia no debe entenderse en el sentido de el principio del ser como en la
meta sica tradicional, ni tampoco como el concepto abstracto como en la psicologa
moderna. El concepto de esencia debe concebirse como el objeto mismo tomado en su
pura idealidad, como unidades ideales de signi icacin que son aprehensibles no mediante la intuicin sensible o emprica sino, ms bien, mediante la intuicin esencial. La
esencia dice Husserl es lo que se encuentra en el ser autrquico de un individuo
constituyendo lo que l es [] la esencia (eidos) es un objeto de nueva ndole. As como
lo dado en la intuicin individual o emprica es un objeto individual, lo dado en la intuicin esencial es una esencia pura (Ideas I, I, 3: 21).
9

36

A Sii (A) D
Definicin 3.2. Un conjunto de frmulas es satisfacible sii existe
al menos una J3-valuacin que satisfaga a todas y cada una de las
frmulas de .
Sii para todo A ; A
Definicin 3.3. Una frmula A es tautolgica sii cualquier J3-valuacin
satisface a A.
A Sii para todos; A
Definicin 3.4. Una frmula A es consecuencia de un conjunto
de frmulas sii cualquier J3-valuacin que satisfaga a satisface
tambin a A.
Nota 3.1. En J3 existen un Teorema de validez y un Teorema de
completitud3.
A Sii A
Nota 3.2. Del sistema deductivo y la semntica de J3 aqu presentadas
se demuestra la no validez de los siguientes teoremas de LC, entre otros.
((A B) B) A
((A B) (A B)) A
(A A) B
Demostracin 3.1. Demostracin de la no validez del tercer punto de
la Nota 3.1, el principio de Pseudo-Escoto.
1.

(p) = y (q) = 0

2.

( p) = ( (p)) = () =

3.

(p p) = ( (p), ( p)) = (, ) =

4.

((p p) q) = ( (p p), (q)) = (, 0) = 0

5.

((p p) q) D

Para una demostracin de estos teoremas, ver DO

282
3

77

1985 o G

2006: 273-

SOBRE LAS CATEGORAS LGICAS, LA ONTOLOGA FORMAL Y LA IDEA DE LA LGICA PURA ...

REVISTA LGEIN N 14 ENERO JUNIO 2012

6.

J3 (p p) q

7.

J3 (A A) B

Para demostrar la invalidez del Pseudo-Escoto en forma de regla de

inferencia debemos encontrar una J3-valuacin que satisfaga a p p
pero no a q. Tal valuacin es la misma de la Demostracin 3.2; por tanto,
partamos del numeral 3 de tal demostracin.
Demostracin 3.2.
8.

(p p) D y (q) D

9.

(p p) q

10. (A A) B
Nota 3.3. Es interesante que, a pesar de permitir contradicciones y
de tener un tercer valor de verdad, en J3 sucede que:

se presenta entre estas dos disciplinas se explica con la propuesta de la

bilateralidad de la lgica formal que el mtodo fenomenolgico pone
al descubierto; al mismo tiempo, considero que tal interdependencia
obedece a la inseparabilidad que la fenomenologa debe suponer entre
el hecho y la esencia en el plano de lo ontolgico formal.
Detengmonos para ver en qu consiste dicha relacin, y dejemos
por un momento de lado la idea husserliana de la ciencia estricta y de
la lgica pura como ciencia de la ciencia. Iniciemos con la definicin del
concepto de mundo, esto es, aquella regin real que es fundamental para
todo intento de realizacin de una ontologa o una ciencia que quiera
establecerse como conocimiento natural emprico, que en cuanto tal
le corresponde en cada caso un dominio de objetos especficos como
campo de su investigacin, pues Acaso no es el mundo el ttulo para el
universo de lo existente en general, al que se refiere en su actividad la
vida cotidiana y todas la ciencias fcticas? Acaso no son los hechos en
el espacio lgico lo que constituye el mundo? (W
TLP. 1.13)

1. S

J3 (A A)

J3 (A A)

4. C

El operador de consistencia de J3 permite controlar clsicamente a

una frmula; i.e expresa que la frmula a la que afecta es consistente
(no permite valuacin no clsica). Si se revisa la tabla de verdad para
este operador, es posible encontrar que modifica el valor altico de
la proposicin de forma que slo es verdadero (1) si el valor de la
proposicin a la que afecta pertenece a una valuacin clsica (i.e 1 o 0);
por tanto, modificar la valuacin a falso (0) si la valuacin de la frmula
afectada es no clsica (i.e ). Al introducir el operador decimos que
la frmula tiene un buen comportamiento; es decir, un comportamiento
clsico. Efectivamente, una frmula con buen comportamiento no puede
ser contradictoria.
( A) D Sii (A)

Para Husserl, el conjunto total de los objetos de la experiencia y

del conocimiento emprico posible (H
deas I, I, 1: 18 [Hua III,
1, 11])8 constituyen la idea de un mundo que se presenta de continuo
a nuestros ojos como incuestionablemente existente, y cuya realidad
slo se aclara con el descubrimiento de que dichos objetos o seres del
mundo slo son cognoscibles dentro de un horizonte de experiencia
posible que es puesto por la conciencia misma. Las ciencias que estn
referidas a dicho mundo son estrictamente las ciencias de la naturaleza
material pero tambin las de los seres animados con su naturaleza
psicofsica, o sea, tambin la fisiologa y la psicologa (H
Ideas
I, I 1: 18). Ahora bien, estas ciencias de la actitud natural al ser
empricas se definen como ciencias de hechos y de realidades ya que los
fenmenos o los objetos de su dominio son necesariamente individuos,
sucesos que en cuanto tales tienen existencia real y que se insertan
dentro del orden del mundo espacio-temporalmente determinado
8

78

Vase, H

2009c .

35

REVISTA LGEIN N 12 ENERO JUNIO 2011

Tienen en primer trmino, el carcter de complejos fijos, por lo

que respecta a su contenido. Para llegar a cierto conocimiento,
por ejemplo, al del teorema de Pitgoras, no podemos escoger
como puntos de partida cualesquiera conocimientos de entre
los inmediatamente dados; ni nos es lcito insertar en el curso
restante del pensamiento, o excluir de l, cualesquiera miembros.
En segundo trmino, las conexiones de fundamentacin no son
arbitrarias, no reina el azar, sino la razn y el orden; y esto
quiere decir la ley regulativa. Si aplicamos la proposicin un
triangulo equiltero es equingulo en un problema matemtico
concerniente a cierto triangulo ABC, llevamos a cabo una
fundamentacin, que explcitamente dice as: Todo triangulo
equiltero es equingulo, el triangulo ABC es equiltero, luego es
equingulo. En tercer trmino, son formales. Las fundamentaciones
correspondientes no varan con las distintas clases de objetos []
ms aun, podemos decir que todas las especies de raciocinios
se prestan a ser generalizadas de tal modo, a ser concebidas tan
puramente, que resultan libres de toda relacin esencial con una
esfera del conocimiento concretamente limitada (H
IL., I,
7: 44-45. nfasis mo).

Estas fundamentaciones o formaciones no son otra cosa ms que

los conceptos o las categoras primitivas que estn en la base de
todo desarrollo terico realizable en el mbito de lo lgico formal y
que constituyen la base de toda ciencia posible. Para el pensamiento
fenomenolgico, tales categoras son compartidas mutuamente por
la correlacin material que Husserl descubre entre lo que l concibe
como apofntica formal y como ontologa formal. Esta divisin propone
una doble manera de considerar y de dirigirse a la lgica, una dualidad
esencial del sentido de la analtica formal: el primer modo es una
actitud en la cual estamos dirigidos en un caso a juicios en general y el
segundo es una actitud donde nos dirigimos a la objetividad en general
con generalidad formal. Esta relacin indisoluble entre la apofntica
y la ontologa, es decir, entre las categoras formales significativas y
las categoras formales objetivas, es justificable toda vez que no tiene
sentido postular unas determinadas categoras para la comprensin de
lo real por fuera de lo lgico formal. Asimismo, tampoco tiene sentido
que lo universal esencial como esfera analtica de los juicios no
est referido especialmente a la multiplicidad de objetos contingentes
y fcticos enunciando de ellos propiedades o relaciones. Como ya fue
mencionado en la introduccin de este texto, la interdependencia que
34

LGICA PARACONSISTENTE: EL CASO DE J3

Teorema 4.1. J3 ((A A) A) B

1. (A) = 1 o (A)= o (A) = 0
2. Si (A) = 1
2.1 (AA)= ((A), ( A)) = ( (A),( (A)))=(1, (1))= (1,0) =0
2.2 ( A)= ( (A))= (1)=1
2.3 (AA)= A)= ( (AA), ( A))= (0,1)=0
2.4 (((AA) A) B)=1, para todo B

3. Si (A) =
3.1 (AA)=((A), ( A))=((A), ( (A)))= (, ())= (, )=
3.2 ( A)= ( (A))= ()=0

3.3 ((AA)= A)= ( (AA), ( A))= (, 0)=0

3.4 (((AA) A) B)=1, para todo B

4. Si (A) = 0
4.1 (AA)= ((A), ( A)) = ( (A),( (A)))=(0, (0))= (0,1) =0
4.2 ( A)= ( (A))= (0)=1

4.3 ((AA)= A)= ( (AA), ( A))= (0, 1)=0

4.4 (((AA) A) B)=1, para todo B
5. (((AA) A) B) D para toda . De 2.4, 3.4, 4.4 y 1
6. J3 ((A A) A) B
As pues, se ha encontrado una forma de contradiccin (en el sentido
de no ser satisfecha por ninguna valuacin) para J3; y adems, se ha
encontrado una forma restringida del Pseudo-Escoto.
((AA) A) D para toda
Ahora, es importante hacer notar que otra forma de contradiccin
para J3, es A A
(A~A) D para toda

79

REVISTA LGEIN N 14 ENERO JUNIO 2012

Demostracin 4.1.

SOBRE LAS CATEGORAS LGICAS, LA ONTOLOGA FORMAL Y LA IDEA DE LA LGICA PURA ...

vez ms posibilidad de realizacin al principio de corregibilidad6. Por

tanto es evidente que la ciencia debe considerarse:

1. (A)=1 o (A)= o (A)=0

2. Si (A)=1
2.1 (A~A)= ((A), ~((A))) = (1,~(1))= (1,0) =0

3. Si (A) =
3.1 (A~A)=((A), ~((A))= (,~())= (, 0)= 0

4. Si (A) = 0
4.1 (A~A)= ((A),~((A))) = (0,~(0))= (0,1) =0
5. (A~A) D para toda
De esta forma, es posible observar que ~ posee un comportamiento
idntico al de la negacin clsica; adems, si revisamos su tabla de verdad
veremos que transforma a los valores designados en antidesignados,
mientras a los antidesignados los transforma en el valor designado 1.
As pues, es de destacar que una definicin para este operador sea:
def

~A = A A
Ahora, basados en las tablas de verdad de las anteriores dos formas
de contradiccin y de las caractersticas semnticas de , tenemos
que:
J3 (A ~ A) (( A A) A
Demostracin 4.2.
1. (A ~ A) = 0, para toda
2. ((A A) A)= 0, para toda
3. ((A~A)((A A) A))=( (A~A), ((A A) A))=
(0,0)=1, para toda
4. J3 (A ~ A) (( A A) A

Logro del trabajo colectivo de las generaciones de investigadores

[] que [] tienen funciones distintas y maneras diferentes de
actuar y ensear [] Los que trabajan en ella en colaboracin no
precisan sabidura sino aptitudes tericas, pues su contribucin
enriquece el tesoro de vigencias eternas que han de constituir
una bendicin para la humanidad (H
2009b: 82).

La crtica de Husserl tiene en consideracin el proceder metdico

de las ciencias empricas7. As, reconoce que la investigacin cientfica
se fundamenta firmemente en los logros de una comunidad cientfica
anterior, en los paradigmas desde los cuales se definen los problemas
y mtodos legtimos para las sucesivas generaciones de cientficos; en
ltimas, reconoce un modelo de ciencia que opera como una estructura
idealizada compuesta por: leyes generales o juicios primitivos cuya
verdad es autoevidente (axiomas) y por teoremas que son una especie
de juicios que se derivan de leyes generales y universales. Segn Husserl,
si todas las ciencias empricas o fcticas proceden metdicamente en la
persecucin de la verdad, empleando distintos medios que les permita
llegar al conocimiento de verdades o probabilidades que de otro modo
permaneceran ocultas, entonces, el anlisis de los fundamentos de
estos instrumentos metdicos debe proporcionar los medios para
establecer las normas generales sobre dichos procedimientos y reglas
para la invencin y construccin de los mismos, en donde estn reunidas
la intelecciones de numerosas generaciones de investigadores.
La ciencia en cuanto actividad racional es un pensar judicativo
que se forma, ordena y se une conforme ideas formales de la razn.
Las formaciones que se constituyen de este modo son principios,
teoremas, deducciones y demostraciones que son expresadas verbal
y proposicionalmente como una unidad terica. De esto se sigue que
los distintos modos de interconexin que vinculan recprocamente a
los actos de juicio o aquellos instrumentos metdicos que idealmente
constituyen una teora cientfica deben ser fundamentaciones fijas e
inteligibles que se distinguen porque:

Proposicin 4.1. Para toda A, se tiene que (A A A) es una J3contradiccin.

6
Vase: La temtica directa de las ciencias objetivas o positivas: la idea de ciencia bilaterales en LFT: 84.
7
Husserl tambin las llama ciencias de hechos.

80

33

REVISTA LGEIN N 12 ENERO JUNIO 2011

LGICA PARACONSISTENTE: EL CASO DE J3

paso para la comprensin de la posible correlacin no slo entre la

lgica apofntica y la ontolgica sino tambin entre la lgica pura y la
ontologa formal.

Demostracin 4.3. Es la mayor parte de la demostracin del Teorema

4.1.

Para Husserl la ciencia verdadera nace de la fundamentacin platnica

de la lgica, entendida esta como una esfera universal que investiga
los requisitos esenciales del saber y expone las normas con las cuales
se constituye una ciencia que aspira conscientemente a la legitimidad
normativa general, justificando su mtodo y teora al mismo tiempo. El
sentido original de este ideal platnico de ciencia autntica y radical
consiste en que la evidencia lgica fundamental que resulta de la idea
pura del conocimiento posible y del mtodo del conocimiento en general,
precede a los mtodos efectivamente practicados por la ciencia y las
formas fcticas de la ciencia (Husserl LFT., 49. Introduccin), sirviendo
como verdad universal gua y como principio vlido a priori para la
prctica cientfica. Sin embargo, el ideal platnico de establecer una
ciencia filosfica verdadera, retomado en la modernidad por Descartes
y llevado a su mxima expresin en la filosofa crtica kantiana, fue
lentamente cayendo en el olvido. La deficiencia de la situacin cientfica
diagnosticada por Husserl en el periodo que va de la segunda mitad
del siglo XIX hasta la primera mitad del siglo XX, hizo que este ideal
de ciencia autntica y estricta fuese abandonado y sustituido por una
forma especial de ciencia, una tcnica terica basada en la experiencia
prctica, desarrollada a partir de variadas y repetidas actividades. No
obstante, sabemos por tradicin que la multiplicidad de actividades
o actos de conocimiento como la verificacin, falsacin, validacin y
el clculo es lo que constituye el corpus de cualquier teora cientfica
moderna; tambin sabemos que dichas actividades estn organizadas
sistemticamente para poder diferenciarse en modos determinados
de otros tipos de actividades prcticas que difieren respecto de sus
objetos. Igualmente sabemos que los resultados obtenidos por dichas
prcticas son comunicados desde un grupo de personas hacia otro y
compartidos por un grupo de expertos.
Si tenemos en cuenta esta perspectiva, en principio la ciencia
debe considerarse como un proyecto comunitario y colectivo que
nos involucra a todos por igual y que requiere segn el lenguaje de
Kuhn de una comunidad cientfica no slo para proseguir las tareas
emprendidas por un grupo de cientficos, sino tambin para dar cada

32

Definicin 4.1. Una frmula A es contradictoria sii, para toda J3valuacin, ninguna satisface a A.
Definicin 4.2. Un conjunto de frmulas es J3-consistente sii, slo
se puede demostrar, a partir de , dos de las frmulas del conjunto {A,
A, A}.
Definicin 4.3. Un conjunto de frmulas es J3-inconsistente sii
B, pra todo B.
En la anterior definicin es posible ver que, actualmente, en las lgicas
paraconsistentes inconsistencia no es sinnimo de paraconsistencia. Se
dice de una teora o conjunto de frmulas que es paraconsistente sii
presenta frmulas contradictorias en sentido clsico, pero consistentes
para la lgica paraconsistente. No obstante, se dice que un conjunto de
frmulas es inconsistente sii presenta contradicciones para la lgica
paraconsistente; i.e. una contradiccin clsica junto a la afirmacin
de su consistencia. Efectivamente, tambin se puede notar que una
contradiccin clsica no es precisamente una contradiccin en las
lgicas paraconsistentes.

5. C
De todo lo visto, es necesario reiterar la posibilidad de
encontrar contradicciones clsicas tanto en J3 como en otras lgicas
paraconsistentes que no trivializan ningn conjunto de enunciados.
Es decir, del hecho que en un modelo se d que (A), (A) D, no
se sigue, en estas lgicas, que tal modelo sea insatisfacible; esto, en el
caso de J3 debido a que en la valuacin (A) = , A y A son verdades
simultneas. De esta forma, es igualmente importante mostrar que, en
sentido estricto, A A no es una contradiccin ni para J3, ni para otras
lgicas paraconsistentes; por lo que encontramos, en estas lgicas, una
resignificacin de la contradiccin (manteniendo la insatisfacibilidad
de las contradicciones) como la presencia de una proposicin y su
negacin mientras sostenemos que tal proposicin es consistente
((A A) A); de una forma ms general, una contradiccin se
definira como una frmula insatisfacible, pero ya no como la conjuncin
81

REVISTA LGEIN N 14 ENERO JUNIO 2012

SOBRE LAS CATEGORAS LGICAS, LA ONTOLOGA FORMAL Y LA IDEA DE LA LGICA PURA ...

de una frmula y su negacin. Por otro lado, de los desarrollos

sintcticos y semnticos aqu vistos, es muy interesante que, adems de
la invalidacin del Pseudo-Escoto, tambin se invaliden la reduccin al
absurdo y el silogismo disyuntivo, entre otros.

describe en LFT, lleva aparejado implcitamente el desarrollo de una

ontologa formal o teora gnoseolgica sobre el objeto en general.
Esta exposicin tiene en cuenta la clarificacin husserliana de la
bilateralidad de la lgica formal como apofntica, en la que uno est
orientado hacia juicios en general, y como ontologa, en la que uno est
dirigido a objetos en general. Adems, har hincapi en la importancia
de las categoras lgicas como fundamento para la constitucin de la
ontologa formal. Al tiempo, este ensayo bosqueja a grandes rasgos
la idea husserliana de una lgica pura en tanto ontologa universal
concreta o doctrina de la ciencia universal y concreta (H
CM.,
64: 229 [Hua4 I: 181]). Es decir, una lgica verdadera que abarca
todas las disciplinas y problemas epistemolgicos en el sentido ms
amplio y que al ser trascendental ilumina el proceder de las ciencias.
As pues, con la fenomenologa trascendental Husserl se propende el
establecimiento de la lgica como mathesis universalis que expone el
sistema de los principios trascendentales que otorga a las ciencias su
sentido posible de ciencias autenticas (H
LFT., 64).

Ahora bien, es de destacar que J3 es una lgica paraconsistente. Esto

lo podemos apreciar en el hecho de que permite contradicciones clsicas
sin caer en la trivializacin; es decir, sin que de ello se siga cualquier
otra proposicin va Pseudo-Escoto. Para lograrlo, se invalida, como
vimos, tal regla de inferencia, convirtindose en una lgica clsicamente
contradictoria pero no trivial, conjunto de caractersticas agrupadas
bajo el nombre de no explosividad.
Junto con todo lo anterior, es posible afirmar que los teoremas de
la lgica clsica son atrapados por J3 va operador de consistencia .
Como se dijo anteriormente, si de una frmula digo que es consistente
mediante , obtengo que para ella valen todas las caractersticas de la
lgica clsica debido a la reduccin del universo semntico a {1,0}. Esta
caracterstica es bastante significativa, pues nos permitira asegurar
que LC Ai Sii J3 BJ Si BJ

No obstante, este intento de la fenomenologa trascendental por

caracterizar la lgica como el fundamento terico esencial y puro de
la ciencia, no debe confundirse con una postura idealista acerca de las
teoras cientficas. De este modo, no es posible proceder como realistas
platonizantes y concebir ingenuamente ideas o esencias como objetos
o seres reales y verdaderos5, donde las proposiciones o axiomas sobre
los objetos de dichas ciencias pertenecen a una regin ideal que incluso
existe por fuera de una determinacin espacio-temporal definida.
Husserl argumentar en favor de una teora de la ciencia que no
slo indaga por el modo en que las teoras cientficas se relacionan con
tipos especficos de operaciones que realizan los sujetos entre s, sino
que adems revela el fundamento de cualquier ciencia empricamente
dada, esto es, las leyes lgicas y los criterios generales o los modos
de ordenacin de los objetos en general. As pues, la exposicin del
entendimiento husserliano de la concepcin de ciencia es el primer
Con la sigla Hua me re iero a las obras completas de Husserl, editadas bajo la coleccin Husserliana. Edmund Husserl Gesammelte Werke. Despus de la sigla y en nmeros
romanos se agrega el volumen al que corresponde la obra.
5
Vase, por ejemplo: El reproche de Realismo Platnico. La esencia y el concepto (H Ideas I, II 22: 1913: 54).
4

82

31

REVISTA LGEIN N 12 ENERO JUNIO 2011

En Lgica formal y lgica trascendental Husserl lleva a cabo el

desarrollo sistemtico de la idea de una lgica pura, esto es, la
exposicin intencional de la idea de la lgica como doctrina universal
de la ciencia (H
1974: 17. Estudio introductorio1). Para muchos
filsofos dicho despliegue tiene su gnesis en las Investigaciones Lgicas
de 1900, por cuanto stas representan el primer intento sustentable de
abordar los problemas de la lgica desde un punto de vista cognitivo2.
Mientras que para otros es Lgica formal y lgica trascendental el que
por primera vez tematiza la lgica misma respecto de una amplia regin
de contenidos a los que se alude con el trmino de lo lgico. Al tener
Husserl por tema a la lgica, se propone la ascensin de la lgica formal
tradicional hacia la lgica trascendental3; para lograrlo, el tratamiento
de lo lgico debe partir del nuevo sentido que adquiere a la luz de
la fenomenologa el concepto de lgica como doctrina o teora pura y
universal de la ciencia. As, la lgica pura se presenta como doctrina de
la ciencia que indaga con generalidad esencial por los caminos posibles
hacia los principios ltimos procurando una norma y una gua a la
ciencia efectiva y prctica, explicitando, al mismo tiempo, la esencia
de una ciencia autentica en general, es decir, su posibilidad pura. La
lgica se muestra en una significacin doble: como disciplina normativa
y como disciplina prctica (H
1982, I, 11: 50). De este modo,
adems de referirse a leyes universales y generales que se relacionan
con el tema de la verdad, el mtodo de deduccin, verificacin o
falsacin, tambin trata con leyes relacionadas con la teora como tal, es
decir, con el formar o efectuar subjetivo de las elaboraciones formales y
de las leyes que imperan sobre ellas.

LGICA PARACONSISTENTE: EL CASO DE J3

R
A

(1990) N. A Vasiliev e a lgica paraconsistente. Centro de Lgica,

Epistemologia e Histria da CinciaUNICAMP: Campinas, Brasil.
B
D C

, N. C. a. & L

, R. A.

(1995) Lgica paraconsistente en Enciclopedia iberoamericana de

filosofa, tomo 7: Lgica, pp. 185-204. Editorial Trotta: Madrid.
D C

, N. C. A.; B

, J.-Y. & B

, O.

(1998) Elementos de teoria paraconsistente de conjuntos. Centro de Lgica,

Epistemologia e Histria da Cincia UNICAMP: Campinas.
D C

N. C. A. & DO

, I. M. L.

(1970) Sur un problme de Jaskowski en Comptes Rendus de lAcadmie

des Sciences de Paris, t. 270 de 25 mai 1970, Srie A, pp. 1349-1353.
DO

, I. M. L.

(1982) Sobre uma teoria de modelos trivalente. Tesis presentada en la

Universidade Estadual de Campinas para la obtencin del ttulo de Doctor
en Matemticas.
(1985) The completeness and compactness of a three-valued first-order
logic en Revista colombiana de matemticas vol. XIX, pp. 77-94.
(1987) Definability and quantifier elimination for J3-theories en Studia
Logica: an international journal for symbolic logic, vol. 46 No. 1, pp. 37-54.
E

, R.
(2001) Propositional Logics, the semantic foundations of logic. Wadsworth
Thomson Learning: Belmont.

30

, A.
(1996) Inconsistencias por qu no? Colcultura: Bogot.

En este texto planeo exponer de manera general cmo el intento

husserliano de efectuar una crtica de la razn lgica, tal y como l lo
Esto es un fragmento de lo que Husserl escribe en una carta a W.R.B. Gibson, con fecha del 24 de diciembre de 1928, el traductor de Ideas I al ingls: Muchas gracias por
su buen trabajo, al que he acudido en repetidas ocasiones con particular inters, ah
donde usted habla sobre las cuestiones ms generales. Tengo ciertamente que volver
a pensar los problemas tradicionales de la lgica ayudado por sus exposiciones claras
e independientes. Pero ahora estoy trabajando febrilmente: exposicin intencional de
la idea de la lgica como doctrina universal de la ciencia. Vase: H
. Persnliche
Aufzeichnungen. Editado por W. Biemel, en Philosophy and phenomenological Research,
Vol. XVI, 1956, Pg. 297.
2
Vase, S
,B
1989: 29-67.
3
Vase, por ejemplo, T
, J. & V
, X. 2010: 172-181.

, A. I.

, R. A.
(2006) Lgicas no clsicas principios y fundamentos. Fondo Editorial
Universidad EAFIT: Medelln.

83