当代形式逻辑界说

A Definition of Contemporary Formal Logic

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

Besides an organic whole of semantics,the contemporary formal logic is also applied as syntactic to study the human languages accurately and perfectly with artificial symbols as a tool and as pragmatics to con-nect logical theories and practical application.The study of semantic is a study on logic structure or logic law a-bout the objective world described with the artificially symbolized language and sufficient condition relation as the core.The study of syntactic is a study on arrangement of the structure and transformation rule of an artificial lan-guage.The study of pragmatic is a study on inter -transformation and inter -translation of an artificial language and a natural language in which semantic is the mediation while translating.The school of contemporary formal logic insists on logic theory of dialectical materialism firmly.They define their theory as follows：from the differ-ent angle of semantic,syntactic and pragmatic,contemporary formal logic studies logic structure and logic law of the objective world,which treats the sufficient condition relation as the core.It provides the applicable tools that could acquire new knowledge from the known,to help people to understand and change the world.