联合演算在处理传统推论学说中存在的若干问题评析

如何运用现代数理逻辑的工具系统地处理传统推论学说?希尔柏脱(D·Hilbert)和阿克曼(W·Ackermann)在《数理逻辑基础》(科学出版社,1958年版。以下简称《基础》)中专门探讨了这一问题,克劳斯(G·Klaus)在《形式逻辑导论》(上海译文出版社,1981年版。以下简称《导论》)中作了进一步的阐释和发挥。对于这两部著作所论及的相关知识。