本文選題：無窮遞降法 + 證明邏輯��； 參考：《東岳論叢》1995年02期

【摘要】：對無窮遞降法邏輯和方法的若干思考徐俊杰（一）無窮遞降法以它奇特的證明邏輯展現(xiàn)在人們的面前。人們運(yùn)用它確實(shí)解決了很多問題。然而，對于這種證明邏輯的本身以及如何具體運(yùn)用等問題，，還沒有深入地進(jìn)行探討。這里，從邏輯和方法的角度分析一下應(yīng)該思考和解決的問題，希...
[Abstract]:Some thoughts on the logic and method of infinite descending method Xu Junjie (1) infinite descending method is presented in front of people with its peculiar proof logic. People do use it to solve a lot of problems. However, it has not been discussed deeply about the proof logic itself and how to use it. Here, from the point of view of logic and method, analyze the problems that should be considered and solved.
【作者單位】： 山東社會(huì)科學(xué)院
【分類號(hào)】：B812.2

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 傅學(xué)順;用真值表證明邏輯規(guī)律必循環(huán)[J];華南師范大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);1987年01期

2 劉大椿;科學(xué)方法論:問題和趨勢[J];中國人民大學(xué)學(xué)報(bào);1988年03期

3 羅蔚,杜吉澤;國外科學(xué)發(fā)現(xiàn)問題爭論的焦點(diǎn)[J];現(xiàn)代哲學(xué);1988年03期

4 張大松;;試論科學(xué)發(fā)現(xiàn)與科學(xué)證明的邏輯思維[J];華中師范大學(xué)學(xué)報(bào)(人文社會(huì)科學(xué)版);1988年04期

5 張大松;;論科學(xué)發(fā)現(xiàn)與科學(xué)證明關(guān)系的合理重建[J];華中師范大學(xué)學(xué)報(bào)(人文社會(huì)科學(xué)版);1989年03期

6 周安平;曹陽;;邏輯結(jié)構(gòu)中科學(xué)發(fā)現(xiàn)的真知或然性[J];西南師范大學(xué)學(xué)報(bào)(人文社會(huì)科學(xué)版);1989年04期

7 曉露;;科學(xué)發(fā)現(xiàn)研究概述[J];哲學(xué)動(dòng)態(tài);1990年03期

8 葉閣蔚;內(nèi)隱記憶的證明邏輯與加工分離說（PDP）的修正模型[J];心理學(xué)報(bào);1994年04期

9 徐俊杰;對無窮遞降法邏輯和方法的若干思考[J];東岳論叢;1995年02期

10 韋振仕,馬亮;論科學(xué)發(fā)現(xiàn)觀的歷史演進(jìn)[J];黨政干部論壇;1998年01期

相關(guān)會(huì)議論文 前1條

1 高湘萍;林彬;;內(nèi)隱記憶間接測量法與過程分離的比較研究[A];第八屆全國心理學(xué)學(xué)術(shù)會(huì)議文摘選集[C];1997年

相關(guān)重要報(bào)紙文章 前3條

1 馮克勤;撥亮數(shù)學(xué)的火焰[N];人民日報(bào);2000年

2 中國檢察理論研究所法學(xué)博士 謝鵬程;排除合理懷疑的標(biāo)準(zhǔn)[N];檢察日報(bào);2001年

3 王琳;“依據(jù)民意”不過是說了句大實(shí)話[N];東方早報(bào);2008年

本文編號(hào)：2090334