Logica

LAS LGICAS NO CLSICAS Y EL ESTUDIO DE LA MODALIDAD
0. INTRODUCCIN
La modalidad ha sido tradicionalmente objeto de estudio tanto de la lgica como de la gramtica. En la actualidad, uno de los rasgos ms llamativos de la lgica moderna es la irrupcin de una gran variedad de lgicas llamadas no clsicas, que en general se ocupan del estudio y formalizacin de distintos tipos de modalidad. Estas lgicas han propiciado la creacin de un ambiente de mayor compromiso de la lgica formal con el anlisis de los tipos de razonamiento desarrollados en el lenguaje natural. La revisin de la bibliografa lingstica disponible hace pensar que el tema de la modalidad ya no pertenece a la temtica de la lingstica actual; pues son muy pocos los autores que de ella se ocupan explcitamente. Sin embargo, no es posible que un tema de tanta importancia para el anlisis lingstico como la modalidad haya escapado a la atencin de los investigadores. La modalidad sigue siendo objeto de la investigacin actual, aunque no en forma directa ni explcita, particularmente por las disciplinas pragmticas; lo que se requiere es explicitar algunos de los fundamentos de tales disciplinas para emprender un estudio integral de ella. El propsito del presente trabajo es resear y correlacionar algunos conceptos fundamentales de la lgica modal, y de algunas disciplinas pragmticas que pueden servir de base para un estudio integral de la modalidad. A fin de contar con una idea intuitiva de la modalidad, sean los siguientes enunciados: Es necesario que el da est soleado, Es dudoso que el da est soleado.
THESAURUS. Tomo LIV. Nm. 3 (1999). Bernardo MORALES ASCENCIO. Las lgicas no ...
T H . LIV, 1999
LAS LGICAS NO CLASICAS
1037
Seguramente el da est soleado, Posiblemente que el da est soleado, Es indispensable que el da est soleado. Es verdad que el da est soleado, Afortunadamente el da est soleado. En cierto modo el da est soleado.
Se requiere que el da est soleado. Se cree que el da est soleado. Quiz el da est soleado, Es deseable que el da est soleado. Ojal que el da est soleado, En sentido estricto el da est soleado.
En estos enunciados se distingue una parte variable y otra ms o menos invariable; a la primera tradicionalmente se le llama modalidad; a la segunda, proposicin o estructura proposicional. An ms, lo variable en la proposicin corresponde tambin a la modalidad, pues tal variacin tiene que ver con el modo del verbo. A pesar de la larga tradicin de la lgica y la gramtica, el concepto de modalidad es histricamente confuso. Aunque corremos el riesgo de caer en un lugar comn, puede ser orientador hacer nfasis en esta dificultad. Desde la perspectiva de la lgica modal, Agazzi advierte que
Debe tenerse en cuenta que esta parte de la lgica es particularmente difcil y delicada, hasta el punto de que durante mucho tiempo fue incomprendida por los modernos, aparte haberlo sido por muchos entre los antiguos (AGAZZI, 1967: 140).
De manera semejante Orayen precisa: "En las ltimas dcadas la investigacin sobre lgica modal ha aumentado y se ha diversificado de tal manera, que se ha vuelto difcil dar un panorama de esta disciplina" (ORAYEN, en Alchourrn, 1995: 289). En el contexto de la lingstica la situacin es similar.
Penetramos en uno de los dominios menos estables, uno de los ms confusos tambin, de la teora de la enunciacin [... ] Los trminos modalidades, modal, modalizador, modalizacin estn cargados de
1038
BERNARDO MORALES ASCENCIO
T H . LIV, 1999
interpretaciones, son reclamados por distintas disciplinas, y remiten a realidades lingsticas variadas (MAINGUENEAU, 1980: 125). Nos ocuparemos de las modalidades, cuyas teoras han gozado de extendida fama de oscuridad [... ] Es difcil tratar de dar una definicin unvoca del concepto de modalidad que ha sido considerada por diferentes disciplinas que de l se han ocupado: la lgica, la lingstica y ms recientemente la semitica (LOZANO ET AL, 1982: 57).
Planteamos algunos conceptos sobre la modalidad. Desde el punto de vista lgico, es el nombre dado a ciertas clasificaciones de las proposiciones que o bien se aaden a la clasificacin en verdaderas o falsas, o bien tienden a suministrar un conjunto de categoras en las cuales se engloba la categora de verdad-falsedad (CHURCH, en RUES, 1981: 254). La modalidad es una caracterstica del juicio segn la "fuerza" de la aseveracin en l enunciada. Dada esta fuerza de aseveracin el juicio puede ser necesario, posible, casual, etc. (ROSENTAL, 1985: 321). La aplicacin tecnolgica ms significativa del estudio de la modalidad, y en general de la lgica modal, se encuentra en las tcnicas de computacin de la Inteligencia Artificial (IA). Una de las principales caractersticas de esta disciplina es el conjunto de tcnicas que la constituyen, est orientada a la solucin de problemas complejos mediante la aplicacin de la mayor cantidad posible de conocimientos sobre el rea a que pertenece el problema y la realizacin de procesos de inferencia. La posibilidad de realizar procesos de inferencia a partir de conocimientos formalizados es el fundamento de la potencia de las tcnicas de la IA. En la representacin del conocimiento con miras a su ulterior utilizacin en procesos de inferencia, se emplean formalismos tanto sintcticos como semnticos. De los formalismos sintcticos el ms adecuado es el clculo de predicados de primer orden, pues es el ms conocido, se adapta perfectamente al razonamiento deductivo preciso, y permite la introduccin de variables y su respectiva cuantificacin. Pero en s solo, este formalismo es inadecuado cuando se trata de representar datos incompletos e imprecisos, o informacin que
T H . LIV, 1999
LAS LGICAS NO CLSICAS
1039
se refiere a situaciones cambiantes, pues su lenguaje est constituido nicamente por enunciados apofnticos, bivalentes y asertricos. Para obviar tal dificultad es necesario incorporar mecanismos de la lgica modal que permitan representar los conocimientos en forma flexible. En este sentido, la lgica modal es un factor de flexibilizacin en la representacin del conocimiento. Desde el punto de vista terico, el estudio de la modalidad es importante, entre otras razones porque: a) el estudio de los distintos tipos de modalidad es fundamental para una adecuada comprensin de los razonamientos que se realizan en el lenguaje natural, b) Los desarrollos de la lgica modal plantean una serie de problemas que amenazan las bases de la lgica clsica en el sentido de que la fuerzan a debilitar algunos de sus ms caros principios, o a que, explcitamente, transija con criterios que tradicionalmente ha marginado de su campo. En el mbito de la lingstica, el estudio de la modalidad es fundamental para el anlisis de la estructura semntica de la oracin, la caracterizacin de los tipos de textos y el anlisis del contenido de los mismos. As, por ejemplo, tradicionalmente se ha establecido que el significado de una oracin es su contenido proposicional. Pero, si bien el contenido proposicional es el componente semntico ms importante de la oracin, no es el nico; en torno a tal contenido se integra una serie de significados que en su conjunto conforman la modalidad oracional. En sentido estricto, aunque en estrecha relacin, una cosa es la modalidad de la oracin y otra la modalidad del enunciado. No entraremos en el anlisis de los aspectos afines a esta distincin.
1. E L ESTUDIO DE LA MODALIDAD EN EL CONTEXTO DE LA LGICA
La lgica no slo ha liderado el estudio de la modalidad y no slo ha sido generadora del pensamiento modal, sino que sus consideraciones han sido retomadas por la lingstica y la semitica textual (LOZANO, 1982: 58). Como uno de los
1040
T H . L1V, 1999
rasgos ms llamativos de la lgica moderna es la irrupcin de una gran variedad de lgicas no clsicas, las cuales se ocupan del estudio de uno u otro tipo de modalidad, y estas lgicas se caracterizan precisamente porque subvierten algn principio o rasgo de la lgica clsica.
1.1. LGICA CLSICA
En trminos generales, la expresin lgica clsica hace referencia a la lgica deductiva iniciada, fundamentada y en gran parte desarrollada por Aristteles, enriquecida por los filsofos medievales, construida algebraicamente por Boole, Peirce y Schreder, a partir de la segunda mitad del siglo xix, y a la que Frege en 1879 dio forma axiomtica. En sntesis, la lgica clsica es la que halla en Principia mathematica de RUSSELL y WHITEHEAD SU texto de referencia. (DEAO, 1983: 299). De acuerdo con su objeto de estudio, la lgica clsica es la ciencia de los fundamentos del razonamiento deductivo formalmente vlido. La lgica clsica es formal en cuanto estudia las unidades del pensamiento desde el punto de vista de su forma, es decir, haciendo abstraccin del contenido. Un enunciado como (((P > Q) & P) Q) es vlido exclusivamente por su forma; representa un esquema de razonamiento vlido, cualquiera que sea el contenido de las proposiciones P y Q y cualquiera que sea el mundo posible que se tome en consideracin. Los principios de la lgica clsica son particularmente tres: a) Identidad, establece que una proposicin solamente equivale a s misma, b) Contradiccin (no contradiccin), establece que dadas dos proposiciones que se oponen contradictoriamente: A y su negacin ~ A, no pueden ser verdaderas las dos. La conjuncin de una proposicin que afirma un hecho y otra que lo niega es un absurdo lgico, c) Tercero excluido, establece que cuando dos proposiciones son contradictorias no pueden ser falsas ambas; si A es falsa, necesariamente ~ A es verdadera, o a la inversa; basta con reconocer la falsedad de una para afirmar la verdad de la otra.
T H . LIV, 1999
1041
De acuerdo con la naturaleza de sus enunciados, el discurso a que da lugar el lenguaje de la lgica clsica es apofntico, bivalente y asertrico. Apofntico en cuanto de tales enunciados slo se puede decir racionalmente que son verdaderos o falsos. Bivalente en cuanto las proposiciones que expresan sus enunciados son evaluadas nicamente en funcin de dos valores de verdad: verdadero y falso; no se reconocen ms valores de verdad. Asertrica en cuanto los enunciados afirman una proposicin como verdadera o como falsa sin ningn matiz de la verdad o de la falsedad.
O se afirma una proposicin como verdadera sin ms, o se afirma una proposicin como falsa sin ms. [ . . . ] Quiere decirse: no se admiten modalidades de esa verdad o de esa falsedad (DEAO, 1983: 314). 1 . 2 . LGICA MODAL Y LGICAS NO CLASICAS
En trminos generales, las lgicas modales son sistemas lgicos orientados al anlisis y formalizacin de las distintas modalidades con que se actualizan las proposiciones en los distintos tipos de razonamiento. La lgica modal surgi con la lgica formal tradicional. En su evolucin Orayen distingue cuatro etapas: prehistoria, sintaxis, semntica y metalgica. La etapa de prehistoria va desde Aristteles hasta 1912. La etapa de la sintaxis va desde 1912 hasta 1959; la figura ms importante de esta etapa es C. LEWIS, quien con sus trabajos Implication and the algebra of logic, y A Survey of Symbolic Logic, 1918, marc el comienzo de la lgica modal en su forma moderna y dio lugar al surgimiento de las lgicas polivalentes. La etapa semntica comienza en 1959 con los trabajos de S. KRIPKE y HINTIKKA; la etapa metalgica comienza con el trabajo de LEMMON y Scorr An introduction to modal logic, conocido desde finales de la dcada del sesenta (ORAYEN, en Alchourrn, 1995: 291-298). Como se deduce, aunque la lgica modal cuenta con una tradicin milenaria, su desarrollo slo comienza en la segunda dcada del siglo xx. Para la comprensin del estudio aristotlico de la modalidad es pertinente destacar: a) la distincin entre oraciones atributivas y .oraciones modales, y b) la composicin de las
1042
T . LIV, 1999
oraciones modales. Oraciones atributivas son aquellas en las cuales simplemente se afirma o se niega que un predicado P sea atribuble a un sujeto S. Las oraciones modales son aquellas en las cuales, adems de indicar la composicin SP, se indica tambin la manera como P se relaciona con S. Las oraciones modales estn constituidas por dos componentes: el modus y el dicum. En Es posible que el agua no est tibia, el modus es 'es posible'; el dictum, 'el agua estar tibia'. Lo importante es que el modo no afecta a un componente particular de la proposicin sino a toda su composicin. Las modalidades aristotlicas son cuatro: a) necesidad, b) imposibilidad, c) posibilidad y d) contingencia (FERRATER, 1978: 284). Aristteles fue quien primero: a) construy una silogstica modal, junto con la asertrica usualmente conocida y formul los principios bsicos de la lgica modal, b) Mostr que tales modalidades pueden ser definidas a partir de una sola tomada como primitiva con la ayuda de la negacin, c) Advirti la posibilidad de lgicas polivalentes al considerar que hay enunciados que en el momento de proferirlos no son ni verdaderos ni falsos y que, por tanto, pueden tener un tercer valor de verdad. Desafortunadamente, la teora aristotlica del silogismo modal es muy confusa. Quienes la han estudiado en detalle suelen afirmar que contiene errores importantes (ORAYEN, en Alchourrn, 1995: 291-298). La lgica modal se interpreta en dos sentidos: uno restringido y otro amplio. En sentido restringido, la lgica modal es la lgica altica; en sentido amplio, es el estudio de todas las modalidades en general, incluida la altica (DEAO, 1983: 319). HUGHES y CRESWELL tambin explicitan esta distincin:
No ha sido nuestro intento ocuparnos de la lgica dentica, epistemolgica u otras lgicas estrechamente relacionadas con nuestra disciplina, que estaran comprendidas bajo el epgrafe de lgica modal, usado en un sentido ms amplio que aquel en que nosotros lo utilizamos (HUGHES, 1973: 11).
Las lgicas no clsicas (tambin llamadas desviadas o divergentes) son sistemas lgicos que contravienen algn principio de la lgica clsica o se apartan de ella en algn rasgo.
T H . LIV, 1999
1043
Una lgica puede llamarse 'no clsica1 hablando vagamente, cuando alguna de las frmulas (preposicionales o de predicado) que son vlidas en la lgica usual (la lgica de los Principia mathematica, por ejemplo) no son demostrables en la misma (LUNGARZO, en CELIJS, 1988: 524).
As, por ejemplo, la lgica modal subvierte el carcter asertrico de la lgica clsica; admite matices de la verdad de la proposicin. La lgica dentica, especficamente la lgica normativa, extraa la primaca del, por as llamarlo, principio apofntico; reclama para la lgica formal un dominio ms amplio que el de la verdad. La lgica polivalente subvierte el principio de bivalencia y del tercero excluido. Las lgicas difusas ponen en entredicho el carcter preciso de la deduccin; buscan que la lgica clsica transija con la vaguedad. La lgica paraconsistente debilita el principio de contradiccin. La lgica epistmica no se rige por las reglas de reemplazo de proposiciones equivalentes. En el mbito de las lgicas no clsicas distinguimos: a) aquellas lgicas que tienen un dominio amplio, algunas de las cuales son la base para el estudio de clases de modalidades; por ejemplo, las lgicas polivalentes, las lgicas difusas y las lgicas paraconsistentes. b) Las lgicas que se ocupan de algn tipo de modalidad: altica, dentica, epistmica, temporal, etc. Adems de estas lgicas son previsibles, o estn planteadas por uno u otro autor, otras lgicas que exploran nuevas modalidades; por ejemplo, la lgica de la preferencia y la eleccin, y la lgica erottica (DEAO, 1983: 230). 1.2.1. LGICA ALTICA. Es la lgica modal heredera del pensamiento aristotlico: se ocupa del estudio y formalizacin de las modalidades alticas, tambin llamadas aristotlicas o de verdad: necesidad, posibilidad, imposibilidad y contingencia. Estas modalidades indican el modo como una proposicin es verdadera o falsa. Como imposible puede definirse como es necesario que no, y contingente como ni necesario ni imposible, las modalidades alticas bsicas son: necesidad y posibilidad. En consecuencia, se define la lgica altica como
1044
T H . LIV, 1999
el estudio y formalizacin de las relaciones de inferencia entre enunciados afectados por las modalidades de necesidad y posibilidad y sus negaciones. "La lgica modal se puede describir en pocas palabras como la lgica de la necesidad y de la posibilidad, del 'deber ser' (mus be) y del 'puede ser' (tnay be)" (HUGHES, 1973: 11). Como anotamos antes, es posible definir una de estas modalidades a partir de la otra con la ayuda de la negacin: Np = es necesario que p que no p
~M~p (no es posible

Mp
que no p) (es posible que P)
p = no es necesario =
El concepto de necesidad se representa por 'N' y se expresa mediante frases como Es necesario, Necesariamente; en unin con la negacin: No es necesario, No necesariamente; el de posibilidad, por 'M' y se expresa por frases como: Es posible, Posiblemente, No es posible. A estas frases se les llama modalizadores u operadores modales. Como cualquier otra rama de la lgica, la lgica altica puede estructurarse como un clculo y as integrarse ya en el clculo proposicional, ya en el clculo de predicados, dando lugar as a la lgica modal proposicional y a la lgica modal de predicados, respectivamente. Segn esto, por ejemplo, la lgica modal proposicional es la formalizacin de las relaciones de inferencia entre proposiciones afectadas por las modalidades de necesidad y de posibilidad (DEAO, 1983: 313-315). 1.2.2. LGICAS POLIVALENTES. Son sistemas lgicos cuyas proposiciones admiten un nmero finito o infinito de valores de verdad intermedios entre los valores verdadero y falso; subvierten el principio del tercero excluido y, por as llamarlo, el principio de bivalencia. Una lgica trivalente, por ejemplo, es aquella en la cual una proposicin puede ser evaluada como verdadera, falsa, o ni verdadera ni falsa; una lgica cuadrivalente es, por ejemplo, aquella en la cual una proposicin pue-
T H . LIV, 1999
1045
de ser evaluada como: verdadera, ms verdadera que falsa, ms falsa que verdadera, o falsa. La motivacin de estas lgicas fue la consideracin de que los valores de verdad no son absolutos, sino que entre ellos existe un cierto campo de indeterminacin; que una proposicin puede no ser ni verdadera ni falsa, o que puede ser verdadera en un sentido o falsa en otro. Son antecedentes de las lgicas polivalentes, entre otros: a) los trabajos de Ch. Peirce, a quien se considera como uno de los lgicos modernos que primero esboz un sistema de lgica trivalente, lo argument filosficamente y posteriormente lo desarroll hasta llegar a presentar en 1909 resultados rigurosos, b) La axiomatizacin de la lgica intuicionista por parte de Heyting en 1930. c) La introduccin por parte de Lewis en 1912 del concepto de implicacin estricta, d) La publicacin de varios trabajos por parte de Brouwer contra el uso del tercero excluido en algunos dominios de la matemtica. Fueron Lukasiewicz y Post quienes trabajando independientemente establecieron en forma definitiva la lgica trivalente y posteriormente la lgica polivalente que en trminos generales dio como resultado la lgica modal en sentido amplio. (PEA, en Alchourrn, 1995: 323-325). 1.2.3. LGICA DIFUSA. Quiz sea ms adecuado llamar a este captulo de la lgica modal lgica de lo difuso, pues no es el cuerpo de doctrina lo difuso, sino los objetos de que se ocupa. Puede interpretarse la lgica difusa como el anlisis de los razonamientos en los cuales se integran enunciados vagos. En concepto de Kosko, lgica difusa es la lgica del pensamiento borroso; la lgica que no se estructura nicamente en funcin de dos valores de verdad. (KOSKO, 1995: 26). Su principal orientador fue LOFTI ZADEH cuya obra inicial fue Teora de conjuntos difusos (1965). La lgica clsica es precisa en cuanto se construye a partir de conjuntos perfectamente delimitados o ntidos, tanto que tales conjuntos se representan por figuras geomtricas, como los diagramas de Venn. De acuerdo con esta base, uno de sus
1046
T H . LIV, 1999
objetivos es proporcionar cnones rigurosos de deduccin cuya aplicacin sea una garanta para la obtencin de resultados precisos. Un conjunto se define generalmente a partir de un esquema proposicional; esto es, una expresin de la forma X es Y; donde Y representa un conjunto y X un elemento de dicho conjunto. Sustituyendo Y, por ejemplo por 'mueble' se obtiene una funcin de la forma x es un mueble. Mediante esta funcin se define o delimita el conjunto 'mueble'. Cualquier objeto cuyo nombre que sustituya a i y haga verdadera la proposicin resultante ser un elemento del conjunto. En otras palabras el conjunto 'mueble' est constituido por la serie de objetos que nombrados por la variable x hacen verdadera cualquier proposicin construida a partir del esquema x es un mueble. Una proposicin construida a partir de un esquema proposicional indica, entonces, la pertenencia, o no, de un elemento a un conjunto. Cuando en un universo dado se define el dominio de un conjunto A, tambin se define su complemento ~ A; esto es, el conjunto de objetos que no pertenecen al conjunto. La suma del dominio y de su complemento agota el universo U. Se distinguen dos tipos de conjuntos: los conjuntos ntidos, o clsicos, y los conjuntos difusos o no clsicos. Un conjunto ntido es aquel al cual un elemento dado pertenece definitivamente, o no, a dicho conjunto. La pertenencia se representa por 1,0 y pertenencia nula por 0,0. Un conjunto difuso es aquel que no tiene lmites perfectamente definidos; entre su dominio y su complemento subsiste una zona fronteriza (de penumbra) constituida por objetos que no pueden ser adscritos ni al dominio ni al complemento; o que, por lo mismo, pueden pertenecer tanto al dominio, como al complemento; es un conjunto al cual un elemento dado puede pertenecer a l por algn(os) rasgo(s), pero tambin puede no pertenecer por otro(s). La pertenencia de un elemento a un conjunto difuso es un asunto de grado. Un conjunto difuso est constituido por todos los objetos que pertenecen a l en algn grado.
T H . LIV, 1999
1047
Este grado de pertenencia se representa por un nmero real entre 0,0 y 1,0; donde, por ejemplo, 0,0 indica pertenencia nula, 0,2 pertenencia escasa, 0,8 pertenencia bastante notoria y 1,0 pertenencia total. Una lgica difusa se construye, entonces, a partir de conjuntos difusos y, por tanto, a partir de una lgica polivalente. La lgica difusa est estrechamente relacionada con el fenmeno de la vaguedad. Hablar de vaguedad no es otra cosa que hablar del significado difuso de las unidades lingsticas. La vaguedad es una caracterstica del lenguaje natural, que segn Frege y Russell habra de evitarse en la construccin de los lenguajes formales, pues es la causa de las contradicciones lgicas. Pero la vaguedad no es una caracterstica cualquiera de la cual sea posible prescindir; es una caracterstica inherente a la naturaleza del lenguaje natural. Surge entonces un conflicto. Por una parte, los enunciados tanto del lenguaje cotidiano como del lenguaje cientfico son intrnsecamente vagos, aunque en distinta proporcin y, en consecuencia, ya llevan en germen la posibilidad de la contradiccin. Por otra parte, es en el lenguaje natural, donde primero se construyen los conocimientos y se formulan los razonamientos; estamos condicionados a pensar en y con la ayuda del lenguaje natural. Ante esta situacin se presentan dos alternativas: o someter los razonamientos informales del lenguaje natural a un proceso de precisin, antes de formalizarlos de acuerdo con los procedimientos de la lgica formal; es decir, sustituir lo vago por lo preciso; o modificar el aparato de la lgica formal para adaptarlo a los argumentos informales del lenguaje natural. Es posible lograr efectivamente la precisin de los razonamientos estructurados en el lenguaje natural, pero a costa de una compleja artificiosidad y de la prdida de la sencillez de la lgica; de tal modo que son ms los costos que los beneficios. Adems, si bien la precisin es alcanzable, no es quiz lo ms deseable. De acuerdo con Popper, la precisin puede ser un ideal falso. Zadeh, quien orient sus investigaciones a establecer la precisin de conceptos de su especialidad (ingeniera elctrica) termin concluyendo que despus de
1048
T H . LIV, 1999
todo, el pensamiento vago no puede ser deplorable si posibilita la solucin de problemas que son excesivamente complejos para un anlisis preciso. En ltimas, con la propuesta de la lgica difusa, lo que propone Zadeh es que la lgica formal transija con la vaguedad. (HAACK, 1978: 188-191). 1.2.4. LGICAS PARAcoNsisTENTES. La propuesta de estas lgicas surgi alrededor de los aos cincuenta con las investigaciones adelantadas independientemente por J. Jaskowski, discpulo de Lukasiewicz, y el brasileo Newton da Costa, el creador y orientador propiamente dicho de la lgica paraconsistente. La lgica clsica es consistente en virtud del principio de (no)contradiccin. Evitar las contradicciones en un sistema racional ha sido, desde sus orgenes, una de las mayores preocupaciones de la cultura occidental. Sin embargo, tambin ha sido tradicional la preocupacin de diversos pensadores por oponerse a tal condicionamiento, con argumentos que van desde afirmar que este requisito no puede ser absoluto, hasta plantear que tal principio es del todo errneo. La no contradiccin solamente puede darse cuando se opera con proposiciones precisas; de lo contrario, siempre est presente la amenaza de la contradiccin. (BOBERIENTH, 1996: xvn). Varios filsofos, desde Herclito hasta los materialistas dialcticos, han propuesto la tesis de que las contradicciones son fundamentales para entender la realidad. Hegel afirma que existen contradicciones verdaderas. A veces se plantea esta tesis para implicar que la consistencia es una condicin suficiente pero no necesaria para la existencia de los objetos abstractos; en lo tocante a la existencia de los objetos concretos, la consistencia no es ni necesaria ni suficiente. (ARRUDA, en CELIJS, 1988: 161-163). Las lgicas paraconsistentes son sistemas lgicos que soportan las contradicciones sin que para ello haya que destruir toda la estructura del aparato deductivo; parten del supuesto de que las contradicciones no siempre conducen al absurdo. De acuerdo con Da Costa, la ventaja de las lgicas paraconsistentes es
TH.LIV, 1999
1049
que permiten las contradicciones y los vacos de conocimiento; por tanto, pueden servir de base para una teora que contenga contradicciones y que estas contradicciones no se deban eliminar.
Nunca, creo, se llegar a un sistema total de conocimiento cientfico que sea absolutamente consistente. La contradiccin siempre se quedar, por lo menos, en las orillas de lo desconocido ( D A COSTA,
en BOBERIENTH, 1995: 470).
El sentido de las lgicas difusa y paraconsistente est estrechamente relacionado con la vaguedad de las unidades lingsticas portadoras de significado y de las contradicciones formales que de ella se derivan. Aunque estos formalismos lgicos estn estrechamente relacionados, no se asimila el uno al otro. 1.2.5. LGICA DENTICA. Trata de la estructura lgica del lenguaje a travs del cual vivimos nuestras experiencias relacionadas con las obligaciones, las prohibiciones y las permisiones en un mundo posible legal o moral, como la religin cristiana, la legislacin colombiana, la cultura witoto, las tradiciones institucionales de un colegio, etc. Su iniciador fue VON WRIGHT con su obra Deontic logic (1951). Los conceptos modales que trata de analizar y formalizar este captulo de la lgica modal son: obligacin (O), prohibicin (F) y permisin (P). La analoga de estas modalidades con las modalidades alticas necesidad, imposibilidad, posibilidad haca pensar inicialmente que a partir de las modalidades alticas, variando nicamente las condiciones impuestas sobre los mundos posibles tomados en consideracin, era posible formalizar las modalidades denticas. De hecho, en casi todas las lenguas, los modalizadores utilizados para expresar la necesidad y la posibilidad lgica tambin se utilizan para expresar la obligacin y la permisin. Lo obligatorio es lo que un individuo necesariamente ha de hacer para no salirse de un determinado sistema legal o moral; lo permitido es lo que puede hacer dentro del sistema. (ALLWOOD, 1981: 124). Como prohibido puede definirse como O ~ p ('es obligatorio que no
1050
T H . LIV, 1999
p'), los operadores bsicos de la lgica dentica son Obligato-
rio (O) y Permitido (P).

Sin embargo tal extrapolacin no es posible. Los enunciados del lenguaje cotidiano que contienen operadores denticos son ambiguos, pues pueden interpretarse prescriptiva y descriptivamente; es decir, como enunciados que expresan normas o como enunciados que expresan proposiciones normativas. Por tanto, es necesario distinguir dos tipos de operadores denticos: los de la lgica de normas: O y P, y los operadores de la lgica de proposiciones normativas: O, P+ y P-. Cada uno de estos tipos de operadores tienen propiedades lgicas diferentes y dan lugar respectivamente a sistemas lgicos distintos. En la lgica de proposiciones normativas la permisin puede ser positiva o negativa; positiva cuando lo permitido puede deducirse del sistema de normas B, y en forma negativa cuando lo permitido no est prohibido en B. La frmula Op expresa una norma que ordena p ; por ejemplo, Es obligatorio vestir uniforme. La frmula O ( ' - ' P ) ('es necesario que no p', 'es prohibido p') expresa una norma que prohibe p; por ejemplo, Prohibido fumar en clase. La frmula Pp expresa una norma que permite p; por ejemplo, Permitido llevar traje de calle. Las normas ordenan, prohiben o permiten; son instrumentos para reconocer obligaciones, derechos, condenar, absolver, etc. Una orden es una norma que hace obligatoria una accin; una prohibicin es una norma que exige no realizar una accin; una norma permisiva autoriza una accin o permite un estado de cosas. Las proposiciones normativas son relativas a una norma o sistema de normas B. Una accin "p" es obligatoria, prohibida o permitida en relacin con B; por esta razn se representan los operadores descriptivos como OB, P+ B y P-B que construidos con una proposicin "p" dan lugar a frmulas como OB p, P+ B p, P-B p, las cuales se leen repectivamente como 'es obligatorio p en B', 'est positivamente permitido p en B', 'es negativamente permitido p en B\ (BULYGIN, en Alchourrn, 1995: 129-140). Hasta comienzos de los aos sesenta, la lgica dentica fue desarrollada considerando que los enunciados normativos
T H . LIV, 1999
1051
son susceptibles de valores de verdad en el mismo sentido que los enunciados descriptivos, es decir, en trminos de lgica de proposiciones normativas. Pero son las normas, y no las descripciones de los enunciados que expresan una norma, las que rigen el comportamiento humano, y las normas no son susceptibles de valores de verdad. Por tanto, la construccin de una genuina lgica de normas depende de una ampliacin del concepto lgica en la cual el proceso deductivo no dependa exclusivamente del principio apofntico. En este sentido, la lgica dentica plantea una de las dificultades ms serias de la filosofa de la lgica, conocida como el dilema de Jrgensen; segn el cual, si las nociones de la lgica slo pueden definirse en funcin de los valores de verdad, entonces no es posible una lgica de normas; y a la inversa, si tal lgica es posible, entonces las nociones de la lgica no dependen de los valores de verdad de los enunciados, luego, o no es posible una lgica de normas, o las nociones de la lgica son independientes de los valores de verdad y falsedad. Como esta problemtica deriva de la primaca del principio apofntico, la adopcin de un enfoque no apofntico hara que la dificultad expuesta por Jrgensen resulte falsa. (ALCHOURRN, en Alchourrn, 1996: 35-36). La lgica dentica es no clsica en cuanto cuestiona la omnipresencia del principio apofntico; propende por la integracin de otros valores. En este sentido, la lgica dentica es un factor dinamizador en la apertura de nuevos horizontes en el desarrollo de las lgicas no clsicas. Habermas establece cuatro pretensiones de validez de los enunciados: inteligibilidad, verdad, veracidad y rectitud. (HABERMAS, 1989: 127). 1.2.6. LGICA EPISTMICA. La lgica epistmica tuvo inicialmente como su principal fuente de referencia An essay in modal logic (1951), de VON WRIGHT, quien estableci tres modalidades epistmicas: verificado (V), jabado (F), no decidido, paralelas a las modalidades aristotlicas:
1052
T H . LIV, 1999
Es necesario que Es imposible que Es contingente que
/ / /
Se ha verificado que Se ha falsado que No se ha decidido que
Tomando como primitivo, por ejemplo, el operador verificado es posible definir los dems con la ayuda de la negacin: Falsado = V~p No decidido = ^ V p & ~ V ~ p Von Wright se ocupa especficamente de las modalidades epistmicas absolutas; estas son aquellas en las cuales se hace caso omiso del modo como una o ms personas saben o conocen el valor de verdad de una o ms proposiciones. Continuando con la perspectiva de Von Wright, Hintikka se ocupa especficamente de las modalidades epistmicas relativas; estas modalidades se refieren al saber y la creencia, a lo que sabe un sujeto especfico. En consecuencia, los operadores de la lgica epistmica son dos: S sabe que p y S cree que p, donde "S" representa un sujeto especfico y "p" una proposicin. (ACERO, en Hintikka, 1979: 5-10). Dicho en forma sucinta, la lgica epistmica versa sobre el saber y la creencia como conceptos modales; supone la existencia de un agente que sabe o cree. Este agente puede ser una persona particular con nombre y apellido, un grupo social, un autmata o una serie de autmatas. (FREUND, en Alchourrn, 1994: 207). La lgica epistmica retoma el concepto de Mundo posible de Leibniz y lo categoriza como bsico para la semntica de la lgica modal moderna. Una proposicin necesariamente verdadera es aquella que es verdadera en todo mundo posible; una proposicin posiblemente verdadera es aquella que es verdadera en algn mundo posible. Cuando alguien emite el enunciado Es seguro que maana llover da a entender que, cualquiera que sea el mundo posible el da de maana, llover; cuando alguien emite el enunciado Es posible que llueva maana, quiere decir que no est seguro, que son imaginables varios mundos posibles, y por lo menos llover en uno de ellos. (ALLWOOD ET AL, 1981: 121-122).
T H . LIV, 1999
1053
Un mundo posible es una situacin imaginable, un conjunto de condiciones por las cuales una proposicin dada adquiere validez y plenitud de significado; son mundos posibles, por ejemplo, el mundo de la realidad en que vivimos, el rea de estudio que cultivamos; los mundos de la locura, el sueo, la fantasa, la vida afectiva, la ficcin, etc. En menor o mayor grado, los mundos posibles son compatibles con lo que sabemos, dudamos, imaginamos, creemos, fantaseamos, etc. Segn esto, el concepto de mundo posible es asimilable a los conceptos de contexto, situacin, mbito, universo de discurso, etc.; de ah su importancia para el anlisis lingstico de la modalidad del enunciado. La referencia a determinados mundos posibles es uno de los recursos argumentativos ms frecuentes en la interaccin verbal cotidiana. Ante un enunciado como En mis tiempos, se peda permiso para llegar tarde a casa, con el cual un adulto reprende a un menor, generalmente el comentario del reprendido es S, en sus tiempos, como indicando que ahora se est en otro mundo posible, que las condiciones de validez han cambiado. Por otra parte, en el habla infantil es frecuente el uso del pretrito imperfecto con que los nios crean el contexto y condiciones de validez de su interaccin ldica: Que yo era..., Que Ud. se vesta as. Que Ud. le deca..., Que Ud. haca.... etc. Es obvio que con expresiones como stas, los nios exhiben su capacidad para crear diferentes mundos posibles e integrarse a ellos. Cuando el oyente percibe un enunciado que le resulta extrao, trata de interpretarlo refirindolo a uno u otro mundo posible; si despus de imaginar varios mundos posibles no encuentra uno que d la clave de su interpretacin, entonces pregunta por la situacin que lo hace semnticamente posible. En esta perspectiva, es posible interpretar un enunciado aparentemente absurdo reconociendo el mundo posible donde adquiere significado. Del enunciado El pavimento se traga la luz puede decirse que es absurdo, pues segn lo que se sabe del mundo real, el pavimento no est habilitado para tragar; pero si se imagina una situacin, tal como una carretera rural asfaltada por donde se transita en la noche despus de una lluvia intensa y el pavimento no refleja las luces del autom-
1054
T H . LIV, 1999
vil, entonces el enunciado adquiere plenitud de sentido, o al menos resulta comprensible. Por otra parte, gran nmero de los chistes (generalmente de doble sentido) y la efectividad de la metfora radican en gran medida en la transferencia del enunciado del mundo posible a otro: de lo concreto a lo abstracto, de lo animal a lo humano, de lo vegetal a lo humano, etc.: Por favor, no cacaree tanto. "Nuestras vidas son ros que van a la mar, que es el morir". 1.2.7. LGICA EROTTICA. Es la lgica de las relaciones de coherencia entre las preguntas y las respuestas, entre las preguntas y las presuposiciones (DEAO, 1983: 320). Aunque las oraciones interrogativas son supuestamente un tipo de oraciones bsicas de todas las lenguas, an no se ha establecido explcitamente la modalidad erottica. La lgica erottica es fundamental para el anlisis de la estructura del texto dialgico; pues el intercambio conversacional fluye gracias a que los participantes dan por sentada la verdad de ciertos contenidos preposicionales.
1.2.8.LGICA TEMPORAL. Es una lgica del tiempo gramatical; es una variante de la lgica modal en cuanto introduce en el clculo proposicional un sistema de operadores cuya funcin es similar a la de los operadores de necesidad y posibilidad lgicas. La idea bsica de esta lgica es que el tiempo al cual se refiere la proposicin es fundamental para atribuirle un determinado valor de verdad a dicha proposicin (LYONS, 1983: 241). No es que la enunciacin ocurra en el tiempo, sino que su existencia es temporal. Bien se sabe que el lenguaje natural est fuertemente arraigado al contexto y que de ste deriva toda su flexibilidad y potencia expresiva, y el tiempo gramatical es uno de los componentes ms importantes del contexto. El tiempo es una categora referencial especficamente dectica.
Las formas de expresin ms genuinas de la modalidad temporal son los morfemas verbales de tiempo. Como un
T H . LIV, 1999
1055
tipo de la modalidad, los morfemas verbales de tiempo expresan conceptos de posibilidad, obligatoriedad, deseabilidad, etc. En enunciados como Qu horas sern"? Ese ser el cartero?, mediante el uso del tiempo futuro, ms que una aseveracin no calificada, el hablante realiza una aseveracin epistmicamente calificada sobre el presente; en Quera saber si necesitabas el automvil, es muy posible que el hablante est haciendo un ruego hipottico, ms que una descripcin sobre el pasado. (LYONS, 1997: 356). Adems de los tiempos verbales en el lenguaje cotidiano, son formas de expresin de la modalidad temporal expresiones como Es el caso de, Es hora de, Es el momento de, En tiempos de, Desde antiguo, En nuestros das, Hoy en da, Hoy por hoy, Antiguamente, Tradicionalmente, Modernamente, Cuando era joven. Estos captulos de la lgica no clsica presentan la existencia de una gran variedad de modalidades que se manifiestan en expresiones como: es necesario, es posible, es seguro, es cierto, ciertamente, seguramente, puede ser, se cree, al parecer, es lgico, es lcito, est permitido, es dudoso, en cierto modo, en trminos generales, en sentido estricto, por lo general, mediante las cuales el hablante modula el sentido de las proposiciones expresadas en sus enunciados de acuerdo con sus actitudes, intenciones y propsitos comunicativos. Vale destacar que adems de las modalidades tratadas por la lgica no clsica se reconocen otras, como las modalidades liminares y las modalidades estimativas o bulomaicas. Estas son modalidades que remiten el contenido proposicional al mundo posible de la volicin del hablante; estn relacionadas con las expectativas, los temores, los deseos, los gustos, las preferencias, etc. En funcin de estas modalidades el hablante se refiere a los hechos en trminos de lo agradable, lo repugnante, lo conveniente, lo inconveniente, etc. Son modalizadores bulomaicos expresiones como es preferible, es repudiable, es loable, es aconsejable, es conveniente, afortunadamente, por gracia, por desgracia, ojal, quiz, Dios quiera, amalaya!, siquiera, como en "Siquiera se murieron los abuelos".
1056
T H . LIV, 1999
1.3.
SENTIDO DE LAS LGICAS NO CLSICAS PARA LA LINGSTICA
La irrupcin de las lgicas no clsicas puede interpretarse desde varios puntos de vista: 1.3.1. Como una forma por la cual la lgica moderna comienza a consolidarse en su pluralidad. "Para ser fieles al desarrollo histrico y a la situacin actual, debe decirse que la expresin 'Lgica' es un trmino genrico que se aplica a una pluralidad de disciplinas con caractersticas y aspiraciones diversas" (ALCHOURRN, en Alchourrn, 1996: 42). De modo ms especfico, la irrupcin de tales lgicas puede interpretarse como un indicador de cmo la lgica actual, a partir de s misma, ha comenzado a reconocer algunas de sus limitaciones y la necesidad de reconstruirse ya flexibilizando algunos de sus principios ya adoptando enfoques ms amplios. 1.3.2. Como una consecuencia del giro lingstico de la filosofa del siglo xx. Este giro no es otra cosa que la tendencia de la filosofa y de la lgica a formular y tratar sus problemas a partir del examen de la forma lingstica en que se expresan. (ACERO, 1982: 15-20). En esta perspectiva, las lgicas no clsicas pueden ser vistas como un resultado del inters de la lgica por ponerse a la altura que la complejidad del lenguaje natural le exige, ya sea abordando problemas relacionados con la forma de los razonamientos frecuentes en el lenguaje natural, ya sea ofreciendo la posibilidad de formalizar aspectos del lenguaje que antes parecan escaprsele.
Uno de los rasgos distintivos de la lgica en la ltima centuria es crear y estudiar lenguajes artificiales con el propsito de reconstruir en ellos algunas propiedades (no todas) de los enunciados de las lenguas naturales. (ALCHOURRN, en Alchourrn, 1996: 16).
1.3.3. En pro del desarrollo de la lingstica, es claro que la actual variedad de lgicas no clsicas es una expresin de cmo el lenguaje natural se perfila como una fuente de estmulos en la investigacin filosfica y lgica.
T i l . LIV, 1999
1057
No hay que dar al lenguaje por imposible para la lgica formal; o visto por el otro lado, no hay que pensar que el lenguaje natural puede escapar a la lgica. Ms bien hay que ver en el lenguaje natural [... ] una fuente de estmulos y de exigencias para la lgica: de exigencias de construccin de clculos ms adaptados a las complejidades del lenguaje y de estmulos e indicaciones para dicha construccin
(DEAO, 1983: 335).
Bien puede esperarse que de acuerdo con el progreso de las lgicas no clsicas sea la lgica la disciplina que lidere un estudio integral de la modalidad. Sin embargo, no creemos que la lgica modal sea el marco terico ms adecuado para el estudio lingstico de la modalidad, por varias razones: 1.3.4. Como cualquier otra rama de la lgica formal, la lgica modal tiene una orientacin formalizadora, y la formalizacin no es una etapa inicial sino culminativa del proceso investigativo. La formalizacin de una teora solamente es posible cuando sta ha alcanzado un notable grado de madurez descriptiva. En contraste con esta condicin, el estudio de la modalidad se encuentra an en un estado preterico y el nmero de modalidades no est exhaustivamente inventariado. (LOZANO, 1982: 58). Obviamente, no se trata de desechar los aportes de la lgica formal en el estudio de la modalidad, sino de advertir que su integracin en la investigacin lingstica es ms adecuada en las etapas culminativas. De hecho, una aspiracin de la lingstica es ofrecer descripciones formalizadas de los fenmenos del lenguaje y de la comunicacin. 1.3.5. En una perspectiva psicolgica, la lgica es el estudio de la manera como pensamos. A pesar de sus deficiencias, el lenguaje natural es el instrumento por excelencia del pensamiento abstracto. Por esta razn el lgico no puede eludir el anlisis del lenguaje natural. Pero cuando el lgico se ocupa del lenguaje natural slo realiza un anlisis parcial; lo nico que le interesa de este lenguaje es abstraer los rasgos ms relevantes para establecer la validez formal de los razonamientos e integrarlos en una estructura de clculo, haciendo abstraccin de todo lo dems. (DEAO, 1983: 79-81).
23
1058
T H . LIV, 1999
1.3.6 El anlisis de la modalidad realizado en la perspectiva de la lgica formal es demasiado estrecho y, por el contrario, lo que se requiere es ampliar los puntos de vista. Las distintas lgicas modales, generalmente, se estructuran a partir de la lgica altica, es decir, tratan de caracterizar las distintas modalidades a partir de las modalidades de verdad. Pero, la modalidad oracional no est circunscrita nicamente a valores de verdad, sino a una gama de valores ms amplia. En trminos de Halliday, puede considerarse el lenguaje de la lgica formal como un lenguaje "no desarrollado"; esto es, como un lenguaje que cumple slo unas funciones dentro de un grupo social. (HALLIDAY, 1982: 253). Una cosa es el anlisis de los enunciados en el proceso deductivo en abstracto, y otra, el anlisis de los enunciados en el contexto del proceso comunicativo. La lgica de la interaccin verbal es mucho ms compleja que la lgica formal. La problemtica que plantea la lgica dentica muestra que el campo de la lgica es ms amplio que el de la verdad. En el discurso cotidiano y cientfico se manejan otros lenguajes mediante los cuales se realizan razonamientos constituidos por enunciados que no necesariamente son apofnticos; por ejemplo, el razonamiento que tiene la forma de pregunta retrica. Constantemente se extraa la adecuacin de la lgica clsica al anlisis de los fenmenos lingsticos y comunicativos. Es bien conocida la anotacin de Malinowski, segn la cual el lenguaje frecuentemente maltrata la lgica y sta lo abandona. (MALINOWSKI, 1964: 348). En palabras del maestro L. Flrez:
La lgica de los idiomas no es, exactamente, la de Aristteles. [... ] Es una lgica sui generis muy compleja y sutil, porque el lenguaje es un fenmeno humano, un hecho social, un producto de la cultura, un complejo de factores de muy diversa ndole. [... ] Los idiomas no se hacen solos, ni son entidades abstractas, independientes de los hombres y su vida. (FLREZ, 1967: 235-236).
1.3.7. Como el lenguaje de la lgica formal es un lenguaje exclusivamente apofntico y bivalente y, por tanto, el discurso a que da lugar es nicamente enunciativo o declarativo, quedan excluidos los enunciados interrogativos, exclamativos o
T H . LIV, 1999
1059
exhortativos, o cuyas estructuras preposicionales son evaluables en funcin de ms de dos valores de verdad. La lgica formal pretende que a toda pregunta se responda rotundamente con S o con No. Pero en realidad, casi siempre es. necesario responder: 5/, en tal sentido, pero no, en tal sentido. Dentro de ciertos lmites la oposicin verdad/falsedad es absoluta, fuera de ellos es relativa. Un error puede ser una verdad parcial o una verdad ampliada ms all de sus lmites. Lo verdadero puede convertirse en falso, y a la inversa. (LEFEBVRE, 1978: 107-108). 1.3.8. La expresin de una modalidad puede interpretarse tanto objetiva como subjetivamente, con resultados diferentes; por ejemplo, en una interpretacin objetiva, la modalidad epistmica indica que el hablante asume un compromiso cognoscitivo lo ms objetivo posible en torno al contenido proposicional verbalizado; el hablante se presenta como un observador neutral que enuncia los hechos de acuerdo con lo que sabe o cree. En una interpretacin subjetiva, el hablante se presenta como un sujeto que expresa su propio parecer. La modalidad epistmica subjetiva es una modificacin por parte del hablante de su compromiso veritativo. En este aspecto, la lgica y la lingstica se diferencian en que la lgica se ocupa de la modalidad en una perspectiva exclusivamente objetiva; en la lgica formal no hay cabida para el agente razonador y, por tanto, no hay cabida para el anlisis de la dimensin subjetiva del enunciado. Por el contrario, en el anlisis lingstico son fundamentales tanto la interpretacin objetiva como la subjetiva, aunque sta es mucho ms frecuente que la interpretacin objetiva en la mayora de los usos del lenguaje. Adems, en el discurso cotidiano, la modalidad ms que altica es epistmica o dentica, y la interpretacin objetiva de la modalidad epistmica es muy rara; razn por la cual, la semntica de condiciones de verdad como teora total del significado del enunciado, es inadecuada, pues se limita al contenido proposicional y le es imposible tratar el fenmeno de la subjetividad. (LYONS, 1983: 237-238). Estas consideraciones ponen de manifiesto que la lgica y la lingstica se ocupan de la modalidad desde perspectivas
1060
T H . LIV, 1999
diferentes, pero que pueden ser complementarias. Cuanto mejor se reconozca la complejidad de la modalidad, mejor se reconocer la necesidad y posibilidad de integrar los aportes lgicos y lingsticos.
2. EL ANLISIS DE LA MODALIDAD EN LA PERSPECTIVA DE LA LINGISTICA
La lingstica se ocupa del lenguaje natural en todas sus dimensiones y funciones: como instrumento para pensar y como instrumento para interactuar socialmente. Mediante la integracin de aportes de las disciplinas que se ocupan del lenguaje como sistema y de las disciplinas que se ocupan del lenguaje como proceso, es decir, las disciplinas pragmticas: teora de la enunciacin, teora del texto, incluso la teora de la accin comunicativa, la lingstica puede ofrecer un contexto terico ms rico conceptualmente para el estudio de la modalidad, que el ofrecido por la lgica formal. La gramtica tradicional clasifica las oraciones en funcin de dos aspectos: el modas y el dictutn. El dictum es el contenido representativo o descriptivo, lo que se dice en cada oracin; el tnodus es la actitud subjetiva del hablante con respecto a dicho contenido; puede estar explcito mediante recursos como la entonacin, el modo y el tiempo del verbo, o deducirse del contexto. Segn el dictum, la naturaleza del predicado, las oraciones se clasifican en: atributivas y predicativas; segn el modus, en: enunciativas, interrogativas, exclamativas, de posibilidad, dubitativas, optativas y exhortativas. (GILI-GAYA, 1961: 40). En la Gramtica de casos, una variante de la semntica generativa, Ch. Fillmore, se describe la estructura semntica profunda de la oracin como conformada por dos constituyentes inmediatos: la modalidad y la proposicin. De acuerdo con lo anterior, cuando Fillmore describe de tal manera el primer nivel de la estructura semntica profunda de la oracin, en realidad no plantea nada completamente nuevo, pues coincide con la tradicin clsica. La novedad radica en que concibe la modalidad como un componente no proposicional
TH. LIV, 1999
1061
de la estructura profunda de la oracin. La modalidad integra los elementos de interrogacin, de negacin, los adverbios oracionales, los adverbios de tiempo, las formas de expresin de tiempo, el modo y el aspecto verbales y diversos elementos adverbiales que se comportan como modalidades de la oracin entera ms bien que subconstituyentes del constituyente predicado. (FILLMORE, 1968: 29, y 1973: 51). Son varias las propuestas similares a las de Fillmore; por ejemplo, la de Strawson, Searle y Habermas. En Significado y verdad, a la pregunta en qu consiste que una oracin particular tenga el significado o los significados que tiene? STRAWSON da por supuestos dos significados: el proposicional y el ocasional (tambin llamado significado del hablante), estrechamente relacionados con la intencin comunicativa y, por tanto, con la modalidad. La argumentacin sobre la dominancia de uno de estos significados sobre el otro ha dado lugar a la controversia sostenida entre los tericos de la semntica formal y los tericos de la intencin comunicativa. En dicho ensayo, la atencin de Strawson se orienta en gran medida a mostrar la imposibilidad de explicar cabalmente el significado proposicional de una oracin particular sin hacer referencia a la intencin comunicativa del hablante. (STRAWSON, 1983: 201). A nuestro entender, Searle relaciona la modalidad con la fuerza ilocucionaria:
Desde el punto de vista semntico podemos distinguir dos elementos (no necesariamente separados) en la estructura sintctica de la oracin, que podramos denominar el indicador proposicional y el indicador de la fuerza ilocucionaria. El indicador de la fuerza ilocucionaria muestra cmo ha de tomarse la proposicin o, dicho de otra manera, qu fuerza ilocucionaria ha de tener la emisin; esto es, qu acto ilocucionario realiza el hablante al emitir la oracin (SEARLE, 1980: 39).
Habermas describe toda manifestacin elemental o acto de habla como una unidad que tiene la forma 'Mp' donde 'M' representa el componente de la intersubjetividad, estrechamente relacionado con la modalidad, y 'p' representa una oracin subordinada que expresa el contenido proposicional sobre el que ha de llegarse a un entendimiento. Esta estruc-
1062
BERNARBO MORALES ASCENCIO
T l . LIV, 1999
tura del acto de habla refleja la doble estructura del habla en general.
No se llegar a un entendimiento si hablante y oyente no se mueven simultneamente tanto en el nivel de la intersubjetividad en el que hablante y oyente hablan entre s, como en el nivel de los objetos o estados de cosas sobre los que se entienden. (HABERMAS, 1989: 74).
Como teora generativista, la gramtica de casos pone de manifiesto el carcter de universal lingstico de la modalidad. "Todas las lenguas expresan modalidades; cada una tiene sus propios sistemas y subsistemas" (POTTIER, 1970: 188). Adems, en funcin de la oposicin estructura superficial/estructura profunda, la Gramtica de casos permite establecer tanto el fundamento terico de la modalidad lingstica como la base para diferenciar la modalidad de los modalizadores u operadores modales. La modalidad es un componente no proposicional de la estructura semntica profunda de la oracin; los modalizadores son las correspondientes formas de expresin de la modalidad. Estas formas pueden ser: a) fonticofonolgicas, como la entonacin; b) morfolgicas, como los morfemas de tiempo, de modo y de aspecto; c) sintcticas, como clusulas subordinantes sustantivas, frases adverbiales; d) lexicales, como los verbos modales y algunos adverbios. Normalmente, estas formas de expresin se amalgaman y refuerzan mutuamente. La gramtica tradicional se ocupaba casi exclusivamente de los operadores morfosintcticos y lxicos, de tal modo que quedaban al margen de su estudio otras formas de expresin, como la entonacin, lo cual haca pensar que una oracin enunciativa est libre de modalidad, cuando en realidad los patrones de entonacin (tonemas) son quiz los indicadores ms inconfundibles de la modalidad oracional. La consideracin de la modalidad como constituyente de la estructura semntica profunda de la oracin lleva a integrar la modalidad en la problemtica general del significado lingstico; en otras palabras, lleva a convertir la modalidad en objeto de estudio de las disciplinas que reclaman como derecho propio el estudio del significado lingstico y que desde su propia ptica imponen una u otra interpretacin o justifican un determinado enfoque.
T H . LIV, 1999
1063
Una queja muy conocida en torno al significado lingstico es su complejidad y la dificultad para dar cuenta de l en forma sencilla. El trmino 'significado' es uno de los ms ambiguos y controvertidos de la teora del lenguaje. (ULLMANN, 1976: 62). Generalmente, se presenta la semntica como una de las reas ms abigarradas y complejas de la lingstica; que en cierto modo es una especie de tierra de nadie; que cualquier intento por caracterizar el significado lingstico resulta demasiado estrecho o demasiado amplio; que el significado es uno de los tantos indefinibles de nuestra poca; que la nocin de significado es tan intuitiva como a finales del siglo xix. Lejos de ser una entidad unidimensional, el significado lingstico es tan complejo como el lenguaje y el hombre mismo; as como no hay dimensin humana donde no est integrado el fenmeno del lenguaje, tampoco hay dimensin humana donde no est integrado el fenmeno del significado. La complejidad del significado, ms qu una deficiencia, es una condicin para que el lenguaje cumpla con las funciones que tiene que cumplir, y es una oportunidad para que en torno a su estudio prospere una amplia gama de propuestas que habrn de llevar a una mejor comprensin de la naturaleza de sus distintas dimensiones. Tratar de llegar a una concepcin homognea del significado lingstico slo es posible a costa de perder una visin cabal de su identidad. En esta perspectiva, nos parece muy orientadora la propuesta de Leech, quien distingue varios tipos de significado lexical: denotativo, connotativo, afectivo, temtico, conlocativo, reflejo y estilstico, algunos de ellos atribubles tambin a la oracin. (LEECH, 1974: 25-43). A nuestro juicio, estos significados, y otros que es posible identificar, pueden ser caracterizados en funcin de los componentes del evento comunicativo: a) hablante: afectivo y proyectado; b) oyente: interpretado; c) mensaje: reflejo, conlocativo y temtico; d) referente: denotativo y connotativo; e) canal: ftico; f) contexto: estilstico y dialectal; g) cdigo: etimolgico. Por el estilo de esta propuesta es deseable ampliar los criterios para el anlisis de la modalidad a partir de los aportes de las disciplinas pragmticas. Esto equivaldra a estudiar la modalidad
1064
T H . L1V, 1999
en trminos de compromisos, actitudes e intenciones comunicativas; de remisin de la proposicin a determinados mundos posibles, de significado del hablante, etc. La teora de la enunciacin trata de explicitar la manera como hablante y oyente se inscriben en el enunciado, y ste en la interaccin social. La enunciacin es el acto de apropiacin del sistema de la lengua por parte del hablante para convertirla en discurso; para producir enunciados con una intencin comunicativa. El hablante y el oyente se convierten en las figuras fundamentales del anlisis lingstico. "El lenguaje [...] es uno de los modos principales de la accin humana, y por ello el actor del lenguaje, el hablante, ocupa el primer plano de la visin pragmtica del mundo" (MALINOWSKI, 1964: 356). En cuanto el hablante se apropia del sistema de la lengua con una intencin comunicativa, el hablante enuncia su posicin de locutor e instaura ante s al oyente o destinatario, cualquiera que sea el grado de presencia que le asigne. (BENVENISTE, 1977: 84-85). Al establecer la teora de la enunciacin el estatus terico del hablante y del oyente, establece el fundamento terico del estudio de la subjetividad y los aspectos con ella relacionados. Ya no se considera al hablante y al oyente en abstracto, sino como sujetos que fijan sus enunciados en virtud de sus conocimientos, creencias, emociones, roles comunicativos, etc., y la subjetividad ya es vista ms bien en trminos de intersubjetividad; que como tal, puede ser estudiada en consonancia con las funciones bsicas del lenguaje: representativa, expresiva y directiva.
2.1. U N CONCEPTO DE MODALIDAD LINGSTICA
De manera ingenua, por modalidad entendemos la manera como algo se manifiesta y es posible captarlo sensorial y conceptualmente; la forma como se actualiza un objeto en una situacin dada sin que resulte alterada su identidad; como los distintos estados necesaria o contingentemente asociados a los objetos y a los procesos en un determinado contexto. As como una misma realidad puede actualizarse con una u otra
T H . LIV, 1999
1065
modalidad, as tambin una misma proposicin o estructura proposicin al, en cuanto objeto mental, puede actualizarse lingsticamente con una u otra modalidad sin que se altere su contenido. En consonancia con la Gramtica de casos, entendemos la modalidad como: a) la referencia al mundo posible donde la proposicin o la estructura proposicional adquiere plenitud de sentido, b) Una forma de conceptualizar el contenido proposicional por parte del hablante para efectos de la comunicacin. En este sentido, la modalidad contribuye a determinar el significado del enunciado con respecto a un complejo sistema de valores comunicativos. En conformidad con la teora de la enunciacin, entendemos la modalidad del enunciado como la actualizacin por parte del hablante de las posibilidades que le ofrece el sistema de la lengua para situar el contenido de la estructura proposicional verbalizada de acuerdo con: sus estados cognoscitivos, emotivos e interpersonales; lo que sabe, duda, cree, aprecia, espera, teme, etc., y el sistema de relaciones interpersonales en que se integra. En este sentido, la modalidad es una proyeccin del 'yo enunciador' del hablante sobre el propsito de su enunciado. (POTTIER, 1970: 186). En sntesis, la modalidad puede ser vista entonces como una matriz de valores comunicativos relacionados con una gran variedad de conceptos tales como: necesidad, posibilidad, creencia, seguridad, certeza, obligatoriedad, permisibilidad, deseo, etc., mediante los cuales el hablante manifiesta sus compromisos veritativos, de veracidad o de rectitud en torno a las estructuras proposicionales que verbaliza. Conjugando el aporte de las lgicas no clsicas, las cuales destacan la dimensin objetiva de la modalidad, con los aportes de las disciplinas pragmticas, las cuales hacen mayor nfasis en la interpretacin subjetiva de la modalidad, es posible emprender con mayor fundamento terico una caracterizacin de las oraciones tradicionalmente clasificadas como: enunciativas, interrogativas, exclamativas, de posibilidad, dubitativas; optativas y exhortativas; y por ende de las diversas clases de textos.
1066 2.2.
BERNARDO MORALES ASCENCIO MODALIDAD LIMINAR Y CERCAS SEMNTICAS
T H . LIV, 1999
El concepto de 'cerca' fue introducido por Zadeh en el contexto de la lgica difusa como un correlato lingstico de los valores de verdad que puede tomar un enunciado construido a partir de un conjunto difuso. Estas cercas son expresiones de la forma: un poco, muy, bastante, ms o menos, en gran manera, aproximadamente, perfectamente, definitivamente, demasiado, como en ]uan es / no muy f bastante / ms o menos / en gran manera / definitivamente / alto. En el contexto lingstico, a estas cercas es ms adecuado llamarlas 'cercas semnticas'; son expresiones que modulan la referencia de una estructura proposicional hacindola un poco ms o un poco menos precisa. De acuerdo con Snchez, son expresiones, generalmente adverbiales, que cercan algunos rasgos semnticos, posiblemente todos, de la expresin a que modifican, resaltndolos positiva o negativamente. (SNCHEZ, 1975: 65). Como las cercas semnticas indican el grado de vaguedad o de precisin con que ha de interpretarse la estructura proposicional verbalizada, generalmente en un enunciado asertrico, en consonancia con las intenciones comunicativas del hablante; es decir, cumplen una funcin delimitativa o alinderativa, podra llamrselas modalizadores liminares, y a las modalidades de que son formas de expresin podra llamrselas Modalidades liminares (del latn limen, inis: umbral, lmite). Por modalidad liminar entendemos, entonces, el contenido semntico del enunciado que indica la proyeccin del hablante en el enunciado con respecto al grado de precisin o de vaguedad con que ha de tomarse el contenido proposicional. El concepto de cercas semnticas evoca la leyenda griega segn la cual, siendo las montaas lugares plagados de acechanzas, en el camino de Megara a Atenas exista un bandolero llamado Procusto, quien tena dos camas, una corta y otra larga; luego de robar a los viajeros obligaba a los bajos a tumbarse en la larga, y a los altos, en la corta. Para ajustarlos a la medida exacta del lecho, el asaltante estiraba los brazos y piernas de los primeros, y cortaba los de los segundos.
T H . UV, 1999
1067
Para organizar su discurso, al hablante se provee de una serie de recursos modales en funcin de los cuales (el hablante) configura una especie de lecho de Procusto, mediante el cual procura que sus enunciados logren el grado de precisin o de vaguedad que l quiere que tengan de acuerdo con su intencin comunicativa. Unas palabras lexicales tienen un significado muy preciso, otras tienen un significado muy vago. Cuanto ms preciso sea el significado de una palabra, o la referencia a un determinado hecho, tanto ms rgida es y mayor la necesidad de flexibilizarla; y cuanto ms vaga sea, tanto ms temple semntico requiere. Los enunciados demasiado precisos dificultan la comprensin generalizadora y los enunciados demasiado vagos dificultan el conocimiento de fenmenos particulares. Las cercas semnticas pueden ser de carcter epistmico, bulomaico o dentico. Las cercas semnticas de carcter epistmico indican en qu medida el hablante asume un compromiso veritativo en torno al contenido proposicional que verbaliza; indican el rigor con que el hablante entabla, una pretensin de verdad. En este sentido, la modalidad liminar de un enunciado es un significado del hablante. Sean por ejemplo, los enunciados: En sentido estricto, los griegos fueron los creadores del teatro. En trminos generales, los griegos fueron los creadores del teatro. En el primero, el hablante asume en forma definitiva un compromiso veritativo, lo que dice puede ser verificado o falseado; se compromete con la validez de lo dicho, expone su yo social ante una posible refutacin. Por el contrario, en el segundo, el hablante no asume un compromiso veritativo definitivo, se pone a salvo ante una posible exigencia de verificacin. Reiteramos que el tema de la modalidad es muy complejo y en el espacio de un artculo, obviamente quedan muchos aspectos por considerar. A manera de conclusin destacamos que la lgica siempre ha liderado el estudio de la modalidad y actualmente se encuentra en un estado de franca apertura al anlisis y formalizacin de nuevos tipos de modalidad. La conjuncin de los aportes de las lgicas no clsicas, de la lingstica y de las disciplinas pragmticas constituyen un punto
1068
T H . LIV, 1 9 9 9
de partida necesario para el estudio de la modalidad, que en la actualidad aparentemente est excluido de la investigacin lingstica, pero que en realidad est presente en todas las formas de anlisis del lenguaje como proceso.
BERNARDO MORALES A S C E N C I O
Universidad Nacional de Colombia. Departamento de Lingstica.
BIBLIOGRAFA AGAZZI, EVANDRO, 1967, La lgica simblica, Barcelona, Editorial Herder. Traduccin del italiano de J. Prez B.
ACERO, JUAN JOS, BUSTOS, EDUARDO y QUESADA, DANIEL, 1982, Intro-
duccin a la filosofa del lenguaje, Madrid, Ctedra. ALCHOURRN, CARLOS (editor), 1995, Lgica, Madrid, Editorial Trotta. ALLWOOD, JENS, Y OTROS, 1981, Lgica para lingistas, Madrid, Paraninfo. Traduccin del ingls de Jaime Saravia. BENVENISTE, MILE, 1977, Problemas de lingistica general II, 4* ed., Mxico, Siglo XXI. Traduccin de Juan Almela.
BOBERIENTH M., ANDRS, 1996, Inconsistencias, por qu no?, un es-
tudio filosfico sobre la lgica paraconsistente; Bogot, COLCULTURA. CELIJS (Universidad de Carabobo), 1988, Antologa de la lgica en Amrica Latina, Barcelona, Novograph. DEAO, ALFREDO, 1973, Introduccin a la lgica formal, 4* ed., Madrid, Alianza Editorial.
FERRATER MORA, JOS, 1978, Diccionario de filosofa abreviado, 7* ed.,
Buenos Aires, Editorial Suramericana. FILLMORE, CHARLES, 1968, "El caso por el caso", Popayn, Universidad del Cauca. Traduccin del ingls por Jorge Orozco. , 1973, "Hacia una teora moderna de los casos", en Fundamentos de la gramtica transformacional, 2* ed., Mxico, Siglo XXI, H . Contreras (Comp.). FLREZ, LUIS, 1967, Temas de castellano, 2* ed., Bogot, Instituto Caro y-Cuervo. GILI-GAYA, SAMUEL, 1961, Curso superior de sintaxis espaola, 9* ed., Barcelona, Spes.
T H . LIV, 1 9 9 9
1069
HAACK, SUSAN, 1982, Filosofa de las lgicas, Madrid, Ctedra. Traduccin del ingls de Amador Antn y Teresa Ordua. HABERMAS, JRGEN, 1989, Teora de la accin comunicativa: comple mentos y estudios previos, Madrid, Ctedra. Traduccin del alemn de Manuel Jimnez R. HALLIDAY, M.. A. H., 1982, El lenguaje como semitica social (la interpretacin social del lenguaje y del significado), Mxico, F. C. E. Traduccin del ingls de Jos Ferreiro. HINTIKKA, JAAKKO, 1979, Saber y creer, una introduccin a la lgica de los dos conceptos, Madrid, Tccnos. Traduccin del ingls y prlogo de Juan J. Acero.
HUGHES, G. E. y CRESSWELL, M. }., 1973, Introduccin a la lgica mo-
dal, Madrid, Tecnos. Traduccin del ingls por Esperanza Guisan S. KOSKO, BART, 1995, Pensamiento borroso, la nueva ciencia de la lgica borrosa, Barcelona, Grijalbo. Traduccin del ingls por Juan P. Campos. LEECH, GEOFFREY, 1977, Semntica, Madrid, Alianza Editorial. Traduccin del ingls de Juan Tato. LEFEBVRE, HENRI, 1978, Lgica formal, lgica dialctica, 7* ed., Madrid, Siglo XXI. Traduccin del francs de Mara Esther Bentez.
LOZANO, JORGE, PEA-MARN, CRISTINA y ABRIL, GONZALO, 1982, Anli-
sis del discurso, hacia una semitica de la interaccin textual, Madrid, Ctedra. LYONS, JOHN, 1983, Lenguaje, significado y contexto, Barcelona, Paids. Traduccin del ingls de Santiago Alcoba. , 1997, Semntica lingstica, una introduccin, Barcelona, Paids. Traduccin del ingls y adaptacin de Santiago Alcoba.
MAINGUENAU, DOMINIQUE, 1980, Introduccin a los mtodos del an-
lisis del discurso, Buenos Aires, Hachette. Traduccin del francs de Lucila Castro.
MALINOWSKI, BRONSLAW, 1923, "El problema del significado de las len-
guas primitivas", en OGDEN y RICHARDS, El significado del significado, Buenos Aires, Paids. Traduccin del ingls de Eduardo Prieto. POTTIER, BERNARD, 1970, Lingstica general, Madrid, Gredos. Traduccin del francs de Mara Catalina. ROSENTAL, M. y IUDIN, P. F. (Directores), 1985, Diccionario filosfico, Bogot, Grficas Modernas. RUES, D., 1981, Diccionario de filosofa, Mxico, Grijalbo. Traduccin del ingls de Ana Domcnc y otros.
1070
T H . LIV, 1999
SNCHEZ DE Z., VCTOR, 1975, "Unidades, constricciones y lmites de la lingstica transformatoria", en Revista Espaola de Lingstica, ao 5, pgs. 45-86. SEARLE, JOHN, 1980, Actos de habla, un ensayo de filosofa del lenguaje, Madrid, Ctedra. Traduccin del ingls de Luis M. Valds. STRAWSON, PETER, 1983, Ensayos lgico-lingsticos, Madrid, Tecnos. Traduccin del ingls de Alfonso Garca S. y Luis M, Valds V.

Logica

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Logica

Cargado por

Copyright:

Formatos disponibles

LAS LGICAS NO CLSICAS Y EL ESTUDIO DE LA MODALIDAD

LAS LGICAS NO CLASICAS

BERNARDO MORALES ASCENCIO

LAS LGICAS NO CLSICAS

BERNARDO MORALES ASCENCIO

LAS LGICAS NO CLSICAS

BERNARDO MORALES ASCENCIO

LAS LGICAS NO CLASICAS

BERNARDO MORALES ASCENCIO

~M~p (no es posible

LAS LGICAS NO CLSICAS

BERNARDO MORALES ASCENCIO

LAS LGICAS NO CLASICAS

BERNARDO MORALES ASCENCIO

LAS LGICAS NO CLSICAS

BERNARDO MORALES ASCENCIO

p'), los operadores bsicos de la lgica dentica son Obligato-

rio (O) y Permitido (P).

LAS LGICAS NO CLSICAS

BERNARDO MORALES ASCENCIO

Es necesario que Es imposible que Es contingente que

Se ha verificado que Se ha falsado que No se ha decidido que

LAS LGICAS NO CLSICAS

BERNARDO MORALES ASCENCIO

LAS LGICAS NO CLSICAS

BERNARDO MORALES ASCENCIO

SENTIDO DE LAS LGICAS NO CLSICAS PARA LA LINGSTICA

LAS LGICAS NO CLASICAS

BERNARDO MORALES ASCENCIO

LAS LGICAS NO CLASICAS

BERNARDO MORALES ASCENCIO

TH. LIV, 1999

LAS LGICAS NO CLASICAS

BERNARBO MORALES ASCENCIO

LAS LGICAS NO CLASICAS

BERNARDO MORALES ASCENCIO

LAS LGICAS NO CLASICAS

BERNARDO MORALES ASCENCIO MODALIDAD LIMINAR Y CERCAS SEMNTICAS

LAS LGICAS NO CLASICAS

BERNARDO MORALES ASCENCIO

Universidad Nacional de Colombia. Departamento de Lingstica.

LAS LGICAS NO CLASICAS

BERNARDO MORALES ASCENCIO

También podría gustarte