模型论式语义学（model theory）是2011年公布的语言学名词。
逻辑语义学的一个分支。其理论观点为当句子S得到解释I后取得真值，那么，I就是S的模式。
《语言学名词》第一版。
水利万物而不争,
而万物莫能与之争。
