解釋 (邏輯) 解釋是一種將形式語言中的符號賦予意義的行為許多使用於數學邏輯及理論電腦科學的形式語言都會以純句法的方式定義且直到給予某些解釋之前不含有任何意義一般研究形式語言的解釋的學科稱為形式語義學 最常研究的形式邏輯為命題邏輯謂詞邏輯及其衍生的邏輯且此類的邏輯都已經有標準的方式來給出解釋在這些情況下解釋是一個可以提供目標語言的符號及符號字串外延的函數例如一個解釋函數可作用在謂詞T表示高上並賦予其一個外延a表示小明須注意的是上述解釋只是將外延a賦予在非邏輯常數T 之上但沒有宣稱T是否表示高a 是否表示小明同樣地邏輯解釋也沒有對和或及否定之類的邏輯聯結詞作宣稱雖然人們習慣上可能會把這些符號拿來代表特定的事物或概念但這不是由解釋函數來決定的 解釋通常但不總是會提供一個方法來決定語言中句子的真值若一給定解釋賦予一個句子或理論的真值為真則這個解釋即稱為此一句子或理論的模型