檢視逻辑方法的原始碼

[[File:逻辑方法.jpeg|有框|右|<big></big>[https://img1.doubanio.com/view/subject/s/public/s1512367.jpg 原图链接][https://book.douban.com/subject/1449017/ 来自 豆瓣网 的图片]]]

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

==内容简介==

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

==工具书的发展==

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

我国的工具书历史悠久，源远流长。据史籀记载，公元前8世纪周宣王就有字书《[[史籀篇]]》。如果说先秦是工具书的萌芽时期的话，那么两汉则是工具书的奠基时期。《方言》<ref>[https://www.kekeshici.com/guji/mingzhu/242112.html 方言]，可可诗词，2019-11-15</ref>，《[[说文解字]]》《别录》《七略》<ref>[http://www.chinakongzi.org/baike/DIANJI/JILEI/201709/t20170915_144021.htm 《七略》]， 中国孔子网，2017-09-15</ref>等一批定型的[[字典]]、词典、书目，为以后工具书的发展打下了坚实的基础。

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

==视频==
===<center> 逻辑方法 相关视频</center>===
<center>、终端爆破的逻辑方法</center>
<center>{{#iDisplay:w3244uquxdf|560|390|qq}}</center>

<center>《开讲啦》科学的方法 逻辑化 定量化 实证化</center>
<center>{{#iDisplay:d05136pkolz|560|390|qq}}</center>

==参考文献==
[[Category:040 類書總論；百科全書總論]]