A C T A U N I V E R S I T A T I S L I) O ľ I E N S I S _______ FOLIA PHlLOSOPHICA 7, 1990
lu i3 V ille g a s
UNE PERSPECTIVE A LA MONTAGUE Of LA SE'mANTIQUE DES SITUATIONS
Oans ce t r a v a i l , je va i9 e ssa yer de c o n s tr u ir e la syntaxe et la semantique d'un langage tré s s im p lif ie , c ré ó pour c a p tu re r par-tie lle m e n t le s propos de la Séroantique des S it u a t io n s ( S S ) de Bar-wise et P e r r y 1, en le p réeen tan t comme un type p e c u lie r de langa-Qe pragmatique montaguieux, dans le cadre de la "Grarnmaire
Uni-2 v e r s e ile " .
La p o s s i b i l i t y d'un tr3 ite m e n t de ce genre ra'a é té in s p ir é e par une breve suggestion de Van Benthem3, ä propos de l ' i n t é r e t de t r a n s c r ir e "en d e t a i l " le form at de la SS en une s tr u c t u r e de type m ontaquieux. De méme, moi, je c r o is que l 'o n peut con- s id é r e r comme un bon avancement dans c e t t e lig n e le re ce n t t r a v a i l de J . Bacon*, ou l'o n propose qu atre modéles d'on to sem anti- que fo rm e lle e t on démoritre q u 'i l s sont c la ire m e n t com parables e t non d i f fic ile m e n t in t e r - r é d u c t ib le s , m algré le u r s d if fé r e n c e s de base.
*. Í t t ' u B 3 Í 3^е> р че г г У> S it u a t io n s and A t t it u d e s , fhe MIT P re s s , Cambridge (M a s s .) 1983.
2
R. M o n t a g u e , P ra g m a tics, 196B (R e p o rt dans: Formal Philosophy. S e le c te d Papers of R ich a rd Montague, ed. R. Thomason Yale U n iv e r s it y P re s s , 1974, pp. 9 5 - U B ); i d e m , Prat jm atics and In te n s io n a l L o g ic , 1970 (R ep o rt - ibidem , pp. 119-147); i d e m . U n iv e rs a l Grammar, 1970 (R ep o rt - ibidem , pp. 222-246).
J . F. V a n B e n t h e m, S it u a t io n s and In fe re n c e , "Lin g u is t ic and P h ilo s o p h y " 19B5, v o l. 8, No. I , p. 7.
J , В а с o n, Four Modal M odels, " Jo u r n a l of P h ilo s o p h ic a l L o g ic " 1988, v o l. 17, pp. 91-114.
Ma p r é s e n ta tio n , tan t de la SS que de Montague, e s t d e lib é ré - ment slm p li f ic a t o i r e , e t d if f é r e , en une c e r t a in e mesure, de leurs re s p e c tiv e s v e rs io n s canoniques, puisque J'in c o r p o r e , quelques f o is , des id ées im p lic it e s , á mon a v is , dáns le s deux th e o r ie s , ou bien j a jo u te d 'a u tre s com plem entaires, avec l 'e s p o i r que, en tou t c a s , тез choix ne fo rc e n t pas excesivem ent une in t e r p r e t a t io n p la u s ib le .
On c o n s tr u it Lg comme un cas p a r t i c u l í e r de langage pragma- tiq u e de prem ier o rd re 5. L fl c o n tie n t seulement des co n stan tes in d iv id u e lle s , p ré d ica ts monadiques, un O perateur de c o p u la tio n ,
л , qui transform e chaque p ré d ic a t en une phrase p r e d ic a t iv e ( PP ) , co n n ecteu rs, v é r i- f o n c t ío n n e ls , e t deux op é ra te u rs prag- m atiques, М<Л" ( “ e s t actu e lle m e n t le cas q u e . . . " ) e t "Ф" ( " a é té le cas que. . . " ) .
La Syntaxe de L g se p résente a u ssi comme une e x e m p lific a tio n de la faęon de c a r a c t é r is e r un langage p r iv é ď a m b ig u ité 6 . A in s i:
ŕ a ) lg = <A, (Р у )г с г , (X g )g gÄ, S, F0R>;
b) А - ensemble des exp ression s propres ä L ;
c ) A < CONST, TER, PRED, COP, PP, J 1, J 2, OP, F 0 R > e s t ľ ensem b le d 'in d ic e s c a t é g o r ie ls ;
d) e s t I® Lex ico n , d 'o u :
í a ľ a2 ... an } : XPRED 1 { P l- P2... Pit i}> { n } ; X j l = { ~»} ; Xj2 = {д , V
X0P = {** ■ &}> XTER = XPP г XF0R * * '
e ) (- ff)fz r = F a m ilie ď o p é ra tio n s s t r u c t u r é lle s d é fin ie s sur A, qui se d é p lie a in s i (pour "ot", иа ' и , " a * " , comme m e ta v a ria b le s ):
Fq : A —*• A ; FQ(oi) s г ( а ) " 1;
F p A
2
► A ; F j ( a , a ' ) = ' « ( a')"1
XCONSTXC0P
5 R> M o n t a g u e, P rag m atics; i d e m , Pragm atics and' In te n s io n a l L o g ic .
A2 —* A; F 2( « , a ' ) = r a4c*)"\ A2 —*A; F j ( a , a ' ) = ra ť o i, )-",i A3 - * A ; F4(a , ď , a " ) - r < a'). a A2 — » A; FjCqi, a ' ) « r a f ď ]
S
( S £) g < ß ,
Ц
> |(*еГ, ar(Fy) * (3, S | E A , ijEA)}
* < F 0 , < C 0 N S T >, IE R > ; Sj = < F t < C 0 P , P R E 0 > , PP> ;
- < F 2 , < T E R , P P > , F 0 R > ; S 4 = < F 3 ,
< Jl ,F O R
>,F 0 R > ;
= < f 4 , < j 2 , F O R , F
0R>, F 0 R > ; s é = < f 5 , < 0 P , F 0 R > , F 0 R > ;
II se cróe la familie (Cg)g£ü des cat égor iea ' d'e xpre aaion a
de L g , telle que:
- si SEA,
alors Xg £ C fi;
- ei «£CpGNsT , alors F0 (o<)eCTER;
- s i <*£CęQp et a a lo r s F ^ (oi, 01f ) С Cpp;
~ sio*EC|£^ et ot£Cpp,
alors F 2(0* cif) E
»
- si a EC jl et c*'£CF 0 R ,
alors F
3(c
4,
<*') E C F Q R ;
si afcLjí
et
c t, и C ^fOR
1elors F^(ci, o<1, и " )
- s i
oiCC
q pet
oi’ ECpQR,
a l o r s
F j ( a , 011) CCpQp*
h) L 3 ,
somme il est habituel, est la structure mixte
induite
par ľ a l g é b r e libre <A,
( F y ) r E f .> d 'operations atructurelles,
qui
pre nd iJ
Лх£ )$ £дcomrae un ensemble de gánérateurs.
StA
I I s 'a g i t de c o n s tr u ir e une s tr u c t u r e o n to lo g iq u e de c a r a c t e re modele-th é o r iq u e , q u i, d'un e p a r t , r e c u e ille le s p ro p o s itio n s b asiques de la S S, ebauchées dans la b ib ie s it u a t io n n ia t e 7 , e t , d 'a u t r e p a r t , qui s o it suffisam m ent s e n s ib le á la re c o n s tru c tio n de type montaguieux que je d e s ire h asa rd e r.
A in s i, s o it A - <0, 6 , i f , « , I , e* £ * * V , < , о , e , p>
une s tr u c tu r e b asique de s it u a t io n s , dont le s composants peuvent se d é f i n i r de la faęon s u iv a n te :
О - I ND U REL U l.oc u POI e s t l'u n iv e r s de d isco u rs de cM>. INO t {ä j , ak } e s t une c o lle c t io n d-'in d i v id u s . REL = PROPu {aQS, PROF} e s t une c o lle c t io n de r e la t io n s .
PROP x { p * , pt> . . . . Pn } eat une c o lle c t io n de p ro p rié té s ou r e la t io n s m onairea, ou P* e st la p ro p rié té designée de " p a r ie r " .
40S et PROF sont des r e la t io n s b in a ire 3 d esignees, "s 'a d r e s s e r com m unicativement v e r š . . . “ et " p r o f é r e r " , re s p e c tiv e m u n t.
LOC - { l j , . . . . l m} e s t une c o lle c t io n de lo c a tio n s spatio-tem- p o re lle s .
POL * {o , l } 03t une c o lle c t io n de p o la r it é s , p ré s e n ta b le par- f o is comme {n on , o u i}.
I I s 'a g i t ď urie é le c t io n d ’o b je ts basiques qui se sépare de c e l i e r é a lis é e par ľ o n to sé m a n tiq u e fo rm e lle c la s s iq u e ^ , dans quelques asp ects:
a ) Les r e la t io n s sont au ssi ontologiquem ent p r im it iv e s que le s in d iv id u s . Ces deux s o rte s de proto-élém unts - co n sid e ré s plus tard, e x p lic ite m e n t, comme des " r e p r é s e n t a t io n s " , dans la th é o rie des " c o n s t itu e n t s ” 9 - correspondent en SS a des u n ifo rm ité s r e e lle s a b s t r a it e s ou p résen tes dans des s it u a t io n s mondaines r é o lle s , le a a u th en tiq u es p r im i t if s o n tiq u e s.
b) le s lo c a tio n s , s i bien e ll e s ne sont paa des in d ic e s prag- tiq u e s á la Montague, mais a u ssi des ró s u lta n tś ď u n i f orinités ré- r e l l e s , e l l e s tra n s p o rte ro m le u r dimension ď in d ic e , comme on v e r r a , ve rs le s in d ic e s au then tiq u es de la s tr u c t u r e , le s occasions ď user ou le s "u sa g es".
c ) Quant aux p o l a r it é s , au-delá de le u r c o n s id e ra tio n h a b it u e l le , e l l e s a p p a ra issen t dans la SS comme "se g lis s a n t dans l ' u n i ve rs dans le proces d 'a b s t r a c tio n ä p a r t ir des s it u a t io n s jusq u'au x o b je ts qui sont ou ne sont pas dans p lu s ie u rs r e l a t i o n s " .
^ M ais, pour la com paration, v. J . B a c o n , op. c i t . * B„ a r w 1 s e> The S it u a t io n in lo g ic I I I , "R ep o rt Cen t e r fo r the jtu d y of Language and In fo rm a tio n " 1985, No 85-126
S ta n fo rd U n iv e r s it y . *
10 4 a
..-I , » „ ü . f w 1 s e. P e r r y , S it u a t io n s ana A ttitu d es* Jo u rn a l of P h ilo s o p h ic a l L o g ic " 1981, v o l. 78, No. 11, p. 669.
3 .2 . R e la tio n s qu i s tru c tu re n t JJ3C
'*<" e st une r e la t io n d 'o r d re s t r i c t e t " o " , "e " sont des r e la t io n s d 'é q u iv a le n c e , t e l i e s que l < I l о I ' , e t l G ľ se l i s e t , resp ectivem en t "1 précéde tem poralrem ent a ľ " , "1 se re- couvre temporairement avec I ' " e t "1 se reco u vre sp a tia le m en t avec 1 и. Comme i l e s t h a b it u e l, on peut c u n s tr u ir e t r o t s fo n c tio n s , ?<> et <Рр. t e l i e s que <^<( / ) - [ ľ \ V < i } , c L } ,
et
V
=
{ V W e t ) .
3. 3. Concep ts
flien que c e tt e a p p e lla tio n ne s o it pas a t t r ib u a b le á la SS, e t méme des e n t it é s en sem b listes de ce genre n 'y a p p a rra is s e n t pas, e lle s sont fa c ile m e n t d é d u is ib le s ä t r a v e r s un sim ple procéde c o n s t r u c t if . Je le s a p p e lle “ co n ce p ts“ , et non seulement "fonc- tio n s c a r a c t é n s t iq u e s , evidemment, en l'h o n n e u r de Freg e . A in s i, 6 * POL = { c j , . . . , c (i} e s t la c o lle c t io n de fo n c tio n s t o t a le s ou p a r t i e l l e s d 'in d iv id u s á des p o l a r i t é s * 1.
On peut d é f in ir une r e la t io n f de c o m p a t ib ilit y e n tre des con cep ts t e l l e que c p c ' s. e t s . s . c U c '£ 6 . Oe meme on peut con- s t r u ir e une fu n c tio n <fg t e l l e que ^ ( c ) = { c ’ | c ' ^ c } , qui pré- sonte la c o lle c t io n de concepts com p atib les avec l ’ un d 'e u x .
3.4 . S It u a t io n s
„ 'P R O P t ,
S - b = s 2 • •••} e s t la c o l le c t io n de s it u a t io n s “dis-lo q u é es“ , a b s t r a it e s , oü sim plem ent, de s it u a t io n s . Dans la ve rs io n canonique de la S S, ou á = PQLPR0P * IND, on l es co n sid é re des c o n s tru c tio n s qui modelent et c a ia c t e r is e n t des s it u a t io n s r e e l l e s , ä tra v e rs le s p r o p r ié té s e t le s in d iv id u š qui le s c o n s t i tu e n t. Oans la v e rs io n p ré s e n te , chaque s E á e s t , done, une fonc- t i on p a r t ie l l e ou t o t a le de p r o p r ié té s á co n cep ts. On peut d é f in ir
11 Comme d 'h a b itu d e , en cas de p a r t i a l i t é , on peut t o t a l i s e r la fu n c tio n c o rresp o n d e n t, en augmentant seulement le nombre de p o la r it é s pour re m p lir le s v id e s , sans dommage pour la monotonie « M m i i n n i ľ e í ' P a r * l a l L ° 9 i c . [d a n s :] Handbook of P h ilo s o - d rech t 1986) ’ Gabbay, F. Guenthner, v o l. 3, R e id e l,
Dor-le e _______.____________ Luis Villegas
au ssi une r e la t io n ę * de co m p a tib i1 i te e n tre le s s it u a t io n s , te lle que s , o * s ' s. e t s . s . 5 u s E J .
3 .5 . f a i t s , p ro p rié té s e t in d iv iriu s dans une s i t u a t i on
I I s 'a g i t , encore une f o is , de développer c e r t a in s asp ects im- p l i c i t e s dans la SS, au moins á la deuxiéme époque12, bien que on peut tro u ve r une p ré s e n ta tio n á un c e r t a in p o in t analogue dane B a rw is e 1 . A in s i pour chaque s it u a t io n ” s " on peut d eterm in er:
3) Hs * { < p , a, i> £ PROP x INO x P 0 L | S ( p ) ( I ) = i } , ou H e st 1 ensemble de f a i t s qui s 'o b t ie n t p o s it iv e ou negativem ent dans "s", en le c a t a c t é r is a n t intim em ent. A lo rs , PROP x INO x POL - H = l'en sem b le de f a i t e qui ne s 'o b t ie n t pas dans " s " ,
b) PR0Ps * Dom's, e st l'en sem b le de p r o p rié té s demontrées dans s , de t e l l e faęon que PR0P-PR0Ps sera l'en sem b le de p ro p rié té s non demontrées dans " s “ . On peut au3si e n visa g e r PROP comme l'union de:
- PROPg = {p|väE0om 's ( P ) ( s ( P ) ( S ) = l } , c .- a - d ., l'ensem b le des p r o p rié té s demontrées necessairem ent dans " s " ;
- PROP* * { P|VaEDom' s ( P ) ( s ( P ) ( a ) . o } , l'e n se m b le de p r o p r ié tés demontrées im posiblement dans " s " ;
- PROPg = {p|aäCDom 's ( P ) ( s ( P ) ( ä ) * l , 3äEDom 's(P) ( s ( P ) ( ä ) - o}, l'e n se m b le des p r o p rié té s demontrées contingentem ent dans " s " .
c ) lNOg = { ä E IN D | 3 P e P R 0 P s ( s ( P ) ( ä ) * 1, ou blen ( s ( P ) ( S ) = o }, e st 1 ensemble d 'in d iv id u s qui se tro u ven t dans " s " ou ceux pour q u id 's " e s t une s it u a t io n rem arquable, ou, simplement ľ u n i v e r s de "s " . On peut a u ssi c o n s tr u ir e pour chaque Я E IND, l'en sem b le de s it u a t io n s rem arquables pour l u i , et l'en sem b le de s it u a t io n s non-remarquables ou in d if f e r e n t e s pour i u i , re s p e c tive m e n t, S-REM- =
{ s | ä E INOg } e t S-IN D IFj = { s | ä E IN O j . ’ 3 d) E v e n tu e lle m e n t, on peut d é f in ir une des fo n c tio n s p a r tie lle s b in a ir e s , “ EXT“ , t e l l e que:
12
, ° a? » Í L , „ 1 1 e g Э s, En torno a la Sem ántica S it u a t io n a l, ( Agora 190B, t . 7, pp. 7-22) on peut tro u v e r une rap id e r e v is io n de la SS avec une b ib lio g r a p h ic commentée.
J . B a r w i s e, The S it u a t io n in Lo g ic I I I . 1 „ nec i b , PeU t1 t r n ' ľ S ’\. Р ° и гга^ a u ssi se r e c o n s tru ire comme un monde p o s s ib le p a r t ie l et d is ló q u e ” : s * <IND , PROP., H >.
- EXT: PROP x i — ► *> (IN O ) et
- EXT( P , s ) * { ä E I N D s l a ( P ) ( ä ) =■ l } 15.
3.6. ŕ t a t s de choses ou S i t u a tio n s 1ос a l i sées
b = LOC x 5 * * • * } e st une c o lle c t io n de s it u a t io n s lo c a lis é e s ou, selo n la te rm in o lo g ie de la v e rs io n canonique de la S S 16, d 'é t a t s de ch o ses17, t e l l e que, é ta n t d é fin ie s p r ^ ís ) comme la lo c a tio n qui lo c a li s e a š , e t p r2( S ) , comme la s it u a t io n qui c a r a c t é r is e ä 5, on peut d é f i n i r :
a ) Une r e la t io n ц de " f a i r e p a r t i e “ , de t e l l e faqon que i у. s' s. e t s . s . p r i ( š ) = P T jC s ) e t p r ,,(s ) с p r 2( a ) .
b) Une r e la t io n de c o m p a t ib ilit é , <o**. t e l l e que s . et s . s . p r 2(ß )fi* p r 2( s ' ) .
c ) T ro is r e la t io n s "o * " e t " í“ " , re s p e c tiv e m e n t, de précádence, is o c h ro n ie et is o t o p ie , d é f in ie s comme s < .# s 's . e t s.a. p г j ( i>) < p r ^ S O , s o* Š ' s. et S .S . p ľ j í š ) o p r j( š ') et š £>* š' s . et s . s . p r j í š ) ^ p r ^ íš 1).
d ) Les ensembles H§ * Hp ( g ) ł PROPg - P R O P ( s ) , IN0§ = INO (§) de f a i t e , p r o p r ié té s e t in d iv id u s dans s , re sp e ctiv e m e n t.
e ) Lee p r o p r ié té s de f a c t u a l i t é ou d 'a c t u a l i t é d 'u n á t a t de Iß
choses comme chez B erw ise et P e rry .
E ta n t EXT, p a r t i e l l e , i l y a tť o is p o s s i b i l i t é s , deux de s ig n e e s, "e x te n s io n p le in e " et "e x te n s io n v id e " ; ľ a u t r e , non de- s ig n é e , "manque d ’e x te n s io n ".
16 J . B a r w i s e, J . P e r r y , S it u a t io n s and A ttitu d es, 19B3, p. 55.
V7 C e tte dénominantion fig u r e dans: J . B a r w i s e , J . P e r r y , S it u a t io n s and A ttitu d e s , 19ЙЗ. M ais, dans: J . B a r- w i s e, The S it u a t io n in L o g ic I I I , on dénomine " é t a t s de ch o ses” á ce que l'o n a p p e lle , dans le te x te , " f a i t s " ; ou, p lu t ô t , ä un type de p r im i t if s qui sont des f e i t s s i on le s o b t ie n t , e t des n o n - fa its , s i on ne le s o b tie n t pas.
IB
Oans: J , b a r *» i s e, 3. P e r r y , S it u a t io n s and A ttitu d e s , 1963, p. 55 on d it qu'un é t a t de choses f a c t u e l ne con- t ie n t pas to u t ce qui a r r iv e dans sa lo c a t io n : i l p résen te s e u le ment une faęon de c la s s e r quelque s it u a t io n r e e l l e , au moyen pré- cisem ent d ’ in d iv id u s e^ p r o p r ié té s a b a t r a it s uniformement de celle- - c i. En revaflche, un é ta t de choses a c tu e l correspond exactement ä une s it u a t io n r e e l l e , de t e l l e faęon q u 'i l e s t f a c t u e l e t to u te s ses p a r t ie s le sont a u s s i.
3 .7 . événements en gé n é ra l
t - i L0C ■ {®i> ®2’ '■ '} e s * *a c° H e c t l ° n ď óvenem ents, fo n c tio n s p a r t i e l l e s ou t o t a le s de lo c a tio n s á s it u a t io n s , ou chaque événement e s t , done, une c o lle c t io n f o n ć tio n n e lle de s it u a t io n s l o c a l i s e s , c.-á-d . С с 9 í í ) . On peut a u si d é f i n ir :
a ) Une r e la t io n у * de " f a i r e p a r t ie " e n tre événements. A in s i e S ' s. e t s .s . V s c ä 3 s ' £ S ' (§ s ' ) .
b)
Uneautre relation de compatibilité entre événements
g * * * ,telle que
ё£***
§,s. et s.s, V§
t eVs'e é*
( s p** 5').
c ) Une r e la t io n 9 de cohérence e n tre événements e t p r o p rié té s de faęon. que i 6 P s. e t s . s . V š , 5’ e 5 ( s i § / a', P £ PROP^ e t P e PROPg/, a lo r s p r j f ä H F ) £ p ^ í š ' H P ) ) , c .- ô - d ., un événement e st cohérent par rap p o rt á une p ro p r ié té s i on l u i a tt r ib u e des concepts com patibles dans n 'im p o rte q u e lle s s it u a t io n s lo c a lis é e s dans ce t événement. On d it a u ssi qu'un événement e st totalem ent c o h éren t, s ' i l e s t cohérent par rap p o rt š to u te s le s p r o p rié té s qui sont dans l u i .
d) A С £ e st p e r s is te n t s. e t s . s . V i , S ' ( s i ё £ A e t ё ^ * ё ', a lo r s e '£ A ). Comme d 'h a b itu d e la f a m ilie TT de c o lle c t io n s persis te n te s forme une to p o lo g ie sur £ ; p lu s concrétem ent, pour chaque ё , {ё '|ё £1*ё'}еТ719. Nous pouvons d ir e a u s s i, ď a p r é s C re s s w e ll^ 0 que l ’ ensemble { ё | ё ^ * ё '} n 'e s t pas seulement p e r s is t a n t , mais a u s s i généré, précisem ent par S. I I у a des c o lle c t io n s p e rs is - ta n te s qui ne sont pas générées.
e ) ё es fa c t u e l ( a c t u e l) e. et s . s . tous le s é ta t s de choses qui le composent sont f a c t u e ls ( a c t u e ls ) .
19
Dans la p r im it iv e SS (3 . B a r w i s e , 3. P e r r y , S it u a t io n s and A ttitu d e s , 19 В I > on c o n s id e r a it le s p ro p o s itio n s corane des elem ents de ТТ. A ctuellem ent (3 . B a r w i s e , 3. P e r r y , S h if t in g S itu a tio n s and Shaken A t titu d e s , ' " L in g u is t ic and P h ilo s o phy” 1985, v o l. 8, No. I , pp. 105-165; 3. B a r w i s e , The S i tu a tio n in Lo g ic I I , "Rep ort Center fo r the Study of Language and In fo rm a tio n " 1985; No. 84-21; S ta n fa rd U n iv e r s it y ; i d e m , The s it u a t io n in L o g ic I I I ) , une p ro p o s itio n e s t , p lu s ou moins, quelque chose de s im ila ir e h ľ a c t u a l i s a t i o n ou r é a lis a t io n d'un type de s it u a t io n co n sid eré comme 1 'in t e r p r e t a t io n d 'un usage.
20
3.; M. C r e s s w e 1 1, A d v e rb ia l M o d ific a tio n s , R e id e l, O ofd rech t Í985, p. 196.
3 .8. Eveneme n ts de la s t r u c t u r e d о 1
De fagon s im ila ir e comme chez B a rw ise e t P e rry on d é f in it £* C i comme la c o lle c t io n basique d'éveneeients f a c t u e ls qui ca- r a c t é r is e n t Л ? . On peut d ir e que £* e s t vaguement analogue ä l'e n se m b le de mondes p o s s ib le s d'une stru ctu re-m o d éle de K rip ke un d'une in t e r p r e t a t io n pragm atique p o s s ib le de Montague, r e s id e n t la d e ffe re n c e en ce qu le s elem ents de so n t, en tou t ca s , des mondes p a r t i e l s , e t a u s s i, q u 'i l s ne sont pas proprement le s indexes de l a s tr u c t u r e , mais p lu tô t une base pour le s c o n s t r u ir e .
22
On d é f in it a u s s i comme chez B a rw ise et P e rry , £** c £ *, la c o lle c t io n d'événem ents a c tu o ls de Л, t e l s que:
a ) £** í 0.
b) s i ee£** e t ё 'у .' ё, a lo r s ё ’ e £*•
c ) s i A £ £ *, a lo r s 3e £ E * « * V5*tA ( ё ' у # ё ) . d) VS, e' e E •* (ё £»*** e * ) .
3.9. Occasion s d 'use ou "u s ages“
U t ť 5 { u l> u2 ’ ' * ' } e s t u,ie c o l le c t io n d 'o c c a s io n s d 'u s e c , "u s a g e s ", des évenements f a c t u e ls aux c a r a c t é r is t iq u e s p e c u lié r e s , qui vont s e r v ir d 'in d e x e s pour in t e r p r e t e r u lte rie u re m e n t le lan-
23
gage, pragm atique . Dans chaque u c U i l у a, d 'a p re s B a rw ise e t P e r r y , une s it u a t io n de d is c o u rs “ d " , t e l que d y * u, une l o c a tio n de d isco u r3 ” 1^ ", une p a r la n t !3d" , une audience "b d " e t une ex p ressio n p ro fe rü e c*d , de t e l l e facon que, en u t i l i s a n t la n o ta tio n h a b it u e lle de B a rw ise e t P o r r y : dr = en 1^;
P * , ä d -, o u i, ADS, ad , o u i, PROF, 5d , oid i oui
21
J . B a r w i s e , 3. P e e r y , S it u a t io n s and A ttitu d e s 1983, pp. 60 e t s u iv .
Ibidem . 23
B ie n que 3. B a rw ise e t J , P e rr y ne le s ln tr o d u is e dans la p a r t ie o n to lo g iq u e de la th é o r ie , ce sont des h a b ita n ts de p le in d r ö it d e <Л, e ta n t entendu, q u 'e lle s yont donner liô u á ľ asp ect i n d i c i e l de ľ i n t e r p r e t a t i o n p o s te r ie u r e .
E t s i l'o n con sid ére une form ule ou phrase com pléte, i f , a lo r s d * { d ę j d ^ * u e t at e s t ou un c o n s titu e n t de <p}, ou chaque da e s t une s it u a t io n p a r t i e l l e du d is c o u rs , localem ent connectée avec le r e s t e , dans le q u e l on p ro fé re la p a r t ie a de if . I I y a au ssi dans ” u" des connexions r é f é r e n t ie l le s du p a r la n t , assu rées par une fo n c tio n p a r t i e l l e " с " t e l qua: c : [ o i j | o i e s t if ou un c o n s ti- tu an t de (f ) -♦ IND и PROP
u
LOC. La v a le u r de " с " sera une location connectée avec 1^, ou un in d iv id u ou une p r o p r ié té p rése n ts dans un événement localem ent connecte avec " d " . E t "th e la s t but not the l e a s t " , on d é f i n it pour chaque "u H une a u tre fo n c tio n p a r t i e l l e " о " , qui assure le con tex te de p ro fé ren ce ou " s e t t in g " , de faęon que: e s t tp ou un c o n s titu e n t do ] — ► INO u LOC и POL. S i c f o i j ) t INO, a lo r s d ic ^ ) * Sg. e t i l s 'a g i t d'un in d iv id u que “ u" d o it p ro p o rtio n n e r, á p a r t i r du re s te de la p ro fe re n c e , pour com pleter la p ro fé ren ce de c*d vers c e l l e de if. S i £ L0C> “ ljj-. lo c a tio n fo u rn i par " u " , a p a r t i r du re s te d e ,la p ro fe re n c e , pour la complementation e x ig é e . E t s i POL, tf(cn.) = i a , avec le s séquences de com plem entations re q u ie e s .4. In t e r p r e t a t io n de L „ en Л п
4 .1 . Types semantiq u e s 9 A
On c o n s t r u it , en étendant Montague un ensemble T de typ e s , ou: a ) e , p, 1, t t T, r e s p e c t ivement, le type ď e n t i t é s , de pro p r ié t é s , de lo c a tio n s e t de p o la r it é s , tous des types b asiq ues.
b ) Sx d, « E T , <cr, г > T, ou <tf, «> e s t le type de fo n c tio n s de choses de type cf é choses de type V,
c ) s t í , ou, co n tra irem e n t á Montague, " s " e s t un type authen- t iq u e , d é f m i, e t i l aDrege le type <1, <p, <e, t» > .
4 .2 . D en otatio ns possi b l es
On d e fin e , сочше chez Montague ľ e n s e m b le flj ^ de d e n o ta tio n s p o s s ib le s de type t , sur l'u n iv e r s 0 e t ľ e n s e m b le d 'in d e x e s U, de fsęon que:
a ) °e , 0 , U - 1ND-b) Up ,0 ,U ‘ PR0P* c ) ü l,0 .U = L0C-d) Dt o u = POL. e ) °s , 0 , U - ü '
f ) °<or,T> ,0,U " DT,0,U U«r,0 ,U ‘
э ) D<a,T>,0,U ' DT ,0 ,U U * Mt, 0,U 1 епзеп,Ы е de s ig n if ic a t io n s p o s s ib le s pour le s d e n o ta tio n s de type t .
I I fa u t d ir e que, dans ce t r a v a i l , on va p o s tu le r q u e 'i l e s t p o s s ib le , dans le cadre de la S S, de r e c o n s t r u ir e , á p a r t i r de la r e la t io n d iad iq u e e n tre usages e t événement3 qui c o n s titu e l a s i g n if ic a t io n pour B a rw ise e t P e r r y , une fo n c tio n ď u s a g e s á des c la s s e s ď événem ents, p récisém ent le s événements s ig n if ic a t iv e m e n t re la tio n n é s avec 1 'usage d'une e x p re s s io n . A in s i on peut pensor que, au p re s e n t, la v a le u r semantique absolue assig n ée ä une exp re ssio n e st c e tto merne fo n c tio n , ta n d is que la v a le u r semantique r e l a t i v e , assign ée ä ľ e x p re s s io n , ou, s i ľ o n v e u t, ä la p a ir e formée par ľ e x p r e s s io n e t l'in d e x d 'u s a g e , e s t la v a le u r de la fo n c tio n pour c e t index. A lo rs , i l e s t p o s s ib le de m a in te n ir , en p r in c ip e au moins, l a thése SS que le s phrases ont une s i g n i f i c a t io n , ta n d is que le s énoncés - p a ir e s de p h rases e t ď u s a g e s - ont une in t e r p r e t a t io n ou d e n o ta tio n appropiče.
3 - A s s ig n a tio n ď I ndexes senan tig u e s ä des in d exes te jjo ri a ls s y n t a c t i q ue s
La com plexité de 1 'ontosém antique SS va. c e l i e de ľ ontoaém an- tiq u e fo rm e lle c la s s iq u e , de méme que c e r t a in e s m o d ific a tio n s in- tr o d u ite s d é já dans L B , fo n t que 1'u n iq u e a s s ig n a tio n de types qui a p p a ra ít dans Montague e s t in s u f f is a n t e e t done in ad eq u ate. I I s 'a g i t r e e l lement d'un probléme fondam entel de la Theorie sem an ti que empruntée de Freg e : la composit io n n a lit é de la s i g n i f i c a t i o n r e q u ie r t une v is io n to u t- p a r tie des r e la t io n s e n tre le s v a le u rs semant i ques, d if f lc ile m e n t com p atib le avec la c o n s id e ra tio n v e r i- - f o n c tio n n e lle de l a p r é d ic a tio n developpée depuis Freg e . A in s i, to u jo u rs , a e té un peu problém atique qu/une fo n c tio n (un con c e p t) s o it une p a r t ie d'une v a le u r de v é r i t ŕ , p, ex. En ce sena,
V * ______ Luis Villegas
la SS semble s 'i n c l i n e r ve rs une fondam entation beaucoup p lu s na t u r e l le des p rin c ip e s com m positionnels, e t la sémantique de Monta gue, par c o n tre , en s u iv a n t, Ju s q u 'a la lim it e , la lig n e du h o li- sme sémantique e t de la f o n c t io n n a lit é de la p re d ic a tio n , semble d i f f ic ile m e n t c o n c ilia b le avec la p rem iere2*.
Un p o s s ib le engagement e n tre le a deux tendances c o n s is t e r a it , p e u t- é tre , en muntrer que le p r in c ip e de fo n c tio n n a lite ' e s t compa t ib l e avec le s theses p a r t ie - to u t, comme le s s tric te m e n ts fonc- t io n n e lle s . I I s 'a g i t done d 'a n a ly s e r le s p o s s i b il it é s d 'e t a b l i r , dans le cas co n cret de L g , deux a s s ig n a tio n s de typ e s, l'u n e d 'e l- le s basique e t fo n c tio n n e lle , avec quelque p e t it e m o d ific a tio n , e t ľ a u tre co ra p o s itio n n e lle e t c o n s t r u c t ivement p lu s complexe. La prem iére a u r a it comme c r i t e r e e t type d esig né, c e lu i des p o la r it é s , la deuxiéme, c e lu i des évenements2^ .
A ssig n a tio n p o la r is é e
On c o n s t r u it , analoguement á Montague27, une fo n c tio n a t e l l e que: a)
<S:
Д — »-T. b ) <y(FOR) * t. c ) o-(CONST) x tf(TER) = e. d) cr(PRED) x p. e ) a (P P ) = <e, t> -<<y(TER), d (F0 R )> . f ) a(CO P) = <P ; <e, t>> * <o’(P R E D ), tf(PP)> . Q) c ( J l ) = < t, t> = <04 FOR) , o-(FOR)>.h ) <rí J 2) = < t, < t, t>> =<cr(FOR), <cr(FOR), tf(FQR)>>. i ) cr(OP) * <<1, t>, t> = « 1 , ö(FO R)> , <j(FOR)>.
V. pour des d is c u s s io n s ré ce n te s : M. O u m m e t , An 25
г--* и , ^ иза1и„о m u e iu e s : n. u u m m e t , Ar U nsu ccessfu l D ig, [d a n s :] Freg e: T ra d itio n and In flu e n c e , ed. C. W rig h t, B. B la c k w e ll, 1964; R, B. B r a n d o n , F re g e 's T ech n i c a l Concepts: Some Recents Developm ents, [d a n s :] Frege Synthesized edS 26" H aaparaf,ta> H in tik k a , R e id e l, Oordrećht. 19B6.
J e c r o is que la double a s s ig n a tio n qui j e propose e x p lic i- teraent i c i se tro u ve , en une c e r t a in mesure, im p lic it e danę ľ use qui j . B arw ise e t J . P e rry fo n t, dans le u r langage "D eterm iner - f re e A li a s s " , de la n o tio n Ue "c a th é g o rie sém antique" a s so c ié a
a r w i s e, J . P e r r y , Situ a tio n s and A ttitu d e s 19Ü5, p. 301).
27
A ssig n a tio n e v e n tu a lis é e On c o n s tr u it une fo n c tio n ď* t e l que: a ) tf* : A -+ T. b) <r*(F0R) = <J*(TER) = <r*(PP) x tf* (0 P ) * « 1 , <p, <e, t » > , t>- « 1 . tf(COP)>, tf(F0R)> . c ) ď*(C0NST ) = o' (CONST ) = e. d) o'*(PRE0 ) * O'(PRED) = p. e ) tf*(C 0P) = <p, « I , <P l <e, t » > , t » * <p, d* ( PP )>. f ) t f M J 1) = < d * (F 0 R ), d * (FO R)>. g) < J* (J2) = ^O’* (F 0 R ) , < tf*(F 0 R ), d * (F O R ) » . 4 .4 . S tr u c tu r e I n t e r p r e t a t lv e On c o n s tr u it une s tr u c tu r e in t e r p r e t a t iv e Я basee en A , T, a , o'*, t e l que: a) ® \ < B , (G ^ )ygp ; (Н 7) у с Г , [ [ ] ] й , [ [ ] ] я »>.
b) <B, (С у )^ Е р> et <В, sont des a lg e b ra s s im ila ir e s k <A ( F * W > -c ) ^ ^ s a ! б с 4 Сб “ * 'В; ^ б У д C6 fl* 50nt des h°-momorphiames. ö ę - re T ^ V o .ir e ) S Í6 C A , ę t
X6,
a lo r s (R ) í ) S i ö t A ,5 EX5,
a lo r s C W V * V (’e ) * , 0> г 1 (S f ) í< 0 ,9> IS e t Ь^ сМ<г(в_),0,0» ’ P ° ur chaque g<(3, a lo r s V ( b 5 W e M < y ( t ) ) ( 0 ( U . 5 h) S i <f7 , ( 5 | ) £ <p|1J>£S et b? £M #(5 v 0 и , pour chaque |< (3, a lo r s < V ( ( b g W £ M ( , . ( ! ) ) i 0 ( U . *l i b —Ags i Qn a tio n ds types de s i p n i f jc a tlo o B s p e c i f i e s aux e x p ression s de L ql se lo n [ [ ' ] ] Ä *
V ““ " ...
3e v a is p ré s e n te r seulement le s a s s ig n a tio n s selo n [ [ J J *, parce que c e l l e s , selon [ [ ] J f i o n peut le s d ed uire commodánent d aprés Montague. A lo rs pour quelque e x p ressio n de l e t q u e l que o ccasio n ď u sag e "u M, p r is e conme un index pragm atique:
a ) 5 i o t £CQgNSj , i [ a ] ] j j * ( u ) e I N 0 . b ) S i a e C pRE0, f [ a } ] a *(u )C PR 0 P.
c ) S i a E C copi [ [ a ] ] Ä * (u )E (P O L e ) PROP. d) S i a e C j l , [[o t]] * (u )e (P O L e ) PO Lt.
POL e ) S i a с C^2, [ Ы J,ß* (u )e [< P 0 L L ) P0L£]
f ) S ia ^ L Q p ou Cpgp ou ou Cpp, a lo r s [ [qí] ] ^ * ( u)6PQL^.
4 . 6 . A s s ig n a tio n de denota t i ons s p e c l f lq ue aux express io n s de L A ąe lo n [ [ ] ] д* dans une ff) logiquement c l a s s l que sans dommage
de p a r t i a l i t é A s s ig n a tio n d ir é c t e
a ) S i a e C C0NST, a lo r s Vu, u ' ( ( W J ^ Í u ) = [ Ы ]Ä * ( u ' ) ) . b ) S i a e X p RE0, a lo r s Vu, u' ( [ [ а ] ] я *(и> = [ [ я ] ] я * ( и ' ) ) .
c ) Sí TTl Cq q p, a lo r s Vu[[TT]]j6*(u) = PROP-*.#>(£) t e l que: fn ( P ) « { i t e l a i EL0C3äG lN 0(ä€EXT(P, t ( 5 ) ) ) } . d ) V u [[- i ] ] д * ( и ) * Ц : f i ( t ) P ( £ ) t e l que t~, (A ) = [e e -- A j З е 'ь АЭ1 eLOC--lPePKQPaäe 1N0(S( I ) ( P ) ( I ) = 1 e t e ' ( L ) ( P ) ( a ) = 0, ou b ie n , S (L ) ( P ) ( I ) = 0 e t ? 4 L ) ( P ) ( a ) = l ] 20. e ) V u [ [A ] ] й * ( и ) - f A : P ( e 2) —> # * ( t ) , t e l que f A (A , В ) * AnB. f ) V u f C J Í ^ Í u ) = f v : *>(£2 ) - + * ( 0 , . t e l que f v < A, B ) = AuB. B ) V u ff - .JJ^ C u ) = P U 2) - > * ( £ ), t e l que f^ (A , B ) * f_,(A)uB h ) V u i [ * > ] ] J9» (u ) = -►*>(£), t e l que f^ (A , B ) ■ «■ Í +(A , B )n f_ ,(A , B ) . О [ М ] л * ( « ) = í et£ | dom’ i nV0 (L jj) / Я ]. j ) * g££|doai, gn4><( L d) / fj}.
A s s ig n a tio n co m p o sitio n n e lle
a ) S i a e C C0NST, a lo r s [ [ f Q( a ) ] ] я * ( u ) * « 0( [ l « J 3 e*(u-)) = {ž e£ 1 [ [ « ] ] л *(и )е £ _1 М 0 д e t [ W j ^ C u ) = i ff} 29.
28 '" * ' *
En c e la , moi, j'a d a p t e le choix de M. J . C r e s w e 1 l (o p . c i t . , p. 205). Pour un choix basiquement analogue mais moins m initeux c f . S . B l a m e y, op. c i t . , p.
29
.29
iv*
b) SirT £ C cop e t a e C pRE0, a lo r s [ [ ^ ( П , а ) ] ] я * (и ) = [ [ n j j ^ í u ) , [ [ « ] ] я »С и )) = {ё е Б |а б Е Е Х Т ([[с (]]я * ( и ) , SC !<,))} •
c ) SiateC ypß e t a ’eCpp, a lo r s [[F jÍc k , ď ) ] ] ^ * ( и ) * H2( [ [а ]]^ *(и ), [ [ « ' ] ] * * < “ )> = [ [ a ] ] A* (u ) n [ [ а ' ] ] я * ( и ) 3° . tí) S i ycC F0 R , a lo r s [[ F j( - , , ^ ) ] ] л * (и ) * H2( f ^ , [ [ y ] ] e * ( u ) ) f-,( [[<pl]Ä* ( u ) ) . e ) S i <f>, <f'eCF0R1 a lo r s s i a e C j2 , [ [ F 4(o. <f>, <f')]]^ * ( и ) = H4<fe , [ l i f ] J Ä * ( u ) , [[<р*Ля * ( и ) ) = fa ([[« p ]]A * ( u ) , [ f < f ' ] ] a
9
* ( u > >-í ) S i a ECgp e t V t C f0R> a lo r s [[F^Coi, 4> )]]<* (и ) = « 5( [ [ а ] ] й* (и ), [ М ] л #( и ) У * [ t « ] ] Ä « (u ) n [ M ] A* ( u ) .5. Quelques propr ié t é s
et r e la t io n s sémantiquement in d u ite s dans t .
г „ ; г . г . г • . . , гт. ГГ. " " " . S.ŁL.•, —АД S
5.1• Énoncés
S i ľ o n d é f i n i t un énoncé ф , de faęon e iin i l a i r e comme chez Ba rw ise e t P e r r y 51, comme un p a ir ordonné, <ip , и > , compose d'une form ule (p h ra s e ) et d'un usage de c e t t e form u le, a lo r s , é ta n t la c la s s e КфС CpQRXU, on peut d é f in ir 1 ' in t e r p r e t a t io n des énoncés comme une fo n c tio n I I I I £ : Кф - *# > (£ ), t e l que s i ф « <<f, u>, a lo r s I 1ф| - [ ( у ] ] я * ( и ) . A i n s i , la s i g n if ic a t io n de form ules e t d 'e x p re s s io n s , e t 1 ' in t e r p r e t a t io n d' énoncés sont des v a le u ra sém antiques ab so lu es, ta n d is que la d é n c ta tio n de form ules e t ď e x p re s s io n s e s t une v a le u r sém antique r e l a t i v e .
Les in t e r p r e t a t io n s d'énoncés de langages du type L . dane des s tr u c t u r e s comme Я form ent des c o lle c t io n s p e r s is t e n t e s , c .- a - d ., s i ё e I |ф| |£ e t a lo r s §'e||< $ ||^32. M a is, de p lu s , Cress-w e ll n 'a pas seulem ent demontre que tous le s le s PP e t quelques
30 En p u r it é , i l s 'a g i t de l s fo n c tio n c a r a c t é r is t iq u e de c e t ensem ble,
31 J . B
a ru
i s e,J ,
P e r r y , S it u a t io n s and A ttitu d es, 1983, p. 13».32 Ibidem , pp. 139, 307.
* ________ _____ _ Lula Villegas
énoncés de ces langages ont a u s s i la p r o p r ié té de " g e n e r a tio n ", comme d é fln ie a n té rie u re m en t, mais a u ssi que c e tt e p r o p r ié té est conservee par f Ą , mais non par f., e t f y .
5 .2 . V e r ité e t fa u s s e té
La v e r it é et la fa u s se té é ta n t des p r o p r ié té s absoluea des énon cés s t r e la t iv e s des form ules, noua pouvons, m aintenant, associer
[ f J ] ^ avei. [ [ c .- a - d ., 1 a s s ig n a tio n é v e n tu a lis é e avec I a s s ig n a tio n p o la r is é e , et c o n s tr u ir e une n o u v e lle fo n c tio n , I I I \ß , d'enonce3 á p o la r it é s , t e l l e que: ш f l s. e t s . s . Зёе||ф ||^ (e e £ • *) Л [0 s- et s .s . ~3ё£|[ф||* (е е p * » ) Ou b le n , s i ф = <(p, u>, Ш ] (u ) - í 1 s - e t s , s - э в с £ М ] я * ( и Х 0 t £ * * ) [o s , e t s .s . ~ З ё £[£łfj ]й * ( и Х ё £ E * * )
íLtrt:_^Яг1^,еЯ enĽe equ iv a le n c e e n tre des énoncés
On peut d ir e que V e s t une "conséquence f a i b le " dp ф ,ф t-- V, s. et s . s . , V A logiquement c la s s iq u e s i Мф|1л = l , a lo r s | |V| | - 0, e t que ф e t V sont "fa ib le m e n t équi v a le n t e s " , ф и v quand, V 4 logiquement c la s s iq u e , ||ф1 1Я = l s. et a .s . | М | Й * I .
Au c o n t r a ir e , V e s t une "consequence f o r t e " de ф, ф t - V , s . e t s . s . У й ||ф| 1л * f i l I Vi lÄ * ou b ie n , ф , ... фп t- ip s , et s-3 - П 11Ф,ИЛ * S Tandis que, ф at V sont "fortem en t e q u iv a le n te s ", ф ы -ф , s . e t s .s . | |ф| | * = ||tf>||
Comme B a rw ise et P e rry ont Sig n a le ', s i фн-яр, a lo r s ф *= V , e t s i ф м у , a lo r a ф м 'ц », mais non v ic e - v e r s a . Par e x ., deux form ules v a lid e s c la s siq u e m e n t, é ta n t comme a lle s le s o n t, f a i b l e ment é q u iv a le n t e s , peuvent ne pas é tr e fortem ent é q u iv a le n te s s i e l l e s sont composées de d if f é r e n t e s form ules b asiq u es, ca r ľ i n te r p r e t a tio n de c e lle s - c i peut v a r i e r dans le méme usage,
BIBLIOGRAPHIE
B a c o n J . (1 9 8 8 ), Four Modal Models, "Jo u r n a l of P h ilo s o p h ic a l L o g ic " , 17: 91-114.
B a r w i s e J . (1985 a ) , The S it u a t io n in L o g ic I I , "R ep o rt C enter fo r the Study of Language and In fo r m a tio n ", 84-21, S ta n fo rd U n iv e r s it y .
B a r w i s e J . (1985 b ), The S it u a t io n in L o g ic I I I , "Rep ort Center fo r the Study of Language and In io rm a tio n ” , 85-26, S ta n ford U n iv e r s it y .
B a r w i s e J . , P e r r y J . (1 9 8 1 ), S it u a t io n s and A t t i t u des, "Jo u r n a l of P h ilo s o p h ic a l L o g ic " , 7 8 (1 1 ): 668-691.
B a r w i s e J . , P e r r y J . (1 9 8 3 ), S it u a t io n s and A t t i t u des, The MIT P r e s s , Cambridge (M a s s . ) 4
B a r w i s e J . , P e r r y J . (1 9 8 5 ), S h if t in g S it u a t io n s and Shaken A t t it u d e s , " L in g u is t ic s and P h ilo s o p h y ", 8 ( 1 ) ; 105-165. B l a r n e y s. (1 9 8 6 ), P a r t i a l L o g ic , [d a n s :] D. Gabbay, F. Guen-
thner (a d s ) (1 9 8 6 ): 1-71.
B r a n d o n R. B. (1 9 8 6 ), F r e g e 's T e c h n ic a l Concepts: Some Re- ce n ts Developm ents, [d a n s .] L . H aap aran ta, J . H in tik k a (e d s ) (1 98 6): 253-299. L r e s s w e l l M. J . (1985) A d v e rb ia l M o d ific a tio n s , R e id e l, D o rdrecht. D u m b i e t M. (1 9 8 4 ), An U n su ccessfu l D ig , [d a n s :] C. W right (e d j (1 96 4): 194-227. i - a b b a y D. , G u e n t h n e r F. (e d s ) (1 9 8 6 ), Handbook of P h ilo s o p h ic a l L o g ic , v o l. I l l , R e id e l, D ordrecht H a a p a r a n t a , L. , H i n t i k k a J . (e d s ) (1 9 8 6 ), Frage S yn th e siz e d , R e id e l, D o rd recht.
M o n t a g u e R. (1 9 6 8 ), P ra g m a tic s, [Rep.' dans: R. Thomason (e d j (1 97 4): 95-118].
M o n t a g u e R. (1970 a ) , Prag m atics and In t e n s io n a l L o g ic [Rep. dans; R. Thomason (ed.) (1 9 7 4 ): 119-147].
M o n t a g u e R. (1970 b ), U n iv e r s a l Grammar [Rep. dans: R. Thomason (e d j (1 9 7 4 ): 222-246].
T h o m a s o n R. (e d j .(1974), Formal P h ilo s o p h y . S e le c te d P a pers of R ich a rd Montague, Y ale U n iv e r s it y P re s s .
V a n B e n t h e m J . F . (1 98 5), S itu a tio n s and In fe re n c e , "L o n g u is tic s and P h ilo s o p h y ", 8 (1 ): 3-8.
V i l l e g a s L . (1 9 6 8 ), En torno a la Sema'ntica S it u a c io n a l, "A g o ra ", 7: 7-22.
W r i g h t C. (e d j (1 9 8 4 ), Freg e: T r a d itio n and In flu e n c e , B. B la c k w e ll.
U n iv e r s it e S a n tia g o de Compostela Espagne
L u is V ille g a s
SEMANTYKA SYTUACJI W PERSPEKTYWIE PRAGMATYKI MONTAGUE
Autor podejmuje próbę skonstruowania ayntaksy i semantyki ję z y ka tworzonego d la u ję c ia dężeó wyrażonych przez J . B a rw is e 'a i J . P e r r y 'ego w ic h d z ie le " S it u a t io n s and A t t it u d e s " (Cam bridge, 1963). Id ąc przy tym za s u g e s tię van Benthema, p rzed staw ia ten j ę zyk ja k o typ jęz yk a znany z pragm atyki R. Montague. I s t n i e j ę ju ż , ja k wiadomo, próby ta k ie g o p rzekładu na s tr u k tu ry typu Montague ( J . Bacon, 1968). Autor wyraZa poględ, że jego p re z e n ta c ja , niew ętpli- wie uproszczona i odw ołująca s ię także do id e i zaw artych im p lic it e w tych dwu t e o r ia c h , n ie prowadzi jednak do w ętp liw ych wyborów i n t e r p r e ta c y jn y c h .