-
题名因果性的逻辑模型
- 1
-
-
作者
涂保勋
-
机构
中山大学哲学系
-
出处
《贵州工程应用技术学院学报》
2023年第2期65-70,共6页
-
基金
贵州大学人文社会科学研究课题“达米特结构证明论思想研究”,项目编号:GDYB2021010。
-
文摘
休谟关于因果性的讨论是哲学史上的著名问题。休谟提出了因果关系的定义和判断因果的规则。在原因和结果的时间次序问题上,有因果先后论、同时论、因后果先论等不同的看法。基于线性时间结构或分枝时间结构,可以构造因果关系的逻辑模型。从反事实条件的观点看,因果与时间是没有联系的。在系统总结梳理关于因果关系的研究基础上,拉姆齐关于普遍命题和因果性的讨论,为研究因果关系提供了另一种不同的逻辑进路。
-
关键词
休谟
因果性
因果关系
时间
普遍命题
-
Keywords
Hume
Causation
Causality
Time
Universal Propositions
-
分类号
B81
[哲学宗教—逻辑学]
-
-
题名浅析逻辑学的教学方法——从逻辑学的学科特点出发
被引量：2
- 2
-
-
作者
涂保勋
-
机构
西南大学政治与公共管理学院
-
出处
《贵州工程应用技术学院学报》
2017年第5期69-73,共5页
-
文摘
普通逻辑学是一门工具性、基础性学科,它从形式上对思维进行研究,不涉及思维内容,它的任务是对某个思想的真假作逻辑的回答而不作认识论的回答。这相对于我们日常生活中的思维对象来说略显抽象,有些甚至不符合思维实际。那么,教育者如何才能激发学生学习普通逻辑学的兴趣,培养逻辑思维能力,并运用逻辑理论分析现实问题,这是一个值得认真思考与研究的问题。
-
关键词
逻辑学
工具性
地位
教学
-
Keywords
Logic
Instrumental
Status
Teaching
-
分类号
B81
[哲学宗教—逻辑学]
-
-
题名非正规模态逻辑C2的时态扩张
- 3
-
-
作者
涂保勋
-
机构
中山大学逻辑与认知研究所
中山大学哲学系
-
出处
《逻辑学研究》
2023年第5期69-80,共12页
-
文摘
本文构建了非正规时态逻辑C2t的矢列演算GC2t。运用高野道夫(M.Takana)的语义方法证明了GC2t的子公式性质,进而证明了GC2t的有穷模型性和可判定性。另外,本文还证明了GC2t的插值性质。
-
关键词
非正规模态逻辑
子公式性质
有穷模型性
插值性质
-
分类号
B81
[哲学宗教—逻辑学]
-
