¥49.4(5.6折)定價:¥88.0
聯(lián)合演算是希爾伯特和阿克曼為從現(xiàn)代邏輯的演算觀把傳統(tǒng)邏輯推理理論系統(tǒng)化而特構(gòu)的一種新的邏輯工具,但聯(lián)合演算在解釋傳統(tǒng)邏輯和亞里士多德邏輯中存在根本缺陷。nbsp;nbsp; nbsp;nbsp; 馬雷所著的《論聯(lián)合演算》系統(tǒng)研究和發(fā)展了聯(lián)合演算的理論與方法,廢棄了聯(lián)合演算的原初判定標(biāo)準(zhǔn),提出解決判定問題的結(jié)構(gòu)判定法和范式判定法;并在此基礎(chǔ)上提出聯(lián)合演算對傳統(tǒng)邏輯和亞氏邏輯的等價翻譯方案,構(gòu)建了形式化的傳統(tǒng)直言推論系統(tǒng)和三段論化歸系統(tǒng),