Skip to main content

Principles of Categorial Grammar in the Light of Current Formalisms

  • Chapter
The Vienna Circle and the Lvov-Warsaw School

Part of the book series: Nijhoff International Philosophy Series ((NIPS,volume 38))

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

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 219.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

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.

    Article  Google Scholar 

  • Ajdukiewicz, K. (1935): “Die syntaktische Konnexität”, Studia Philosophica I , pp. 1–27.

    Google Scholar 

  • Ajdukiewicz, K. (1960): “Zwiazki skladniowe miedzy czlonami zdan oznajmujacych”, Studia Filozoficzne, 6, pp.73–86.

    Google Scholar 

  • Bar-Hillel, Y. (1953): “A quasi-arithmetical notation for syntactic description”, Language 29, pp.47–58.

    Article  Google Scholar 

  • Bar-Hillel, Y., C. Gaifman and C. Shamir (1960): “On categorial and phrase structure grammars”, Bull. Res. Council Israel F 9, pp.155–166.

    Google Scholar 

  • Bochenski, J.M. (1949): “On the syntactical categories”, New Scholasticism, 23, pp.257–280.

    Google Scholar 

  • 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.

    Google Scholar 

  • Buszkowski, W. (1984): “Fregean grammar and residuated semigroups” in G. Wechsung [ed.], Frege Conference 1984, Akademie Verlag, Berlin.

    Google Scholar 

  • 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.

    Google Scholar 

  • Buszkowski, W. (1986): “Typed functorial languages”, Bull. Pol. Acad. Scie. (Math.), 34, pp.495–505.

    Google Scholar 

  • Buszkowski, W. (1986a): “Completeness results for Lambek syntactic calculus”, Zeitschr. f. math. Logik und Grundlagen d. Math.E, 32 pp.13–28.

    Article  Google Scholar 

  • Buszkowski, W. (1986b): “Generative capacity of nonassociative Lambek calculus”, Bull. Pol. Acad. Scie. (Math.), 34, pp.507–516.

    Google Scholar 

  • Buszkowski, W. (1987a): “Solvable problems for classical categorial grammars”, Bull. Pol. Acad. Scie. (Math.), 35.

    Google Scholar 

  • Buszkowski, W. (1987b): “The logic of types”, in J. Srzednicki [ed.], Initiatives in Logic, Dordrecht: Nijhoff.

    Google Scholar 

  • Buszkowski, W., W. Marciszewski and van J. Benthem [eds.] (1988): Categorial Grammar, Amsterdam: J. Benjamins.

    Google Scholar 

  • Buszkowski, W. (1989): Logiczne podstawy gramatyk kategorialnych Ajdukiewicza-Lambeka, Warszawa: PWN.

    Google Scholar 

  • Cresswell, M.J. (1973): Logics and Languages, London: Methuen.

    Google Scholar 

  • Curry, H.B. and R. Feys (1958): Combinatory Logic, vol. I, Amsterdam: North-Holland.

    Google Scholar 

  • Curry, H.B., J.R. Hindley and J.P. Seldin (1970): Combinatory Logic, vol. II, Amsterdam: North-Holland.

    Google Scholar 

  • 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.

    Article  Google Scholar 

  • Došen, K. (1986): “Sequent systems and groupoid models”, manuscr., Belgrade.

    Google Scholar 

  • Fraenkel, A.A., Y. Bar-Hillel and A. Levy (1973): Foundations of Set Theory, Amsterdam: North-Holland.

    Google Scholar 

  • Geach, P.T. (1968): “A program for syntax”, Synthese, 22, pp.3–17.

    Article  Google Scholar 

  • Hausser, R.R. (1984): Surface Compositional Grammar, Munich: Wilhelm Fink Verlag.

    Google Scholar 

  • Hausser, R.R. (1987): “Left-associative grammar”, manuscr. Munich.

    Google Scholar 

  • Hiz, H. (1960): “The intuition of grammatical categories”, Methodos 48, pp.1–9.

    Google Scholar 

  • Hiz, H. (1967): “Grammar logicism”, The Monist, 51, pp.110–127.

    Google Scholar 

  • Kandulski, M. (1988): “The nonassociative Lambek calculus”, in Buszkowski et al.

    Google Scholar 

  • Kandulski, M. (1989): “Phrase-structure languages generated by nonassociative Lambek grammars”, Zeitschr. f. math. Logik und Grundlagen d. Math., 35, to appear.

    Google Scholar 

  • Keenan, E.L. and L.M. Faltz (1985): Boolean Semantics for Natural Languages, Dordrecht: D. Reidel.

    Google Scholar 

  • Lambek, J. (1958): “The mathematics of sentence structure”, American Math. Monthly, 65, pp.154–170.

    Article  Google Scholar 

  • Lambek, J. (1961): “On the calculus of syntactic types”, in R. Jacobson [ed.], Structure of Language and Its Mathematical Aspects, Ams, Providence,

    Google Scholar 

  • Lambek, J. and P.J. Scott (1986): Introduction to Higher Order Categorical Logic, Cambridge: Cambridge University Press.

    Google Scholar 

  • Lehrberger, J. (1974): Functor Analysis of Natural Language, Janua Linguarum, The Hague-Paris: Mouton.

    Google Scholar 

  • Marciszewski, W. (1988): “How freely can categories be assigned to natural language expressions?”, in Buszkowski et al.

    Google Scholar 

  • Marcus, S. (1967): Algebraic Linguistics; Analytical Models, New York: Academic Press.

    Google Scholar 

  • Montague, R. (1970): “Universal grammar”, Theoria, 36, pp.373–398.

    Article  Google Scholar 

  • Montague, R, (1973): “The proper treatment of quantification in ordinary English”, in J. Hintikka et al. [eds.], Approaches to Natural Language, Dordrecht: D. Reidel.

    Google Scholar 

  • Oehrle, R. T., E, Bach and D. Wheeler (1987): Categorial Grammars and Natural Language Structures, Dordrecht: D. Reidel.

    Google Scholar 

  • Suszko, R. (1958): “Syntactic structure and semantical reference I”, Studia Logica, 8, pp.213–244.

    Article  Google Scholar 

  • Suszko, R. (1960): “Syntactic structure and semantical reference II”, Studia Logica, 9, pp.63–91.

    Article  Google Scholar 

  • Tarski, A. (1933): Pojęcie prawdy w jçzykach nauk dedukcyjnych, Warszawa.

    Google Scholar 

  • Turner, R. (1985): “Three theories of nominalized predicates”, Studia Logica, 44, pp. 165–186.

    Article  Google Scholar 

  • Van Benthem, J. (1986): Essays in Logical Semantics, Dordrecht: D. Reidel.

    Book  Google Scholar 

  • Van Benthem, J. (1987): The Lambek Calculus, in Oehrle et al.

    Google Scholar 

  • Van Benthem, J. (1988): “The semantics of variety in categorial gramma.”, in Buszkowski et al.

    Google Scholar 

  • Wybraniec-Skardowska, U. (1985): Teorie języków syntaktycznie kategorialnych, Warszawa-Wroclaw: PWN.

    Google Scholar 

Download references

Authors

Rights and permissions

Reprints 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

Publish with us

Policies and ethics