断定逻辑是系统研究断定者与被断定命题之间逻辑关系的理论。断定是与认识有关的重要概念。它可以口头表述,也可见诸文字。每个断定总包括断定者和被断定命题。断定者和被断定命题之间有种种关系,断定和断定之间也有种种关系。通常逻辑研究命题,着眼于命题本身的形式结构及其规律,都不涉及命题的断定者以及命题断定者与命题间的关系。而从逻辑角度把断定者与其断定命题间的关系进行考察、研究的结果就构成断定逻辑。卡尔纳普在1947年出版的《意义和必然性》中,已讨论过断定语句。一般认为波兰逻辑学家洛斯于1948年发表的文章《多值逻辑与内涵函项的形式化》,是断定逻辑的奠基作品。目前,它已发展成为认知逻辑的一个重要分支。