论形式系统的多样性

• 作者: 王太忠
• 来源期刊: 西昌学院学报（自然科学版）
• 学科: 哲学
• 关键词: 形式系统 公理系统 自然演绎系统 形式语言 公理 变形规则
• 年，卷（期）: 2012,（3）
• 所属期刊栏目: 农学·数理
• 页码范围: 39-42,46
• 页数: 5页
• 分类号: B812
• 字数: 5120字
• 语种: 中文

摘要

形式系统在类型上包括公理系统和自然推理系统,在构成要件上包括的形式语言和演绎装置.构造者的哲学背景、构造形式系统的理论对象和目的不同,所采用的形式语言和演绎装置就可能不同,因而,构造出来的形式系统就多种多样,在不同的系统内证明同一个定理也表现为不同的公式系列.形式系统的形式语言和演绎装置为我们界定了形式证明的工具、出发点和依据,同时语义也包含了构造者构造形式系统的理论对象和目的,离开具体的形式系统去谈论或者证明一个定理,将会导致逻辑的失范.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王太忠	昭通学院中文系	24	9	1.0	2.0