Switch to: References

Add citations

You must login to add citations.
  1. The Computational Origin of Representation.Steven T. Piantadosi - 2020 - Minds and Machines 31 (1):1-58.
    Each of our theories of mental representation provides some insight into how the mind works. However, these insights often seem incompatible, as the debates between symbolic, dynamical, emergentist, sub-symbolic, and grounded approaches to cognition attest. Mental representations—whatever they are—must share many features with each of our theories of representation, and yet there are few hypotheses about how a synthesis could be possible. Here, I develop a theory of the underpinnings of symbolic cognition that shows how sub-symbolic dynamics may give rise (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  • Definedness.Solomon Feferman - 1995 - Erkenntnis 43 (3):295 - 320.
    Questions of definedness are ubiquitous in mathematics. Informally, these involve reasoning about expressions which may or may not have a value. This paper surveys work on logics in which such reasoning can be carried out directly, especially in computational contexts. It begins with a general logic of partial terms, continues with partial combinatory and lambda calculi, and concludes with an expressively rich theory of partial functions and polymorphic types, where termination of functional programs can be established in a natural way.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   19 citations