Abstract
The idea that natural language grammar and planned action are relatedsystems has been implicit in psychological theory for more than acentury. However, formal theories in the two domains have tendedto look very different. This article argues that both faculties sharethe formal character of applicative systems based on operationscorresponding to the same two combinatory operations, namely functional composition and type-raising. Viewing them in thisway suggests simpler and more cognitively plausible accounts of bothsystems, and suggests that the language faculty evolved in the speciesand develops in children by a rather direct adaptation of a moreprimitive apparatus for planning purposive action in the world bycomposing affordances of objects or tools. Theknowledge representation that underlies such planning is alsoreflected in the natural language semantics of tense, mood, andaspect, which the paper begins by arguing provides the key tounderstanding both systems.
Similar content being viewed by others
REFERENCES
Ades, A. and M. Steedman: 1982, 'On the Order of Words', Linguistics and Philosophy 4, 517–558.
Armelín, P. and D. Pym: 2001, 'Bunched Logic Programming', in Proceedings of IJCAR 2001, to appear.
Bach, E.: 1983, 'Generalized Categorial Grammars and the English Auxiliary', in F. Heny and B. Richards (eds.), Linguistic Categories: Auxiliaries and Related Puzzles, II, Reidel, Dordrecht, pp. 101–120.
Barker, C.: 2001, 'Continuations and the Nature of Quantification', Linguistics and Philosophy, to appear.
Bibel, W., L. F. del Cerro, B. Fronhfer, and A. Herzig: 1989, 'Plan Generation by Linear Proofs: On Semantics', in German Workshop on Artificial Intelligence-GWAI'89, Vol. 216 of Informatik-Fachberichte, Springer Verlag, Berlin.
Bruner, J.: 1968, Processes of Cognitive Growth: Infancy, Clark University Press, Worcester, MA.
Bullowa, M.: 1979, Before Speech: The Beginning of Interpersonal Communication, Cambridge University Press, Cambridge.
Caramazza, A. and A. Hillis: 1991, 'Lexical Organization of Nouns and Verbs in the Brain', Nature 349, 788–790.
Cervesato, I., J. S. Hodas, and F. Pfenning: 1996, 'Efficient Resource Management for Linear Logic Proof Search', in R. Dyckhoff, H. Herre, and P. Schroeder-Heister (eds.), Proceedings of the 1996 Workshop on Extensions to Logic Programming, 1050 in Lecture Notes in Artificial Intelligence, Springer-Verlag, Berlin, pp. 67–82.
Curry, H. B. and R. Feys: 1958, Combinatory Logic, Vol. I, North Holland, Amsterdam.
de Laguna, G.: 1927, Speech: Its Function and Development, Yale University Press, New Haven, CT.
Deacon, T.: 198, 'Human Brain Evolution-I: Evolution of Human Language Circuits', in H. Jerison and I. Jerison (eds.), Intelligence and Evolutionary Biology, Springer-Verlag, Berlin.
Deacon, T.: 1997, The Symbolic Species, Norton, New York.
Diamond, A.: 1990, 'Developmental Time Course in Human Infant and Baby Monkeys and the Neural Bases of Inhibitory Control in Reaching', in A. Diamond (ed.), The Development and Neural Bases of Higher Cognitive Functions, New York Academy of Sciences, New York, pp. 637–676.
Dowty, D.: 1972, Studies in the Logic of Verb Aspect and Time Reference in English, PhD thesis, University of Texas at Austin.
Dowty, D.: 1979, 'Dative Movement and Thomason's Extensions of Montague Grammar', in S. Davis and M. Mithun (eds.), Linguistics, Philosophy, and Montague Grammar, University of Texas Press, Austin, TX, pp. 153–222.
Dowty, D.: 1988, 'Type-Raising, Functional Composition and Nonconstituent Coordination', in R. T. Oehrle, E. Bach, and D.Wheeler (eds.), Categorial Grammars and Natural Language Structures, Reidel, Dordrecht, pp. 153–198.
Dowty, D.: 1996, 'Towards a Minimalist Theory of Syntactic Structure', in H. Bunt and A. van Horck (eds.), Discontinuous Constituency, Mouton de Gruyter, The Hague, pp. 11–62.
Fikes, R. and N. Nilsson: 1971, 'Strips: A New Approach to the Application of Theorem Proving to Problem Solving', 2, 189–208.
Gardner, R. A. and B. Gardner: 1969, 'Teaching Sign Language to a Chimpanzee', Science 165, 664–672.
Gelfond, M. and V. Lifschitz: 1993, 'Representing Actions and Change by Logic Programs', Journal of Logic Programming 17, 301–321.
Gibson, E. and E. Spelke: 1983, 'The Development of Perception', in P. Mussen (ed.), Handbook of Child Psychology, Vol. 3: Cognitive Development, Wiley, New York, pp. 1–76.
Gibson, J.: 1950, The Perception of the Visual World, Houghton-Mifflin Co., Boston, MA.
Gibson, J. 1966, The Senses Considered as Perceptual Systems, Houghton-Mifflin Co., Boston, MA.
Gibson, J.: 1979, The Ecological Approach to Visual Perception, Houghton-Mifflin Co., Boston, MA.
Girard, J.-Y.: 1987, 'Linear Logic', Theoretical Computer Science 50, 1–102.
Girard, J.-Y.: 1995, 'Linear Logic: Its Syntax and Semantics', in J.-Y. Girard, Y. Lafont, and L. Regnier (eds.), Advances in Linear Logic, Vol. 222 of London Mathematical Society Lecture Notes, Cambridge University Press, Cambridge, pp. 1–42.
Greenfield, P.: 1991, 'Language, Tools and Brain', Behavioral and Brain Sciences 14, 531–595.
Greenfield, P., K. Nelson, and E. Saltzman: 1972, 'The Development of Rule-Bound Strategies for Manipulating Seriated Cups: A Parallel between Action and Grammar', Cognitive Psychology 3, 291–310.
Hanks, S. and D. McDermot: 1986, 'Default Reasoning, Nonmonotonic Logics, and the Frame Problem', in Proceedings of the 8th National Conference on Artificial Intelligence (AAAI-86), pp. 328–333.
Harel, D.: 1984, 'Dynamic Logic', in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, Vol. II, Reidel, Dordrecht, pp. 497–604.
Hoeksema, J.: 1991, 'Complex Predicates and Liberation in Dutch and English', Linguistics and Philosophy 14, 661–710.
Hölldobler, S. and J. Sneeberger: 1990, 'A New Deductive Approach to Planning', New Generation Computing 8, 225–244.
Japaridze, H.: 1998, The Logic of Resources and Tasks, PhD thesis, University of Pennsylvania.
Köhler, W.: 1925, The Mentality of Apes, Harcourt Brace and World, New York.
Kowalski, R.: 1979, Logic for Problem Solving, North Holland, Amsterdam.
Kowalski, R. and M. Sergot: 1986, 'A Logic-Based Calculus of Events', New Generation Computing 4, 67–95.
Lakoff, G.: 1987, Women, Fire, and Dangerous Things, University of Chicago Press, Chicago.
Lambek, J.: 1958, 'The Mathematics of Sentence Structure', American Mathematical Monthly 65, 154–170.
Lashley, K.: 1951, 'The Problem of Serial Order in Behavior', in L. Jeffress (ed.), Cerebral Mechanisms in Behavior, Wiley, New York, pp. 112–136. Reprinted in Saporta (1961).
Lee, D.: 1980, 'The Optic Flow Field: The Foundation of Vision', Philosophical Transactions of the Royal Society, Series B 290, 169–179.
Martí-Oliet, N. and J. Meseguer: 1999, 'Action and Change in Rewriting Logic', in R. Pareschi and B. Fronhöfer (eds.), Dynamic Worlds, Kluwer, Dordrecht, pp. 1–53.
McCarthy, J. and P. Hayes: 1969, 'Some Philosophical Problems from the Standpoint of Artificial Intelligence', in B. Meltzer and D. Michie (eds.), Machine Intelligence, Vol. 4, Edinburgh University Press, Edinburgh, pp. 473–502.
Miceli, G., M. Silveri, U. Nocentini, and A. Caramazza: 1988, 'Patterns of Dissociation in Comprehension and Production of Nouns and Verbs', Aphasiology 1, 351–358.
Miceli, G., M. Silveri, G. Villa, and A. Caramazza: 1984, 'On the Basis for the Agrammatic's Difficulty in Producing Main Verbs', Cortex 20, 207–220.
Miller, G., E. Galanter, and K. Pribram: 1960, Plans and the Structure of Behavior, Holt, London.
Moens, M.: 1987, Tense Aspect, and Time Reference, Ph.D thesis, University of Edinburgh.
Moens, M. and M. Steedman: 1988, 'Temporal Ontology and Temporal Reference', Computational Linguistics 14, 15–28.
Moortgat, M.: 1997, 'Categorial Type Logics', in J. van Benthem and A. ter Meulen (eds.), Handbook of Logic and Language, North Holland, Amsterdam, pp. 93–177.
Muskens, R.: 1999, 'Underspecified Semantics', in K. von Heusinger and U. Egli (eds.), Reference and Anaphoric Relations, Kluwer Dordrecht, pp. 311–338.
Narayanan, S.: 1997, 'Talking the Talk is Like Walking the Walk: A Computational Model of Verbal Aspect', in Proceedings of the Nineteenth Conference of the Cognitive Science Society, Stanford, August.
Narayanan, S.: 1999, 'Reasoning about Actions in Narrative Understanding', in Proceedings of the International Joint Conference on Artificial Intelligence, Stockolm, August, pp. 350–358.
Norman, D.: 1988, The Psychology of Everyday Things, Basic Books, New York.
Norman, D.: 1999, 'Affordance Conventions, and Design', Interactions 6, 38–43.
O'Hearn, P. and D. Pym: 1999, 'The Logic of Bunched Implications', Bulletin of Symbolic Logic 5, 215–244.
Premack, D.: 1971, 'Language in the Chimpanzee?', Science 172, 808–822.
Premack, D.: 1986, Gavagai!, MIT Press, Bradford Books, Cambridge, MA.
Pym, D.: 1999, 'On Bunched Predicate Logic', in Proceedings of the 14th Symposium on Logic in Computer Science Science (LICS), IEEE Computer Society.
Pym, D.: 2001, The Semantics and Proof Theory of the Logic of Bunched Implications, to appear.
Rescorla, R. and A. Wagner: 1972, 'A Theory of Pavlovian Conditioning', in A. Black and W. Prokasy (eds.), Classical Conditioning, II, Appleton-Century-Crofts, New York.
Rosenbaum, H.: 1977, 'Zapotec Gapping as Counterevidence to Some Universal Proposals', Linguistic Inquiry 8, 379–395.
Ross, J. R.: 1970, 'Gapping and the Order of Constituents', in M. Bierwisch and K. Hedolph (eds.), Progress in Linguistics, Mouton, The Hague, pp. 249–259.
Sandewall, E.: 1994, Features and Fluents, Clarendon Press, Oxford.
Saporta, S.: 1961, Psycholinguistics: A Book of Readings, Hold Rinehart Winston, New York.
Schoppers, M. J.: 1987, 'Universal Plans for Reactive Robots in Unpredictable Environments', in Proceedings of the 10th International Joint Conference on Artificial Intelligence (IJCAI 87), Milan, Italy, pp. 1039–1046.
Schubert, L.: 1994, 'Explanation Closure, Action Closure, and the Sandewall Test Suite for Reasoning about Change', Journal of Logic and Computation 4, 679–700.
Shanahan, M.: 1997, Solving the Frame Problem, MIT Press, Cambridge.
Shieber, S.: 1986, An Introduction to Unification-Based Approaches to Grammar, CSLI Publications, Stanford, CA.
Smullyan, R.: 1985, To Mock a Mockingbird, Knopf, New York.
Smullyan, R.: 1994, 'Dependency and Coordination the Grammar of Dutch and English', Language 61,523–568.
Steedman, M.: 1987, 'Combinatory Grammars and Parasitic Gaps', Natural Language and Linguistic Theory 5, 403–439.
Steedman, M.: 1990, 'Gapping as Constituent Coordination', Linguistics and Philosophy 13, 207–263.
Steedman, M.: 1991, 'Structure and Intonation', Language 67, 262–296.
Steedman, M.: 1995, 'Dynamic Semantics for Tense and Aspect', in Proceedings of the International Joint Conference on Artificial Intelligence, Quebec, Morgan Kaufmann, San Francisco, CA, pp. 1292–1298.
Steedman, M.: 1996, Surface Structure and Interpretation, MIT Press, Cambridge, MA.
Steedman, M.: 1997, 'Temporality', in J. van Benthem and A. ter Meulen (eds.), Handbook of Logic and Language, North Holland, Amsterdam, pp. 895–938.
Steedman, M.: 2000a, The Syntactic Process, MIT Press, Cambridge, MA.
Steedman, M.: 2000b, The Productions of Time, manuscript, University of Edinburgh, http://www.cogsci.ed.ac.uk/~steedman/.
Steedman, M.: 2002, 'Formalizing affordance', Proceedings of the 24th Annual Meeting of the Cognitive Science Society, Lawrence Erlbaum, Mahwah NJ (to appear).
Thielscher, M.: 1998, 'Reasoning about Actions: Steady Versus Stabilizing State Constraints', Artificial Intelligence 104, 339–355.
Thielscher, M.: 1999, 'From Situation Calculus to Fluent Calculus: State Update Axioms as a Solution to the Inferential Frame Problem', Artificial Intelligence 111, 277–299.
Tomasello, M.: 1999, The Cultural Origins of Human Cognition, Harvard University Press, Cambridge, MA.
Turvey, M.: 1990, 'Coordination', American Psychologist 45, 938–953.
van Benthem, J.: 1991, Language in Action, North Holland, Amsterdam.
van Oirsouw, R.: 1987, The Syntax of Coordination, Croom Helm, London.
Vendler, Z.: 1967, Linguistics in Philosophy, Cornell University Press, Ithaca, NY.
Verkuyl, H.: 1972, On the Compositional Nature of the Aspects, Vol. 15 of Foundations of Language Supplementary Series, Reidel, Dordrecht.
Wood, M. M.: 1993, Categorial Grammar, Routledge, London.
Young, R. and W. S. Morgan: 1987, The Navaho Language, University of New Mexico Press, Albuquerque, NM.
Zwicky, A.: 1986, 'Concatenation and Liberation', in CLS 22: Papers from the General Session, Chicago Linguistic Society, University of Chicago, Chicago.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Steedman, M. Plans, Affordances, And Combinatory Grammar. Linguistics and Philosophy 25, 723–753 (2002). https://doi.org/10.1023/A:1020820000972
Issue Date:
DOI: https://doi.org/10.1023/A:1020820000972