Abstract

Elaborating on Wittgenstein’s ontology of facts, semantic frames are described axiomatically as based on the notion of an elementary situation being the verifier of a proposition. Conditions are investigated then for such frames to be atomic, i.e. to have lattice-theoretic counterparts of his “Sachverhalte”