Abstract
One of the most influential achievements of Kazimierz Ajdukiewicz, a prominent representative of the Warsaw-Lemberg School, is an idea of syntactic description by means of logical types, underlying the theory of grammar later called categorial grammar. Many essential components of this idea can be found in earlier logico-linguistic speculations of Frege (functor-argument analysis, compositional semantics), Husserl (categories as substitution classes), Russell (types in syntax and ontology), and others; Ajdukiewicz (1935) acknowledged his new indebtedness to Stanislaw Lesniewski, whose work in deep foundations of mathematics contributed so much to the theory of typed languages. We may also presume that Ajdukiewicz’s attempt to elaborate a universal method of syntactic description was not quite independent of the goals and results of logical syntax, a theory promoted and highly advanced by Rudolf Carnap. In the fifties, both Carnap and Ajdukiewicz influenced Bar-Hiller’s investigations in the formal theory of categorial grammars and their applications to natural language (cf. Bar-Hillel (1953), Bar-Hillel et al. (1960)). In general, as clearly demonstrated by Hiż (1967) the principles of categorial grammar have much in common with the doctrine of logicism, a philosophical orientation guiding the major enterprises of the Warsaw-Lemberg School and the Vienna Circle
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Ades, A.E. and M.J. Steedman (1982): “On the order of words”, Linguistics and Philosophy, 4, pp.517–558.
Ajdukiewicz, K. (1935): “Die syntaktische Konnexität”, Studia Philosophica I , pp. 1–27.
Ajdukiewicz, K. (1960): “Zwiazki skladniowe miedzy czlonami zdan oznajmujacych”, Studia Filozoficzne, 6, pp.73–86.
Bar-Hillel, Y. (1953): “A quasi-arithmetical notation for syntactic description”, Language 29, pp.47–58.
Bar-Hillel, Y., C. Gaifman and C. Shamir (1960): “On categorial and phrase structure grammars”, Bull. Res. Council Israel F 9, pp.155–166.
Bochenski, J.M. (1949): “On the syntactical categories”, New Scholasticism, 23, pp.257–280.
Buszkowski, W. (1982): “Compatibility of a categorial grammar with an associated category system”, Zeitschrift f. math. Logik und Grundlagen d. Math. 28, pp.229–238.
Buszkowski, W. (1984): “Fregean grammar and residuated semigroups” in G. Wechsung [ed.], Frege Conference 1984, Akademie Verlag, Berlin.
Buszkowski, W. (1985): “Algebraic models of categorial grammars”, in G. Dorn and P. Weingartner [eds.], Foundation of Logic and Linguistics: Problems and Their Solutions, Plenum, New York.
Buszkowski, W. (1986): “Typed functorial languages”, Bull. Pol. Acad. Scie. (Math.), 34, pp.495–505.
Buszkowski, W. (1986a): “Completeness results for Lambek syntactic calculus”, Zeitschr. f. math. Logik und Grundlagen d. Math.E, 32 pp.13–28.
Buszkowski, W. (1986b): “Generative capacity of nonassociative Lambek calculus”, Bull. Pol. Acad. Scie. (Math.), 34, pp.507–516.
Buszkowski, W. (1987a): “Solvable problems for classical categorial grammars”, Bull. Pol. Acad. Scie. (Math.), 35.
Buszkowski, W. (1987b): “The logic of types”, in J. Srzednicki [ed.], Initiatives in Logic, Dordrecht: Nijhoff.
Buszkowski, W., W. Marciszewski and van J. Benthem [eds.] (1988): Categorial Grammar, Amsterdam: J. Benjamins.
Buszkowski, W. (1989): Logiczne podstawy gramatyk kategorialnych Ajdukiewicza-Lambeka, Warszawa: PWN.
Cresswell, M.J. (1973): Logics and Languages, London: Methuen.
Curry, H.B. and R. Feys (1958): Combinatory Logic, vol. I, Amsterdam: North-Holland.
Curry, H.B., J.R. Hindley and J.P. Seldin (1970): Combinatory Logic, vol. II, Amsterdam: North-Holland.
Dosen, K. (1985): “A completeness theorem for the Lambek calculus of syntactic categories”, Zeitschr f. math. Logik und Grundlagen d. Math., 31, pp.235–241.
Došen, K. (1986): “Sequent systems and groupoid models”, manuscr., Belgrade.
Fraenkel, A.A., Y. Bar-Hillel and A. Levy (1973): Foundations of Set Theory, Amsterdam: North-Holland.
Geach, P.T. (1968): “A program for syntax”, Synthese, 22, pp.3–17.
Hausser, R.R. (1984): Surface Compositional Grammar, Munich: Wilhelm Fink Verlag.
Hausser, R.R. (1987): “Left-associative grammar”, manuscr. Munich.
Hiz, H. (1960): “The intuition of grammatical categories”, Methodos 48, pp.1–9.
Hiz, H. (1967): “Grammar logicism”, The Monist, 51, pp.110–127.
Kandulski, M. (1988): “The nonassociative Lambek calculus”, in Buszkowski et al.
Kandulski, M. (1989): “Phrase-structure languages generated by nonassociative Lambek grammars”, Zeitschr. f. math. Logik und Grundlagen d. Math., 35, to appear.
Keenan, E.L. and L.M. Faltz (1985): Boolean Semantics for Natural Languages, Dordrecht: D. Reidel.
Lambek, J. (1958): “The mathematics of sentence structure”, American Math. Monthly, 65, pp.154–170.
Lambek, J. (1961): “On the calculus of syntactic types”, in R. Jacobson [ed.], Structure of Language and Its Mathematical Aspects, Ams, Providence,
Lambek, J. and P.J. Scott (1986): Introduction to Higher Order Categorical Logic, Cambridge: Cambridge University Press.
Lehrberger, J. (1974): Functor Analysis of Natural Language, Janua Linguarum, The Hague-Paris: Mouton.
Marciszewski, W. (1988): “How freely can categories be assigned to natural language expressions?”, in Buszkowski et al.
Marcus, S. (1967): Algebraic Linguistics; Analytical Models, New York: Academic Press.
Montague, R. (1970): “Universal grammar”, Theoria, 36, pp.373–398.
Montague, R, (1973): “The proper treatment of quantification in ordinary English”, in J. Hintikka et al. [eds.], Approaches to Natural Language, Dordrecht: D. Reidel.
Oehrle, R. T., E, Bach and D. Wheeler (1987): Categorial Grammars and Natural Language Structures, Dordrecht: D. Reidel.
Suszko, R. (1958): “Syntactic structure and semantical reference I”, Studia Logica, 8, pp.213–244.
Suszko, R. (1960): “Syntactic structure and semantical reference II”, Studia Logica, 9, pp.63–91.
Tarski, A. (1933): Pojęcie prawdy w jçzykach nauk dedukcyjnych, Warszawa.
Turner, R. (1985): “Three theories of nominalized predicates”, Studia Logica, 44, pp. 165–186.
Van Benthem, J. (1986): Essays in Logical Semantics, Dordrecht: D. Reidel.
Van Benthem, J. (1987): The Lambek Calculus, in Oehrle et al.
Van Benthem, J. (1988): “The semantics of variety in categorial gramma.”, in Buszkowski et al.
Wybraniec-Skardowska, U. (1985): Teorie języków syntaktycznie kategorialnych, Warszawa-Wroclaw: PWN.
Rights and permissions
Copyright information
© 1989 Kluwer Academic Publishers
About this chapter
Cite this chapter
Buszkowski, W. (1989). Principles of Categorial Grammar in the Light of Current Formalisms. In: The Vienna Circle and the Lvov-Warsaw School. Nijhoff International Philosophy Series, vol 38. Springer, Dordrecht. https://doi.org/10.1007/978-94-009-2829-9_7
Download citation
DOI: https://doi.org/10.1007/978-94-009-2829-9_7
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-7773-6
Online ISBN: 978-94-009-2829-9
eBook Packages: Springer Book Archive