作品介紹

結(jié)構(gòu)推理


作者:馮棉     整理日期:2018-11-18 10:18:38


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





上一本:近思續(xù)録 下一本:天賦理論最新發(fā)展研究

作家文集

下載說(shuō)明
結(jié)構(gòu)推理的作者是馮棉,全書(shū)語(yǔ)言優(yōu)美,行文流暢,內(nèi)容豐富生動(dòng)引人入勝。為表示對(duì)作者的支持,建議在閱讀電子書(shū)的同時(shí),購(gòu)買(mǎi)紙質(zhì)書(shū)。

更多好書(shū)