GERMN ALBEIRO CASTAO DUQUE

Universidad Nacional de Colombia - Sede Manizales

LA LGICA Y LA LINGSTICA

Este artculo se escribe a partir de las reflexiones hechas de las diferentes formas de razonam iento, planteadas por mi Profesor de D octorado Eduard Bonet, en Management Sciences, en ESADE, quien a propsito, nos hizo razonar sobre como la lgica, planteada desde Aristteles, hoy tiene una vitalidad inusitada, a travs de mltiples aportaciones al estado de la ciencia actual, por eso me propongo ofrecer de alguna manera la relacin que la lgica, tiene con la lingstica. Es interesante comparar la multiplicidad de los instru mentos del lenguaje y de sus modos de uso, la m ulti plicidad de los tipos de palabras y de proposiciones, con lo que han he cho los l g ico s acerca de la estruc tura del lenguaje. La nocin bsica de la concepcin lgi ca del lenguaje es la de significacin, as como las de sentido, las cuales suponen la constancia y la unicidad del valor de lo s fa c to re s lin g s tic o s. Ese concepto filosfico de significacin se arraiga de una idea primitiva del modo de funcionar del lenguaje. Todo el anlisis neo-positivista del lenguaje, consista en precisar lo que es el sentido de una proposicin, con v ista a re s o lv e r p o r ese cam in o m u ch a

problemtica filosfica. El procedimiento exiga una severa reduccin del sentido de verificabilidad, lo que exclua innumerables proposiciones filosficas y de sentido comn del mbito de las proposiciones con sentido. A esta posicin, Wittgenstein observa que para declarar sin sentido una determinada conexin de palabras equivale a excluirla del lenguaje y, por tanto, a delim itar el m bito de ste, ya que una proposicin es una figura de la realidad, porque si comprendo una proposicin, conozco la situacin que representa, lo cual lo lleva a decir que una proposicin es un modelo de la realidad tal como la imaginamos. A hora bien: poner lm ites no es una cosa que se explique o motive siempre por las mismas razones. Cuando delimito un lugar mediante una valla, una lnea o cualquier otra cosa, la operacin puede tener como motivo el impedir que alguien salga, o que alguien entre; pues adems, ser elemento activo de un juego, implica que lmite slo tiene sentido para quienes juegan ese juego y no para otros, o en otros trminos el lmite puede indicar donde termina la propiedad de un hombre y donde empieza la del otro, etc. As, pues, con el hecho que se trece un lmite no est dicho el por qu lo hago. L a d e fin ic i n n e o p o s itiv a d el sen tid o de una proposicin, era pues, una operacin inexplicable y arbitraria. As, pues y dada la anterior reflexin Schloz, considera que la se m n tic a es p a rte de la l g ica, la fundamentacin de esta tesis se encuentra en la obra Mathematische logik, publicada en colaboracin con

* Profesor Asistente Universidad N acional de Colombia, Sede Manizales

72

N ovum 18 Ao 7

Hermes. Procede as: Las teoras matemticas descansan en un concepto o relacin de consecuencia. Precisar este concepto es tarea fundamental de la lgica. Esa precisin se consigue mediante el concepto de modelo; ahora bien, modelo es toda interpretacin de los signos de un lenguaje formal, la cual d por resultado que las frmulas de ese lenguaje puedan transformarse en proposiciones verdaderas: Modelo es, pues, un concepto semntico. Luego la semntica es exigida para la resolucin de la tarea central de la lgica. (La semntica es concebida al modo usual como teora de las relaciones entre series de signos y su designata). Del hecho indicado y del hecho que el sistema se de sarrolla como una teora de las expresiones universal m e n te v lid as, c o n ce p to e s ta b le c id o ta m b in semnticamente, se desprende, adems, la prioridad de la semntica en lo calculstico, res p ecto de la sin taxis. De la con cepcin de la lgi ca m a tem tic a aqu representada se d esp ren d e la prio rid ad de la se mntica respecto de la sintaxis. El rasgo tcnico-lgico de la semntica, consiste en que una vez sentado como tema central de la lgica la definicin de la relaci n de consecuencia entre proposiciones, el estudio de esa relacin se sustituye por una teora de las expresiones ( simblico - formales) universalmente vlidas. El concepto de modelo, y la aplicacin de aquel a las proposiciones es facilitada p o r el concepto de co b ertu ra lin g stica de las expresiones simblico-formales. Tanto en esas lneas maestras del sistema como en el tratamiento metalgico del mismo, la semntica desempea un papel central. El segundo rasgo es ms formulable en trminos filosficos generales, una interpretacin es una relacin, por lo menos unvoca entre los signos variables del lenguaje simblico formal y entidades ajenas a ese lenguaje. Tambin puede concebirse como una funcin cuyos argumentos son aquellos signos y cuyos valores son estas entidades.

De otro lado Russell afirma y estudia la base fsica del propio lenguaje cientfico, por una parte en su funcin significativa y cientfica: la lengua depende de la fsica, y no podra existir sin las cadenas causales aproxim adam ente separables que hacen posible el conocimiento fsico, no se trata de conocer la fsica para poder hablar, sino que la lengua sera un imposible si el m undo fsic o no tu v ie ra de hecho ciertas caractersticas y por tanto la teora del lenguaje depende de determinados puntos de conocimiento del mundo fsico. Las investigaciones de Gdel y Church sobre cuestiones de completitud y decidibilidad destruyen la esperanza de poder algoritmizar sintcticamente el concepto de verdad lgica para lenguajes que rebasaron el grado de elementaridad analtica de la geometra euclidiana. Esto significa que en cualquier investigacin lgica de un nivel interesante desde el punto de vista de la posible aplicacin a la formalizacin de teoras cientficas, el concepto fundamental de verdad es el de la tradicin filosfica y la razn natural; lisa y llanamente el aristotlico, con lo que la problemtica conceptual y filosfica resulta inserta en la investigacin lgica tcnico-formal. El estudio semntico de un lenguaje formalizado tiene como misin esencial la consecucin de aquello que el mtodo sintctico deja precisamente de alcanzar salvo para casos excepcionales a saber: La definicin del concepto " expresin verdadera en dicho lenguaje. El instrumento fundamental de ese mtodo es la nocin de in terp retaci n , por sta debe entenderse una representacin biunvoca de los smbolos algortmicos por otras entidades, fel mtodo semntico es el nico que ofrece la posibilidad de conseguir una lgica general que no se detenga en los lmites prontamente alcanzados del mtodo sintctico puro. En el caso del clculo de predicados, por ejemplo no ser verdad sin m s aclaraci n que las variables individuales y predicativas carezcan completamente de significacin y permanezcan sin interpretar. Tarski, recurre a la negacin de todo alcance filosfico a la semntica, las razones las fundamentan en lo siguiente: La semntica es una ciencia deductiva, comparable con las teoras matemticas puras. La gran

Universidad Nacional Sede Manizales

obra de Tarski consiste p recisam en te en haber conseguido una presentacin formal de la semntica, es decir disponer de un lenguaje en el que podamos hablar de afirmaciones y de hechos y este es un lenguaje distinto de aquel en que se hacen las afirmaciones corrientes. Ahora bien: si eso le ha sido posible es porque se limita a estudiar las propiedades de ciertas lenguas formalizadas en cuanto que estas son utilizadas como ciertos medios de expresin de teoras lgicas y matemticas, El concepto de verdad se referir a una teora representacional del concepto de verdad, por ejemplo, la proposicin Llueve, es verdadera, si y slo si realmente llueve, lo cual para Tarski, no es un crculo vicioso, porque es explicado por el lenguaje y el metalenguaje, en este mismo sentido el lenguaje lo puedo utilizar sobre las cosas o lo puedo utilizar para hablar de otro lenguaje, el siguiente caso presenta esta situacin. "It is rainning", equivale en castellano a TS Est llo v ien d o , por tanto ac su desempeo es de metalenguaje, para com prender la gram tica inglesa. El mismo lenguaje puede servir para hablar de las cosas o para referirse a su propia gramtica, por ejemplo;

una p ro p o sici n , o raci n sentencia puede ser verdadera o falsa, puede no saberse si es verdadera o falsa, puede creerse que es verdadera o falsa, porque depende de unos niveles de relatividad contextual, por ejemplo LLUEVE puede ser verdadera en Pereira, pero puede ser falso en Manizales, o puede no saberse como es llueve en B arcelona. Es decir que una misma sentencia puede tener significados diferentes, por tanto su verdad es una verdad relativa, ya que depende del sitio , tie m p o u o tra s c o n sid e ra c io n e s, as sintcticamente sea correcta y semnticamente vlida. Pero, tambin las sentencias pueden ser un sin sentido: Ejemplo de esto: Manizales, piedra, clase, juego, ya que no con stitu y en u n a oracin, est por tanto sintcticamente deformada, y lgicamente sin sentido, com o tam b in p u eden e x istir sentencias lin g s tic a m e n te bien c o n stru id a s, pero lgicamente sin sentido, por ejemplo: las mesas comen carne, ya que hay problemas de categora que no encajan en las mesas. % comer. Pierce. filsofo del siglo XIX, se interes por plantear la relacin entre el signo (significante), el objeto (significado) con para quien es til (persona), esto ms tarde se convirti en ciencia de los signos, o semitica (o semiologa nombre dado por E Saussure, profesor de lingstica), dentro de la cual se distinguen tres ramas diferentes de investigacin: La sintctica (sintaxis), que es el estudio de la relacin formal de los signos entre s, la semntica, el estudio de la relaciones de los signos con los objetos a los que dichos signos son aplicables (sus designata, y la pragmtica, el estudio de la relaciones de los signos con los intrpretes. Dentro de cada una de las ramas la semitica se puede distinguir entre los estudios puros, que se ocupan de la elaboracin del m etalenguaje pertinente y los estudios descriptivos que aplicaban dicho metalenguaje a la descripcin de signos especficos y sus usos, es el caso la transmisin de informacin (Llueve), o para pedir informacin (qu hora es ?), o como imperativos (treme un libro !), que en Chomsky, es el uso referido I I

mesa: puede ser referido como una cosa as: tab la de m ad era soportada con cuatro patas, lo cual tiene una connotacin de USO o, "m esa": com o una palabra grave sin tilde, por terminar en vocal, n s, y cuya connotacin es de MENCIN. Tarski, plantea un lenguaje mnimo para resolver el problema de la circularidad, estos son: 1-Puede incorporarse el elemento como mencionado: LLUEVE 2- Referirse directamente a la realidad: Llueve, por que en efecto est lloviendo. 3- Apreciar la relacin entre ambas. En tal virtud Tarski ha podido introducir el concepto de verdad resolviendo el uso y la mencin, as pues,

74

Novum 18 Ao 7

a la ex p resi n del p e n sa m ie n to , que co n llev a com unicacin, per se, ya que el lenguaje es por vocacin para el otro, el "yo y el t" o el "t y el yo". La filosofa del siglo XX, es la filosofa del lenguaje, porque la intencionalidad es comprender la verdadera intencin de la persona que habla. Si p o r tanto el lenguaje tiene unas pautas de comportamiento, que p u ed en ser re su e lto s a tra v s del p rin c ip io de cooperacin de G rice, dentro de la te o ra de la implicatura, este principio dice: Haga su contribucin tal como se requiere, en la situacin en la que tiene lugar, a travs del propsito o direccin aceptados en el intercambio hablado en el que est comprendiendo. G rice identifica como guas de conversacin las siguientes mximas: 1 - Mxima de Calidad: trate que su colaboracin sea verdadera, especficamente: no diga lo que considere es falso, no diga algo de lo que carezca de pruebas adecuadas. 2- M xima de cantidad: haga su contribucin tan informativa como exigen los propsitos actuales del intercambio, no haga su contribucin ms informativa de lo requerido. 3- Mxima de pertinencia: haga las contribuciones donde es pertinente y en concordancia con lo que se requiere, es decir, que la informacin tenga que ver con lo que estamos conversando. 4- Mxima de claridad: sea perspicuo y especfico: evite la oscuridad en la expresin, evite la ambigedad, y hgalo de manera comprensible. Con estos principios gramaticales la gente se puede entender, as por ejemplo; decir los das de la semana ES 7, tiene una falla de concordancia en gnero, lo que no permite entender la oracin. Si aplicamos estos principios se puede sacar ms c o n c lu sio n e s cu an d o e x iste co o p era ci n o im plicaduras. El siguiente ejem plo es un caso de im plicadura en la conversacin: C undo es el cumpleaos de M artha Cecilia? , pregunta Luis, en septiembre responde Germn, se supone que se est

pensando en un regalo para ella. Se coopera en el lenguaje cuando lo que se comparte o se conoce no se repite en la conversacin, ya que en caso contrario genera informacin excesiva, es decir, hay muchas proposiciones implcitas. En lgica se exige que las premisas sean formuladas y los silogismos aristotlicos estn marcados por el verbo SER. Con la siguiente estructura y los siguientes ejemplos de proposiciones: SUJETO + VERBO + PREDICADO (SER)

Ejemplos: Todos los hombres son mortales Ningn hombre es mortal Algn hombre es mortal Algn hombre no es mortal La lgica de proposiciones puede ser matematizable, ello quiere decir que se interpretar en smbolos y se debe poder efectuar clculos, semejante al clculo algebrico.

BIBLIO GRA FA : Notas d e clase (1 9 9 6 ) L gica y formas de razonamiento. Profesor: Eduard B onet. ESADE. Barcelona. C hom sky, Noam . 1 977. Problem as actuales en la teora lingstica. Siglo X X I Editores. Frege, G. 1973. Estudios sobre semntica. Barcelona. Ed. Ariel. Gom z G. Adolfo L. 1997. Lenguaje, comunicacin y verdad. Cali. Ed. Universidad del Valle. Grice, P. 1975. Logic and conversation. Academic Press. Vol HL Rusell, B . 1936. Fundamentos de filosofa. Barcelona. Ed. Apolo. Saussure, F. 1990. Curso de lingstica general. Medelln. Ed. Vctor H ugo

75