Categorial compositionality: A category theory explanation for the systematicity of human cognition

PLoS Computational Biology

Volumn 6, Issue 7, 2010, Pages 7-

  Phillips, Steven ^a   Wilson, William H ^b  

^a NATIONAL INSTITUTE OF ADVANCED INDUSTRIAL SCIENCE AND TECHNOLOGY AIST   (Japan)

^b UNIVERSITY OF NEW SOUTH WALES   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COGNITIVE SYSTEMS;

CATEGORY THEORY; COGNITIVE ARCHITECTURES; COGNITIVE CAPACITY; COMPOSITIONAL REPRESENTATION; COMPOSITIONALITY; FUNCTORS; HUMAN COGNITION; PLANETARY MOTION; PROPERTY; SYSTEMATICITY;

NETWORK ARCHITECTURE;

ARTICLE; CALCULATION; COGNITION; HUMAN; MATHEMATICAL MODEL; MENTAL CAPACITY; STIMULUS RESPONSE; TASK PERFORMANCE;

EID: 78049278938     PISSN: 1553734X     EISSN: 15537358     Source Type: Journal    
DOI: 10.1371/journal.pcbi.1000858     Document Type: Article

References (43)

1. Fodor JA, Pylyshyn ZW (1988) Connectionism and cognitive architecture: A critical analysis. Cognition 28: 3-71.
2. Aizawa K (2003) The systematicity arguments. Studies in Mind and Brain. New York: Kluwer Academic.
3. Fodor JA, McLaughlin BP (1990) Connectionism and the problem of systematicity: Why Smolensky's solution doesn't work. Cognition 35: 183-204.
4. Fodor JA (1997) Connectionism and the problem of systematicity (continued): Why Smolensky's solution still doesn't work. Cognition 63: 109-119.
5. van Gelder T (1990) Compositionality: A connectionist variation on a classical theme. Cogn Sci 14: 355-384.
6. Smolensky P (1987) The constituent structure of connectionist mental states: A reply to Fodor and Pylyshyn. Southern J Philos 26: 137-161.
7. Smolensky P (1991) Connectionism, constituency, and the language of thought. In: Loewer B, Rey G, eds. Meaning in Mind: Fodor and his critics. CambridgeMA: Blackwells, chapter 12.
8. Aizawa K (2003) Cognitive architecture: The structure of cognitive representations. In: Stich SP, Warfield TA, eds. The Blackwell guide to philosophy of mind. CambridgeMA: Blackwell, chapter 7. pp 172-189.
9. Smolensky P (1990) Tensor product variable binding and the representation of symbolic structures in connectionist systems. Artif Intell 46: 159-216.
10. Phillips S (2007) Kenneth Aizawa, The systematicity arguments, Studies in brain and mind. Mind Mach 17: 357-360.
11. Rumelhart DE, Hinton GE, Williams RJ (1986) Learning representations by back-propagation of error. Nature 323: 533-536.
12. Elman JL (1990) Finding structure in time. Cogn Sci 14: 179-211.
13. Marcus GF (1998) Rethinking eliminative connectionism. Cogn Psychol 37: 243-282.
14. Marcus GF (1998) Can connectionism save constructivism? Cognition 66: 153-182.
15. Phillips S (1998) Are feedforward and recurrent networks systematic? analysis and implications for a connectionist cognitive architecture. Connect Sci 10: 137-160.
16. Phillips S (1999) Systematic minds, unsystematic models: Learning transfer in humans and networks. Mind Mach 9: 383-398.
17. Phillips S (2000) Constituent similarity and systematicity: The limits of first-order connectionism. Connect Sci 12: 1-19.
18. Hadley RF (1994) Systematicity in connectionist language learning. Mind Lang 9: 247-272.
19. Niklasson L, van Gelder T (1994) Systematicity and connectionist language learning. Mind Lang 9: 288-302.
20. Fodor JA (1987) Psychosemantics: The problem of meaning in the philosophy of mind. Explorations in cognitive science. Cambridge, MA: MIT Press.
21. Awodey S (2006) Category theory. Oxford Logic Guides. New York, NY: Oxford University Press.
22. Lawvere FW, Schanuel SH (1997) Conceptual mathematics: A first introduction to categories. Foundations of Computing. Cambridge, UK: Cambridge University Press.
23. MacLane S (2000) Categories for the working mathematician. Graduate Texts in Mathematics. New York, NY: Springer, 2nd edition.
24. Eilenberg S, MacLane S (1945) General theory of natural equivalences. Trans Amer Math Soc 58: 231-294.
25. Arbib MA, Manes EG (1975) Arrows, structures, and functors: The categorical imperative. London, UK: Academic Press.
26. Barr M, Wells C (1990) Category theory for computing science. Prentice Hall International Series in Computer Science. New York: Prentice Hall, first edition.
27. Goguen J (1991) A categorical manifesto. Math Structures Comput Sci 1: 49-67.
28. Pierce BC (1991) Basic category theory for computer scientists. Foundations of Computing. Cambridge, UK: MIT Press.
29. Halford GS, Wilson WH (1980) A category theory approach to cognitive development. Cogn Psychol 12: 356-411.
30. Phillips S, Wilson WH, Halford GS (2009) What do Transitive Inference and Class Inclusion have in common? Categorical (co)products and cognitive development. PLoS Comput Biol 5: e1000599.
31. Walters RFC (1991) Categories and computer science. Cambridge Computer Science Texts. Cambridge, UK: Cambridge University Press.
32. Halford GS, Bain JD, Maybery MT, Andrews G (1998) Induction of relational schemas: Common processes in reasoning and complex learning. Cogn Psychol 35: 201-245.
33. Wilson WH (1979) On induced representations of Lie algebras, groups, and coalgebras. J Algebra 58: 37-50.
34. Leinster T (2003) Higher operads, higher categories. London Mathematical Society Lecture Notes Series. Cambridge, UK: Cambridge University Press.
35. Fahlman SE, Lebiere C (1990) The cascade-correlation learning algorithm. Technical Report CMU-CS-90-100, Carnegie Mellon University.
36. Lloyd ME, Doydum AO, Newcombe NS (2009) Memory binding in early childhood: evidence for a retrieval deficit. Child Dev 80: 1321-1328.
37. Crole RL (1993) Categories for types. New York, NY: Cambridge University Press.
38. Griffiths TL, Kemp C, Tenenbaum JB (2008) Bayesian models of cognition. In: Sun R, ed. Cambridge Handbook of Computational Cognitive Modeling. New York, NY: Cambridge University Press, chapter 3. pp 59-100.
39. Tenenbaum JB, Griffiths TL, Kemp C (2006) Theory-based Bayesian models of inductive learning and reasoning. Trend Cogn Sci 10: 309-318.
40. Kemp C, Tenenbaum JB (2008) The discovery of structural form. PNAS 105: 10687-10692.
41. Johnson K (2004) On the systematicity of language and thought. J Philos 101: 111-139.
42. Giry M (1981) A categorical approach to probability theory. In: Banaschewski- Bernhard, ed. Categorical aspects of topology and analysis Springer-Verlag, volume 915 of Lecture Notes in Mathematics. pp 65-85.
43. Erwig M, Kollmansberger S (2006) Probabilistic functional programming in Haskell. J Funct Program 16: 21-34.