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

1、河南大學(xué)碩士學(xué)位論文盧卡西維茨多值邏輯及其與一些邏輯的比較姓名：賈國恒申請學(xué)位級別：碩士專業(yè)：邏輯學(xué)指導(dǎo)教師：李娜2003.5.1在第二章中，文章首先分析了存在多種不同的多值邏輯系統(tǒng)的原因。論文簡單介紹了玻赫瓦爾的三值邏輯系統(tǒng)隊克林的三值邏輯系統(tǒng)K 。以及朱梧橫、肖奚安的中介邏輯M P 和波斯特的多值邏輯系統(tǒng)P 3 ，并將它們與盧卡西維茨多值邏輯相對比，以期對多值邏輯有一個更好的了解。這一章對比順序的安排如下：首先是B 3 與K 3 和

2、L 3 的對比。這是規(guī)范的系統(tǒng)之間的對比，并且它們都是從語義分析的角度構(gòu)建起來的系統(tǒng)：但B 3 和K 3 又有所不同：B 3 是從悖論分析的角度構(gòu)建起來的，而K 3 則是從本體論和認識論分析相結(jié)合的角度構(gòu)建起來的。然后是M P 和L 3 的對比。這是規(guī)范的與非規(guī)范的系統(tǒng)之間的對比，但同時M P 又是從語義分析的角度構(gòu)建起來的系統(tǒng)。最后是P 。和L 。的對比。P 。是從純形式的角度分析并構(gòu)建起來的系統(tǒng)，因此它與L 。的對比是純形式分析系統(tǒng)