多值邏輯
內容簡介
本書是作者對多值邏輯的歷史、分類、內容以及哲學觀點的系統論述和研究成果。正文共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]、學科內容、規模大小等標準進行劃分。