Categorial compositionality III: F-(co)algebras and the systematicity of recursive capacities in human cognition

PLoS ONE

Volumn 7, Issue 4, 2012, Pages

  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

ARTICLE; COGNITION; COMPUTER; LANGUAGE; MATHEMATICAL ANALYSIS; MATHEMATICAL COMPUTING; THEORY; HUMAN; PHYSIOLOGY; THEORETICAL MODEL;

COGNITION; HUMANS; MODELS, THEORETICAL;

EID: 84859700696     PISSN: None     EISSN: 19326203     Source Type: Journal    
DOI: 10.1371/journal.pone.0035028     Document Type: Article

References (31)

1. Fodor JA, Pylyshyn ZW, (1988) Connectionism and cognitive architecture: A critical analysis. Cognition 28: 3-71.
2. McLaughlin BP, (2009) Systematicity redux. Synthese 170: 251-274.
3. Fodor JA, (1975) The language of thought. Language and Thought New York, NY Crowell.
4. Aizawa K, (2003) The systematicity arguments. Studies in Mind and Brain New York Kluwer Academic.
5. Fodor JA, McLaughlin BP, (1990) Connectionism and the problem of systematicity: Why Smolensky's solution doesn't work. Cognition 35: 183-204.
6. Phillips S, Wilson WH, (2011) Categorial compositionality II: Universal constructions and a general theory of (quasi-)systematicity in human cognition. PLoS Comput Biol 7: e1002102.
7. Phillips S, Wilson WH, (2010) Categorial compositionality: A category theory explanation for the systematicity of human cognition. PLoS Comput Biol 6: e1000858.
8. Mac Lane S, (2000) Categories for the working mathematician. Graduate Texts in Mathematics New York, NY Springer, 2nd edition.
9. Bird R, (1987) An introduction to the theory of lists. In: Broy M, editors. Logic of programming and calculi of discrete design Springer Verlag pp. 3-42.
10. Hutton G, (1999) A tutorial on the universality and expressiveness of fold. J Funct Program 9: 355-372.
11. Malcolm G, (1990) Data structures and program transformation. Sci Comput Program 14: 255-279.
12. Spivey M, (1989) A categorical approach to the theory of lists, volume 375 of Lecture notes in computer science. pp. 399-408.
13. Awodey S, (2006) Category theory. Oxford Logic Guides New York, NY Oxford University Press.
14. Lawvere FW, Schanuel SH, (1997) Conceptual mathematics: A first introduction to categories. Foundations of Computing Cambridge, UK Cambridge University Press.
15. Pierce BC, (1991) Basic category theory for computer scientists. Foundations of Computing Cambridge, UK MIT Press.
16. Manes EG, Arbib MA, (1986) Algebraic approaches to program semantics New York, NY Springer-Verlag.
17. Bird R, de Moor O, (1997) Algebra of programming Harlow, England Prentice Hall.
18. Meijer E, Fokkinga M, Paterson R, (1991) Functional programming with bananas, lenses, envelopes and barbed wire Berlin, Germany Springer-Verlag pp. 125-144 volume 523 of Lecture notes in computer science.
19. Jones SP, eds. (2003) Haskell 98 language and libraries: the revised report Cambridge, UK Cambridge University Press.
20. Bird R, (1998) Introduction to functional programming using Haskell. Prentice Hall Series in Computer Science Harlow, England Prentice Hall, 2nd edition.
21. Hutton G, (1998) Fold and unfold for program semantics. Proceedings of the 3rd ACM SIGPLAN International Conference on Functional Programming.
22. Corballis MC, (2007) Recursion, language, and starlings. Cognitive Sci 31: 697-704.
23. Halford GS, Cowan N, Andrews G, (2007) Separating cognitive capacity from knowledge: a new hypothesis. Trend Cogn Sci 11: 236-242.
24. 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.
25. Clark S, Coecke B, Sadrzadeh M, (2008) A compositional distributional model of meaning. In: Bruza P, Lawless W, van Rijsbergen K, Sofge D, Coecke B, editors. Proceedings of the Second Symposium on Quantum Interaction Oxford, England College Publications pp. 133-140.
26. Hauser MD, Chomsky N, Fitch WT, (2002) The faculty of language: what is it, who has it, and how did it evolve? Science 298: 1569-1579.
27. Rips LJ, Bloomfield A, Asmuth J, (2008) From numerical concepts to concepts of number. Behav Brain Sci 31: 623-687.
28. Gentner TQ, Fenn KM, Margoliash D, Nusbaum HC, (2006) Recursive syntactic pattern learning by songbirds. Nature 440: 1204-1207.
29. Carey S, (2009) The origins of concepts. Oxford Series in Cognitive Development New York, NY Oxford University Press.
30. Gelman R, Butterworth B, (2005) Number and language: how are they related? Trend Cogn Sci 9: 6-10.
31. Gibbons J, Jones G, (1998) The under-appreciated unfold. Proceedings of the 3rd International Conference on Functional Programming Baltimore, Maryland pp. 273-279.