On a logical formalization of natural language. (English) Zbl 0725.03011

The paper discusses some problems in formalizing natural languages. A formalized language is presented as a “many-sorted algebra” with a distinguished sort of “statements” (this approach was originated by R. Montague). Two kinds of formalized languages are considered: applicative and combinatorial. Applicative languages ae those in which sorts can be associated to grammatical categories; combinatorial languages are their extensions with polynomial functional symbols. The author argues whether natural languages can be interpreted in this way. The problems discussed are: intensionality, predication and nominalization, paraphrasing. The last section contains some informal remarks on possible new approaches involving “meanings” and “deep” structure.


03B65 Logic of natural languages
Full Text: EuDML Link


[1] K. Ajdukiewicz: Die syntaktische Konexitat. Studia Philosophica 1 (1935), 1 - 27. · Zbl 0015.33702
[2] Y. Bar-Hillel: A quasi-arithmetical notation for syntactic description. Language XXIX (1953), 47-58. · Zbl 0156.25402
[3] J. Barwise, J. Perry: Situations and Attitudes. MIT Press, Cambridge 1983. · Zbl 0946.03007
[4] J. van Benthem: Categorial grammar and type theory. Linguist. Philos. · Zbl 0695.03016 · doi:10.1007/BF00263539
[5] [5J J. C Bigelow: Believing in semantics. Linguist. Philos. 2 (1978), 101-144. · Zbl 0377.02017 · doi:10.1007/BF00365131
[6] R. Carnap: Meaning and Necessity. Univ. of Chicago Press, Chicago 1957. · Zbl 0034.00106
[7] G. Chierchia: Topics in the Syntax and Semantics of Infinitives and Gerunds. Ph. D. Dissertation, Univ. of Massachusets, Amherst 1984.
[8] C Casadio: Semantic categories and the development of categorial grammars. Categorial Grammars and Natural Language Structures (T. Oeherle et al.. Reidel, Dordrecht 1988, 95-123.
[9] N. Chomsky: Syntactic Structures. Mouton, The Hague 1957.
[10] A. Church: A formulation of the simple theory of types. J. Symbolic Logic 5 (1940), 56 - 68. · Zbl 0023.28901 · doi:10.2307/2266170
[11] N. B. Cocchiarella: Conceptualism, realism and intensional Logic. Manuscript.
[12] H. B. Curry, R. Feys: Combinatory Logic. North Holland, Amsterdam 1957. · Zbl 0175.27601
[13] D. Davidson: Essay on Actions and Events. Claredon Press, Oxford 1980.
[14] G. Frege: Begriffsschrift. Verlag von H. Nebert, Halle, Saale 1979. · JFM 11.0048.02
[15] G. Frege: Funktion und Begriff. Ein Vortrag gehalten in der Sitzung vom 9. 1. 1981 der Jenaischen Gesellschaft fur Medizin und Naturwissenschaft. Reprinted in Logik Texte (K. Berka and L. Kreisel, Akademie-Verlag 1971. · Zbl 0446.03004
[16] T. M. V. Janssen: Foundations and Applications of Montague Grammar. Mathematisch Centrum, Amsterdam 1983.
[17] J. G. Kemeny: Models of Logical Systems. J. Symbolic Logic 13 (1948).
[18] J. Lambek: The mathematics of sentence structure. Amer. Math. Monthly LXV (1958), 154-170. · Zbl 0080.00702 · doi:10.2307/2310058
[19] P. Materna: On understanding and believing. Prague Studies in Math. Lingustics 8 (1983), 211-218. · Zbl 0565.03004
[20] R. Montague: Formal Philosophy: Selected Papers of R. M. (R. Thomasson, Yale Univ. Press, Yale 1974.
[21] T. Parsons: Underlaying events in the logical analysis of English. Actions and Events (E. LePore and B. P. McLaughlin, Blackwell 1985.
[22] J. Peregrin: A contribution to the theory of propositional attitudes. Prague Bulletin of Mathematical Linguistics 48 (1987), 13 - 36.
[23] J. Peregrin: Přirozený jazyk, PROLOG a ,,události” (Natural Language, PROLOG and ,,events”). Proc. of the AT 88 Symposium, Prague 1988
[24] J. Peregrin: Theory of types: good servant bad master. Prague Studies in Math. Lingustics
[25] J. Peregrin: A formal theory of meaning. In preparation.
[26] D. Scott: Continuous lattices. Toposes, Algebraic Geometry and Logic (F. W. Lawrence, Springer-Verlag, Berlin 1972. · Zbl 0239.54006
[27] P. Sgall E. Hajíčová, J. Panevová: The Meaning of the Sentence in its Semantic and Pragmatic Aspects. Academia, Prague 1986.
[28] M. J. Steedman: Combinators and grammars. Categorial Grammars and Natural Language Structures (T. Oeherle et al., Reidel, Dordrecht 1985, 417 - 442.
[29] A. Strigin: Logic for syntax. Proc. ’87 Debrecen Symposium on Logic and Language (I. Ruzsa, A. Szabolcsi, Budapest 1987, pp. 163-170.
[30] P. Tichý: Logic of temporal discourse. Linguist. Philos. 3 (1980), 313-369.
[31] P. Tichý: Constructions. Philos. Sci. 55(1986), 514-543.
[32] R. Turner: Montague semantics, nominalization and Scott’s domains. Linguist. Philos. 6 (1983), 259-288. · Zbl 0522.03016 · doi:10.1007/BF00635645
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.