本文選題：直覺主義 + 演繹�。� 參考：《南開學(xué)報(bào)(哲學(xué)社會科學(xué)版)》2007年04期

【摘要】：直覺主義邏輯是達(dá)米特語義反實(shí)在論的基礎(chǔ)。他對直覺主義邏輯的辯護(hù)包括證明論、模型論或語義學(xué)、意義理論三個(gè)層次,他論證了直覺主義邏輯規(guī)律是自我辯護(hù)的、其語義解釋可以避免循環(huán)論證,闡明了直覺主義邏輯和經(jīng)典邏輯之爭的邏輯哲學(xué)內(nèi)涵。他提出的協(xié)調(diào)性、非循環(huán)性、組合性等原則對演繹辯護(hù)具有重要的價(jià)值。
[Abstract]:Intuitionistic logic is the basis of Damit's semantic anti-realism. His defense of intuitionism logic includes three levels: proof theory, model theory or semantics, meaning theory. He proves that the laws of intuitionism logic are self-defense, and its semantic interpretation can avoid circular argument. This paper expounds the logic philosophy connotation of the argument between intuitionism logic and classical logic. His principles of coordination, non-circularity and combination are of great value to deductive defense.
【作者單位】： 南開大學(xué)哲學(xué)系 南開大學(xué)哲學(xué)系
【基金】：教育部人文社會科學(xué)重點(diǎn)研究基地重大項(xiàng)目(02JAZJD720018)
【分類號】：B815

【相似文獻(xiàn)】

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

1 王春梅;;黑格爾邏輯學(xué)開端及其演繹的分析[J];蘭州學(xué)刊;2011年07期

2 馮棉;;一類命題邏輯的一般弱框架擇類語義[J];邏輯學(xué)研究;2011年02期

3 郭建萍;;殊途同歸的意義理論——邏輯視野中的戴維森與達(dá)米特意義理論[J];哲學(xué)動態(tài);2011年06期

4 劉新文;;現(xiàn)代模態(tài)邏輯探源[J];哲學(xué)動態(tài);2011年05期

5 周山;;邏輯多元性的歷史根據(jù)——談?wù)劇吨袊鴤鹘y(tǒng)類比推理系統(tǒng)研究》一書的寫作旨意[J];哲學(xué)分析;2011年03期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

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

1 俞穎杰;;達(dá)米特論指稱和涵義[A];第二屆中國科技哲學(xué)及交叉學(xué)科研究生論壇論文集（博士卷）[C];2008年

相關(guān)博士學(xué)位論文 前1條

1 張繼華;科學(xué)探究推理研究[D];西南大學(xué);2012年

相關(guān)碩士學(xué)位論文 前5條

1 呂海榮;中國古代推類的特點(diǎn)[D];北京師范大學(xué);2008年

2 張保壘;表列演算探究[D];華東師范大學(xué);2011年

3 鄭偉;亞里士多德三段論系統(tǒng)研究[D];河南大學(xué);2011年

4 陳珊;核證邏輯研究[D];中國社會科學(xué)院研究生院;2011年

5 孫夢荻;偵查假說的構(gòu)建[D];河南大學(xué);2012年

，

本文編號：1917173