-
题名论替换中项法下的直言三段论自然推理系统
被引量：1
- 1
-
-
作者
戴春勤
-
机构
兰州理工大学人文学院
-
出处
《毕节学院学报（综合版）》
2009年第2期31-35,共5页
-
文摘
替换中项法是直言三段论新方法,利用该方法可以构造直言三段论自然推理系统。在该系统中,利用替换中项法能够证明三段论的所有有效式,能够判定三段论的所有有效性,能够显示三段论如何从前提推出结论,能够提供补充三段论省略前提的线索。
-
关键词
直言三段论
自然推理
替换中项法
-
Keywords
Categorical Syllogism
system of natural inference
Methods of Substitution Middle - term.
-
分类号
B812.23
[哲学宗教—逻辑学]
-
-
题名论形式系统的多样性
- 2
-
-
作者
王太忠
-
机构
昭通学院中文系
-
出处
《西昌学院学报（自然科学版）》
2012年第3期39-42,46,共5页
-
文摘
形式系统在类型上包括公理系统和自然推理系统,在构成要件上包括的形式语言和演绎装置。构造者的哲学背景、构造形式系统的理论对象和目的不同,所采用的形式语言和演绎装置就可能不同,因而,构造出来的形式系统就多种多样,在不同的系统内证明同一个定理也表现为不同的公式系列。形式系统的形式语言和演绎装置为我们界定了形式证明的工具、出发点和依据,同时语义也包含了构造者构造形式系统的理论对象和目的,离开具体的形式系统去谈论或者证明一个定理,将会导致逻辑的失范。
-
关键词
形式系统
公理系统
自然演绎系统
形式语言
公理
变形规则
-
Keywords
Formal system
Axiomatic system
system of natural inference
Formal language
Axiom
Ruletransformation
-
分类号
B812
[哲学宗教—逻辑学]
-
