“智慧的探索叢書”收入了華東師范大學哲學學科幾代學人的哲學論著，展示了幾代學人的智慧之思。
《結構推理》系統(tǒng)地考察了命題邏輯的結構推理，是國內(nèi)第1次系統(tǒng)關注并深入推進這一邏輯前沿的力作，填補了國內(nèi)邏輯學在這一重要領域內(nèi)的空白。全書內(nèi)容豐富，信息量大；結構合理，層次感強；文字簡潔，符號精確；行之明快，條理清晰，充分體現(xiàn)了現(xiàn)代邏輯研究的“數(shù)理性”和“嚴格性”特點。
《結構推理》研究命題邏輯的結構推理，分為四章：一、經(jīng)典命題邏輯的結構推理；二、直覺主義命題邏輯的結構推理；三、相干命題邏輯及其線性片段的結構推理；四、和正結合演算的結構推理。內(nèi)容涉及多種結構推理系統(tǒng)的建構，結構推理系統(tǒng)與相應公理系統(tǒng)的等價性，在語義理論的基礎上，證明了各個結構推理系統(tǒng)的可靠性與完全性，并考察了正結合演算結構推理系統(tǒng)BL-D的可判定性。
《結構推理》是教育部人文社會科學重點研究基地重大項目“結構推理及其應用研究”的zui終成果。
|
