逻辑方法查看源代码讨论查看历史
《逻辑方法》，阐述现代逻辑的形式概念和发展形式推理方法的著作。维·蒯因(见“数理逻辑”)著。1950年初版，1959、1972、1978年再版。
内容简介
全书包括一个引言和4个部分。引言讨论逻辑的对象、逻辑规律与数学规律的性质等问题。第1部分讲真值函项理论，介绍现代逻辑的一些最基本的知识，例如各种真值联结词以及由它们联结的命题，如何将自然语言句子译为符号形式，相容性和有效性以及折取范式等。第2部分讨论一般词项和量词。先介绍直言命题、文恩图解以及三段论学说，并指出了这些方法的缺陷；然后顺着布尔的思路发展了一种一元逻辑(Monadic logic)。第3部分讨论一般量化理论。在这一部分中，蒯因发展了一种相当简便且容易证明的方法，并且由此还发展了一系列不同的方法。这种方法使完全性证明变得相当容易。第4部分简单讨论其他有关的逻辑或哲学的问题和学说，具体涉及单称词项、等词、摹状词、单称词项的消去、变元的消去、类、数、公理集合论等。本书既包括了数理逻辑的最基本内容，又有作者自己的独特见解和理论，并讨论了一些与之有关的逻辑哲学问题。
工具书的发展
“工欲善其事，必先利其器”。工具书是一种依据特定的需要，广泛汇集相关的知识或文献资料，按一定的体例和检索方式编排，专供查资料线索的图书、文献，是人们在书山探宝，学海求知的“器”。学会和善于利用工具书，是做学问的一项基本功。
我国的工具书历史悠久，源远流长。据史籀记载，公元前8世纪周宣王就有字书《史籀篇》。如果说先秦是工具书的萌芽时期的话，那么两汉则是工具书的奠基时期。《方言》[1]，《说文解字》《别录》《七略》[2]等一批定型的字典、词典、书目，为以后工具书的发展打下了坚实的基础。
随着工具书的不断发展，种类也变得越来越多，除字典、词典、百科全书外，年鉴、手册在工具书类型中发展较快，品种多，规模大，既有综合性的，也有专门或专科性的，既有学术性的，也有生活方面的。