ll

122

~~

CONUM>'N<O' OC ,.;MNne> COMeomONM.

Hemos repasado las relaciones bsicas entre proposicionc::, y hemos

iden ti h:a ck las pro~ic:d;,:cl.:: : ::!.e: cad:J. . ll '' Para c:Jo, tll)~. h a lx,st<t-:~:. c:J r :
prestar atencin a lo> ;;!.lote:: de vc:rdad d e las proro:: icion~; y a .~.u ::; t)lr:
binaciones posihtes. Hemos visto tambin que las relaciones JC.gi:as que
hemos analizado nos permiten tratar en trm inos formales las relac iones
entre los significados de las oraciones de la lengua. De esta m anera, hemos conseguido uno de los objetivos que nos proponamos al inicio: el de
intentar traducir las re laciones ~<! mnticas al metalenguaje de la " relaciones lgicas.
El metalenguaje lgico nos ha dado la pos ibi lidad de descubri1 los
componentes esenci:1les ele esta,; relaciones a partir ele un nm ero muy
pequet'10 ele nodonc::. bsicas: va lor de verdad y enlrw'ialllienlu. Y. subn;
todo, nos permite describir las relaciones semnticas de las oraciones sin
necesidad de acudir a ~ u con ten ido, aplicndoles la caracterizacin general de relacin lgic ~ (!ntre proposiciones: existe una relacin lgica
en tre dos proposiciones cuando sus v<J lores de vcrdad est n ligados de <Jlgu na manera, de modo que el valor de verdad de una de ellas determina
o condiciona en algn sentido los,..valores de verdad posibles de la otra.
Las proposiciones no relacionadas' varan libremente: pueden ser indistintamente verdaderas n falsas, sin que la verdad de una afecte en ningn
sentido la verdad de la 0tra. En cambio, cuando se da algn tipo de condicionamiento, esto es jef.al (\e que hay una relacin semnnca. Ut;Jizando slo una tabla de ;-el::civdeS entr<: los' valores de verd:\d di'! dos p~oposiciones podemos rl f!c idi;, .,; .. ~"""~.::- su contenido, qu tipc d e eJaci u 'eMnti r:1 e:x!ste ei.~rc ellas, como se mut>st!:: ..::1. b :si::c; iente
tab la-resumen:

Contrar. Contrad::j

v~
V

~-- v
t

v
v
v

v
vX

RELACIONES DF. SIGNIFICADO Y CONEXIN ENTRE OF \ClONES

123

la equivalencia l6gica es el correlto de la relacin de equiva!encia

o identidad entrt' conjuntos;
la relacin ele contrariedad rep:rd~,c~ e! c)mport<.lrni.~llt) de los
ekment:os que pc1tenecen a conjunto~ disjuntos no complementarios (es dec ir z.qudlo5 cuya union no es equivalente al conjunto univecso); y
la contradiccin refleja la existencia de conjuntos complementarios.
La negacin y las cnectivas. por su parte, tal y como las hemos presentado aqu, son elementos de u11 lenguaje formal, pero nos permiten indagar en las pwpiedades semnticas de las unidades correspondientes de
la lengua natural. Podemos resumir la caracterizacin de las conectivas
en la sigt li cntc tahb:

,-----,--.,-p~&q

pvq

P\!q

p -q

p.,-:f!

1
1
1

1
1

o
o

--'--t--'-1-

o
o

1
1

En los epgrafes anteriores h~ !11os visto que podemos apro:xi111a1nos al

es tudie <ie a lgt tn<.:> unidades (!e la lengL;a utilizand0 para eliv un metale:1guaje tomado de la L gica proposicional. De este modo, logramos un alto
grado ele explicitud ) adems, podemos capturar de forma aclec u ;Hia los
aspectos abstrac tos y fonnales del significado de estas unidades. Es cierto
que no todos los LISO ~ ni todos los aspectos dd significado de las unidades
lingsticas que hemcs ar.alizado quedan recogidos en el enfoque veritativo-cond icional. Pero t:sto, lejos de ser un inconveniente, es una ventaja: si
qu 2remos ecmtar con una teora semntica explicativa. tenemos que conseguir restringir b ien el -:mbito de fenmenos de los que queremos que d
cucn ~ a. En la medida en que dispongamos de una teora pragmtica que
se ocupe Je la contribucin de los factores extralingsticos a la interpretacin final, pod remos mantener la teora semntica dentro de los lmites
bien establecidos que puede describir con xito un enfoque formal.

Hemos enfocado estas re laciones en trminos de lgicapi<.' p :::,icional,

como es comn hacedo entre los semantistas. Nada impide, s:"1 ~ ': :bargo,
enfocar estas mism:Js relaciones desde la perspectiva de la te ..r : ' 6e conjuntos:
el entraamiento puede concebirse, como ya sealamo~. como el
reswtado de una relacin de inclusin;

:'

)
/

1\

i
'

i1

'\ -- - -----
'
~-- !
'

! . !

.,_, .;;,..,..
~ .-.-

J.