預期釋義

邏輯中,給定某個形式語言 L,可以有意圖應用於 L 的原始符號的某個特權子集的一個釋義。例如,一階邏輯的一階語言 L,它包含意圖指示真值函數合取、析取、實質蘊涵、否定,全稱量化運算,和某些其他(較少的)運算的符號。在皮亞諾算術的語言中,謂詞符號 '<' 意圖指示二元關係「嚴格小於」,而 '+' 意圖指示(自然數上)二元運算(或函數)加法。在集合論比如 ZFC 中有一個謂詞符號意圖指示集合論成員關係。