453016 Semntica. Autor: Alejandro Jimeno.

2006/2007

TEMA 4. CONEXIN ENTRE ORACIONES. RELACIONES DE SIGNIFICADO

Relaciones de significado entre oraciones La identificacin de relaciones semnticas entre oraciones es un fenmeno del que se puede solo dar una caracterizacin vaga e intuitiva. Las RELACIONE E!"N#ICA pueden e$plicarse de manera a%stracta por medio de un sistema

inferencial& es decir& utilizando una lgica del razonamiento. O%tendremos una caracterizacin formal de las relaciones semnticas& que podremos e$presar de manera A' #RAC#A ( sin necesidad de recurrir al contenido. Proposiciones independientes. Analizamos el comportamiento de dos proposiciones entre las que no )a( cone$in semntica alguna.

El ordenador se ha bloqueado A Juan le gusta Luisa

Representan dos proposiciones CON#I*EN#E (a que para poder Esta%lecer su valor de verdad )a( que compro%ar emp+ricamente si se corresponden o no con un estado de cosas. Estas com%inaciones se representan )a%itualmente en una ta%la. TABLA DE VERDAD es la representacin grfica donde se muestran los ,ALORE -E ,ER-A- de dos o ms proposiciones ( que permite analizar sus resultados. Independencia p . . / / q . / . / , , , ,

Cuando los ,ALORE

-E ,ER-A- de una proposicin

contingente no se ven afectados o determinados por el valor de verdad de otra proposicin contingente& podemos afirmar que am%as son INDEPENDIENTES. El entraamiento

453016 Semntica. Autor: Alejandro Jimeno. 2006/2007

-adas dos proposiciones contingentes p y Lo es tam%i4n la proposicin 5. Entrenamiento 6666666666 s+m%olo 6666666666

denominamos EN#RA0A!IEN#O 1 o implicacin

lgica2 a la relacin que se da entre ellas cuando siempre que la proposicin 3 es verdadera& 7rmula Interpretacin 83 entra9a 5 8
Rock e! un "erro Rock e! un mam#$ero Rock e! un animal

Entraamiento p . . / / q . / . / , $ , ,

La ta%la no esta%lece ninguna restriccin. in em%argo& cuando: 3 es falsa: 5 puede o no ser verdadera& lo que indica que EL EN#RA0A!IEN#O slo puede esta%lecerse a partir de proposiciones verdaderas ( no de proposiciones falsas.
%ira e! un "erro & 0 %ira e! un mam#$ero & 1/ 0

!aracter"sticas Entraamiento

453016 Semntica. Autor: Alejandro Jimeno. 2006/2007

63odemos conce%ir el Entra9amiento en t4rminos de IN7ERENCIA; cuando adoptamos esta perspectiva& decimos que el entrenamiento es una relacin A I!E#RICA& que& a partir de la verdad de 3& permite inferir con A' OL<#A garant+a la verdad de 5. -ecimos que es asim4trica porque de la verdad de 5 no podemos deducir la verdad de 3 6 El Entra9amiento es una relacin #RAN I#I,A: si una proposicin 3 entra9a otra proposicin 5& ( esta& a su vez& entra9a una tercera proposicin R. podemos asegurar que la proposicin 3 entra9a R 6 El Entra9amiento esta%lece un v+nculo de tipo IN7ERENCIAL entre proposiciones& que permite afirmar la verdad de una proposicin sin necesidad de confrontarla con un estado de cosas& sino simplemente en virtud de la verdad de otra proposicin& que& tiene que )a%er sido esta%lecida previamente de !ANERA E!3=RICA.

Es importante NO CON7<N-IR la nocin de entrenamiento con otros tipos de inferencia espontnea.

'erardo (a de!a unado (ue)o! $rito! con *acon 'erardo no tiene (am*re

Esta otra clase de relacin es IN7ERENCIA 3OR -E7EC#O IN#EREN!IA P$R DE#E!T$ esta%lece una relacin entre dos proposiciones en virtud de la alta frecuencia con que los E #A-O -E CO A que descri%en se determinan mutuamente. La inferencia por defecto es mu( )a%itual en el razonamiento espontneo. +o, e! un a)e +o, )uela in em%argo& )a( algunas clases de aves que no vuelan: avestruces& ping>inos. in em%argo& la pro%a%ilidad de que sea verdadera es mu( alta. La NOCI?N -E EN#RA0A!IEN#O nos interesa tanto porque a pesar de no ser en principio ella misma una relacin semntica 1 sino una relacin entre los ,ALORE -E ,ER-A- de dos proposiciones2 permite poner de relieve la e$istencia de relaciones semnticas entre las proposiciones que conecta.

453016 Semntica. Autor: Alejandro Jimeno. 2006/2007

La relacin de entrenamiento es una manifestacin o%@etiva de la e$istencia de un tipo de relacin semntica. El EN#RA0A!IEN#O puede verse comAn caso de INCL< I?N de un con@unto en otro. La utilizacin de las )erramientas de la lgica nos )a permitido caracterizar& en t4rminos o%@etivos& a%stractos ( sin necesidad de recurrir al contenido& un tipo de relacin entre significados oracionales: "ara cual-uier "ar de "ro"o!icione! ./0120'3013S4 !iem"re -ue en la ta*la de )erdad -uede e,cluida la "o!i*ilidad de -ue 5 !ea $al!a cuando 6 e! )erdadera4 "odemo! a$irmar -ue 6 entra7a 5.

PAR%#RASIS Reci%e el nom%re de PARA#RASIS 1 o equivalencia2 la relacin e$istente entre dos proposiciones que descri%en el mismo estado de cosas B La nocin de parfrasis es el correlato 3roposicional de sinonimia l4$ica.
8o! romano! con!tru eron el acueducto de Se9o)ia 3l acueducto de Se9o)ia $ue con!truido "or lo! romano! Par&frasis ' e (i)alencia* p . . / / q . / . / , $ $ , Rock e! un "erro Rock e! un mam#$ero Rock e! un animal Entraamiento p q

453016 Semntica. Autor: Alejandro Jimeno. 2006/2007

. . / /

. / . /

, $ , ,

Las dos primeras l+neas ON I*<ALE a las de la ta%la del EN#RA0A!IEN#O. Esto indica que la relacin de Entra9amiento es un componente de esta otra relacin. Lo que tenemos es una nueva relacin de entrenamiento a la inversa 5 3. Lo que esto demuestra es que la relacin que llamamos E5<I,ALENCIA es la com%inacin de -O EN#RA0A!IEN#O . Representamos esta relacin por medio del s+m%olo

!$NTRARIEDAD -os proposiciones 3 ( 5 son !$NTRARIAS cuando una e$clu(e lgicamente a la otra. 1iene lo! oojo! a:ule! 1iene lo! ojo! ca!ta7o! ;ace $rio ;ace calor
!ontrariedad p . . / / q . / . / $ , , ,

Caracterizar la contrariedad como un Entra9amiento que parte de una proposicin verdadera ( esta%lece la falsedad de otra. Informalmente p no6q Como se ve en la ta%la& -E LA 7AL E-A- de una de las proposiciones no se sigue necesariamente

453016 Semntica. Autor: Alejandro Jimeno. 2006/2007

la verdad de la otra. La razn es o%via : CAD O#RA 3O I'ILI-A-E -I7EREN#E . En la relacin de CON#RARIE-A-& aunque las dos proposiciones no pueden ser am%as verdaderas& I 3<E-EN ser am%as falsas. BLa contrariedad reproduce en el nivel preposicional el comportamiento de los antnimos contrarios.

!$NTRADI!!I+N BLa contradiccin reproduce en el nivel 3roposicional el comportamiento de los antnimos contradictorios. -os proposiciones& 3 ( 5 son !$NTRADI!T$RIAS cuando am%as se e$clu(en mutuamente: la verdad de 3 supone la falsedad de 5 ( la falsedad de 3 implica la verdad de 5 ;a !ido ni7o ;a !ido ni7a
!ontradicci,n p . . / / q . / . / $ , , $

Alguna de las dos posi%ilidades tiene que ser verdadera& (a que en este caso las dos posi%ilidades

453016 Semntica. Autor: Alejandro Jimeno. 2006/2007

agotan todas las opciones posi%les. La relacin de contradiccin resulta ser la imagen especular de la relacin de equivalencia: am%as son relaciones sim4tricas& slo que de sentido opuesto.

PRES-P$SI!I+N -ecimos que una proposicin 3 PRES-P$NE una proposicin 5 cuando La verdad de 5 es una condicin necesaria tanto para 3 como para NO63. iempre que 3 es verdadera& lo es tam%i4n 5 1 siempre que es verdad que la presentadora es la clave del 4$ito del programa& lo es tam%i4n que el programa tiene una presentadora. La diferencia entre la presuposicin ( el Entra9amiento radica en que la relacin de presuposicin se mantiene tam%i4n cuando se niega 3. p 8a "re!entadora e! la cla)e del <,ito 6a*lo dej= de tocar la *ater#a -amos por descontado que el programa tiene una presentadora. -amos por supuesto que 3a%lo antes toca%a la guitarra ;a al9ui<n -ue e! la "re!entadora de e!te "ro9rama 6a*lo toca*a la *ater#a

453016 Semntica. Autor: Alejandro Jimeno. 2006/2007

8a "re!entadora no e! la cla)e del <,ito de e!te "ro9rama 6a*lo no dej= de tocar la *ater#a La relacin de presuposicin no se ve alterada por el tipo de oracin: as+& tam%i4n las interrogativas de@an intactas las presuposiciones.

NE.A!I+N En Lgica& la NE.A!I+N se conci%e como un operador que se com%ina con una Anica proposicin ( produce el efecto de invertir su valor de verdad. La negacin se representa )a%itualmente por medio del s+m%olo

colocado delante de la proposicin. ea cual sea el valor de 3& podemos afirmar automticamente que el valor de 3 ser el opuesto.

!one/i,n entre oraciones Las !$NE!TIVAS son operadores que enlazan proposiciones ( dan lugar a frmulas comple@as. En la clase de las conectivas se inclu(en )a%itualmente: Con@uncin& dis(uncin ( condicional 1 implicacin formal2 Adems de formar proposiciones comple@as a partir de proposiciones simples& el significado de las e$presiones comple@as as+ o%tenidas se puede e$plicar en t4rminos veritativo6condicionales: Las propiedades semnticas de la proposicin comple@a resultante pueden predecirse composicionalmente a partir de los valores de verdad de las proposiciones que intervienen ( de la contri%ucin de la conectiva utilizada.

453016 Semntica. Autor: Alejandro Jimeno. 2006/2007

!$N0-N!I$N 6edro $ue al cine +ar#a com"r= do! li*ro! En Lgica se denomina !$N0-N!I+N a la conectiva que enlaza dos proposiciones simples ( produce una proposicin comple@a; 4sta es verdadera slo cuando lo son las proposiciones simples que la integran. Representamos la con@uncin por medio de los s+m%olos 6edro $ue al cine +ar#a com"r= do! li*ro!.

!on3(nci,n p . . / / q . / . /

p&q
.

0 0 0

453016 Semntica. Autor: Alejandro Jimeno. 2006/2007

La conectiva E )ace depender la verdad de la proposicin comple@a resultante de la verdad de las dos proposiciones simples. La conectiva lgica disfruta de la 3RO3IE-A- CON!<#A#I,A& es decir& el orden en que aparezcan las proposiciones no afecta al valor de verdad del con@unto. 3rimer conflicto de la propiedad conmutativa 8aura encontr= al (om*re de !u )ida 8aura !e ca!= !e ca!=

encontr= al (om*re de !u )ida

3!to! ejem"lo! "arecen mo!trar -ue el orden en -ue !e "re!entan la! oracione! e! R383>A013 "ara la inter"retaci=n. ?R3./R@A+/S 5A3 8A ./01R2BA.2C0 @3 8A ./0JA0.2C0 A 8AS ./0@2.2/03S @3 >3R@A@ 3S 5A3 6ARA 5A3 8A 6R/6/S2.2C0 ./+683JA S3A >3R@A@3RA4 @3B30 S3R8/ 8AS 6R/6/S2.2/03S S2+683S La asignacin de valor veritativo a las proposiciones e$ige: 6 el )a%er fi@ado conte$tualmente algunos parmetros& entre ellos& las coordenadas espacio6 temporales de la situacin descrita. La manera en que asignamos las coordenadas temporales a los acontecimientos depende tanto de N<E #RO CONOCI!IEN#O -E LA LEN*<A como de N<E #RO CONOCI!IEN#O -EL !<N-O. Lo que parece que opera es un caso de IN#EREN!IA P$R DE#E!T$4 que da por supuesto que& cuando la ordenacin entre dos elementos puede ser relevante& el orden en que se presentan dic)os elementos refle@a una secuencia temporal o causal. En el e@emplo anterior pod+amos a9adirle "ero no !< en -ue orden ocurrieron la! co!a!. La caracterizacin en t4rminos veritativo6condicionales cumple %ien su misin -e dar cuenta de la contri%ucin de la con@uncin E a las condiciones de verdad -e una proposicin comple@a; por otro lado& necesitamos complementar nuestra -escripcin semntica con una descripcin pragmtica. La conectiva lgica opera& enlazando dos proposiciones; la con@uncin D& en cam%io& puede enlazar otros tipos de constitu(entes. Ro*erto Andr<! corren +arta e!tudia tra*aja +arta tra*aja Estas proposiciones pueden caracterizarse como una version reducida de dos proposiciones Ro*erto corre Andr<! corre +arta e!tudia

Conflicto en esta regla

453016 Semntica. Autor: Alejandro Jimeno. 2006/2007

1oma!

Adela !e di)orciaron

@o! ni7o! canta*an

*aila*an

El pro%lema es que los predicados que contienen favorecen una lectura colectiva o de grupo& ( no la distri%utiva. 3ara solucionar este pro%lema tenemos que construir nuestro modelo de forma tal que podamos referirnos no slo a IN-I,I-<O & sino a *R<3O de individuos& por tanto& NO 3O-E!O que tenga las mismas propiedades. esperar

DIS5-N!I+N La -I D<NCI?N sim%olizada por ) se caracteriza como una conectiva que forma una proposicin comple@a que es verdadera siempre que lo es al menos una de las proposiciones simples que la integran.
Disy(nci,n p . . / / q . / . /

pvq
.

1 1 0

3l "a-uete no (a lle9ado toda)#a o a Ja)ier !e le (a ol)idado reco9erlo. 1e -ueda! o te )a!. La -I D<NCI?N INCL< I,A: -a lugar a que la proposicin comple@a resultante sea falsa slo cuando los son las dos proposiciones simples que la componen& pero nada impide que las dos sean

453016 Semntica. Autor: Alejandro Jimeno. 2006/2007

verdaderas La -I D<NCI?N EFCL< I,A: -a lugar que las dos proposiciones simples no pueden ser verdaderas al mismo tiempo.
p . . / / q . / . /

im%olo )
Disy(nci,n E/cl(si)a

pvq
/

1 1 0

I6PLI!A!I+N #$R6AL ' o !$NDI!I$NAL* La I!3LICACI?N 7OR!AL 1o CON-ICIONAL2 es una conectiva que enlaza dos proposiciones denominadas AN#ECE-EN#E ( CON EC<EN#E& ( que produce como resultado una proposicin comple@a que es verdadera a no ser que el antecedente sea verdadero ( el consecuente& falso. Si .ri!tina )iene4 +ario e!t contento Antecedente 6
p . . / / q . / . /

.on!ecuente 5
Implicaci,n formal

p
.

q 0 1 1

El condicional esta%lece una condicin necesaria pero NO <7ICIEN#E& para el cumplimiento del

453016 Semntica. Autor: Alejandro Jimeno. 2006/2007

consecuente. 3odemos inferir que la falsedad del antecedente ( la verdad del consecuente no invalidan la estructura condicional. A partir de dos proposiciones falsas& o%tenemos un CON-ICIONAL ,ER-A-ERO 1l+nea G2 La Lgica tam%i4n )a caracterizado la contri%ucin a las condiciones de verdad de la conectiva que esta%lece una condicin necesaria ( suficiente. La denomina BI!$NDI!I$NAL4 la representa pro el s+m%olo
Bicondicional p . . / / q . / . /

p q
.

0 0 1

El vi condicional es verdadero cuando las dos proposiciones que lo integran tienen el mismo signo. e diferencia del condicional en que la proposicin comple@a no puede ser verdadera si el antecedente es falso ( el consecuente es verdadero.