当代形式逻辑界说.pdfVIP

第33卷第 l期 省州大学学报(社会科学版) V01．33 No．1 2015年 1月 JOURNALOFGUIZHOUUNIVERSITY(SocialSciences) Jan．2015 当代形式逻辑界说 龚启荣 (贵州大学，贵州 贵阳 550025) 摘 要：当代形式逻辑除了作为体系主干的语义学之外，尚有作为 旨在用来透彻无误而叉完备无缺地进行语义 研究的人工符号语言工具的语构学，以及沟通逻辑理论和应用实际的语用学：语义的研究就是关于为人工符号 语言所指谓的客观世界的以充分条件关系为核心的逻辑结构或逻辑规律的研究。语构的研究，就是关于人工符 号语言自身的排列结构和变形规则的研究。语用的研究，亦即关于以语义为中介的互相同义的人工符号语言和 自然语言的互相转换、互相翻译的研究。当代形式逻辑界坚定而彻底地坚持辨证唯物论的逻辑客体说理论，对 当代形式逻辑界说为：采用可按指谓同一的准则与 自然语言互相翻译的(语用学)人工语言的机械排列和变形 的方式(语构学)研究以充分条件关系为核心的客观世界的逻辑结构和逻辑规律 (语义学)，从而向人类提供研 究宇宙的从 已有事件向新事件必然过渡的普遍适用的从 己知获取新知的工具。 关键词：当代形式逻辑界说；研究 目标；指谓同一；语义学；语构学；语用学 中图分类号 ：B81 文献标识码 ：A 文章编号 ：1000—5099(2015)叭 一0046—07 A Definition ofContemporaryFormalLogic GONGQi—rong (GuizhouUniversity，GuiyangGuizhou，550025．China) Abstract：Besidesanorganicwholeofsemantics，thecontemporaryformallogicisalsoappliedassyntactic tostudythehumanlanguagesaccuratelyandperfectlywithartificialsymbolsasatoolandaspragmaticstocon— neetlogicaltheoriesandpracticalapplication．Thestudyofsemanticisastudyonlogicstructureorlogiclaw a— bouttheobjectiveworlddescribedwiththeartificiallysymbolizedlanguageandsufficientconditionrelationasthe core．Thestudyofsyntacticisastudyonarrangementofthestructureandtransfomr ationurleofanartificiallan- guage．Thestudyofpragmaticisastudyoninter—transformationandinter—translationofan artificiallanguage andanaturallanguageinwhichsemanticisthemediationwhiletranslating．Theschoolofcontemporaryfomr al logicinsistsonlogictheory ofdialecticalmaterialism fimr ly．Theydefinetheirtheory asfollows：from thediffer— entangleofsemantic，syntacticandpragmatic，contemporary fomr allogicstudieslogicstructureandlogiclaw of theobjectiveworld，whichtreatsthesufficientconditi