Might algorithmic positivism be a good name for it? As in if there is an implementable algorithm which decides the truth of the sentence, it is meaningful.
Might algorithmic positivism be a good name for it? As in if there is an implementable algorithm which decides the truth of the sentence, it is meaningful.