Skip to main content
SpringerLink
Log in

Geach’s Categorial Grammar

  • Published:
Linguistics and Philosophy Aims and scope Submit manuscript

Abstract

Geach’s rich paper ‘A Program for Syntax’ introduced many ideas into the arena of categorial grammar, not all of which have been given the attention they warrant in the thirty years since its first publication. Rather surprisingly, one of our findings (Section 3 below) is that the paper not only does not contain a statement of what has widely come to be known as “Geach’s Rule”, but in fact presents considerations which are inimical to the adoption of the rule in question. With regard to at least some amongst the numerous other points extracted here from Geach’s discussion, we shall not be able to reach so definitive a conclusion, and content ourselves with giving the issues an airing.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Anscombe G.E.M. (1975). ‘The First Person’. In: Guttenplan (ed.). pp. 45–65

  • Johan. Benthem Particlevan (1986) Essays in Logical Semantics Reidel Dordrecht

    Google Scholar 

  • Johan. Benthem Particlevan (1987) ArticleTitle‘Meaning: Interpretation and Inference’ Synthese. 75 451–470

    Google Scholar 

  • Johan. Benthem Particlevan (1987) ‘Categorial Grammar and Lambda Calculus’ D. Skordev (Eds) Mathematical Logic and Its Applications. Plenum Press New York 39–80

    Google Scholar 

  • van Benthem Johan. (1988). ‘The Lambek Calculus’. In: Oehrle et al. (eds). pp. 35–68

  • Johan. Benthem Particlevan (1989) ‘Syntactic Type-Change and Syntactic Recognition’ G. Chierchia B.H. Partee R. Turner (Eds) Properties, Types and Meaning: I. Kluwer Academic Publishers Dordrecht 231–249

    Google Scholar 

  • Johan. Benthem Particlevan (1991) Language in Action: Categories, Lambdas and Dynamic Logic North-Holland Amsterdam

    Google Scholar 

  • Johan. Benthem Particlevan Meulen. Alice ter (Eds) (1997) Handbook of Logic and Language Elsevier Amsterdam

    Google Scholar 

  • M.C. Bradley (1986) ArticleTitle‘Geach and Strawson on Negating Names’ Philosophical Quarterly 36 16–28 Occurrence HandleMR904258

    MathSciNet  Google Scholar 

  • Wojciech. Buszkowski (1985) ‘Algebraic Models of Categorial Grammar’ G. Dorn P. Weingartner (Eds) Foundations of Logic and Linguistics. Plenum Press New York 403–426

    Google Scholar 

  • Wojciech. Buszkowski (1987) ‘The Logic of Types’ Srzednicki. Jan (Eds) Initiatives in Logic. Martinus Nijhoff Dordrecht 180–206

    Google Scholar 

  • Buszkowski Wojciech. (1997). ‘Mathematical Linguistics and Proof Theory’. In: van Benthem., ter Meulen. (eds). pp. 683–786

  • Wojciech. Buszkowski Marciszewski. Witold Benthem. Johan van (Eds) (1988) Categorial Grammar John Benjamins Amsterdam

    Google Scholar 

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

    Google Scholar 

  • M.J. Cresswell (1985) ArticleTitle‘Review of Harold D Levin, Categorial Grammar and the Logical Form of Quantification (Bibliopolis, Naples’ Theoria 51 55–60

    Google Scholar 

  • Donald. Davidson Harman. Gilbert (Eds) (1972) Semantics of Natural Language Reidel Dordrecht

    Google Scholar 

  • Dowty David. (1988). ‘Type Raising, Functional Composition, and Non-Constituent Conjunction’. In: Oehrle et al. (eds.). pp. 153–197

  • J. Eijck Particlevan (1997) ‘Geach, Peter Thomas’ Lamarque. Peter V. (Eds) Concise Encyclopedia of Philosophy of Language. Pergamon (Elsevier) Oxford 516–517

    Google Scholar 

  • Gerald. Gazdar (1980) ArticleTitle‘A Cross-Categorial Semantics for Coordination’ Linguistics and Philosophy 3 407–409

    Google Scholar 

  • Gerald. Gazdar (1981a) ArticleTitle‘Unbounded Dependencies and Coordinate Structure’ Linguistic Inquiry 12 155–184

    Google Scholar 

  • Gerald. Gazdar (1981b) ArticleTitle‘On Syntactic Categories’ Phil. Transactions Royal Society London B 295 267–282

    Google Scholar 

  • Gerald. Gazdar Klein. Ewan Pullum. Geoffrey Sag. Ivan (1985) Generalized Phrase Structure Grammar Basil Blackwell Oxford

    Google Scholar 

  • P.T. Geach (1965) ArticleTitle‘Assertion’ Philosophical Review. 74 449–465

    Google Scholar 

  • P.T. Geach (1968) Reference and Generality, (emended edition) Cornell University Press Ithaca

    Google Scholar 

  • Geach P.T. (1972). ‘A Program for Syntax’, in Davidson and Harman (eds.). (originally publ. 1970). pp. 483–497

  • Geach P.T. (1975). ‘Names and Identity’, in Guttenplan (ed.). pp. 139–158

  • Geach P.T. (1991). ‘Replies’, in Lewis (ed.). pp. 247–306

  • Jeroen. Groenendijk Stokhof. Martin (1989) ‘Type-Shifting Rules and the Semantics of Interrogatives’ G. Chierchia B.H. Partee R. Turner (Eds) Properties, Types and Meanings II. Kluwer Academic Publishers Dordrecht 21–68

    Google Scholar 

  • S. Guttenplan (Eds) (1975) Mind and Language Clarendon Press Oxford

    Google Scholar 

  • Risto. Hilpinen (1981) ‘Conditionals and Possible Worlds’ G. Floistad (Eds) Contemporary Philosophy: A New Survey, Vol. 1. Martinus Nijhoff The Hague 299–335

    Google Scholar 

  • Hilpinen Risto. (1982) ‘Disjunctive Permissions and Conditionals with Disjunctive Antecedents’, Acta Philosophica Fennica 35, 175-194. (This volume published as Intensional Logic: Theory and Applications, edited by I. Niiniluoto and E. Saarinen)

  • T. Hodes Harold (1982) ArticleTitle‘The Composition of Fregean Thoughts’ Philosophical Studies 41 161–178

    Google Scholar 

  • Huddleston, Rodney: (1988). ‘Review of Quirk et al. (1985)’, Language 64, 345–354

  • Humberstone Lloyd. (1975). ‘Review of Davidson and Harman (1972)’. York Papers in Linguistics 5, 195–224

  • Humberstone Lloyd. (1992). ‘Review of Lewis (1991)’. Australasian Journal of Philosophy 70, 367–369

    Google Scholar 

  • Lloyd. Humberstone (2000) ArticleTitle‘What Fa Says About a’ Dialectica 54 1–28

    Google Scholar 

  • Pauline. Jacobson (1990) ArticleTitle‘Raising as Function Composition’ Linguistics and Philosophy 13 423–475

    Google Scholar 

  • Jacobson Pauline. (1992). ‘Flexible Categorial Grammars: Questions and Prospects’, in Levine (ed.). pp. 129–167

  • Hans. Karlgren (1974) Categorial Grammar Calculus Sprekförlaget Skriptor AB Stockholm

    Google Scholar 

  • E.L. Keenan L. Faltz (1985) Boolean Semantics of Natural Language Reidel Dordrecht

    Google Scholar 

  • Joachim. Lambek (1958) ArticleTitle‘The Mathematics of Sentence Structure’ American Mathematical Monthly 65 154–170

    Google Scholar 

  • Lambek Joachim. (1961). ‘On the Calculus of Syntactic Types’. In: Jakobson R. (ed.). Structure of Language and its Mathematical Aspects, Proceedings of Symposia in Applied Mathematics 12, 166–178

  • Robert. Levine (Eds) (1992) Formal Grammar: Theory and Implementation Oxford University Press New York

    Google Scholar 

  • Lewis David. (1972). ‘General Semantics’. In: Davidson., Harman (eds.). pp. 169–218, (Originally published in 1970)

  • A. Lewis Harry (Eds) (1991) Peter Geach: Philosophical Encounters Kluwer Academic Publishers Dordrecht

    Google Scholar 

  • Marciszewski Witold. (1988a). ‘A Chronicle of Categorial Grammar’, in Buszkowski, Marciszewski and van Benthem (eds.). pp. 7–21

  • Marciszewski, Witold: (1988b). ‘How Freely Can Categories be Assigned to Expressions of Natural Language?’, in Buszkowski, Marciszewski and van Benthem (eds.). pp. 197–220

  • Montague Richard. (1974). Formal Philosophy. In: Thomason R.H. (ed.). Yale University Press, New Haven Moortgat, Michael: 1988, Categorial Investigations. Foris Publications, Dordrecht, pp. 1–2

  • Moortgat Michael. (1997). ‘Categorial Type Logics’. in van Benthem and ter Meulen (eds.). pp. 93–177

  • Lawrence. Nemirow (1979) ArticleTitle‘No Argument Against Ramsey’ Analysis 39 138–146

    Google Scholar 

  • Oehrle R.T. (1992). ‘Dynamic Categorial Grammar’, in Levine (ed.). pp. 79–128

  • R.T. Oehrle E. Bach D. Wheeler (Eds) (1988) Categorial Grammars and Natural Language Structures Reidel Dordrecht

    Google Scholar 

  • Partee Barbara., Matts Rooth. (1983). ‘Generalized Conjunction and Type Ambiguity’. In: Baerle R., Schwarze C., von Stechow A. (ed). Meaning, Use, and Interpretation of Language. de Gruyter, Berlin, pp. 361–383

  • Potts Timothy (1994). Structures and Categories for the Representation of Meaning, Cambridge University Press

  • Randolph. Quirk Greenbaum. Sidney Leech. Geoffrey (1972) A Grammar of Contemporary English Longman London

    Google Scholar 

  • Randolph. Quirk Greenbaum. Sidney Leech. Geoffrey Svartvik. Jan (1985) A Comprehensive Grammar of the English Language Longman London

    Google Scholar 

  • Ross John Robert. (1967). Constraints on Variables in Syntax, MIT PhD Thesis, distributed by Indiana University Linguistics Club. (Published with minor supplementation in book form as Infinite Syntax!, Ablex Publ. Corp., Norwood, N.J., 1986.)

  • Ian. Rumfitt (1994) ArticleTitle‘Frege’s Theory of Predication: An Elaboration and Defense, with Some New Applications’ Philosophical Review 103 599–637

    Google Scholar 

  • Ivan. Sag Gazdar. Gerald Wasow. Thomas Weisler. Steven (1985) ArticleTitle‘Coordination and How to Distinguish Categories’ Natural Language and Linguistic Theory 3 117–171

    Google Scholar 

  • Peter. Simons (1989) ArticleTitle‘Combinators and Categorial Grammar’ Notre Dame Journal of Formal Logic 30 241–261

    Google Scholar 

  • Steedman. Mark (1993) ArticleTitle‘Categorial Grammar’ Lingua 90 221–258

    Google Scholar 

  • Turner Raymond. (1997). ‘Types’, in van Benthem and ter Meulen (eds.). pp. 535–586

  • C.J.F. Williams (1989) What is Identity? Clarendon Press Oxford

    Google Scholar 

  • C.J.F. Williams (1992) ArticleTitle‘A Unified Theory of Higher-Order Predication’ Philosophical Quarterly 42 449–464

    Google Scholar 

  • Wood. McGee Mary. (1993) Categorial Grammars Routledge London

    Google Scholar 

  • W. Zielonka (1981) ArticleTitle‘Axiomatizability of Ajdukiewicz-Lambek Calculus by Means of Cancellation Schemes’ Zeitschrift für Math. Logik und Grundlagen der Math. 27 215–224

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Philosophy, Monaash University, P.O. Box 11a, Clayton, VIC, 3800, Australia

    Lloyd Humberstone

Authors
  1. Lloyd Humberstone
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Humberstone, L. Geach’s Categorial Grammar. Linguist Philos 28, 281–317 (2005). https://doi.org/10.1007/s10988-004-7160-y

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10988-004-7160-y

Keywords

Search

Navigation