English

Semantics of Computable Physical Models

Logic 2023-10-03 v4

Abstract

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.

Keywords

Cite

@article{arxiv.2004.01510,
  title  = {Semantics of Computable Physical Models},
  author = {Matthew P. Szudzik},
  journal= {arXiv preprint arXiv:2004.01510},
  year   = {2023}
}

Comments

30 pages, 1 figure; paragraph added to section 2, definitions of relations added to section 3, footnote added to section 4, paragraph added to section 9, acknowledgements section added, other more minor additions and revisions

R2 v1 2026-06-23T14:38:03.866Z