网站首页 词典首页
研究断定者和他们所断定的命题之间的逻辑关系的理论。 其原则之一：若p⊦q，则Axp⊦Axq，即断定者必须断定他所断定的命题的逻辑推论；其定理之一：～(彐x)Ax(p∧～p)，即任何断定者都不断定 一个逻辑矛盾。已经建立了为数不少的断定逻辑系统，并为其提出了语义理论。
文网收录3541549条中英文词条，其功能与新华字典、现代汉语词典、牛津高阶英汉词典等各类中英文词典类似，基本涵盖了全部常用中英文字词句的读音、释义及用法，是语言学习和写作的有利工具。