斷定邏輯

斷定邏輯是系統研究斷定者與被斷定命題之間邏輯關係的理論。斷定是與認識有關的重要概念。它可以口頭表述，也可見諸文字。每個斷定總包括斷定者和被斷定命題。斷定者和被斷定命題之間有種種關係，斷定和斷定之間也有種種關係。通常邏輯研究命題，著眼於命題本身的形式結構及其規律，都不涉及命題的斷定者以及命題斷定者與命題間的關係。

而從邏輯角度把斷定者與其斷定命題間的關係進行考察、研究的結果就構成斷定邏輯。卡爾納普在1947年出版的《意義和必然性》中，已討論過斷定語句。一般認為波蘭邏輯學家洛斯於1948年發表的文章《多值邏輯與內涵函項的形式化》，是斷定邏輯的奠基作品。目前，它已發展成為認知邏輯的一個重要分支。