La lgica es el estudio de la estructura y de los principios del razonamiento correcto e

intenta establecer los principios que garantizan la validez de los argumentos deductivos.
Trabaja con proposiciones, las que constituyen descripciones del mundo, afrmaciones o
negaciones de sucesos posibles. La lgica clsica o aristotlica establece que una
proposicin solamente puede tomar una y slo una de dos alternativas: es totalmente
verdadera o es totalmente falsa. Esta idea se formaliza mediante dos principios
fundamentales:
(1) Principio del tercero excluido. Que menciona, toda proposicin es verdadera o falsa y
no cabe otra posibilidad.
(2) Principio de no contradiccin. Que establece, ninguna proposicin es verdadera o falsa
simultneamente.
La lgica clsica es bivalente al admitir nicamente dos valores de verdad: verdadero
(1) o falso (0). No obstante, existen otras lgicas, las llamadas lgicas no clsicas o
divergentes, qe admiten ms valores de verdad. !or e"em#lo, la lgica trivalente de $an
L%asie&ic', fue un matemtico y filsofo polaco. Su trabajo se centr en la lgica. l
pens innovar en la tradicional lgica proposicional, el principio de no contradiccin y el
principio del tercero excluido, trabaj en lgica polivalente, incluyendo su propio clculo de
tres valores de verdad, la primera lgica de clculo no clsica.
Futuros contingentes (Desde ritteles ! Sobre la interpretacin".
#uedo presuponer sin contradiccin $ue mi presencia en %arsovia en un instante dado del
a&o $ue viene, pongamos por caso el mediod'a del prximo () de diciembre, no es
positiva ni negativamente determinable en este instante. #or lo tanto, es posible pero no
necesario $ue me *alle presente en %arsovia a esa *ora y en esa fec*a. Sobre la base de
dic*o presupuesto, el enunciado +,e *allar- presente en %arsovia el mediod'a del () de
diciembre del a&o $ue viene. no es ni verdadero ni falso en este instante. #ues si fuese
verdadero en este instante, mi futura presencia en %arsovia tendr'a $ue ser necesaria, lo
$ue contradice mi presuposicin inicial/ y si fuere falso en este instante, mi futura
presencia en %arsovia tendr'a $ue ser imposible, lo $ue de nuevo contradice mi
presuposicin inicial. 0l enunciado considerado no ser, por lo tanto, verdadero ni falso en
este instante y le *abr'a de corresponder un tercer valor diferente de 1, o lo falso, y de ), o
lo verdadero. #odemos indicarlo como +2., esto es, +lo posible., $ue vendr a constituir
un tercer valor junto con +lo falso. y +lo verdadero.. 0ste es el curso de la argumentacin
$ue *ubo de conducir a la propuesta de un sistema trivalente para la lgica proposicional
3notaciones filosficas a los sistemas polivalentes del clculo de enunciados.4
A B A OR B A AND B NOT A
%erdadero %erdadero %erdadero %erdadero Falso
%erdadero Desconocido %erdadero Desconocido Falso
%erdadero Falso %erdadero Falso Falso
Desconocido %erdadero %erdadero Desconocido Desconocido
Desconocido Desconocido Desconocido Desconocido Desconocido
Desconocido Falso Desconocido Falso Desconocido
Falso %erdadero %erdadero Falso %erdadero
Falso Desconocido Desconocido Falso %erdadero
Falso Falso Falso Falso %erdadero
0n esta tabla, el valor Desconocido puede entenderse metafricamente como una caja
cerrada $ue tanto puede contener un Verdadero como un Falso. 5o existe la posibilidad de
$ue un Desconocido contenga la posibilidad de %erdadero o Falso. Sin embargo, algunas
operaciones $ue involucren a un Desconocido pueden dar un resultado no ambiguo. #or
ejemplo, ya $ue %erdadero o %erdadero es %erdadero, y $ue %erdadero o Falso tambi-n
es %erdadero, es posible inferir $ue %erdadero o Desconocido tambi-n es %erdadero.
(r&in )c*r+dinger en 1,-.: maginemos n gato dentro de na ca"a com#letamente o#aca. (n s
interior se instala n mecanismo qe ne n detector de electrones a n martillo. /, "sto deba"o
del martillo, n frasco de cristal con na dosis de veneno letal #ara el gato. )i el detector ca#ta
n electrn activar el mecanismo, *aciendo qe el martillo caiga 0 rom#a el frasco.
)e dis#ara n electrn. !or lgica, #eden sceder dos cosas. !ede qe el detector ca#te el
electrn 0 active el mecanismo. (n ese caso, el martillo cae, rom#e el frasco 0 el veneno se
ex#ande #or el interior de la ca"a. (l gato lo in*ala 0 mere. 1l abrir la ca"a, encontraremos al
gato merto. 2 #ede qe el electrn tome otro camino 0 el detector no lo ca#te, con lo qe el
mecanismo nnca se activar, el frasco no se rom#er, 0 el gato segir vivo. (n este caso, al
abrir la ca"a el gato a#arecer sano 0 salvo. 3asta aq4 todo es lgico. 1l finali'ar el
ex#erimento veremos al gato vivo o merto. / *a0 n .05 de #robabilidades de qe sceda na
cosa o la otra. !ero la cntica desaf4a nestro sentido comn.
(l electrn es al mismo tiem#o onda 0 #art4cla. !ara entenderlo, sale dis#arado como na bala,
#ero tambi6n, 0 al mismo tiem#o, como na ola o como las ondas qe se forman en n c*arco
cando tiramos na #iedra. (s decir, toma distintos caminos a la ve'. / adems no se excl0en
sino qe se s#er#onen, como se s#er#ondr4an las ondas de aga en el c*arco. 7e modo qe
toma el camino del detector 0, al mismo tiem#o, el contrario. (l electrn ser detectado 0 el gato
morir. /, al mismo tiem#o, no ser detectado 0 el gato segir vivo. 1 escala atmica, ambas
#robabilidades se cm#len. (n el mndo cntico, el gato acaba vivo 0 merto a la ve', 0
ambos estados son igal de reales. !ero, al abrir la ca"a, nosotros slo lo vemos vivo o merto.
896 *a ocrrido: )i ambas #osibilidades se cm#len 0 son reales, 8#or q6 slo vemos na:
La ex#licacin es qe el ex#erimento a#lica las le0es cnticas, #ero el gato no es n sistema
cntico. La cntica acta a escala sbatmica 0 slo ba"o determinadas condiciones. )lo es
vlida en #art4clas aisladas. ;alqier interaccin con el entorno *ace qe las le0es cnticas
de"en de a#licarse.
<c*as #art4clas "ntas interactan entre s4, #or eso la cntica no vale en el mndo de lo
grande, como el gato. =am#oco cando *a0 calor, #es el calor es el movimiento de los tomos
interactando. / el gato es materia caliente. !ero lo ms sor#rendente es qe inclso nosotros, al
abrir la ca"a 0 observar el resltado del ex#erimento, interactamos 0 lo contaminamos.
1s4 es. >na criosa caracter4stica de la cntica es qe el mero *ec*o de observar contamina el
ex#erimento 0 define na realidad frente a las dems. (instein ex#resaba as4 s desconcierto:
?8qiere esto decir qe la Lna no est a*4 cando nadie la mira:?
;onclsin: cando el sistema cntico se rom#e, la realidad se define #or na de las o#ciones.
)lo veremos al gato vivo o merto, nnca ambas. (ste #roceso de trnsito de la realidad
cntica a nestra realidad clsica se llama deco*erencia, 0 es la res#onsable de qe veamos el
mndo tal 0 como lo conocemos. (s decir, na nica realidad.
>N @LA(BC1 7( B22L( () >N )D)=(<1 7( (L(<(N=2) BEF0,1G /
L2) 2!(C172C() BDN1CD2) (H) 0 (I) 0 (J) 7(KDND72) 7( L1
)DA>D(N=( K2C<1
1 B 1IB 1HB 1 1J
0 0 0 0 0 1
0 1 1 0 1 0
1 0 1 0
1 1 1 1
2!(C172C I 2!(C172C 2C
2!(C172C H 2!(C172C 1N7
2!(C172C L 2!(C172C N2=
;reo qe vale la #ena qe me centre en los sistemas 1tamiri 0 9o#c*a&i, ambos magn4ficas
*erramientas #ara la tradccin e inter#retacin mltilingMe, creadas en Bolivia.
1tamiri, en lenga a0mara significa ?comnicador? 0 9o#c*a&i ?sitio donde se c*arla?.
A'mn de Co"as, matemtico, inici los estdios en qe se basan esos #rogramas en 1,NO,
cando na dictadra estableci el estado de sitio en la ca#ital boliviana 0 drante meses no
#do salir de s domicilio, lo qe *i'o qe dedicara s tiem#o a lo qe des#6s se llamar4a
1tamiri.
A'mn de Co"as, adems de descbrir qe el 10mara tiene na estrctra matemtica,
descbri qe es bisilbico PPo sea qe todas ss #alabras son cortas, de dos s4labasPP 0 tiene
na lgica trivalente. (n el es#aQol 0 otras lengas la lgica es bivalente, o sea qe indica qe
algo es verdadero o falso. (l 10mara indica tres: verdadero, falso o incierto, 0 lo ms im#ortante
es qe s sintaxis es a#licable #ara desarrollar matrices de algoritmos sintcticos, ese lenga"e
qe entienden los ordenadores. (n los tradctores informticos qe se tili'an a #artir de otras
lengas solo se #asa de n idioma a otro, #ero con el 1tamiri se #eden simltanear varios
idiomas. 7e esta manera se redce die' veces el tiem#o de la tradccin 0 de s coste.
(l #rofesor ingl6s $ames ;*rc*&ard (1R.1P1,-O) afirm qe $ess al ser crcificado *abr4a
*ablado en la cr' en 10mara. (so aclarar4a las #alabras qe #ronnci en ss ltimos
momentos 0 estn en )an <ateo SSTDD, vers4clo UO: ?(liV, 8(liV, Lamma sabac*tani...V?, lo
qe tradcido con el 1tamiri qeda como ?74os m4o, 7ios m4o, W;mo me *as glorificadoV? 0
no lo qe se sa *abitalmente: ?7ios m4o, 7ios m4o, 8#or q6 me *as abandonado:?.