《理论逻辑基础》 Grundzüge der theoretischen Logik 亦译《数理逻辑基础》。德国希尔伯特与阿克曼合著。1928年出版,1938年出第2版。数理逻辑经典著作之一。正文共4章:命题演算、类演算(一元谓词演算)、狭义谓词演算、广义谓词演算。希尔伯特逝世后,该书经阿克曼修订,分别在1949年、1959年出了第三、第四版。第四版改动较大,除把原来用以表示否定、合取、等值、全称量词、存在量词等改用较常见的“”、“∧”、“↔”、“ x”、“ x”等符 号外,在命题演算部分正式引入了表格式的真值表方法,更重要的是以一种自然推演系统代替了前三版所采用的命题演算公理系统。并增加了直觉主义逻辑一节和严格蕴涵系统(其中简介了阿克曼自己所提出的一个系统)一节。通行的1950年英译本(书名意译为《数理逻辑原理》)所据为1938年的德文第2版,中译本由莫绍揆译(据德文第3版),科学出版社1958年以《数理逻辑基础》书名出版。 |