多值逻辑查看源代码讨论查看历史
《多值逻辑》，多值逻辑专著。尼·雷歇尔著。美国MCGraw-Hill公司1969年出版。
内容简介
本书是作者对多值逻辑的历史、分类、内容以及哲学观点的系统论述和研究成果。正文共4章，第1章多值逻辑的历史概观；第2章多值逻辑概要；第3章逻辑的相对论；第4章是多值逻辑的资料汇编。书后附参考书目，最后是多值逻辑概要增补篇，给出了17个完整的逻辑系统。第1章追溯多值逻辑的理论源泉，分为4个阶段:古代史(H.Maccoll以前)；早期史(由H.Maccoll到十九世纪末)；建立史(1920—1930年)；近代史(1932—1965年)。古代史中认为，古代非决定论和未来可能事件的思考以及模态思考是多值逻辑古代源泉的二个内容。并把模态分为2类:真势模态和概率模态。列举了3位代表人物:苏格兰人H.Maccoll；他提出了三维逻辑；美国人C.S.Peirce，他的著作《微观逻辑》中提出了3分法数学并建立了三元逻辑；俄国人N.A.Vasilev，他的《假想的非亚里士多德逻辑》的论文中提出应该仿照非欧几何学那样改造逻辑。在建立史中，推崇波兰逻辑学家P.J.tukasiewicz和美国学者E.L.post为多值逻辑的创始人。前者在1920年前后在波兰哲学协会的讲演中发表了他多值逻辑的构想，尔后把他的三值逻辑整理成文发表。后者在1921年《基本命题的一般理论导引》一文中提出了第1个对任何基数都保持功能完备的多值代数系统，于是，1920—1921年就成为多值逻辑的创立年。在近代史中，列举了多值逻辑理论的现代发展和它广泛的应用成果，分析了多值逻辑的现代发展方向。第2章分30节，介绍了多值逻辑的主要内容。首先介绍了多值逻辑的一些主要系统如:卢卡西维奇逻辑、波斯特逻辑，克林逻辑，哥德尔逻辑及其拓广，多值逻辑标准叙列和它的变种，积逻辑，拟真值函数系统以及作为非真值函数的概率逻辑PL系统等；其次，还以相当的篇幅对逻辑联结词进行了专门研究，涉及到的内容有:多值逻辑否定的变异，标准二位联结词的多值拓广，多值逻辑参数算子的发展等；最后，还对多值逻辑的元逻辑问题进行了讨论。有关的内容有:多值逻辑的结构特征，真函完全性，指派真值与重言性，公理化与相对完全性，真值表的特征集合，一致性与否定一致性，多值逻辑间的包含关系等。还有相当一部分内容涉及近年来的一些研究成果，例如:多值逻辑语义解释的困难，多值逻辑的模态结构、多值逻辑的量化等等。第3章以逻辑的相对论为题，通过系统变异的二种方式，几何学的类推，逻辑的绝对主义与相对主义，相对论与绝对论的比较等论述表达了作者“逻辑是相对的、多元的，工具论的”哲学观点。
在经典逻辑的研究完善化之后，多值逻辑作为现代逻辑的主要方向之一无论从理论本身到广泛的应用都有着诱人的前景，本书是现代逻辑研究工作者不可多得的资料。
作者简介
尼·雷歇尔(Nicholas Rescher)，美国现代哲学家，逻辑学家。匹兹堡大学哲学教授。撰写和主编的书有《雷歇尔的哲学》、《哲学逻辑手册》等几十种。主要研究多值逻辑的量化，语义解释，以及拟真值函数系统(Quasi-truth-functional Sgstems)等方面。
工具书
工具书是专供查找知识信息的文献[1]。它系统汇集某方面的资料，按特定方法加以编排，以供需要时查考使用。根据工具书的基本性质和使用功能，可以划分为检索性工具书和参考性工具书（美国工具书专家盖茨称其为控制-检索型工具书和资料型工具书，Information:control and access，Sources of information)。另外还可以根据语种[2]、学科内容、规模大小等标准进行划分。