Meaning and Reference in Programming Languages
Guardat en:
| Publicat a: | Philosophies vol. 10, no. 2 (2025), p. 40 |
|---|---|
| Autor principal: | |
| Publicat: |
MDPI AG
|
| Matèries: | |
| Accés en línia: | Citation/Abstract Full Text Full Text - PDF |
| Etiquetes: |
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
MARC
| LEADER | 00000nab a2200000uu 4500 | ||
|---|---|---|---|
| 001 | 3194636208 | ||
| 003 | UK-CbPIL | ||
| 022 | |a 2409-9287 | ||
| 024 | 7 | |a 10.3390/philosophies10020040 |2 doi | |
| 035 | |a 3194636208 | ||
| 045 | 2 | |b d20250101 |b d20251231 | |
| 100 | 1 | |a Angius Nicola | |
| 245 | 1 | |a Meaning and Reference in Programming Languages | |
| 260 | |b MDPI AG |c 2025 | ||
| 513 | |a Journal Article | ||
| 520 | 3 | |a This paper provides an analysis of the meaning–reference problem, as traditionally advanced in the philosophy of language, for imperative programming languages. Addressing the problem is relevant for the philosophy of computer science in the context of the debate of whether simulative programs can be considered representational theories of their simulated systems. This paper challenges the thesis that, since programming languages have semantics, they also have reference, presumably to the external world. First, denotational, operational, game theoretic, and axiomatic semantics are epistemologically analysed to provide a theory of meaning for high-level language programs. It is argued that programming language semantics can be seen, to some extent, under the light of Fregean descriptivism, thereby rejecting the view that it is reference that determines meaning. Secondly, descriptivist, causal, character, and intentionalist theories of reference are examined to argue that meaning is not sufficient for programming languages to determine reference, thereby rejecting the view that meaning determines reference. It is argued that it is the intentions of agents that allow programming language semantics to identify referents. The paper concludes that if the semantics of programming languages may determine their reference, the latter is not to the external world but to the internal operations of the implementation executing them. This does not prevent simulative programs from representing empirical systems, but they do so not on the basis of programming language semantics. | |
| 653 | |a Software | ||
| 653 | |a Programming languages | ||
| 653 | |a Computers | ||
| 653 | |a Computer science | ||
| 653 | |a Syntax | ||
| 653 | |a Epistemology | ||
| 653 | |a Ontology | ||
| 653 | |a Philosophy | ||
| 653 | |a Semantics | ||
| 773 | 0 | |t Philosophies |g vol. 10, no. 2 (2025), p. 40 | |
| 786 | 0 | |d ProQuest |t Publicly Available Content Database | |
| 856 | 4 | 1 | |3 Citation/Abstract |u https://www.proquest.com/docview/3194636208/abstract/embedded/L8HZQI7Z43R0LA5T?source=fedsrch |
| 856 | 4 | 0 | |3 Full Text |u https://www.proquest.com/docview/3194636208/fulltext/embedded/L8HZQI7Z43R0LA5T?source=fedsrch |
| 856 | 4 | 0 | |3 Full Text - PDF |u https://www.proquest.com/docview/3194636208/fulltextPDF/embedded/L8HZQI7Z43R0LA5T?source=fedsrch |