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