TEMA 7.

RELACIN LINGSTICA Y SIMBLICA DEL SUJETO CON EL MUNDO

TEMA 7. RELACIN LINGSTICA Y SIMBLICA DEL SUJETO CON EL MUNDO.

Laura Ortega Garca

Curso 2011/2012

TEMA 7. RELACIN LINGSTICA Y SIMBLICA DEL SUJETO CON EL MUNDO

7.

RELACIN LINGSTICA Y SIMBLICA DEL SUJETO CON EL MUNDO.

Los seres humanos establecemos con el mundo y con nuestros semejantes relaciones mediatas, esto es, relaciones en las que estn por medio signos y smbolos de diversos tipos. Y esto es as porque tenemos una facultad peculiar: la facultad de la representacin; en virtud de ella, la realidad y los dems seres humanos se constituyen en nuestra intimidad como un conjunto de representaciones. 1. EL ESTUDIO DEL LENGUAJE. LENGUAJE
ANIMAL Y LENGUAJE HUMANO.

El hombre es el nico animal que habla. Ciertamente otros animales pueden comunicarse entre s, bien sea por movimientos expresivos, por sonidos, etctera. Esta comunicacin animal puede incluso ser muy compleja, como en el caso de las abejas, estudiado por el etlogo Karl von Frisch: al regresar a la colmena una abeja exploradora puede comunicar a sus compaeras por medio de una cierta "danza" que realiza, la direccin y la distancia aproximada a que se encuentra el grupo de flores ricas en nctar. Sin embargo, estas formas de comunicacin animal tienen muy poco que ver con el lenguaje humano. As pues, a diferencia del lenguaje humano, los "lenguajes" animales son conjuntos de seales ligados de manera innata (tanto en su emisin como en su comprensin) a determinados estados de nimo del animal. Por el contrario, el lenguaje humano es un sistema de smbolos, que necesita ser socialmente aprendido y que no est necesariamente ligado con la expresin de emociones y estados de nimo. El hombre es as el nico animal que habla, y en esta habilidad nica reposan caractersticas humanas tan importantes como: - la comunicacin de sentimientos y de ideas entre las personas, - el establecimiento debelaciones e instituciones sociales - el desarrollo de actividades sociales complejas (la poltica, la religin, la cultura...), - la constitucin de sistemas lgicos de conocimiento (las ciencias), - la autoconciencia y el conocimiento de s mismo. En todas estas formas de vida est presente, animndolas, el pensamiento conceptual; y el lenguaje -es preciso tenerlo siempre muy en cuenta- no es slo un revestimiento exterior del pensamiento ya desarrollado, sino una parte constitutiva de ese mismo pensamiento. De aqu la importancia del estudio del lenguaje. Del lenguaje se ocupan, entre otras, la teora de la comunicacin, la lingstica, la psicologa, la sociologa, la antropologa...; a su vez, se le estudia como produccin de sonidos articulados (fontica), como sistema estructurado de elementos (lingstica), como transmisin de mensajes (teora de la comunicacin), como forma de interaccin social (psicologa, sociologa, antropologa), etctera. FILOSOFA
Y LENGUAJE.

Desde el punto de vista de la filosofa, el lenguaje nos interesa sobre todo en cuanto

Laura Ortega Garca

Curso 2011/2012

TEMA 7. RELACIN LINGSTICA Y SIMBLICA DEL SUJETO CON EL MUNDO

manifestacin o expresin de sentido. La importancia de este enfoque es manifiesto, pues, ante todo, el lenguaje es expresin y transmisin de una idea, de un pensamiento, es decir, de un sentido. Todas las dems dimensiones posibles del lenguaje (por ejemplo, el lenguaje como una forma de interrelacin social) suponen esta dimensin fundamental; as, el acatamiento de una orden, el seguimiento de unas reglas o instrucciones, etctera, suponen primeramente la comprensin (es decir, la captacin del sentido) de esa orden o de esas reglas. 2. LAS DIMENSIONES DEL LENGUAJE. Diferenciamos tres dimensiones del lenguaje; Dimensin expresiva, apelativa y representativa del lenguaje.

1. 2.
comunicarse.

Toda expresin lingstica es ante todo sntoma de un estado subjetivo en el que Toda expresin lingstica/es igualmente una seal para el oyente, en cuanto

habla; el lenguaje tiene una dimensin expresiva, como expresin directo, de un estado psquico. requiere algo de l; el lenguaje tiene una dimensin apelativa, se dirige a otra persona, la invita a

3.

La expresin lingstica es smbolo de un contenido objetivo, de un pensamiento que

es expresado y transmitido; el lenguaje tiene una dimensin representativa. Al hablar de "dimensiones" del lenguaje, queremos dar a entender que, como en el caso de las dimensiones de los cuerpos fsicos, s trata de tres funciones que se encuentran en toda expresin lingstica, y no de tres clases de expresiones lingsticas diferentes. Es cierto, sin embargo, que se da un predominio de una u otra de las dimensiones segn el tipo de oracin de que se trate. Aunque, como hemos dicho, las tres dimensiones se encuentran en toda expresin lingstica, es indudable que la dimensin-representativa es la bsica, aquella sobre la cual reposan las dems, pues toda expresin lingstica puede expresar y hacer algo slo en la medida en que dice algo. 3. USOS DEL LENGUAJE. Adems de diferenciar las dimensiones del lenguajes debemos los diferentes usos que hacemos del del lenguaje; interrogativo, suplicativo, imperativo, desiderativo... Y tambin para formular afirmaciones acerca de los objetos, es decir, para enunciar hechos o describir situaciones. En este sentido, las afirmaciones son, al menos, bivalentes, pues tiene sentido en ellas afirmar la verdad o falsedad. Al uso del lenguaje cuando lo empleamos para hacer aserciones verdaderas o falsas lo denomin Aristteles -y nosotros tras l- uso apofntico (de apfasis= declaracin o enunciacin). Dice Aristteles: todo discurso es significativo (...). Pero no todo discurso es apofntico, sino slo aquel en el que se da el ser verdadero o falso. No se da esto en todos, pues, por ejemplo, un ruego no es ni verdadero ni falso. Este es el tipo de discurso caracterstico del cientfico y del que fundamentalmente, aunque no exclusivamente, se va a preocupar la Lgica. 4. SMBOLOS Y SEALES. LA NATURALEZA DEL SMBOLO LINGSTICO. Con todo vemos que existen muchos factores a tener en cuenta, ms si consideramos que las palabras no son los nicos smbolos, puesto que existen tambin los smbolos herldicos, los smbolos empleados para regular la circulacin, la comunicacin por medio de banderas o por seales de humo, etctera. Toda la vida social est penetrada por el simbolismo, e incluso actos que en

Laura Ortega Garca

Curso 2011/2012

TEMA 7. RELACIN LINGSTICA Y SIMBLICA DEL SUJETO CON EL MUNDO

principi son meramente tiles o funcionales (el comer, el vestirse, el comportarse en pblico, etctera) adquieren adems una dimensin simblica. Aunque las palabras no son los nicos smbolos, son sin embargo, el conjunto de smbolos ms fundamental y comprensivo, puesto que todos los dems smbolos pueden ser traducidos a palabras. Esto significa que el anlisis que hagamos del smbolo lingstico, es decir, de la palabra y de sus composiciones, vale en cierto modo para todos los dems smbolos. Cuando en filosofa hablamos de "la palabra" (o, ms en general, del "smbolo"), debe quedar bien claro quejas estamos refiriendo a la palabra como tipo. Dicho de otro modo, la palabra de la que hablamos no es una cosa o un suceso, sino una abstraccin, una construccin lgica de nuestra mente. Un ejemplo puede contribuir a aclarar esto: en el juego del ajedrez, el alfil no se define por la materia de que est construido, ni por la forma que tiene, sino por su funcin en el juego. En este sentido, l alfil es un conjunto de reglas que determinan una funcin; y precisamente por ello es una abstraccin. De igual modo la palabra no debe identificarse con su aparicin oral o escrita, sino que es una abstraccin, una pieza dentro del conjunto del lenguaje, cuya funcin est determinada por un conjunto de reglas. Decir que el smbolo lingstico es una abstraccin, es tambin decir que es universal; a diferencia de las cosas fsicas, no existe solamente en un tiempo y lugar determinados, sino que puede repetirse de modo indefinido, puede ocurrir -permaneciendo el mismo- en multitud de contextos. La universalidad, que siempre se ha atribuido al concepto, es en realidad una propiedad de la palabra misma, aunque por supuesto entendiendo por "palabra" la palabra como tipo y no como espcimen. 5. DISTINCIN ENTRE LENGUAJE NATURAL Y LENGUAJES ARTIFICIALES O FORMALES. La distincin entre lenguajes naturales y lenguajes artificiales es, a primera vista, muy clara. Los lenguajes naturales los heredamos. Los lenguajes artificiales los construimos. Los lenguajes naturales son las lenguas, creadas y recreadas constantemente en el trascurso de la historia, y transmitidas a cada individuo en pocos aos. Es decir, lenguaje natural es el que hablamos todos los das, y es un complicado sistema de comunicacin interpersonal, que se compone de un lxico y de un conjunto de reglas que permiten combinar los elementos de ese lxico. En este sentido, afirma Wittgenstein que el lenguaje es una forma de vida. Hablar es parte de nuestro modo de ser. Por eso, por constituir un componente fundamental de nuestro comportamiento, el lenguaje es tan inaprensible e inexplicable cientficamente. Pero, sin embargo, los lenguajes naturales han sido tambin construidos. Lo que sucede es que esta construccin ha sido lenta, a lo largo de los siglos en que el hombre se relaciona con su medio. En el fondo, las virtudes o posibles defectos del lenguaje surgen de esa relacin hombre-medio. En un momento dado de la historia de esa relacin, el hombre siente la necesidad de controlar cientficamente el medio. Ha cambiado la relacin, y surge la necesidad de crear un lenguaje capaz de expresar esa nueva relacin. Son los lenguajes artificiales. Lo que denominamos lenguajes artificiales son lenguajes de precisin construidos por los cientficos para formular con ms exactitud las relaciones entre los objetos analizados por las respectivas ciencias. Los constructores de esos lenguajes artificiales no hacen ms que encauzar, dirigir el lenguaje en beneficio de las distintas ciencias.

Laura Ortega Garca

Curso 2011/2012

TEMA 7. RELACIN LINGSTICA Y SIMBLICA DEL SUJETO CON EL MUNDO

6. CLCULO FORMAL Y LENGUAJES FORMALES. CLCULO

FORMAL.

Actualmente estas dos tradiciones del lenguaje bien construido se encuentran en la distincin entre clculos formales y lenguajes formalizados. En un clculo es posible realizar operaciones sin saber qu significan los smbolos. As, algunas letras que se usan en muchas demostraciones matemticas no significan nada concreto. Aqu radica la fundamental diferencia entre clculo y lenguaje: un lenguaje es un sistema de signos tal que sus formaciones significan algo, mientras que un clculo no est vinculado a significar. Por tanto, un clculo no es un lenguaje, pues sus formaciones no significan directamente. Es una pura estructura artificial, un sistema de relaciones, que se compone de lo siguiente:

1.

Un conjunto de elementos primitivos, denominados smbolos elementales, anlogos de

los trminos o palabras de un lenguaje. Estos smbolos constituyen las piezas a manejar dentro del sistema. Este conjunto de smbolos ha de estar definido de un modo efectivo, es decir, que se pueda decidir, ante un objeto cualquiera, si ese objeto es o no es miembro del conjunto. Para definir efectivamente un conjunto podemos: a) enumerar exhaustivamente los elementos de ese conjunto. definir el conjunto por medio de una propiedad, por ejemplo: El conjunto de los nmeros

b) 2.

enteros pares menores de 20. Un conjunto de reglas de formacin, que establecen cules son las combinaciones correctas posibles de esos smbolos elementales. Tambin en los lenguajes naturales hay reglas de formacin, que permiten combinar los elementos del vocabulario para formar oraciones. Pero esas reglas no estn formuladas: el hablante las aplica implcitamente y, slo se explicitan cuando se elabora la gramtica de esa lengua. Sin embargo, en el clculo las reglas de formacin deben estar formuladas.

3.

Un conjunto de reglas de transformacin, que indican cmo puede pasarse de una

combinacin de smbolos a otra. En un lenguaje, lo anlogo a estas reglas de transformacin son los principios sintcticos de la composicin de oraciones. Naturalmente, estas reglas debern estar efectivamente definidas, para que en todo momento podamos decidir si una determinada transformacin est o no permitida en el clculo. Todo clculo debe reunir fres propiedades: consistencia, completud y decidibilidad.

a) b) c)

Un clculo es consistente cuando es imposible que se d en l una contradiccin. Un clculo es completo cuando se pueden demostrar en l como teoremas todos los Un clculo es decidible cuando es siempre posible establecer si una determinada

enunciados formalmente verdaderos construibles con sus smbolos. frmula perteneciente a su lenguaje es o no es un teorema de dicho clculo. La consistencia es una cualidad necesaria. Completud y decidibilidad son cualidades menos necesarias. LENGUAJES
FORMALIZADOS.

Podemos afirmar ahora que un lenguaje formalizado no es ms que un clculo interpretado. Es decir, si tenemos un clculo formal e interpretamos sus smbolos, proveyndolos de un significado,

Laura Ortega Garca

Curso 2011/2012

TEMA 7. RELACIN LINGSTICA Y SIMBLICA DEL SUJETO CON EL MUNDO

obtenemos un lenguaje formalizado. Es lenguaje, porque la interpretacin le hace significativo. Es formalizado porque tiene, en todo lo dems, la estructura efectiva del clculo. As, en un lenguaje formalizado una operacin se explica, como en el clculo, mostrando que hay una regla que la justifica, y no, como en el lenguaje natural, apelando al sentido comn para que se aprecie que la operacin tiene sentido. Es decir, un lenguaje formalizado es un lenguaje con estructura de clculo, en el que no slo es artificial el vocabulario, sino la sintaxis. Un principio fundamental del mtodo con el que se construyen tanto los clculos como los lenguajes formalizados, consiste en distinguir entre los smbolos y formaciones del clculo y el lenguaje en el cual se habla de ellos. La afirmacin de la verdad o falsedad de formaciones del lenguaje formalizado debe hacerse en otro lenguaje -llamado metalenguaje- diferente al primero, que sera el lenguaje-objeto. Esto se ver ms detenidamente en temas posteriores. Trasladamos el problema a la lgica. Frente a quienes piensan que la lgica es un conjunto de clculos o una teora de la construccin de clculos, se puede afirmar que la lgica es un conjunto de lenguajes formalizados, es decir un conjunto de clculos a los que se da una interpretacin en el campo de los objetos lgicos. As, la lgica, que durante siglos consisti en reflexiones acerca de las reglas formales del pensamiento, expresadas casi siempre en el lenguaje natural, constituye, en su forma contempornea, la presentacin formalizada de las reglas del pensamiento. 7. LGICA. La palabra lgica (del griego logos) incluye, entre otros significados, los de lenguaje y razn. La lgica es, as, el estudio de la razn en el lenguaje. Qu significa esta expresin? Como es obvio, con el lenguaje podemos hacer muchas cosas: dar rdenes, expresar emociones, amenazar... Pero el uso del lenguaje que aqu nos interesa es el que tiene lugar cuando hacemos aserciones, enunciados asertivos o declarativos, es decir, cuando afirmamos algo sobre el estado del mundo que puede ser verdadero o falso. Aristteles se refiri a este uso del lenguaje con la denominacin de apofntico. Por su parte, las proposiciones apofnticas pueden relacionarse entre s de un modo especial: la argumentacin. Un argumento, o deduccin, es un segmento lingstico de cierta complejidad en el cual, de la posicin de trozos o subsegmentos iniciales, se sigue necesariamente la posicin o trozo de un segmento final. Manuel GARRIDO Lgico simblica Tecnos Veamos dos ejemplos de argumentacin:

Todo mafioso tiene una madre que cocina la pasta de modo exquisito. Enrico es mafioso. Por Si Felipe va a una fiesta, entonces habr asesinatos. Felipe va a la fiesta. Por tanto, habr La lgica es la disciplina que intenta determinar cules son las condiciones que deben

tanto, su madre cocina la pasta de modo exquisito. asesinatos. cumplir los argumentos para ser correctos. Como los argumentos son correctos si cumplen ciertas leyes de inferencia deductiva, la lgica trata de representar esas leyes a travs de un clculo lgico

Laura Ortega Garca

Curso 2011/2012

TEMA 7. RELACIN LINGSTICA Y SIMBLICA DEL SUJETO CON EL MUNDO

que utiliza un lenguaje artificial construido al efecto: el lenguaje lgico. Una argumentacin es una secuencia lingstica que se sirve del razonamiento para llegar a una conclusin a partir de la informacin que proporcionan unas premisas. La lgica estudia las reglas de la argumentacin correcta. LGICA, LGICAS Y VERDAD CONCEPTOS (O
TRMINOS) Y ENUNCIADOS

(O

PROPOSICIONES).

Podemos distinguir dos tipos de lgica atendiendo a si las unidades bsicas con las que trabaja son conceptos (tambin llamados trminos o clases), o si son proposiciones (o enunciados). A la primera se le llama lgica de clases, lgica de trminos o lgica clsica. A la segunda se la llama lgica proposicional, lgica de enunciados o lgica matemtica. Un concepto o trmino es una palabra o signo que hace referencia a multitud de cosas. Por ejemplo, hombre, que hace referencia a todos los hombres. Modernamente se ha designado a este tipo de trminos con el nombre de clases, en referencia a que cada uno hace referencia a una clase o tipo de cosas: hombres, casas de color verde, alumnos de bachillerato, etc. Recordemos que una proposicin o enunciado es una oracin enunciativa. Es decir, una expresin en la que se afirma o niega algo. Una expresin, por lo tanto, que puede ser verdadera o falsa. Las proposiciones pueden ser: (1) Simples (tambin llamadas atmicas), cuando no contienen en s a otras proposiciones. Ejemplo: Mara encontr un trabajo (2) Compuestas (tambin llamadas moleculares), cuando estn hechas a partir de varias simples. Ejemplo: Si Mara encuentra un trabajo (entonces) dejar de estudiar. LA
LGICA Y LA VERDAD.

En lgica se dice que algo es verdadero si se deduce correctamente de otros enunciados ya dados. A los enunciados o proposiciones dados se les llama premisas, y al obtenido a partir de las premisas conclusin. As, pues, una conclusin es verdadera si se deriva correctamente de las premisas. Por ejemplo, si tenemos las siguientes premisas: Espaa es un pas americano. S Espaa es un pas americano, Mahoma fue un predicador asturiano.

La conclusin que se seguira de aqu es Mahoma fue un predicador asturiano, que ser una conclusin verdadera desde un punto de vista lgico. Aunque, ciertamente, no sea verdadera desde un punto de vista histrico, emprico. Para evitar confusiones se ha decidido emplear el trmino validez para referirse a la verdad lgica, y verdad, a secas, para designar a la verdad emprica. Si empleamos esta terminologa habr que decir que la proposicin Mahoma fue un predicador asturiano ser una conclusin vlida, en el razonamiento anterior, pero no verdadera. La lgica proposicional se llama as porque toma como unidades mnimas a las proposiciones. Tambin se le llama lgica matemtica, porque pretende funcionar como un clculo semejante a los clculos de tipo matemtico. Su objetivo es establecer los modos correctos de razonamiento. Es decir, trata de establecer qu proposiciones correctas pueden derivarse de otras ya dadas; o, una vez construido un razonamiento, trata de analizar si la conclusin ha sido derivada correctamente de otras proposiciones dadas (es decir, de las premisas).

Laura Ortega Garca

Curso 2011/2012

TEMA 7. RELACIN LINGSTICA Y SIMBLICA DEL SUJETO CON EL MUNDO

FORMALIZAR LA
FORMALIZACIN Y EL USO DE SMBOLOS

Ante un razonamiento escrito en lenguaje natural lo primero que hay que hacer es convertirlo en lenguaje formal. A este proceso por el que convertimos un texto del lenguaje natural al formal le llamamos formalizar. Para formalizar un texto del lenguaje natural tenemos que tener en cuenta las siguientes normas: 1. Las proposiciones simples se sustituyen por letras minsculas a partir de la p (p, q, r, s, etc.). (La razn de elegir letras minsculas y no cualquier otro smbolo es meramente convencional, pero est universalmente aceptado). As, la proposicin Los gatos son felinos, se convierte en p. La letra que elijamos para simbolizar una determinada proposicin simple carece de importancia; as, una misma proposicin puede ser simbolizada por p, q, t, etc. Pero, eso s, dentro de un mismo razonamiento no se pueden usar letras distintas para una misma proposicin, ni letras iguales para proposiciones distintas. 2. Las proposiciones compuestas se construyen uniendo las simples mediante una serie de smbolos llamados conectivas (porque conectan), o juntares (porque juntan). Dependiendo del tipo de unin que exista entre las diversas proposiciones simples se usarn distintas conectivas. Las conectivas que usa la lgica proposicional son las siguientes: NEGADOR. Se representa mediante el smbolo ->, colocado delante de la proposicin que queremos negar. Y se lee no... Por ejemplo, la proposicin No es cierto que los gatos son felinos se representara: -> p, y se lee: no p. CONJUNTOR. Se representa mediante el smbolo A, colocado entre las proposiciones que queremos conjuntar. Y se lee y. Por ejemplo, la proposicin Los gatos son felinos y las vacas son rumiantes, se representara: p DISYUNTOR
INCLUSIVO. A

q, y se lee p y q. mediante el smbolo v, colocado entre las

Se

representa

proposiciones que queremos disyuntar. Y se lee: o. Por ejemplo, la proposicin La puerta es ancha o verde, se representa: p v q. Y se lee p o q. DISYUNTOR
EXCLUSIVO.

Se

representa

mediante

el

smbolo

Y,

colocado

entre

las

proposiciones que queremos disyuntar. Y se lee: o...o. Por ejemplo, la proposicin La puerta o es ancha o estrecha, se representa pvq. Y se lee o p o q. En la prctica se suele prescindir de este disyuntor. IMPLICADOR
O CONDICIONAL.

Se representa mediante el smbolo colocado entre dos

proposiciones, de tal modo que la primera es la causa o condicin de la segunda. Y se lee Si... entonces.... Por ejemplo, la proposicin Si vas al cine [entonces] te quedars sin dinero, se representa p -> q. Y se lee: si p, entonces q. COIMPLICADOR
O BICONDICIONAL.

Se representa mediante el smbolo <-> colocado entre dos

proposiciones que mantengan una relacin de coimplicacin. Y se lee: si y slo si... entonces.... Por ejemplo, la proposicin Si, y slo si vas al cine te quedas sin dinero, se representa p <-> q. Y se lee: si y slo si p entonces q. Las premisas suelen ir precedidas del smbolo -, y la conclusin del smbolo t-. LA
POTENCIA DE LAS CONECTIVAS Y EL USO DE PARNTESIS

La conectiva con menos potencia es el negador. A ste siguen el disyuntor y el conjuntor,

Laura Ortega Garca

Curso 2011/2012

TEMA 7. RELACIN LINGSTICA Y SIMBLICA DEL SUJETO CON EL MUNDO

ambos con la misma potencia entre s. Finalmente el implicador y el biimplicador son las ms potentes. Esto quiere decir que en una proposicin compuesta como p v q > r, el negador slo afecta a p, el disyuntor afecta a consecuente. Cuando en una misma proposicin compuesta aparecen varias conectivas de la misma potencia, hay que usar parntesis para reforzar a unas frente a las otras. Los smbolos que van fuera de los parntesis se convertirn en ms potentes, ya que afectan a todo lo que est dentro de los parntesis, siguiendo el siguiente criterio: cuando un negador va delante de un parntesis, afecta a todo lo que est dentro del parntesis. Por ejemplo, en la proposicin compuesta (p q), el smbolo est negando lo que hay dentro del parntesis, es decir p q. Si un conjuntor, disyuntor, implicador o coimplicador va entre parntesis afecta a todo lo que est dentro de los parntesis Para repasar lo dicho vamos a formalizar el siguiente texto: Carlos tendr que ir al examen o fingirse enfermo. Si va al examen copiar o le suspendern. Si se finge enfermo, le suspendern. Pero ha decidido que no copiar ni se fingir enfermo. Luego suspender. Antes de nada tenemos que ver cuntas proposiciones independientes hay en el texto. Normalmente esto viene marcado por los puntos. As pues, tenemos cinco proposiciones. Luego hay que distinguir las premisas de la conclusin, siendo fcil de ver que la conclusin es Carlos suspender. Ahora vamos a proceder a formalizarlo proposicin por proposicin (no debemos olvidar que una vez elegida una letra para simbolizar una proposicin, hay que mantenerla en todo el razonamiento): Carlos tendr que ir al examen o fingirse enfermo, quedar en: p v q. Si va al examen copiar o le suspendern, quedar en: p > r v s. Si se finge enfermo, le suspendern, quedar en: q > s. Pero ha decidido que no copiar ni se fingir enfermo, quedar en: (rq). Luego suspender, quedar en: s. p v q. Lo que se lee: p o q. p > r v s. Lo que se lee: Si p, entonces r o s. q > s. r q. Lo que se lee: Si q, entonces s. Lo que se lee: No r y no s. Conclusin: s p v q, mientras que el implicador afecta a toda la proposicin, ya que p v q se convierte en el antecedente de la implicacin y r en el

De ese modo, hemos convertido el texto anterior en el siguiente:

s. Lo que se lee:

LAS TABLAS DE VERDAD QU

SON LAS TABLAS DE VERDAD?

El objetivo ltimo de la lgica proposicional es saber si dadas unas proposiciones (es decir, considerando que unas proposiciones dadas son verdaderas), se puede derivar de ah una conclusin vlida. Pero el clculo lgico tambin nos va a servir para calcular la verdad o falsedad de una proposicin compuesta a partir de las proposiciones simples que la componen. A la

Laura Ortega Garca

Curso 2011/2012

TEMA 7. RELACIN LINGSTICA Y SIMBLICA DEL SUJETO CON EL MUNDO

10

capacidad que tienen las proposiciones de ser verdaderas o falsas, le llamamos valor de verdad. En lgica consideramos dos valores de verdad posibles: valor de verdad verdadero o valor de verdad falso. A continuacin, trataremos de ver cmo se calcula el valor de verdad de una proposicin compuesta. ste depende del valor de verdad de las simples y las conectivas que las unen. Cada conectiva tiene sus propios valores de verdad, que son los siguientes: NEGADOR: Una negacin es verdadera si la proposicin negada es falsa, y es falsa si la proposicin negada es verdadera. Si A es verdadero, no A ser falso, y viceversa. CONJUNTOR: Una conjuncin es verdadera si todas las proposiciones conjuntadas son verdaderas, y falsa en cualquier otro caso. As, si decimos, La puerta es alta y verde, se entiende que afirmamos las dos cosas, que es alta y que es verde. Si una de las dos es falsa, la global ser falsa. DISYUNTOR
INCLUSIVO:

Una disyuncin inclusiva es verdadera si al menos una de las proposicio-

nes disyuntadas es verdadera, y falsa si todas son falsas. Si, por ejemplo digo que La puerta es alta o verde, se entiende que es alta, o que es verde, o ambas cosas. Por ello, en cualquiera de estos casos se considera que la global es verdadera. DISYUNTOR
EXCLUSIVO:

Una disyuncin exclusiva es verdadera si una, y slo una de las proposi-

ciones disyuntadas es verdadera, y falsa si son ambas verdaderas o ambas falsas. El disyuntor exclusivo se usa en casos como La puerta es ancha o estrecha. Se entiende que la proposicin afirma una de las dos cosas: o que La puerta es ancha, o que La puerta es estrecha, pero no las dos. IMPLICADOR: Una implicacin es verdadera en todos los casos salvo cuando el antecedente es verdadero y el consecuente falso. La implicacin se usa en casos como Si llueve se moja la calle. Lo nico que afirma esta proposicin es que si se da el antecedente (en este caso llover), se tiene que dar el consecuente (en este caso mojarse la calle). Pero no dice que de hecho suceda una cosa ni la otra. Por lo tanto, en caso de que no llueva ni se moje la calle (es decir, en caso de que estas proposiciones sean falsas) la global sigue siendo perfectamente verdadera. Tambin sigue siendo verdadera la global si no llueve, pero la calle est mojada. Pues la global nicamente sostiene que si llueve la calle se moja, pero no niega que la calle pueda mojarse aunque no llueva. COIMPLICADOR: Una coimplicacin es verdadera si el antecedente y el consecuente son ambos verdaderos o ambos falsos, y falsa en los dems casos. El coimplicador funciona como un implicador en los dos sentidos, o como la conjuncin de dos implicadores. Se emplea en proposiciones como Slo si llueve se moja la calle. CMO
HACER TABLAS DE VERDAD

Cuando, como en los casos que hemos estado viendo, queremos saber los valores de verdad que puede tener una proposicin compuesta sin saber el valor de verdad que tienen las simples que la componen, hay que hacer todas las combinaciones posibles de valores de verdad correspondientes a las proposiciones simples. De este modo, obtenemos todos los valores de verdad posibles que pueda tener la proposicin compuesta resultante. Cuando la compuesta es una negacin, el clculo es muy fcil, slo hay dos posibilidades: que la simple sea falsa o que sea

Laura Ortega Garca

Curso 2011/2012

TEMA 7. RELACIN LINGSTICA Y SIMBLICA DEL SUJETO CON EL MUNDO

11

verdadera, en cuyo caso la compuesta ser verdadera o ser falsa. Cuando la compuesta es una combinacin de dos simples, tambin es fcil hacer todas las combinaciones posibles; con cuatro lneas tenemos solucionado el problema. Pero, y si la compuesta tiene tres proposiciones simples, o cuatro? En ese caso lo primero que tenemos que saber es cuntas filas de verdaderos y falsos necesitamos para poder hacer todas las combinaciones posibles. El nmero de filas se calcula mediante la frmula 2", siendo n el nmero de proposiciones simples. As, si hay dos proposiciones simples, el nmero de filas necesario ser 2? = 4. Si hay tres, ser 23 = 8 filas. Y ahora hay otro problema, cmo combinar verdaderos y falsos sin liarnos, ni repetirnos, para que nos salgan todas las combinaciones posibles? El mecanismo es el siguiente: en la primera columna se ponen mitad y mitad, en la segunda la mitad de la anterior y as sucesivamente. En esta proposicin aparecen dos conectivas distintas, y esto nos plantea tres problemas:

(1) (2)
(3)

A qu proposiciones afecta el implicador (>)?, a A y B solamente, o a A por A qu proposiciones afecta el disyuntor (v)?, a B y C solamente o a C por un Qu parte de la proposicin debemos resolver primero?

un lado, y B v C por el otro? lado, y A > B por el otro? Para responder a estas preguntas tenemos que recordar que las conectivas no tienen todas la misma potencia. En ausencia de parntesis la conectiva ms dbil es el negador, a esta siguen la conjuncin y la disyuncin (que tienen igual potencia entre s, pero ms que el negador), y a stas siguen el implicador y biimplicador (que tienen igual potencia entre s, pero ms que las restantes conectivas). En el ejemplo que estamos tratando el disyuntor tiene menos potencia que el implicador, por lo que el disyuntor slo afectar, en este caso, a B y C, mientras que el implicador afectar a A por un lado y B y C por el otro. Por lo tanto el implicador es lo ltimo que debemos resolver, pues afecta a toda la proposicin, de donde, en este caso, los valores del implicador son los valores globales de la proposicin compuesta. Cuando todos los valores de verdad de una proposicin compuesta son verdaderos, sean lo que sean las proposiciones simples que la componen, se dice que esa proposicin es una tautologa. Las tautologas con proposiciones del estilo de Si Juan est casado, entonces no est soltero. Estas proposiciones dan una informacin nula acerca del mundo. Efectivamente, una vez que se nos dice que si Juan est casado, entonces no est soltero, sabemos lo mismo acerca de Juan y del matrimonio que sabamos antes. Por eso, las proposiciones de la ciencia que pretenden dar un conocimiento del mundo no son nunca de ese tipo. Cuando todos los valores de verdad de una proposicin compuesta son falsos, sean lo que sean, las proposiciones simples que la componen se dice que esa proposicin es una contradiccin. Una contradiccin es una proposicin sin sentido, pues bajo cualquier circunstancia siempre ser falsa. Cuando todos los valores de verdad resultantes son una mezcla de verdaderos y falsos (como en el caso anterior) se dice que esa proposicin es una indeterminacin. CMO
CALCULAR EL VALOR DE VERDAD DE UNA PROPOSICIN COMPUESTA CONOCIENDO EL VALOR DE VERDAD DE LAS SIMPLES

Supongamos que tenemos la siguiente proposicin compuesta: p v q > q r. Y sabemos que p y r son verdaderas y q falsa. Para calcular el valor de verdad de la compuesta

Laura Ortega Garca

Curso 2011/2012

TEMA 7. RELACIN LINGSTICA Y SIMBLICA DEL SUJETO CON EL MUNDO

12

podemos operar de la siguiente manera: 1. Primero hallamos sus tablas de verdad: En segundo lugar buscamos las filas en las que p y r aparecen como En tercer lugar, comprobamos en esa fila cul es el resultado final. En este caso

2. 3.

verdaderas y q como falsa. Slo sucede esto en la tercera fila. falso. Luego sta ser la solucin, la proposicin compuesta p v q > q r es falsa. LAS REGLAS DEL CLCULO LGICO En el apartado anterior hemos visto los procedimientos para calcular el valor de verdad de una proposicin compuesta a partir de una simple. Ahora vamos a ver algo mucho ms importante. Vamos a ver cmo se puede saber si un razonamiento (compuesto de varias proposiciones simples y/o compuestas) es vlido. Tomemos el siguiente razonamiento simple: Formalizado: Si cae una helada habr malas cosechas. -1. Cae una helada. - 2. p Luego, habr malas

1.
p > q

2.
cosechas.^q

Cmo se puede demostrar que la conclusin es correcta? Pues mediante una tabla de verdad en la que aparezcan reflejadas las dos premisas. Como ya sabemos que p > q es verdadero y p es verdadero, tomaremos solamente las lneas donde se cumplan esas condiciones. En este caso, slo la primera. Y observamos si q (que es la conclusin del razonamiento anterior) aparece como verdadera, lo que efectivamente es as. Luego, el razonamiento es correcto. Este modo de proceder podra aplicarse para demostrar la verdad o falsedad de cualquier tipo de razonamiento. El problema es que si un razonamiento es muy largo e intervienen numerosas proposiciones, simples y compuestas, el mtodo de las tablas se volvera liadsimo, lento y muy complicado. Por eso, se sustituyen las tablas por razonamientos simples que ya han sido demostrados, es decir, que ya sabemos que son verdaderos, y se aplican al razonamiento complejo hasta obtener la conclusin. A estos razonamientos simples ya demostrados le denominamos REGLAS
DE INFERENCIA.

Son reglas o instrucciones que nos permiten construir inferencias correctas o vlidas. Son reglas para trabajar con enunciados y poder pasar de unos enunciados a otros de forma correcta. Por ejemplo, el siguiente razonamiento simple: A > B es una regla, que se conoce con el nombre de Modus Ponens (M.P.). Si queremos comprobar si un razonamiento complejo como: - 1. p->q 2. q -> r 3. r -> s 4.p

Es verdadero, en lugar de hacer complicadas tablas de la verdad aplicamos la regla anterior a las premisas y vamos deduciendo cosas hasta llegar a s; eso querr decir que s, la conclusin, es verdadera y el razonamiento correcto. Las reglas de inferencia pueden representarse de dos formas:

Laura Ortega Garca

Curso 2011/2012

TEMA 7. RELACIN LINGSTICA Y SIMBLICA DEL SUJETO CON EL MUNDO

13

1. Esquema de inferencia. Representacin esquemtica o en forma de razonamiento.

A -> B A B 2. Ley lgica. Representacin de forma de condicional. Dado que una ley lgica es un condicional que siempre es verdadero, una ley lgica es, siempre una tautologa. Y toda tautologa es una ley lgica [(A -> B) A] ->B

Laura Ortega Garca

Curso 2011/2012