Software, Abstraction, and Ontology

Timothy R. Colburn

33 citations0/0 files storedThe Monist

No readable copy stored yet — this record is metadata only.

No open-access location is known for this record yet.

Literature note Cite in a project Citation map

Cybernetics and Technology in Society Logic, programming, and type systems Philosophy and Theoretical Science

Abstract

This paper analyzes both philosophical and practical assumptions underlying claims for the dual nature of software, including software as a machine made of text, and software as a concrete abstraction. A related view of computer science as a branch of pure mathematics is analyzed through a comparative examination of the nature of abstraction in mathematics and computer science. The relationship between the concrete and the abstract in computer programs is then described by exploring a taxonomy of approaches borrowed from philosophy of mind.

Paper brief

Loading…

Cite this work

Citation unavailable for this work.

BibTeX RIS CSL-JSON

No public copy is stored for this record, so only the metadata is cited.

Citations in this library

Citation map →

Stored only when both papers are in the corpus — 33 citations exist upstream.

Cited by

1999Ambient Technologies, Uncanny Signs 2022Structured Access 2019Philosophy of Computer Science 2008The philosophy of computer science

Imported from OpenAlex (CC0) — nothing here is generated.