In Vincent Müller (ed.), Computing and Philosophy: Selected Papers from IACAP 2014 (Synthese Library). Springer. pp. 99-115 (2016)

This paper is concerned with the construction of theories of software systems yielding adequate predictions of their target systems’ computations. It is first argued that mathematical theories of programs are not able to provide predictions that are consistent with observed executions. Empirical theories of software systems are here introduced semantically, in terms of a hierarchy of computational models that are supplied by formal methods and testing techniques in computer science. Both deductive top-down and inductive bottom-up approaches in the discovery of semantic software theories are refused to argue in favour of the abductive process of hypothesising and refining models at each level in the hierarchy, until they become satisfactorily predictive. Empirical theories of computational systems are required to be modular, as modular are most software verification and testing activities. We argue that logic relations must be thereby defined among models representing different modules in a semantic theory of a modular software system. We exclude that scientific structuralism is able to define module relations needed in software modular theories. The algebraic Theory of Institutions is finally introduced to specify the logic structure of modular semantic theories of computational systems.
Keywords Philosophy of Computer Science  Semantic View of Theories  Modelling  Scientific Structuralism  Abstract Model Theory
Categories (categorize this paper)
Buy the book Find it on
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

View all 11 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

What Scientific Theories Could Not Be.Hans Halvorson - 2012 - Philosophy of Science 79 (2):183-206.
Testing Scientific Theories Through Validating Computer Models.Michael L. Cohen - 2000 - Dissertation, University of Maryland, College Park
Semantic Approaches in the Philosophy of Science.Emma B. Ruttkamp - 1999 - South African Journal of Philosophy 18 (2):100-148.
The Semantic Conception and the Structuralist View of Theories: A Critique of Suppe’s Criticisms.Pablo Lorenzano - 2013 - Studies in History and Philosophy of Science Part A 44 (4):600-607.


Added to PP index

Total views
349 ( #28,936 of 2,499,072 )

Recent downloads (6 months)
26 ( #33,686 of 2,499,072 )

How can I increase my downloads?


My notes