An approach to semantics that views understanding in terms of a set of procedures for deciding whether terms apply to things, or procedures for deciding the truth-values of propositions. The idea is allied to a verificationist approach to meaning, and also to the general view that meaning should be connected with practice.