Switch to: References

Citations of:

The Philosophy of Programming Languages

In L. Floridi (ed.), The Blackwell Guide to the Philosophy of Computing and Information. Blackwell. pp. 237--247 (2004)

Add citations

You must login to add citations.
  1. Hardware, Software, Humans: Truth, Fiction and Abstraction.Graham White - 2015 - History and Philosophy of Logic 36 (3):278-301.
    We start with a example of assembler programming, and show how even at this low level the structure of the programming language does not directly mirror the structure of the hardware, but that it is also decisively influenced by the human practices surrounding computer use, and that assembly language gives a view of the hardware which is accommodated to human interests and capabilities. We give several historical examples and illustrate the changing pattern of mutual accommodation between human practices and computer (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • Descartes Among the Robots: Computer Science and the Inner/outer Distinction.Graham White - 2011 - Minds and Machines 21 (2):179-202.
    We consider the symbol grounding problem, and apply to it philosophical arguments against Cartesianism developed by Sellars and McDowell: the problematic issue is the dichotomy between inside and outside which the definition of a physical symbol system presupposes. Surprisingly, one can question this dichotomy and still do symbolic computation: a detailed examination of the hardware and software of serial ports shows this.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  • Bootstrapping Normativity.Graham White - 2011 - Philosophy and Technology 24 (1):35-53.
    We compare the role of Cartesian assumptions in the symbol grounding problem and in the Myth of the Given: We argue that the Sellars–McDowell critique of the Myth of the Given and, in particular, its use of the concept of normativity can provide useful resources for responding to the symbol grounding problem. We also describe the concepts of normativity at work in computer science and cognitive science: We argue that normative concepts are pervasive in the sciences and that, in particular, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • Understanding programming languages.Raymond Turner - 2007 - Minds and Machines 17 (2):203-216.
    We document the influence on programming language semantics of the Platonism/formalism divide in the philosophy of mathematics.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   10 citations