贵州大学学报（社会科学版）
貴州大學學報（社會科學版）
귀주대학학보（사회과학판）
JOURNAL OF GUIZHOU UNIVERSITY(SOCIAL SCIENCE)
2015年
1期
46-52
,共7页
当代形式逻辑界说%研究目标%指谓同一%语义学%语构学%语用学
噹代形式邏輯界說%研究目標%指謂同一%語義學%語構學%語用學
당대형식라집계설%연구목표%지위동일%어의학%어구학%어용학
definition of contemporary formal logic%study objective%refer to the same%semantics%syntac-tic%pragmatics
当代形式逻辑除了作为体系主干的语义学之外，尚有作为旨在用来透彻无误而又完备无缺地进行语义研究的人工符号语言工具的语构学，以及沟通逻辑理论和应用实际的语用学。语义的研究就是关于为人工符号语言所指谓的客观世界的以充分条件关系为核心的逻辑结构或逻辑规律的研究。语构的研究，就是关于人工符号语言自身的排列结构和变形规则的研究。语用的研究，亦即关于以语义为中介的互相同义的人工符号语言和自然语言的互相转换、互相翻译的研究。当代形式逻辑界坚定而彻底地坚持辨证唯物论的逻辑客体说理论，对当代形式逻辑界说为：采用可按指谓同一的准则与自然语言互相翻译的（语用学）人工语言的机械排列和变形的方式（语构学）研究以充分条件关系为核心的客观世界的逻辑结构和逻辑规律（语义学），从而向人类提供研究宇宙的从已有事件向新事件必然过渡的普遍适用的从已知获取新知的工具。
噹代形式邏輯除瞭作為體繫主榦的語義學之外，尚有作為旨在用來透徹無誤而又完備無缺地進行語義研究的人工符號語言工具的語構學，以及溝通邏輯理論和應用實際的語用學。語義的研究就是關于為人工符號語言所指謂的客觀世界的以充分條件關繫為覈心的邏輯結構或邏輯規律的研究。語構的研究，就是關于人工符號語言自身的排列結構和變形規則的研究。語用的研究，亦即關于以語義為中介的互相同義的人工符號語言和自然語言的互相轉換、互相翻譯的研究。噹代形式邏輯界堅定而徹底地堅持辨證唯物論的邏輯客體說理論，對噹代形式邏輯界說為：採用可按指謂同一的準則與自然語言互相翻譯的（語用學）人工語言的機械排列和變形的方式（語構學）研究以充分條件關繫為覈心的客觀世界的邏輯結構和邏輯規律（語義學），從而嚮人類提供研究宇宙的從已有事件嚮新事件必然過渡的普遍適用的從已知穫取新知的工具。
당대형식라집제료작위체계주간적어의학지외，상유작위지재용래투철무오이우완비무결지진행어의연구적인공부호어언공구적어구학，이급구통라집이론화응용실제적어용학。어의적연구취시관우위인공부호어언소지위적객관세계적이충분조건관계위핵심적라집결구혹라집규률적연구。어구적연구，취시관우인공부호어언자신적배렬결구화변형규칙적연구。어용적연구，역즉관우이어의위중개적호상동의적인공부호어언화자연어언적호상전환、호상번역적연구。당대형식라집계견정이철저지견지변증유물론적라집객체설이론，대당대형식라집계설위：채용가안지위동일적준칙여자연어언호상번역적（어용학）인공어언적궤계배렬화변형적방식（어구학）연구이충분조건관계위핵심적객관세계적라집결구화라집규률（어의학），종이향인류제공연구우주적종이유사건향신사건필연과도적보편괄용적종이지획취신지적공구。
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.
