Abstract

In philosophy, Occam’s razor is a principle stating that “simpler” explanations ought to be preferred over “less simple” ones. In mathematics, a sentential Galois connection is a Galois connection between a space of first-order sentences and a space of models. In this paper, we connect Occam’s razor to sentential Galois connections.