网站首页  情感咨询  情感美文  情感百科  情感生活  学习充电  旧版美文

请输入您要查询的百科知识:

 

标题 《理论逻辑基础》
类别 哲学
释义 《理论逻辑基础》     Grundzüge der theoretischen Logik

亦译《数理逻辑基础》。德国希尔伯特与阿克曼合著。1928年出版,1938年出第2版。数理逻辑经典著作之一。正文共4章:命题演算、类演算(一元谓词演算)、狭义谓词演算、广义谓词演算。希尔伯特逝世后,该书经阿克曼修订,分别在1949年、1959年出了第三、第四版。第四版改动较大,除把原来用以表示否定、合取、等值、全称量词、存在量词等改用较常见的“”、“∧”、“↔”、“ x”、“ x”等符

号外,在命题演算部分正式引入了表格式的真值表方法,更重要的是以一种自然推演系统代替了前三版所采用的命题演算公理系统。并增加了直觉主义逻辑一节和严格蕴涵系统(其中简介了阿克曼自己所提出的一个系统)一节。通行的1950年英译本(书名意译为《数理逻辑原理》)所据为1938年的德文第2版,中译本由莫绍揆译(据德文第3版),科学出版社1958年以《数理逻辑基础》书名出版。

随便看

 

依恋情感网情感百科知识大全收录了49620条情感类百科知识词条,覆盖心理学、哲学、美学等领域,基本涵盖了日常生活中常见问题的详细解释,是情感生活的有利工具。

 

Copyright © 2002-2024 yiyi18.com All Rights Reserved
更新时间:2025/8/9 14:09:49