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

【摘要】：對無窮遞降法邏輯和方法的若干思考徐俊杰（一）無窮遞降法以它奇特的證明邏輯展現(xiàn)在人們的面前。人們運用它確實解決了很多問題。然而，對于這種證明邏輯的本身以及如何具體運用等問題，，還沒有深入地進行探討。這里，從邏輯和方法的角度分析一下應該思考和解決的問題，希...
[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.
【作者單位】： 山東社會科學院
【分類號】：B812.2

【相似文獻】

相關期刊論文 前10條

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

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

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

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

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

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

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

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

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

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

相關會議論文 前1條

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

相關重要報紙文章 前3條

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

2 中國檢察理論研究所法學博士 謝鵬程;排除合理懷疑的標準[N];檢察日報;2001年

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

本文編號：2090334