我們在論證中可能遇到的各種句子/判決的有效性條件依賴於它們的意義,所以負責任的邏輯學家不能完全避免提供某種處理這些句子的意義的需求。邏輯的語義指稱邏輯學家已經介入來理解和確定他們感興趣的意義部分的方式;邏輯學家在傳統上只對是命題的句子感興趣,它是適合邏輯操縱的理想的句子。

直到現代邏輯出現之前,亞里斯多德工具論特別是解釋篇,提供了理解邏輯意義的基礎。量化的介入需要解決多重普遍性問題,表現出了亞里斯多德的邏輯所支配的主詞-謂詞分析不能處理的那些種類,儘管對詞項邏輯的興趣正在復興,嘗試找到符合亞里斯多德三段論精神並且使用基於量詞的現代邏輯一般性的演算

分支

編輯

形式語言的主要現代方式如下:

  • 真值語義 (也稱為「代換量化」)是 Ruth Barcan Marcus 在1960年代早期為模態邏輯提倡的,後來 Dunn、Belnap 和 Leblanc 把它擁戴到標準一階邏輯。James Garson 已經給出這個領域的某些結果,足夠讓內涵邏輯裝備這種語義。量化公式的真理條件純粹以不訴諸任何域的真理的方式給出(因此叫做「真值語義」)。
  • 或然性語義 創立自 H. Field,並被證明等價於和自然一般化了真值語義。像真值語義一樣,它也是在自然中沒有參照的。

參見

編輯