Philosophy and Technology 27 (3):377-397 (2014)

Abstract
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 thing is it? In this paper, we shall argue that an appropriate conceptualization is furnished by the notion of a technical artifact
Keywords Programming languages  Semantics  Technical artifacts  Philosophy of mathematics  Philosophy of technology
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s13347-012-0098-z
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 55,873
Through your library

References found in this work BETA

Functional Analysis.Robert Cummins - 1975 - Journal of Philosophy 72 (November):741-64.

View all 33 references / Add more references

Citations of this work BETA

Miscomputation.Nir Fresco & Giuseppe Primiero - 2013 - Philosophy and Technology 26 (3):253-272.

Add more citations

Similar books and articles

Understanding Programming Languages.Raymond Turner - 2007 - Minds and Machines 17 (2):203-216.
Domains and Lambda-Calculi.Roberto M. Amadio - 1998 - Cambridge University Press.
Co-Designing Social Systems by Designing Technical Artifacts.Ulrich Krohs - 2008 - In Pieter E. Vermaas, Peter Kroes, Andrew Light & Steven A. Moore (eds.), Philosophy and Design: From Engineering to Architecture. Springer.
Abpl.Mike Ainsworth - 1993 - Acta Biotheoretica 41 (1-2):43-51.
Symmetry and Interactivity in Programming.P. -L. Curien - 2003 - Bulletin of Symbolic Logic 9 (2):169-180.

Analytics

Added to PP index
2013-03-10

Total views
68 ( #144,839 of 2,401,777 )

Recent downloads (6 months)
5 ( #156,575 of 2,401,777 )

How can I increase my downloads?

Downloads

My notes