本文關(guān)鍵詞：S型超協(xié)調(diào)邏輯中的一項(xiàng)重大研究突破——評張金成《邏輯及數(shù)學(xué)演算中的不動(dòng)項(xiàng)與不可判定命題》

  更多相關(guān)文章： 金成 不協(xié)調(diào)邏輯 邏輯系統(tǒng) 次協(xié)調(diào)邏輯 數(shù)理辯證邏輯 命題邏輯 Cantor 邏輯錯(cuò)誤 對角線方法 經(jīng)典邏輯

【摘要】：正1一個(gè)"平凡人"的不平凡貢獻(xiàn)1)"S型超協(xié)調(diào)邏輯"是我國學(xué)者張金成自創(chuàng)的一種邏輯,與它最接近的系統(tǒng)有巴西的"次協(xié)調(diào)邏輯"、美國的"不協(xié)調(diào)邏輯"和澳大利亞的"R型超協(xié)調(diào)邏輯",不同的是他們都是通過直接約束矛盾律的有效使用范圍來包含"無害矛盾",而張金成是在堅(jiān)持排斥"邏輯矛盾"的同時(shí),直接把"辯證矛盾"作為邏輯系統(tǒng)的研究對象,其"數(shù)理辯證邏輯"的指向更加明確。張金成的論文《邏輯及數(shù)學(xué)演算中的不動(dòng)項(xiàng)與不可判定命題》(以下簡稱為《張文》)是在S型超協(xié)調(diào)邏輯基礎(chǔ)上的一項(xiàng)重大研究突破,取得
【作者單位】： 西北工業(yè)大學(xué)計(jì)算機(jī)學(xué)院;
【關(guān)鍵詞】： 金成;不協(xié)調(diào)邏輯;邏輯系統(tǒng);次協(xié)調(diào)邏輯;數(shù)理辯證邏輯;命題邏輯;Cantor;邏輯錯(cuò)誤;對角線方法;經(jīng)典邏輯;
【分類號】：O141.1
【正文快照】： 1一個(gè)“平凡人”的不平凡貢獻(xiàn)1)“S型超協(xié)調(diào)邏輯”是我國學(xué)者張金成自創(chuàng)的一種邏輯,與它最接近的系統(tǒng)有巴西的“次協(xié)調(diào)邏輯”、美國的“不協(xié)調(diào)邏輯”和澳大利亞的“R型超協(xié)調(diào)邏輯”,不同的是他們都是通過直接約束矛盾律的有效使用范圍來包含“無害矛盾”,而張金成是在堅(jiān)持排斥，

本文編號：932311