维也纳学派
A semantics based upon assertion conditions is called a verificationist semantics: cf. the verificationism of the Vienna Circle.