根岑逻辑演绎思想的主要特征和哲学影响探析

发布时间：2017-11-26 12:00

  本文关键词：根岑逻辑演绎思想的主要特征和哲学影响探析

  更多相关文章： 自然演绎 矢列演算 证明论语义学 意义理论

【摘要】：论文在梳理根岑如何从逻辑公理化思想出发发展出自然演绎和矢列演算思想的基础上,总结出根岑逻辑演绎思想的主要特征。根岑对联接词引入和消去规则各自角色的理解及其采取的树形证明方式引导他发现并证明了切割消去定理。最后指出根岑的逻辑演绎思想对证明论语义学和意义理论有重要应用和哲学影响。
【作者单位】： 西南大学逻辑与智能研究中心;
【基金】：国家社科基金重点项目“面向博弈的动态逻辑研究”(15AZX020) 中央高校基本科研业务费专项资金项目(2362015xk02) 重庆市研究生教育教学改革研究项目(yjg143035)
【分类号】：B81-0
【正文快照】： 一、引言根岑(G.Gentzen,1909-1945)和雅斯科夫斯基(S.Jas'kowski,1906-1965)被认为是自然演绎(Natural Deduction)的独立发现者和创立者。卢卡西维其(Jan Lukasiewicz)在1926年的一个讨论班上,提出数学证明并不像当时的逻辑公理化思想那样,而是允许随时引入假设。雅斯科夫斯，

本文编号：1229691