Switch to: References

Add citations

You must login to add citations.
  1. Programming Languages as Technical Artifacts.Raymond Turner - 2014 - Philosophy and Technology 27 (3):377-397.
    Taken at face value, a programming language is defined by a formal grammar. But, clearly, there is more to it. By themselves, the naked strings of the language do not determine when a program is correct relative to some specification. For this, the constructs of the language must be given some semantic content. Moreover, to be employed to generate physical computations, a programming language must have a physical implementation. How are we to conceptualize this complex package? Ontologically, what kind of (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  • Medium Independence and the Failure of the Mechanistic Account of Computation.Corey J. Maley - 2023 - Ergo: An Open Access Journal of Philosophy 10.
    Current orthodoxy takes representation to be essential to computation. However, a philosophical account of computation that does not appeal to representation would be useful, given the difficulties involved in successfully theorizing representation. Piccinini's recent mechanistic account of computation proposes to do just that: it couches computation in terms of what certain mechanisms do without requiring the manipulation or processing of representations whatsoever (Piccinini 2015). Most crucially, mechanisms must process medium-independent vehicles. There are two ways to understand what "medium-independence" means on (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation