是形式语义学派重视的命题真假值。语义的描述要能够给出简单、清楚且无循环的定义，使用的后设语言应该是自然语言当中的语义元词，反对透过抽象逻辑式的后设语言来呈现，因为抽象的后设语言也还是需要透过自然语言去了解其定义。目前使用这个理论研究过的语言包括英语、俄语、波兰语、法语、德语、西班牙语、瑞典语等欧洲语言，还有马来语(属于南岛语族)、日本语 、韩语、标准汉语、亚威语(Ewe)(属于非洲语言)、东克雷语(East Cree)(属于美洲语言)和杨固尼加加拉语(Yankunytjatjara)(属于澳洲语言)等等