In two-valued predicate logic a class of special interpretations of first language with nonempty finite domains is introduced. 摘要在二值謂詞邏輯中引入了一階語(yǔ)言的一類(lèi)特殊解釋?zhuān)擃?lèi)解釋中的解釋域取為非空有限集。
Through the intensional interpretation, first-order language gets more close to the semantics of natural language, and is truly neutral to all kinds of subject matter. 比之于外延語(yǔ)義的解釋?zhuān)瑑群Z(yǔ)義的解釋使一階語(yǔ)言更接近于自然語(yǔ)言的語(yǔ)義，而且也使一階邏輯對各種題材真正保持了邏輯的中立性。
