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 |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
The Construction of Social Reality. Anthony Freeman in Conversation with John Searle.J. Searle & A. Freeman - 1995 - Journal of Consciousness Studies 2 (2):180-189.
View all 33 references / Add more references
Citations of this work BETA
Explaining Engineered Computing Systems’ Behaviour: The Role of Abstraction and Idealization.Nicola Angius & Guglielmo Tamburrini - 2017 - Philosophy and Technology 30 (2):239-258.
Ciencia de la computación y filosofía: unidades de análisis del software.Juan Manuel Durán - 2018 - Principia 22 (2):203-227.
What Can We Know of Computational Information? Measuring, Quantity, and Quality at Work in Programmable Artifacts.Federico Gobbo & Marco Benini - 2016 - Topoi 35 (1):203-212.
Similar books and articles
Teaching and Learning the Nature of Technical Artifacts.I. Frederik, W. Sonneveld & M. J. De Vries - unknown
Games in the Semantics of Programming Languages – an Elementary Introduction.Jan Jürjens - 2002 - Synthese 133 (1-2):131-158.
Rules in Programming Languages and Networks.Frederick R. Adams, Kenneth Aizawa & Gary Fuller - 1992 - In J. Dinsmore (ed.), The Symbolic and Connectionist Paradigms: Closing the Gap. Lawrence Erlbaum.
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.
Symmetry and Interactivity in Programming.P. -L. Curien - 2003 - Bulletin of Symbolic Logic 9 (2):169-180.
A Reductive Semantics for Counting and Choice in Answer Set Programming.Vladimir Lifschitz - unknown
Viola: A New Visual Programming Language Designed for the Rapid Development of Interacting Agent Systems.C. J. Topping, M. J. Rehder & B. H. Mayoh - 1999 - Acta Biotheoretica 47 (2):129-140.
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 )
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
