联合演算的结构判定方法初探

发布时间：2017-11-22 23:29

  本文关键词：联合演算的结构判定方法初探

  更多相关文章： 联合演算 审定法 结构判定方法

【摘要】：与命题演算一样,联合演算也有相应的判明一公式是否永真的方法。希尔伯特和阿克曼提出的"审定法"就是这样一种方法,但审定法没有区分联合演算的两个层次,试图在联合演算的第一个层次上解决判定问题,从而暴露出严重的弱点。在本文中,我将对审定法进行改造,深入解读竖号的逻辑意义,厘清联合演算的两个层次,在类逻辑和命题逻辑之间建立完全的类比,提出一种具有普遍意义的更严格的方法,即结构判定方法。该方法能够帮助我们揭示传统推理式的前提和结论之间的联系的必然性,从而判明一联合演算公式是否永真式,并且帮助由任一可满足式(包括永真式)得出永真式。
【作者单位】： 东南大学哲学与科学系;
【基金】：2010年江苏省青蓝工程中青年学术带头人基金 2012年国家留学归国人员科研启动基金的资助 2011年国家社会科学基金项目(11BZX031)的研究成果
【分类号】：B812
【正文快照】： 一、希尔伯特和阿克曼的审定法希尔伯特和阿克曼实际上提出了一种判别一公式是否永真式的“审定法”或“判定标准”。那么,希尔伯特和阿克曼是如何应用“审定法”的,且看他们对“浩伯定理”(Haubersche Theorem,也译为“豪伯定理”)的证明。《数理逻辑基础》第46页把浩伯定理

【参考文献】

中国期刊全文数据库 前2条

1 马雷;联合演算在处理传统推论学说中存在的若干问题评析[J];华东师范大学学报(哲学社会科学版);1994年06期

2 马雷;论联合演算对传统推论学说的系统化处理[J];南京大学学报(哲学社会科学版);1994年01期

【共引文献】

中国期刊全文数据库 前10条

1 李秀敏;论亚相容逻辑中的“矛盾”——达科斯塔的亚相容逻辑思想述评[J];安徽大学学报;2005年01期

2 张铁声;;“典型语义悖论”及其单义句预设[J];安徽大学学报;2006年01期

3 何自强;一个－阶逻辑公理系统独立性的证明[J];北京航空航天大学学报;1994年01期

4 曹发生;罗青林;;基于语义赋值的有穷集合上二元关系性质的判定算法[J];毕节学院学报;2010年08期

5 刘q，

本文编号：1216468