盧卡西維茨多值邏輯及其與一些邏輯的比較.pdf

1、文章的引言簡(jiǎn)明扼要地介紹了多值邏輯的產(chǎn)生及其發(fā)展概況,使我們首先對(duì)多值邏輯有一個(gè)輪廓的印象.第一章是文章的主體部分,其他部分都是圍繞著這一部分來寫的,它們是這一部分的對(duì)比和深化.我們知道,盧卡西維茨被譽(yù)為多值邏輯之父,因?yàn)檎撬诙兰o(jì)二十年代起首先把現(xiàn)代邏輯的方法應(yīng)運(yùn)于多值邏輯的研究,從而系統(tǒng)地發(fā)展了多值邏輯的理論.因此,該文首先并主要考察的是盧卡西維茨的多值邏輯理論.在這一部分中,文章考察的內(nèi)容主要有盧卡西維茨的三值邏輯理論、三值

2、邏輯的真值函項(xiàng)、盧卡西維茨的三值邏輯的公理化研究和盧卡西維茨的三值邏輯的推廣等.在第二章中,文章首先分析了存在多種不同的多值邏輯系統(tǒng)的原因.論文簡(jiǎn)單介紹了玻赫瓦爾的三值邏輯系統(tǒng)B<,3>、克林的三值邏輯系統(tǒng)K<,3>以及朱梧槚、肖奚安的中介邏輯MP和波斯特的多值邏輯系統(tǒng)P<,3>,并將它們與盧卡西維茨多值邏輯相對(duì)比,以期對(duì)多值邏輯有一個(gè)更好的了解.這一章對(duì)比順序的安排如下:首先是B<,3>與K<,3>和L<,3>的對(duì)比.這是規(guī)范的系統(tǒng)之

3、間的對(duì)比,并且它們都是從語義分析的角度構(gòu)建起來的系統(tǒng);但B<,3>和K<,3>又有所不同:B<,3>是從悖論分析的角度構(gòu)建起來的,而K<,3>則是從本體論和認(rèn)識(shí)論分析相結(jié)合的角度構(gòu)建起來的.然后是MP和L<,3>的對(duì)比.這是規(guī)范的與非規(guī)范的系統(tǒng)之間的對(duì)比,但同時(shí)MP又是從語義分析的角度構(gòu)建起來的系統(tǒng).最后是P<,n>和L<,n>的對(duì)比.P<,n>是從純形式的角度分析并構(gòu)建起來的系統(tǒng),因此它與L<,n>的對(duì)比是純形式分析系統(tǒng)和語義分析系統(tǒng)