La logique intensionnelle et les langues naturelles
Mathématiques et Sciences Humaines (1982)
- Volume: 79, page 5-36
- ISSN: 0987-6936
Access Full Article
topHow to cite
topSantha, Miklos. "La logique intensionnelle et les langues naturelles." Mathématiques et Sciences Humaines 79 (1982): 5-36. <http://eudml.org/doc/94274>.
@article{Santha1982,
author = {Santha, Miklos},
journal = {Mathématiques et Sciences Humaines},
keywords = {intensional logic; inadmissibility of Frege's functionality principle for natural languages; generalised completeness theorem; Montague grammar},
language = {fre},
pages = {5-36},
publisher = {Ecole Pratique des hautes études, Centre de mathématique sociale et de statistique},
title = {La logique intensionnelle et les langues naturelles},
url = {http://eudml.org/doc/94274},
volume = {79},
year = {1982},
}
TY - JOUR
AU - Santha, Miklos
TI - La logique intensionnelle et les langues naturelles
JO - Mathématiques et Sciences Humaines
PY - 1982
PB - Ecole Pratique des hautes études, Centre de mathématique sociale et de statistique
VL - 79
SP - 5
EP - 36
LA - fre
KW - intensional logic; inadmissibility of Frege's functionality principle for natural languages; generalised completeness theorem; Montague grammar
UR - http://eudml.org/doc/94274
ER -
References
top- [1] Andrews P., "A reduction of the axioms for the theory of propositional types", Fund. Math., 52 (1963), 345-350. Zbl0127.00701MR153533
- [2] Carnap R., Meaning and necessity, Chicago, 1947. Zbl0034.00106MR19563
- [3] Church A., A formulation of the logic of sense and denotation, in Structure, method and meaning, New York, éd. Henle Paul et al., 1951. Zbl0054.00601
- [4] Dowty D.R., Wall R.E., Peters S., Introduction to Montague Semantics, Dordrecht, P. Reidel Publishing Company, 1981.
- [5] Frege G., "Über Sinn und Bedeutung", Zeitschrift für Philosophie und philosophische Kritik, 100 (1892), 25-50.
- [6] Gallin D., Intensional and higher-Order Modal Logic, Amsterdam, North Holland, 1975. Zbl0341.02014MR505268
- [7] Guenther F., Studies in formal semantics : intensionality, temporality, negation, Amsterdam, North Holland, 1973.
- [8] Henkin L., "Completeness in the theory of types", Journal of Symbolic Logic, 15 (1950), 81-91. Zbl0039.00801MR36188
- [9] Henkin L., "A theory of propositional types", Fund. Math., 52 (1963), 323-344. Zbl0127.00609MR153532
- [10] Humes G.E., Creswell M.J., An introduction to modal logic, London, 1968. Zbl0205.00503
- [11] Kaplan D., Foundations of intensional logic, Doctoral dissertation, University of California at Los Angeles, 1964.
- [12] Kratzer A., Conditional Necessity and Possibility, in Semantics from different points of view, Berlin, éd. R. Boinesle, U. Egli, A. von Stechow, Springer-Verlag, 1979.
- [13] Kripke S., "Semantical analysis of modal logic I", Z. Math. Logik Grundlagen Math., 9 (1963), 67-96. Zbl0118.01305MR146053
- [14] Kripke S., "Semantical considerations on medal logic", Acta Philosophica Fennica, 16 (1963), 95-121. Zbl0131.00602MR170800
- [15] Montague R., Formal philosophy : selected papers of Richard Montague, New Haven, éd. Thomason, 1974.
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.