当代形式逻辑界说 - 360文档中心

合集下载

相关主题

1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。

ｎｅｅｔｌｏｇｉｃａｌｔｈｅｏｉｅｒｓａｎｄｐｒａｃｔｉｃａｌａｐｐｌｉｃａｔｉｏｎ．Ｔｈｅｓｔｕｄｙｏｆｓｅｍａｎｔｉｃｉｓａｓｔｕｄｙｏｎｌｏｇｉｃｓｔｒｕｃｔｕｒｅｏｒｌｏｇｉｃｌａｗａ —
自然语言的互相转换、互相翻译的研究。当代形式逻辑界坚定而彻底地坚持辨证唯物论的逻辑客体说理论，对
当代形式逻辑界说为：采用可按指谓同一的准则与自然语言互相翻译的（语用学）人工语言的机械排列和变形的方式（语构学）研究以充分条件关系为核心的客观世界的逻辑结构和逻辑规律（语义学），从而向人类提供研究宇宙的从已有事件向新事件必然过渡的普遍适用的从己知获取新知的工具。
ＧＯＮＧＱｉ — ｒｏｎｇ
（ＧｕｉｚｈｏｕＵｎｉｖｅｒｓｉｔｙ，ＧｕｉｙａｎｇＧｕｉｚｈｏｕ，５５００２５．Ｃｈｉｎａ）
Ａｂｓｔｒａｃｔ：Ｂｅｓｉｄｅｓａｎｏｒｇａｎｉｃｗｈｏｌｅｏｆｓｅｍａｎｔｉｃｓ，ｔｈｅｃｏｎｔｅｍｐｏｒａｒｙｆｏｒｍａｌｌｏｇｉｃｉｓａｌｓｏａｐｐｌｉｅｄａｓｓｙｎｔａｃｔｉｃ
第３３卷第ｌ期
２０１５年１月
省州大学学报（社会科学版）
ＪＯＵＲＮＡＬＯＦＧＵＩＺＨＯＵＵＮＩＶＥＲＳＩＴＹ（ＳｏｃｉａｌＳｃｉｅｎｃｅｓ）
Ｖ０１．３３Ｎｏ．１
语言所指谓的客观世界的以充分条件关系为核心的逻辑结构或逻辑规律的研究。语构的研究，就是关于人工符
号语言自身的排列结构和变形规则的研究。语用的研究，亦即关于以语义为中介的互相同义的人工符号语言和
ｔｏｓｔｕｄｙｔｈｅｈｕｍａｎｌａｎｇｕａｇｅｓａｃｃｕｒａｔｅｌｙａｎｄｐｅｒｆｅｃｔｌｙｗｉｔｈａｒｔｉｉｃｆｉａｌｓｙｍｂｏｌｓａｓａｔｏｏｌａｎｄａｓｐｒａｇｍａｔｉｃｓｔｏｃｏｎ —
来自百度文库
Ｊａｎ．２０１５
当代形式逻辑界说
龚启荣
（贵州大学，贵州贵阳５５００２５）
摘
要：当代形式逻辑除了作为体系主干的语义学之外，尚有作为旨在用来透彻无误而叉完备无缺地进行语义
研究的人工符号语言工具的语构学，以及沟通逻辑理论和应用实际的语用学：语义的研究就是关于为人工符号
ａｎｄａｎａｔｕｒａｌｌａｎｇｕａｇｅｉｎｗｈｉｃｈｓｅｍａｎｔｉｃｉｓｔｈｅｍｅｄｉａｔｉｏｎｗｈｉｌｅｔｒａｎｓｌａｔｉｎｇ．Ｔｈｅｓｃｈｏｏｌｏｆｃｏｎｔｅｍｐｏｒａｒｙｆｏｍａｒｌ
关键词：当代形式逻辑界说；研究目标；指谓同一；语义学；语构学；语用学中图分类号：Ｂ８１文献标识码：Ａ文章编号：１０００— ５０９９（２０１５）叭一００４６— ０７
ＡＤｅｉｎｆｉｔｉｏｎｏｆＣｏｎｔｅｍｐｏｒａｒｙＦｏｒｍａｌＬｏｇｉｃ
ｂｏｕｔｔｈｅｏｂｊｅｃｔｉｖｅｗｏｒｌｄｄｅｓｃｉｒｂｅｄｗｉｔｈｔｈｅａｒｔｉｉｆｃｉａｌｌｙｓｙｍｂｏｌｉｚｅｄｌａｎｇｕａｇｅａｎｄｓｕｆｉｆｃｉｅｎｔｃｏｎｄｉｔｉｏｎｒｅｌａｔｉｏｎａｓｔｈｅ
ｃｏｒｅ．Ｔｈｅｓｔｕｄｙｏｆｓｙｎｔａｃｔｉｃｉｓａｓｔｕｄｙｏｎａｒｒａｎｇｅｍｅｎｔｏｆｔｈｅｓｔｒｕｃｔｕｒｅａｎｄｔｒａｎｓｆｏｍａｒｔｉｏｎｕｌｒｅｏｆａｎａｔｉｒｉｆｃｉａｌｌａｎ－ｇｕａｇｅ．Ｔｈｅｓｔｕｄｙｏｆｐｒａｇｍａｔｉｃｉｓａｓｔｕｄｙｏｎｉｎｔｅｒ—ｔｒａｎｓｆｏｒｍａｔｉｏｎａｎｄｉｎｔｅｒ—ｔｒａｎｓｌａｔｉｏｎｏｆａｎａｔｉｒｉｃｆｉａｌｌａｎｇｕａｇｅ