1

La lgica y el significado

Esta seccin introduce un conjunto de herramientas conceptuales, mayormente extradas del
campo de la lgica, la cual, por su atencin a discusiones de asuntos semnticos, constituye un
conocimiento de trasfondo indispensable en un estudio del significado en el lenguaje. Esta
introduccin es un tanto elemental pero, esperamos, sea suficiente para promover la claridad de
pensamiento.

Proposiciones:
El concepto de la proposicin es a veces filosficamente controversial y difcil de captar para
muchos. Para iniciar, en trminos simples, una proposicin normalmente atribuye alguna
propiedad a una entidad, o una relacin entre dos o ms entidades. Es falsa o verdadera (aun
cuando no sea prctico o fsicamente posible asegurarlo): la verdad o la falsedad son propiedades
esenciales de una proposicin. La verdad o falsedad de una expresin es una sea de que por lo
menos una proposicin ha sido presentada. Una proposicin no es especficamente una unidad
lingstica (para nuestro propsito es un tanto irrelevante qu tipo de unidad es). La misma
proposicin puede ser presentada va diferentes expresiones lingsticas u oraciones.
Por ejemplo: Pedro vio a Mara = Pedro vio a su hermana = Mara fue vista por el to de
Juan

Asumiendo que la hermana de Pedro se llama Mara y que Pedro es el to de Juan, todas estas
expresiones lingsticas presentan la misma proposicin. Entonces, describamos a una
proposicin como una unidad de significado, ms que simplemente una unidad lingstica. Y
tambin puede ser considerada una unidad del conocimiento, especialmente si la proposicin es
verdad. Hay una diferencia entre ser una unidad de significado y una unidad de conocimiento. En
la oracin el gato es blanco, la palabra gato es una unidad de significado, pero NO es una
unidad de conocimiento.

2.2.1 Lgica de Primer Orden

Consideremos primero a las proposiciones como unidades bsicas, sin poner atencin a su
estructura interna. A esta perspectiva se le conoce como lgica de primer orden y el sistema
para expresar las relaciones entre proposiciones en trminos de frmulas y teoremas se llama
clculo proposicional.
Aclaremos antes la diferencia entre proposicin, oracin, declaracin y expresin.

Una oracin: es bsicamente una secuencia de palabras construida siguiendo las reglas
gramaticales de una lengua y tiene un sentido completo, aunque no tiene un valor de verdad o
falsedad. Cuando decimos: el gato est en la mesa, realmente no es verdad ni falso, como
oracin. Se hace verdadero o falso cuando usamos esta secuencia de palabras para referirnos a un
estado de cosas en el mundo, especficamente cuando se refiere a un gato en una mesa, en una
ocasin especfica. Hasta que una oracin no tiene un referente especfico, entonces no puede
atribursele un valor de verdadero o falso, y no expresa una proposicin especfica. Esta
misma oracin se puede usar para expresar diferentes proposiciones (refirindose a gatos
diferentes, mesas diferentes, ocasiones diferentes). Aunque esa oracin, como estructura
2

lingstica abstrada o divorciada de un uso en particular, no tiene un valor de verdad o falso,
s tiene, sin embargo, un significado en s misma. Por ejemplo, independientemente de si es
verdad o falso, la oracin Ana baj es diferente de la oracin Ana subi. Entonces, s
sabemos que ambas oraciones son distintas en SIGNIFICADO aunque no sabemos el valor de
verdad o falso de ninguna de las dos. Aunque cada oracin no necesariamente expresa una
proposicin, s pone un lmite en el rango de proposiciones que ella pueda hacer. Ana baj
puede expresar proposiciones que Ana subi no puede, y viceversa. El rango o el nmero de
proposiciones que una oracin puede expresar se conoce como su contenido proposicional, y
esto es un componente importante del potencial semntico de dicha oracin.

Declaracin: En trminos simples, primero, digamos que es una oracin usada para expresar una
proposicin. Pero se puede pretender o aparentar presentar una proposicin sin adoptar una
posicin en cuanto a lo verdadero o falso de tal idea. Por ejemplo, en una clase de lgica, se
juega con algunas proposiciones, y se estudian sus interrelaciones. Observe este ejemplo:
(I) Todos los lingistas son inteligentes
Alan es un lingista.
Por lo tanto, Alan es inteligente.

Estas no son declaraciones, aunque expresan proposiciones. Una proposicin en s misma no
puede comunicar nada realmente: no es un tem de conocimiento. Para comunicar algo, debe
ser energizado con algn tipo de fuerza ilocucionaria (intencin de decir algo o de lograr algo
con lo dicho). Por ejemplo, la proposicin expresada por la Tierra es redonda no es de
inters alguno hasta que alguien argumenta su verdad: Una proposicin verdadera Es un tem
de conocimiento. La fuerza ilocucionaria en ese caso es de asercin o aseveracin. Entonces,
podemos definir una declaracin (mnima) como una oracin que expresa una proposicin
hecha con compromiso de conocimiento (o compromiso epistmico, segn Lyons); en otras
palabras, la proposicin es presentada como verdad. Una declaracin, entonces, s tiene un
valor de verdad o falso: la proposicin presentada puede de hecho ser verdad o ser falsa.
Debemos notar ac que una declaracin no siempre es una oracin completa gramatical.
Observe:

2) A: qu hora es? B: dos y media
Est B expresando una proposicin con compromiso epistmico? Obviamente, s.

Entonces, qu proposicin se expresa? Otra vez, la respuesta es obvia: en cuanto a la hora, son
las dos y treinta minutos. Pero, esto no es lo que de hecho se dijo o se articul en la boca (o
manos, en caso de lenguas gestuales). En tales casos, est en manos del oyente (A) reconstruir la
forma completa de la proposicin en base a pistas contextuales, pero no hay duda que es la forma
completa de la proposicin lo que el hablante intenta transmitir, y por ello hace una declaracin.

Enunciado: Un pedazo de lenguaje producido o pronunciado en una ocasin particular con una
intencin particular. Puede o no expresar una proposicin, puede o no tener una fuerza
ilocucionaria, y puede o no constituir una oracin completa. Si dos personas distintas (Pedro y
Juana) dicen el gato come, entonces tenemos dos enunciados, pero una sola oracin. Si ambos
3

enunciados se refieren a dos gatos distintos, entonces tenemos dos proposiciones diferentes:
tanto la proposicin como el enunciado son entidades a nivel de objeto.
El significado de una declaracin como tal, como declaracin (es decir, una proposicin + una
fuerza ilocucionaria), quiz no represente adecuadamente todo lo que el hablante intenta
transmitir al enunciar la oracin a la cual se aplica. Observe este ejemplo:

3) A: Has recogido la mesa y lavado los platos?
B: ya recog la mesa

En circunstancias normales, es claro que parte del mensaje que B intenta transmitir sera que no
ha lavado los platos. Sin embargo, esto no se obtiene elaborando o completando la proposicin
expresada. Esto es an ms claro en el siguiente caso donde obviamente la intencin del hablante
es transmitir la proposicin de que A ha llegado demasiado tarde para la cena:

4) A: estoy a tiempo para la cena?
B: ya recog la mesa

Se espera que estas otras proposiciones extras (o covert o encubiertas) sean inferidas
por el oyente basado en la informacin contextual, pero dichas proposiciones consisten en mucho
ms que simplemente completar los pedazos faltantes en lo que de hecho se dice. Daremos el
nombre de significado del enunciado a la totalidad de lo que el hablante intenta transmitir al
emitir el enunciado, dentro de ciertos lmites necesarios.

Dos personas podran, por ejemplo, tener un arreglo entre ellas que la oracin cmo fue tu
da? significa cmo fue tu da?, pero cmo fue el da hoy? significa Mam y pap
saldrn hoy; as que estaremos por nuestra cuenta. Preferimos excluir este tipo de significado de
lo que tcnicamente queremos llamar significado del enunciado. Esto debido a que tal uso o tal
situacin requiere estipular algo especial, particular en forma ad hoc, por parte de ambos
interactuantes: el que el oyente entienda el enunciado como Mam y pap saldrn hoy no es
producto solamente de su conocimiento general de las reglas y convenciones que gobiernan el
uso de las estructuras en discusin.

2.2.1.1. Operadores lgicos

La lgica de 1er orden se ocupa de las relaciones entre proposiciones y cmo estas relaciones
afectan los valores de verdad (verdad o falso?) de proposiciones compuestas. Los
operadores lgicos son elementos de frmulas lgicas que permiten expresar tales relaciones.

a) El operador Negativo: La aplicacin del valor negativo, simbolizado por ~, a una
proposicin tiene el efecto de invertir su valor de verdad. Tenemos entonces que si alguna
proposicin P es verdad, entonces ~P es falso y viceversa. Asumamos que P= los gatos
son mamferos. Podemos decir que es verdad. Por lo tanto ~P (NO es el caso que los
gatos son mamferos) es falso. Si Q es lo obviamente falso todos los solteros son
casados, entonces ~Q (NO es el caso que todos los solteros son casados) es verdad.
4

Conectores lgicos son operadores que sirven para combinar proposiciones elementales
para formar proposiciones compuestas. Los diferentes conectores se definen por medio de
Tablas de Verdad que muestran cmo el valor de verdad de una proposicin compuesta
se relaciona con los valores de verdad de las proposiciones que la componen.
Los conectores lgicos principales son: implicacin, conjuncin, disyuncin, y
equivalencia.

Implicacin: Se usa el smbolo . Las definiciones en la tabla de verdad funcionan as
(donde P es una proposicin, Q es otra y implica). Se lee si P entonces Q.
Usaremos V para verdadero o verdad y F para falso.
P Q P Q
V V V
V F F
F V V
F F V

Nunca es el caso que P es verdad y Q es falso. El orden es relevante. Solo es falso si Q
es falsa y P verdad. Observe este ejemplo:

P: llegas temprano Q: tomas el quiz PQ Si llegas temprano, tomas el quiz
(y si llegas tarde? Lo tomas o no?)
V V V
V F F
F V V
F F V

Conjuncin: & (P y Q)
P Q P& Q
V V V
V F F
F V F
F F F
P&Q es verdad solo si tanto P como Q son verdad. El orden es irrelevante.

Disyuncin: v
P Q Pv Q
V V V
V F V
F V V
F F F
P o Q. Si uno de los dos es verdad, entonces PvQ es verdad. El orden es irrelevante.

Equivalencia:
P Q P Q
V V V
5

V F F
F V F
F F V

P Q es verdad solo cuando ambos (P y Q) tienen el mismo valor; orden irrelevante.
2.2.1.2 Los operadores lgicos en el lenguaje natural

Para que estos conectores lgicos tengan utilidad significativa en la semntica y el
significado del lenguaje natural, debemos modificarlos un tanto. Si los dejamos tal cual
estn, no dependen del significado de las proposiciones unidas, sino solo de las relaciones
de sus valores de verdad. Esto produce resultados contra-intuitivos cuando se aplica al
lenguaje natural. Por ejemplo, basados en el primer operador de implicacin, decimos que P
implica a Q dado que no sea el caso que P es verdad y Q falso. Si lo dejamos as, entonces
las proposiciones implicaran una multitud demasiado grandes de proposiciones, lo cual
no es usual en el uso natural del lenguaje.
Por ejemplo, si decimos: todos los solteros son casados esto puede implicar (basados
simplemente en el operador lgico de implicacin) que Juan es dentista. Intuitivamente,
no es lo queremos decir con si P entonces Q. Se ha dicho que un equivalente natural en el
lenguaje de la implicacin vista anteriormente se puede ver oraciones como las siguientes:
Si Juan habla ingls, entonces yo soy ruso (expresando con esto que debido a la obvia
falsedad de que Juan habla ingls, segn el hablante, entonces todas las dems
proposiciones son igualmente implicadas = yo definitivamente no soy ruso; as como Juan
definitivamente no habla ingls). Lo que necesitamos es una relacin que se espera haya
entre expresiones como Fido es un perro y Fido es un animal, por ejemplo; pero no
entre todos los solteros son casados y Juan es dentista. Entonces, reemplazamos ac la
implicacin lgica (de 1
er
orden) vista anteriormente, con una implicacin semntica o
entraamiento (entailment, en ingls), en el lenguaje.

Entraamiento o Implicacin semntica (entailment). Hay una relacin de implicacin
semntica entre las proposiciones P ac y sus correspondientes proposiciones Q al lado:
P Q
Fido es un perro Fido es un animal
Juan mat la avispa La avispa muri
Todo perro es azul Mi perro es azul

Decir que P entraa o semnticamente implica a Q significa que la verdad de Q es
consecuencia lgica e inescapable de la verdad de P; y lo falso de Q es consecuencia
igualmente de lo falso de P. Si Fido de hecho es un perro, entonces lgicamente e
ineludiblemente concluimos que Fido es un animal, por ejemplo. A diferencia de la
implicacin en la lgica de 1
er
orden, la implicacin semntica es una relacin entre
significados. Ntese que si P implica semnticamente (entails) a Q, entonces
necesariamente P implica (implies) lgicamente a Q; pero si P implica lgicamente a Q, no
necesariamente significa que P implica semnticamente (entraa) a Q. Es decir, puede
haber implicacin lgica, del tipo visto anteriormente en las Tablas de Verdad de la
lgica de 1
er
orden, sin implicacin semntica. Por ejemplo, todos los solteros..casados
6

implica lgicamente Juan.. dentista, pero no lo implica semnticamente, porque no hay
relacin en significado.
Necesitamos describir dos propiedades ms de la implicacin semntica o entraamiento.
1) Es independiente del contexto situacional; depende nicamente del significado de los
constituyentes de las oraciones y de las estructuras gramaticales que los unen. Imagnese
esta situacin: Juan est al frente de una caja de discos de colores, donde todos los rojos son
redondos y todos los verdes son cuadrados. En tal caso, la verdad de Juan tom un disco
cuadrado de la caja sigue lgicamente de la verdad de Juan tom un disco verde de la
caja. Pero claramente, esta relacin de valores de verdad no se da por la relacin entre
verde y cuadrado, sino que se da por el contexto (ya que si todos los cuadrados
hubiesen sido rojos, entonces la proposicin primera hubiese seguido lgicamente de Juan
tomo un disco rojo. En este caso NO hablamos de implicacin semntica sino de
implicacin pragmtica o implicatura, como se ver ms adelante. Pero en el caso de
Fido es un perro y Fido es un animal la relacin es independiente de cualquier contexto.

2) la verdad de la proposicin semnticamente implicada o entraada (Q) debe seguir
consecuente e ineludiblemente de la verdad de la proposicin implicante o entraante (P).
NO es suficiente que sea usualmente verdad, o ni siquiera casi siempre verdad; tiene que ser
SIEMPRE verdad; tiene que ser impensable que sea falso. Considera la relacin entre Es
un perro y (i) es una mascota y (ii) ladra. La mayora de los perros son mascotas, pero
hay perros salvajes, o perros callejeros. Tambin hay perros que quiz no ladren por
problemas fisiolgicos. As que, la relacin entre estas proposiciones es solo una
expectativa. Esto no es entraamiento. Solo las relaciones lgicamente necesarias e
independientes de contexto cuentan como implicacin semntica/entraamiento.
La nocin de implicacin semntica puede usarse para definir un conjunto til de
relaciones proposicionales. Usaremos para indicar entraamiento si es necesario.

Equivalencia: Es entraamiento mutuo, lo cual podemos representar, siguiendo el patrn
usado para la equivalencia lgica de 1
er
orden, como P Q. Estos son equivalencias:

Juan mat la avispa la avispa fue matada por Juan
La avispa est muerta la avispa no est viva.
Comenz a las 10 empez a las 10

Si Juan mat la avispa, entonces tambin es verdad que la avispa fue matada por Juan, y
viceversa. Hay este tipo de entraamiento entre los otros dos pares tambin.

Contrariedad: Proposiciones contrarias no pueden ser simultneamente verdad, aunque s
pueden ser simultneamente falsas. Podemos representar contrariedad con P ~ Q. Ejemplos:
Juan mat la avispa La avispa no muri
Juan mat la avispa Pedro mat la avispa.
La pintura es roja La pintura es verde.

No puede ser verdad en cuanto a una avispa que esta haya sido matada por Juan pero que
no haya muerto. Y si la mat Juan, no puede ser el caso que la haya matado Pedro. Note que el
7

entraamiento solo va de P a Q, no de Q a P. Por lo tanto, esta pintura es roja entraa esta
pintura no es verde pero esta pintura no es verde no entraa esta pintura es roja porque
puede ser azul, por ejemplo. Esta relacin es diferente a la disyuncin vista antes ya que la
disyuncin lgica permite a ambas (P y Q) ser verdad.

Contradiccin: Proposiciones contradictorias deben tener valores de verdad opuestos siempre; es
decir, no pueden ser ambas verdad ni ambas falsas. Si un miembro del par es F, el otro es V. La
contradiccin es bi-direccional, y puede ser representada como P ~ Q. Ejemplos:

La avispa est muerta La avispa est viva
Juan todava canta Juan ya no canta
Ningn perro es marrn Por lo menos algunos perros son marrones
Si Juan todava canta, entonces es falso que ya no canta; hasta aqu, es como
contrariedad. Sin embargo, hay una diferencia crucial: Si es falso que Juan todava canta,
entonces, debe ser el caso que Juan ya no canta, y si es falso que l ya no canta, entonces debe
estar todava cantando.

Compatibilidad: Para algunos pares de proposiciones, los valores de verdad varan
independientemente una de la otra: Pueden ser ambas falsas o ambas verdad, o una verdad y la
otra falsa.
Juan est jubilado. Juan est casado.
Es martes. Navidad es un mircoles este ao.

Aunque esto significa que no hay ningn tipo de relacin lgica entre las proposiciones, esto
tiene significancia como una relacin semntica.
Todas estas relaciones vistas tienen importancia a la hora de tambin analizar las relaciones
semnticas entre palabras.

Una nota aclaratoria. Estrictamente hablando, estas relaciones vistas se dan entre
proposiciones, no entre oraciones, porque las oraciones no tienen valores de verdad. Es comn,
sin embargo, ver en libros, que se dice algo como la oracin X entraa la oracin Y. Esto
podra verse como una forma abreviada de hablar de algo un tanto ms complejo. Decir que la
oracin X implica semnticamente a Y es decir que en cualquier contexto en que la oracin X
exprese una verdadera proposicin, la oracin Y tambin necesariamente expresa una
proposicin verdadera, en caso de que las expresiones referenciales definidas en ambas oraciones
sean co-referenciales. Obviamente en el caso de este es un perro y este es un animal, las dos
veces que se usa este deben referirse a la misma entidad para que se pueda dar esta relacin
lgica. En el caso de Juan mat la avispa y la avispa muri, debemos estar hablando de la
misma avispa, y las referencias temporales deben ser las mismas. Usar la va corta (la oracin X
implica a la oracin Y) realmente no es mayor problema mientras se mantenga en mente la
distincin entre oracin y proposicin, y mientras sea obvio de cul se habla en equis situacin.


(Contenido tomado de la seccin de Lgica de 1
er
orden del Cap. 2 de Meaning in Language, por Alan Cruse.
Traducido y adaptado al espaol por Vctor Prieto)