Histoire Épistémologie Langage

Conspectus de Sémantique intensionnelle, suivi d'une bibliographie

Frédéric Nef

Citer ce document / Cite this document :

Nef Frédéric. Conspectus de Sémantique intensionnelle, suivi d'une bibliographie. In: Histoire Épistémologie Langage, tome 5,
fascicule 2, 1983. La sémantique logique : Problèmes d'histoire et de méthode. pp. 5-18;

doi : https://doi.org/10.3406/hel.1983.1159

https://www.persee.fr/doc/hel_0750-8069_1983_num_5_2_1159

Fichier pdf généré le 16/01/2019

iCONSPECTUS DE SEMANTIQUE INTE

BIBLIOGRAPH

1. De l''âge classique à Frege

La logique classique tant celle que ce

Royal, que celle issue de Leibniz a utili

et extension d''un terme, la c

par l''ensemble des attributs du terme

des individus tombant sous la référence du

La notion de compréhension a été plus f

qu''en logique formelle: les diffic

de la négation et de la quantification d
6 Fr

2. De Frege à Church, 1879-

195

La naissance de la logique

de 1879, parution de la Begriffs

les projets idéographiques- four

un langage et un calcul- et romp

Les théories modernes de

connu un double point de dépar

(cf. Kaplan 70 et ici-

même F.

contextes intensionnels. La sé

placée sous le patronage

nuancer ( cf. Kaplan 75, Carney

la destinée des thèses frégée

Frege à la sémantique intension

( cf. ici-
même De Rouilhan) ent

et la thèse que le sens détermin

de compositionnalité, c) hiérarc
 CONSPECTUS DE SEMAN

des langues naturelles ( cf. Herzberger 6

le· cas de contextes non extensionnels (i

et la généralisation existentielle

de problèmes: dans ces contextes on ne p

de la phrase enchâssée dans un contexte i

la valeur de vérité de la phrase totale, par

Copemic croyait que l''orbite d

de la valeur de vérité de la phrase enc

croire:

Les orbites des planètes sont c

La solution de Frege était d''affirmer

référence de la proposition enchâssée est

A. Church 54 a tenté de justifier la d

a des considérations sur la traduction de

de croyance: si

l believe he is here

se traduit
8 Fr

intensionnelle, qui sera défini

construites de la même façon,

possédant la même intension,

même structure intensionnelle".

3. De Church_ à Montague,19.51-
1

Les premiers essais de lo

64) se présentent comme des f

Si A.Church avait tenté de reco

. lui, a utilisé la théorie des mo

consiste à construire une hiérar

entre Sinn et Bedeutung. C

ensemblistes. Ces langages son

le remplacement d''une partie

par une autre de même dénotat

Kaplan 64, p. XII) La syntax

 CONSPECTUS DE SEMANTIQUE

les mondes possibles ( Hintikka 67, Ka

Plantiga 74, Kripke 72, cf. ici même F. M

intensionnelles ( Fine 77), l''actualisme

( Salmon 82, cf. Mates 68 pour les origine

R. Montague réalisa une synthèse élég

l''algèbre universelle, syntaxique, la gra

la théorie des types. La sémantiqu

de la constitution de la sémantique krip

de mondes possibles, s''avérait capable de

des langues naturelles ( cf. Bar Hillel 5

y étaient de plus définies

point de départ des mondes possibles e

appropriées ( cf. Dowty, Peters, Wall 80; s

cf.: Bartsch 78, Gebauer 78, Link 79, G

Un des succés de la sémantique de M

sémantique récursive d''un grand nombr

anglais y compris dans des contextes in

 Fré

tague (Bennett 76, Thomason

les quantificateurs (Guenthner e

adjectivaux ou adverb

et Thomason 73), les présupposit

73). Les anthologies de Rodman

que les actes des Colloques d

Stokhof ( 76,78) permettent de

directions de la recherche l

de cette période.

4) Le passé récent, 1975-

1983

Il est certainement plus dif

immédiatement contemporain le

le champ de la sémantique int

75, Potts 75, Van Benthem 81)

77, Groenendijk et alii 77, H

 CONSPECTUS DE SEMANTIQU

remettant parfois en cause certains aspec

(Hausser 79, Kaplan'' 71,77, Perry 77)'

Les nouveautés conceptuelles les plu

d''un triple mouvement : a) réévaluatio

et du rôle heuristique de la logique in

des modèles partiels d''interprétation sém

globaux comme les mondes possibles ou l

c) l''introduction d''une dimension dia

L''interprétation directe a inspiré sur

et Faltz 78: l''interprétation est obtenu

dénotation des expressions catégorisées e

propriétés sémantiques décrites à l''aide de

Les modèles partiels sont présents d

les structures de représentation discursi

théorie des situations de Barwise et Pe

dont il est encore trop tôt pour décider

12 Fr

Bar-
Elli, G., 1981: " Frege and t

Erkentnis, 16-
1; p.137-
160

Bar-
Hillel, Y., 1954: " Indexical Ex

Bartsch,R., 1978: " Semantiek en M

Tijdschrift woor Wijsbeg

Bartsch,R., 1976: " The Role of

Theory", Languague in Focu

Kasher, A., éd., Reidel, Dordrech

Bauerle, R., Schwarze, C. & Von St

the Interpretèltion of Languag

Beale~, G., 1982: " Theories of P

The Journal of Philosophy, 76,

Bealer, G., 1982: Quality and Conc

Bennett, M•., 1976: "A Variation

of · English",in Partee, B., éd., 19

Carnap, R., 1942: Introduction ta S

Carnap, R., 1947:. M eaning and Ne

 CONSPECTUS DE SEMANT

Cooper, R. & Parsons, T., 1976 : " Montague

and Interpretative Semantics", in Pa

Dordrecht

Cooper, R.,1978b: " The Logico-

linguistic E

Language Descriptions", Synthese , 38

Creath, R., 1976: " On Kaplan on Carnap

,30-
6, p. 393-
400

Cresswell, M. J., 1973: Logic and Languages

Cresswell, M. J., 1978: " Semantic Com

lation, F. & M. Guenthner éds., Duck

à paraître dans Nef, F., éd. 84

Cresswell, M.J., 1974: " Adverbs and

Cusmariu,A., 1982: " Translation and Belief"

Dowty,D., 1976: " Montague Grammar an

of causative verbs", Linguistic Inquiry

Dowty, D., 1979: Word \\ 1 eaning andM ontag

Dowty,D., Peters, S. & Wall, R. E., 19

14 Fré

Gochet, P., 1982b: " La sémantiqu

Penser· ~.\\ 11athematiques,Se

Groenendijk, J. & Stokhoh, M., 197

Colloquium on ~\\ 1 ontague Gr

Papers in Formal Grammar,

Groenendijk, J. & Stokhof, M., 1

Colloquium on Y1 ontague Gr

Papers, in Formal Grammar,

Groenendijk,J. etalii , éds.,1

of Language, Proe. of the Th

Mathematisch Centrum, Amsterd

Guenthner, F. & Hoepelman, J.

of branching quantifier

Guenthner, F. & Rohrer,C., éd

North Hol1and, Amsterdam

Hamblin,C., 1973: " Questions in

p. 247-
26D
 CONSPECTUS DE SEMANTIQUE IN

Hodes, H., 1982: " The Composition of Fre

41-
2, p. 161-
178

Holland, A.,1978: " Carnap on Frege on

38-
1, p. 24-
32

Janssen, T., 1981: Foundation.. s-- and Appl

thèse, Amsterdam

Jardine, N., 1975: " Model Theoretic Sem

in Keenan, E., éd., 1975, p.219-

240

Kamp, H., 1971: " FormaI properties o

Kamp, H., 1975a: " The Philosophical Sign

Proc. of Arist. Soc. , vol. suppl. 49,p. 21-

Kamp, H., 1981a: " Semantic Truth and R

et alii éds.

Kamp, H., 1981b: " Evénements, représent

temporelle", Langages ,64, p. 39-

65

Kaplan, D., 1964: Foundations of Intensiona

Kaplan, D., 1967: " Trans-

World Heir Lines"
16 Fréd

( U.C. L. A. Occasional Paper

Edition revue à paraître che

Klein, E., 1979: On sentences whfc

a t t i t udes, thèse, Université

Kneale, W. & M., 1962: The Dev

Kripke, S., 1972: " Naming and Nec

D~vidson, D. &. Harmann, G

2eme e,d. chez Blackwel1,

le titre La lDgique des !'' bns

Minuit,Paris

Lewis, D.:" General Semantics" i

dans Davidson, D. & Harmann

Lewis, D., 1973: CoWlterfactlllls, Ya

Lewis, D.,1974: " Intensional Logic

Philosophil. Logic ,3, p. 455

Link, G., 1979: :\\ 1 ontague Gram

W.Fink, Munich

Mates, B.,1975: " Leibniz on Possi

 CONSPECTUS DE SEMANTIQUE I

Partee, B., 1975: " Montague Grammar an

Linguistic Inquiry, 6-
2, p. 203-
300

Partee, B., 1977: " Possible Worlds and Ling

Partee, B., éd., 1976:'' A ontague Crammar, A

Partee, B., 1979: " ConstrainingTransformat

Davis, S. ~ Mithurn, O., éds., 1979 ( cf. B

Partee, B., 1974: " Opacity and Scope", Sem

M. & Unger, P., éds., New York Unive

Perry, J., 1977: " Frege on Demonstratives",

86-
4, p. 474-
497

Plantigâ, A., 1974: The Nature of Necessity

Potts, T., 1975: " Model Theory and Lin

p. 241-
282

Potts, T., 1976: " Montague''s Semiotics: a S

Linguistics ,3, p. 191-

208

Potts, T., 1979: " The Grossest Confusion P

18 Frédér

Logic, Sorne Recent Develo

Scott, D., 1970b: " SemanticalArch

Languages, Davidson, D. &

Scott, D., 1970c: " The Problem o

Languages" , Linguaggi nella

Sommers, P., 1982: The Logic o

Oxford

Stalnaker, R., 1972: " Pragmatics",

D. & Harmann, G., éds., p

Stalnaker, R. & Thomason, R., 1

Linguistic Inquiry, 4, p. 195

Strawson, P.,. 1964: " Carnap''s Vie

Languages in Analytic Philo

Thomason, R., éd. de Montague 1

Thomason,R., 1976: "Sorne Exten

B.,éd., p. 77-
118

Tichy, P., 1971: " An Approach to