当代形式逻辑界说

当代形式逻辑除了作为体系主干的语义学之外,尚有作为旨在用来透彻无误而又完备无缺地进行语义研究的人工符号语言工具的语构学,以及沟通逻辑理论和应用实际的语用学。语义的研究就是关于为人工符号语言所指谓的客观世界的以充分条件关系为核心的逻辑结构或逻辑规律的研究。语构的研究,就是关于人工符号语言自身的排列结构和变形规则的研究。语用的研究,亦即关于以语义为中介的互相同义的人工符号语言和自然语言的互相转换、互相翻译的研究。当代形式逻辑界坚定而彻底地坚持辨证唯物论的逻辑客体说理论,对当代形式逻辑界说为:采用可按指谓同一的准则与自然语言互相翻译的(语用学)人工语言的机械排列和变形的方式(语构学)研究以充分条件关系为核心的客观世界的逻辑结构和逻辑规律(语义学),从而向人类提供研究宇宙的从已有事件向新事件必然过渡的普遍适用的从已知获取新知的工具。