NEWTON DA COSTA: PASIN Y CONTRADICCIN

Reeditan tres libros del matemtico creador de la

lgica paraconsistente
NELDSON MARCOLIN | Edicin 148 - Junio 2008
El matemtico y lgico Newton da Costa comparte con otros investigadores la
misma pasin por lo que hacen. A menudo trasluce emocin al hablar de temas que
parecen extraos para aquellos que estn ajenos a esa pasin. Algunos gelogos
sienten ternura por rocas que cuentan historias de otras eras y los entomlogos
sienten un gran cario por insectos repugnantes. Costa vislumbra belleza en los
clculos ms intrincados, problemas sin solucin y teoras que, de tan abstractas,
slo son asequibles para un reducido nmero de personas.
Newton Carneiro Affonso da Costa, paranaense nacido en la ciudad de Curitiba
hace 78 aos, casado, padre de una hija y dos hijos y abuelo de dos nietas, tal vez
cuente con mayores motivos que el resto de los investigadores para entusiasmarse
al hablar de su propio trabajo. l cuenta con reconocimiento en Brasil y en el
exterior probablemente ms en el exterior como autor de una original teora
creada a partir del ao 1958, aunque muy citada y aplicada desde el ao 1976 en
adelante, cuando finalmente se gan el nombre por el cual fue conocida, la lgica
paraconsistente. Se trata de una teora que permite trabajar con situaciones y
opiniones contradictorias. No en vano, sus discpulos y colaboradores lo llaman el
pensador de la contradiccin.
Costa se gradu como ingeniero en la Universidad Federal de Paran (UFPR) en
1952 y lleg a trabajar durante un ao en el rubro, en la empresa contratista de su
suegro. Pero dej de resistirse a su propia vocacin y estudi matemticas,
cursando la licenciatura en el rea y convirtindose en docente e investigador en
dedicacin exclusiva en la UFPR, ganando menos de la mitad de lo que ganaba en la
contratista. All realiz el doctorado y se transform en catedrtico. En los aos
1960 migr para el Instituto de Matemtica y Estadstica de la Universidad de So
Paulo (IME/ USP) y estuvo durante dos aos en la Universidad Estadual de
Campinas (Unicamp). En ambos lugares fue docente titular.
Pas por instituciones de Australia, Francia, Estados Unidos, Polonia, Italia,
Argentina, Mxico y Per como profesor visitante o investigador. Cuenta con ms
de doscientos trabajos publicados, entre artculos, captulos y libros. Entre otros
premios, obtuvo el Molino Santista y el Jabut en Ciencias Exactas. Durante la
segunda quincena de este mes, editorial Hucitec reeditar tres de sus libros
agotados hace muchos aos. Son ellos: Introduo aos fundamentos da
matemtica, de 1961, Ensaio sobre os fundamentos da lgica, de 1979, y Lgica
indutiva e probabilidade, de 1990.
Cuando se jubil en el IME/ USP, Newton da Costa se convirti en profesor titular
de la Facultad de Filosofa, Ciencias Humanas y Letras de la USP y pas a estudiar y
ensear filosofa de la ciencia. Hace cuatro aos decidi vivir cerca de sus dos hijos
en Florianpolis y dar clases de filosofa en la Universidad Federal de Santa
Catarina (UFSC). Su pasin por la investigacin y la enseanza contina intacta.
Cuando fue entrevistado en su departamento del centro de Florianpolis, entreg
un artculo sobre lgica, escrito especialmente para la revista. Debajo, en est
pgina, publicamos la parte referente a la lgica paraconsistente. En el sitio de la
revista www.revistapesquisa.fapesp.br, el lector puede acceder al artculo
completo.
Newton da Costa prefiere escribir a mano y admite tener gran aversin al lidiar
con computadoras. Lo cul torna an ms curioso uno de sus ltimos trabajos, an
no publicado. El ttulo es How to build a hypercomputer (Cmo construir una
supercomputadora) y trata acerca de una investigacin sobre los lmites de la
teora de la computacin. A continuacin, los principales tramos de la entrevista:
Usted se gradu ingeniero, hizo carrera en matemtica y termin en filosofa.
Cmo fue que realiz eso?
Cuando tena quince aos ms o menos, sucedieron dos acontecimientos que
fueron fundamentales para m. Primero, le el Discurso del mtodo, de Descartes,
que se transform en mi Biblia. En segundo lugar, la convivencia con mi to, Milton
Carneiro, profesor de la Universidad Federal de Paran. Discutamos mucho sobre
filosofa y ciencias. l me dio dos libros que no pude sacarme nunca ms de la
cabeza, El sentido de la nueva lgica, de W. O. Quine, de 1944, publicado en aquella
poca en Brasil, y Logique, de L. Liard, un libro de lgica absolutamente clsico,
aunque contena una parte sobre metodologa cientfica.
Puede decirse entonces que su mayor trabajo, sobre la lgica paraconsistente,
comenz a brotar en aquellos momentos?
Creo que me cost un poco an. Las charlas con mi to y la lectura de Descartes
obviamente ayudaron. Mi problema central siempre fue pensar sistemticamente
en qu es el conocimiento. Especialmente qu es el conocimiento cientfico. Hasta
hoy sigo pensando en eso. Entonces me di cuenta perfectamente que quera
estudiar lgica, matemtica y alguna ciencia, como fsica. Poco tiempo ms tarde
comenc a leer a Bertrand Russell por sugerencia de mi madre. Russell motiva a
cualquiera a estudiar esa clase de cuestiones. Fue entonces cuando percib que
necesitaba conocer tambin las aplicaciones de la matemtica, no slo la
matemtica. Por ello, estudiar ingeniera sera interesante. Pero precisaba
especialmente conocer mejor la matemtica. Y curs matemtica. Finalmente, me
percat de que todo eso, en el fondo, tiene relacin con la filosofa que adems era
lo que a m ms me gustaba.
Ms que la matemtica?
Ah, mucho ms. Para m, la matemtica y la lgica son instrumentos para entender
lo que es el pensamiento cientfico. Lo que llevar, despus, a lo que es el
conocimiento en general, hacindose conocimiento metafsico. De ah proviene mi
necesidad de incursionar en la filosofa. An no llegu a la metafsica porque
necesito conocer directamente el conocimiento cientfico.
Me gustara adentrarme en la lgica paraconsistente. Cmo la explicara
usted para alguien que no entiende nada de lgica ni de matemtica?
En el ao 1874, un matemtico ruso llamado Georg Cantor cre la teora de los
conjuntos. En poco tiempo se not que todos los patrones matemticos podran
construirse con base a la teora de los conjuntos, y as esta teora se convirti
esencialmente en la base de la matemtica. Sin embargo, conviene acotar que la
nocin de conjunto es algo extremadamente abstracto y no se confunde con el
sistema de objetos o totalidades de la vida cotidiana. Pero alrededor de treinta
aos despus comenzaron a surgir paradojas en esa teora. La paradoja de Russell,
la paradoja de Burali-Forti y varias otras, que no conviene explicar aqu porque
demandara mucho tiempo. Esas cuestiones se tornaron un problema
filosficamente increble: cmo eran posibles las paradojas en las matemticas y
la lgica tradicionales, hasta entonces el ejemplo ms perfecto de conocimiento?
Aquello era aterrador, completamente extrao, nadie consegua explicarlo, origin
una revolucin. sa fue considerada la tercera gran crisis de la historia de las
matemticas. La primera fue con los pitagricos, cuando descubrieron los nmeros
irracionales. La segunda con el clculo diferencial e integral, que era un rea
completamente sin fundamento lgico, pero tambin fue superada. Y, finalmente,
la tercera gran crisis fue la cantoriana, cuando se descubri que la teora de los
conjuntos resultaba inconsistente y contradictoria, no se sustentaba. Se intent
resolver la cuestin manteniendo la lgica clsica e imaginando cules eran las
modificaciones que podramos realizar en la teora de los conjuntos para superar
las paradojas. La lgica clsica y esencialmente la lgica que naci con Aristteles y
tuvo su formulacin actual por parte de Gottlob Frege y Russell all por los aos
1870 y 1914 respectivamente. El problema de la contradiccin es absolutamente
fundamental para la lgica clsica, que no la admite.
La idea era corregir la teora de los conjuntos sin destruirla ni abandonarla?
As es. En medio de esos estudios y anlisis surgi algo interesantsimo. Qued
claro que existan caminos alternativos para superar esas dificultades, que no eran
equivalentes entre s. O sea, haba varias teoras de conjuntos posibles basadas en
la lgica clsica. Las idea bsica cuando se comenz a estudiar esas cuestiones era
la de mantener la lgica clsica en las soluciones usuales de esas paradojas y
cambiar los principios de la teora ingenua de los conjuntos. Basndose en una
frase del propio Cantor la esencia de la matemtica radica en su completa libertad
pens, Por qu no hacer lo contrario? Yo quiero mantener el mximo posible de la
teora de los conjuntos, pero cambiar la lgica clsica subyacente.
Y qu es lo que eso significa?
Significa que esa lgica debe soportar la contradiccin. En la lgica clsica, la razn
bsica de ella no acepta las contradicciones, desde el punto de vista tcnico, resulta
que la ms simple contradiccin en una teora la destruye, porque todo deviene en
teorema. Era necesario cambiarla, y yo comenc a construir varias lgicas.
Demostr que existen infinitas lgicas que satisfacen esas condiciones y que
existen infinitas teoras de los conjuntos correspondientes. Comenc a desarrollar
y aplicar la lgica para otras situaciones. Pero, a decir, el inicio, el puntapi inicial,
fue un punto puramente matemtico relativo a los fundamentos de la teora de los
conjuntos de la obra cantoriana.
No lo acusaron de destruir la lgica clsica?
Todo el mundo dijo eso, especialmente al principio, cuando presentaba mi teora
por aqu. Es una de las cosas que ms me molestaron.
Por qu?
Yo sera un idiota si creyese que la lgica clsica es errnea. Lo que creo es que ella
tambin tiene un mbito de aplicaciones, aunque, en ciertas circunstancias no se
aplica. Voy a darle un ejemplo: la teora general de la relatividad y la mecnica
cuntica son dos de las teoras ms asombrosas que aparecieron en la historia de la
cultura hasta hoy por sus aplicaciones, por la precisin de las magnitudes, en fin,
por todo. Es una locura lo que ellas explican. Por ejemplo, la mecnica cuntica
explica el lser, el mser, la estructura qumica No obstante, ambas teoras, si se
miran de cerca, son lgicamente incompatibles. Slo existe una manera de aunarlas
y los fsicos realizan eso con frecuencia, aunque no sepan cmo se produce eso
desde el punto de vista lgico.
Quiere decir, ellos unen esas dos teoras naturalmente para resolver
problemas que surgen, sin saber que estn utilizando una lgica diferente?
Exactamente. Esa lgica es la denominada paraconsistente. Ahora mismo, me
encuentro trabajando en eso, esclareciendo que la lgica de la fsica ha de ser una
lgica paraconsistente. Ella es localmente clsica, pero globalmente
paraconsistente. La fsica actual, que trabaja con una combinacin de teoras
incompatibles, slo es posible porque existe la lgica paraconsistente. Por ejemplo,
la teora del plasma encuentra mltiples aplicaciones y abarca otras tres teoras: la
mecnica clsica, el electromagnetismo y la cuantizacin. Comparadas entre s,
ellas son contradictorias. Sin embargo, son utilizadas. Todo el estudio que estoy
realizando utiliza la teora cuntica de campo, la mecnica cuntica, la relatividad y
otras, para sistematizar la ciencia. sa es una de las tareas del filsofo de las
ciencias, sistematizar diversas ciencias y compararlas. No existe una solucin si no
hacemos eso con una lgica diferente a la tradicional. No hasta hoy.
Y en cuanto a las aplicaciones de la lgica paraconsistente?
Durante treinta aos desarroll la lgica paraconsistente desde el punto de vista
meramente abstracto. Interesado slo en la belleza matemtica que ella implica.
Cul no fue mi sorpresa!, cuando comenc a recibir del exterior, principalmente de
Estados Unidos, informes sobre aplicaciones en economa, computacin, robtica,
en sistemas especializados. En Brasil, el grupo de Jair Abe, de la Universidad
Paulista (Unip), ha obtenido resultados muy interesantes en inteligencia artificial.
Recientemente, un amigo japons, Kazumi Nakamatsu, se reuni conmigo y me
mostr aplicaciones de cierto tipo de lgica paraconsistente para el control del
trfico de trenes en Japn.
Nada ms prctico que eso.
Ahora sabemos que se puede utilizar la lgica paraconsistente tambin en el
control del trfico areo. Cuando se presenta una situacin en que varios aviones
no pueden aterrizar, por ejemplo, por mal tiempo, el controlador de vuelo recibe y
enva informaciones. Ellas nunca son exactas porque no se sabe exactamente a qu
altura vuela el avin. La altura siempre tiene un pequeo error. Luego, debe
interpretarse correctamente en la computadora del controlador para evitar
accidentes. La lgica paraconsistente es una de las maneras pensadas para resolver
el problema.
La lgica paraconsistente es entonces una teora que acepta y ordena
situaciones contradictorias?
Situaciones y opiniones contradictorias. Ahora hay centenares de personas que
estudian la lgica paraconsistente en el mundo entero. Algunos son
fundamentalistas. Creen que es la nica lgica verdadera y consideran a la lgica
clsica como una tontera. Uno de mis mejores amigos, quien fue profesor en la
Universidad Nacional de Australia y visit varias veces Brasil, el profesor Richard
Routley, todos los das por la maana al encontrarme all en Canberra o
igualmente en So Paulo, me saludaba diciendo: La lgica clsica est muerta. Yo le
contestaba siempre que no, las dos cuentan con su campo de accin. La lgica
clsica es la madre de la lgica paraconsistente.
Podra utilizarse tambin en otros campos, como el del psicoanlisis?
Segn varios psicoanalistas, especialmente los lacanianos, ella cuenta con enorme
aplicacin en el rea. Ya existe mucha literatura en psicoanlisis acerca de ello.
La repercusin de la lgica paraconsistente parece no haberse enfriado luego
de tantos aos.
Eso, hasta hoy, resulta algo increble para m. Pensaba en ello cuando era muy
joven, en los aos 1949, 1950, mis primeros trabajos comenzaron en 1958, pero
recin comenc a publicar en Francia, hacia el ao 1963. Hasta que, ya por
mediados de los aos 1970, escrib una carta para un gran amigo, el filsofo de la
ciencia Francisco Mir Quesada, ex ministro de Educacin de Per. Le ped:
Necesito un nombre para mi lgica. Quesada fue uno de los primeros en defender
la teora alrededor del mundo, cuando era embajador. l me sugiri
paraconsistente, ultraconsistente o metaconsistente. Escog paraconsistente.
Despus que comenc a escribir con ese nombre, no pas un ao que en todo el
mundo de la lgica se comenz a hablar de la lgica paraconsistente. Desde Francia
hasta la ex Unin Sovitica, desde Estados Unidos a Japn surgieron artculos
citando de alguna manera la lgica paraconsistente. sa es una de aquellas cosas
que son muy difciles que sucedan otra vez. Quesada empez a bromear diciendo:
Newton, en realidad el creador de la lgica paraconsistente fui yo, porque una cosa
slo existe despus de ser nombrada. Est en la Biblia, En el principio fue el verbo.
Qu fue lo que lo atrajo exactamente de la palabra paraconsistente?
Para significa al lado. Yo nunca quise destruir la lgica clsica. Es al lado de,
complemento de As como la relatividad general no destruy la mecnica
newtoniana. Ni la mecnica cuntica acab con la mecnica newtoniana. Y ellas no
existen sin sta.
Cul era el nombre de la lgica antes de ser bautizada por Quesada?
Teora de los sistemas formales inconsistentes. Demasiado largo.
Las muchas aplicaciones de su teora hicieron que usted gane algn dinero
con ella?
Viaj mucho, conoc el mundo entero y nunca gast un centavo. Ahora bien, ganar
dinero propiamente, no. La teora no cuenta con patente. Pero cuando arribaba a la
ex Unin Sovitica, por ejemplo, contaba con un automvil con chofer a
disposicin, un intrprete, una resolucin para todo.
A sus 78 aos usted parece seguir manteniendo sus actividades de
investigacin en vigencia.
Hacer lo que hago es un gran placer y soy capaz de pagar para continuar
hacindolo. El da que no pueda estudiar lo que me gusta, impartir mis clases, sera
mejor morir. Adems, cuentan que para Einstein pareca que la diferencia entre
estar vivo o muerto era que cuando l estaba vivo tena la certeza de que poda
estudiar fsica. Luego de muerto, no saba si podra hacerlo.
Por qu se fue de la UFPR?
Jams quise irme de Paran. Mi familia entera es de all y yo estaba a gusto en la
UFPR. Pero anhelaba crear un grupo de lgica y fundamentos de la ciencia. Al poco
tiempo, sin embargo, llegu a la conclusin de que eso era irrealizable all, en los
aos 1950 y 1960, aunque me esforzara.
Por qu razn?
Creo que, con excepcin de la USP, ninguna otra universidad en Brasil reuna las
condiciones para realizar un trabajo de nivel internacional en lgica y matemtica.
Invitar a profesores extranjeros, pasar temporadas en el exterior, enviar jvenes a
estudiar en otros pases. Yo me volv catedrtico en la UFPR, pero, por ms buena
voluntad que tuviesen conmigo, yo me senta patinando, sin moverme de un mismo
lugar.
Se dirigi a la USP, pero primero pas por la Unicamp, es as?
Le explico brevemente. Mantengo una relacin muy grande con la Unicamp.
Cuando fui profesor del IME se permita acumular durante dos aos dedicacin
exclusiva en la USP y parcial en la Unicamp, siempre que fuera justificado. Estuve
en ambos lugares, y sorprendentemente, consegu formar un grupo mucho mayor
de investigacin en la Unicamp. Posteriormente, don mi biblioteca y archivos al
Centro de Lgica, Epistemologa e Historia de la Ciencia de la Unicamp.
Usted es de aquellos cientficos que consideran a la matemtica y la fsica ms
complejas para entender que a las dems ciencias?
No se si son ms difciles. Se que para algunos trabajos en esas dos reas es
necesario contar con gran capacidad de abstraccin, principalmente en fsica-
matemtica y fsica terica. Es menester decir, que hay un sentido de belleza en
esas teoras. Edgar Allan Poe deca: La belleza es aquello que resiste a la
familiaridad. Cuanto ms nos adentramos en ella, ms nos atrae. Y siempre que la
apreciamos, percibimos cosas nuevas. La msica de Bach es eterna porque se
puede or millones de veces sin cansarse. Siempre encontraremos un nuevo
aspecto en ella. Si escuchamos una msica cualquiera comn, ella no despierta
nuevas ideas, basta repetirla tres o cuatro veces y ella no ofrece nada ms. Por eso
Bach, Beethoven, Brahms jams cansan. Usted lee un artculo trivial de matemtica
y no le interesa ms. Ahora bien, a un buen artculo se lo puede rever decenas,
centenas de veces. Siempre hay otra cosa, otra idea, otro aspecto que no
percibimos anteriormente. Siempre repito a mis alumnos que la matemtica tiene
una suprema belleza exactamente por eso. Igualmente ocurre con obras como la de
Isaac Newton, con la que ya nadie estudiar mecnica, ni astronoma por los
principios ya tan conocidos y superados. Es una sinfona como la de Bach. Y
entindase, no importa el tamao de la obra. El doctorado del matemtico
americano John Nash, premio Nbel de Economa, constaba de cinco pginas. Es
genial. Yo llevaba copias en mi carpeta para repartir a mis alumnos y demostrarles
que el tamao no significa nada. Si Nash hubiese escrito esa tesis en la USP, no
habra sido aprobado, porque hoy exigen por lo menos cien pginas.
Cmo ve el bajo nivel actual de enseanza y aprendizaje de las matemticas
en Brasil?
Es una barbaridad. Conviv con la enseanza secundaria de Estados Unidos, en la
escuela pblica de Berkeley. All existe lo que ellos llaman honour courses, cursos
de honor. Los alumnos que quieren cursar estudios tcnicos, como mecnica
automotor, tienen un mnimo de clases de ingls, historia, etc. Despus, si lo
desean, pueden completar los crditos con los otros cursos. Pero los honor courses
slo los hacen aquellos que quieren ingresar a la universidad. Son clases pequeas,
de diez, doce alumnos, con profesores de dedicacin exclusiva. La enseanza
abarca clculo diferencial, clculo integral, computacin, geometra analtica. La
persona ingresa por voluntad libre y espontnea y se compromete a no tener bajas
notas. Si no sigue ese rumbo, sale. Luego de finalizar el curso, bastan dos cartas de
recomendacin de los profesores para ingresar en la universidad. Si el alumno
tiene un buen desempeo en esos cursos, ya est en la universidad. Varias veces
suger realizar algo similar aqu, pero siempre me dicen que no es democrtico,
que es elitista.
Usted est en contra de esa especie de cultura social que existe en Brasil para
que todos cursen la universidad, an los que no presentan ninguna voluntad o
vocacin?
Nivelar a todos es imposible. No se puede. Los honour courses y los dems cursos
disponibles son una manera de contemplar a todos los interesados. Lo hace quien
quiere. Conoc all, tambin en Berkeley, un curso excelente de mecnica
automotor. Los alumnos conseguan un automvil y lo desmontaban por completo,
tornillo por tornillo, para luego reconstruirlo sin que sobre ninguna pieza. El
estudiante sale entendiendo de autos, deviene en un excelente mecnico y puede
ser tan feliz en el trabajo como alguien que se pasa la vida estudiando algo muy
terico y abstracto. Haba un plomero en el campus de la Universidad de California,
cuando trabaj all, tan competente y eficiente que ganaba ms dinero que uno de
mis colegas ms brillantes, el profesor polaco Alfred Tarski, un gran lgico que
contaba con el mejor sueldo del departamento.
Me gustara que hablase sobre la filosofa de la ciencia. De que se trata el
concepto de cuasi verdad o verdad parcial?
Considero que la ciencia de hoy no es algo que procura retratar lo real. Cuando una
proposicin quiere reflejar lo real tal cual es, a eso se le llama teora de la
correspondencia de la verdad. Quiere decir, que el pensamiento se corresponde
con la verdad. Yo creo que la ciencia no es as, ella refleja apenas en parte lo real.
Ella es una cuasi verdad. Por qu funciona la mecnica cuntica? Porque ella
afirma que, en ciertas circunstancias, si yo ajusto un tornillo, obtengo cierto
resultado. Las grandes proposiciones, las grandes teoras, todo pasa en el Universo
como si fuera verdad. Formalic esa nocin de verdad ?=es una generalizacin de
la nocin clsica de verdad. Ella es una generalizacin de la definicin clsica de
verdad de Tarski. l ide una definicin notable para poder tratar la nocin de
verdad en matemticas, que es donde funciona. Cuando tratamos de fsica, es
necesario algo ms elstico. Propuse para ello el concepto de cuasi verdad o
verdad parcial. Pero creo que mi concepto de verdad, rigurosamente, que es
matemtica, refleja ms o menos las ideas de Charles Sanders Peirce (1839-1914),
uno de los mayores filsofos de todos los tiempos. Yo creo que las grandes teoras;
como la teora cuntica del campo, la mecnica cuntica, la mecnica clsica de
Newton, todas ellas son cuasi verdaderas, por ejemplo. Es comn decir que la
relatividad desbanc a la mecnica newtoniana. Eso es falso. Un avin o un puente,
por ejemplo, se calculan con base a la mecnica newtoniana. De lo contrario, no
funcionan. Cmo algo que es falso es utilizado por la ciencia? Exactamente
porque, aunque sea falso, es casi verdadero dentro de ciertos lmites.
Por qu ella funciona para algunas cosas, y bajo ciertas circunstancias.
Exactamente, todo sucede en ciertas circunstancias como si ella fuese verdadera.
Es como si.
Y eso se expresa matemticamente.
S, matemticamente. Sistematic la teora de la ciencia actual en la cuasi verdad.
Todas las grandes teoras fsicas no son verdaderas ipsis litteris, son cuasi
verdaderas. Si comparamos exactamente la relatividad con la realidad, notamos
divergencias. Y, aunque ella reflejara exactamente la realidad, cmo conoceramos
lo que ella refleja? No se puede comparar a la teora con la realidad, estrictamente
hablando.
Cundo formul esa teora?
En la dcada de 1980, hace ya algn tiempo. Y, fjese lo siguiente: para la misma
teora cuasi verdadera existen otras infinitas teoras cuasi verdaderas, puedo
probar eso. Y esas infinitas teoras cuasi verdaderas son incompatibles entre s. Por
consiguiente, la lgica de la cuasi verdad es una lgica paraconsistente.
Para terminar, qu es el conocimiento cientfico?
Pienso que el conocimiento cientfico es una creencia cuasi verdadera y justificada.
sa es mi versin de la concepcin clsica de conocimiento que se remonta a
Platn. En ella, el conocimiento cientfico debera ser verdad estrictamente
hablando; lo que hice fue sustituir verdad por cuasi verdad.
Sobre la lgica paraconsistente.
La lgica clsica, tal como varias otras lgicas, no es apropiada para la
manipulacin de sistemas de premisas o de teoras que encierran contradicciones
(en las cuales sin la proposicin y su correspondiente negacin son ambas
teoremas de la teora o consecuencias de los sistemas de premisas).
Empero, en las ciencias figuran contradicciones que son difciles o imposibles de
ser eliminadas (lo que ocurre, por ejemplo, en fsica, donde la teora general de la
relatividad y la mecnica cuntica son completamente incompatibles, en derecho,
donde los cdigos jurdicos siempre presentan inconsistencias, etc.). Por eso, se
torn imperativa la creacin de lgicas que pudiesen soportar contradicciones: tal
es la esencia de la paraconsistencia.
En general, una lgica paraconsistente no implica que la clsica se halle errada,
pero la generaliza. La lgica paraconsistente engloba a la lgica fuzzy y ha
encontrado mltiples aplicaciones, tanto tericas como prcticas. En especial, ella
inspir una nueva filosofa de la ciencia y extendi el campo de la razn.
Newton da Costa