Documentos de Académico
Documentos de Profesional
Documentos de Cultura
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:?.