打开主菜单

求真百科

逻辑方法

逻辑方法》,阐述现代逻辑的形式概念和发展形式推理方法的著作。维·蒯因(见“数理逻辑”)著。1950年初版,1959、1972、1978年再版。

目录

内容简介

全书包括一个引言和4个部分。引言讨论逻辑的对象、逻辑规律与数学规律的性质等问题。第1部分讲真值函项理论,介绍现代逻辑的一些最基本的知识,例如各种真值联结词以及由它们联结的命题,如何将自然语言句子译为符号形式,相容性和有效性以及折取范式等。第2部分讨论一般词项和量词。先介绍直言命题、文恩图解以及三段论学说,并指出了这些方法的缺陷;然后顺着布尔的思路发展了一种一元逻辑(Monadic logic)。第3部分讨论一般量化理论。在这一部分中,蒯因发展了一种相当简便且容易证明的方法,并且由此还发展了一系列不同的方法。这种方法使完全性证明变得相当容易。第4部分简单讨论其他有关的逻辑或哲学的问题和学说,具体涉及单称词项、等词、摹状词、单称词项的消去、变元的消去、类、数、公理集合论等。本书既包括了数理逻辑的最基本内容,又有作者自己的独特见解和理论,并讨论了一些与之有关的逻辑哲学问题。

工具书的发展

“工欲善其事,必先利其器”。工具书是一种依据特定的需要,广泛汇集相关的知识或文献资料,按一定的体例和检索方式编排,专供查资料线索的图书、文献,是人们在书山探宝,学海求知的“”。学会和善于利用工具书,是做学问的一项基本功。

我国的工具书历史悠久,源远流长。据史籀记载,公元前8世纪周宣王就有字书《史籀篇》。如果说先秦是工具书的萌芽时期的话,那么两汉则是工具书的奠基时期。《方言》[1],《说文解字》《别录》《七略》[2]等一批定型的字典、词典、书目,为以后工具书的发展打下了坚实的基础。

随着工具书的不断发展,种类也变得越来越多,除字典、词典、百科全书外,年鉴、手册在工具书类型中发展较快,品种多,规模大,既有综合性的,也有专门或专科性的,既有学术性的,也有生活方面的。

视频

逻辑方法 相关视频

、终端爆破的逻辑方法
《开讲啦》科学的方法 逻辑化 定量化 实证化

参考文献

  1. 方言,可可诗词,2019-11-15
  2. 《七略》, 中国孔子网,2017-09-15