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

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

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