  This article reformulates the theory of computable physical models,
previously introduced by the author, as a branch of applied model theory in
first-order logic. It provides a semantic approach to the philosophy of science
that incorporates aspects of operationalism and Popper's degrees of
falsifiability.
