Conceptualising Programming Language Semantics

Philosophies 10 (4):90 (2025)
  Copy   BIBTEX

Abstract

The semantics of programming languages tend to be discussed with high levels of formality; much of the previous research—both philosophical and historical—has investigated them from this perspective. In this paper, I draw on the philosophical and cognitive theories of metaphor and use the early work of Adriaan van Wijngaarden as a historical case study to explore the conceptual and discursive surroundings of semantics. I investigate the relationships between the texts of semantics, the abstract entities they denote, and the metaphors, analogies, and illustrative language used to accompany or explain the same. This serves to further understanding of the historical developments of work in this area, the nature of programming languages and their semantics, and the importance of the communicative methods used in dissemination and education of computer science.

Other Versions

No versions found

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2025-08-13

Downloads
21 (#1,809,757)

6 months
9 (#1,250,161)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Metaphors we live by.George Lakoff & Mark Johnson - 1980 - Chicago: University of Chicago Press. Edited by Mark Johnson.
Introduction to Metamathematics.Stephen Cole Kleene - 1952 - Groningen: North-Holland.
S. - 2008 - In A. P. Martinich, A Hobbes Dictionary. Wiley-Blackwell. pp. 269-298.
Metaphors We Live By.George Lakoff & Mark Johnson - 1980 - Ethics 93 (3):619-621.

View all 35 references / Add more references