本文關(guān)鍵詞：聯(lián)合演算的結(jié)構(gòu)判定方法初探

  更多相關(guān)文章： 聯(lián)合演算 審定法 結(jié)構(gòu)判定方法

【摘要】：與命題演算一樣,聯(lián)合演算也有相應(yīng)的判明一公式是否永真的方法。希爾伯特和阿克曼提出的"審定法"就是這樣一種方法,但審定法沒有區(qū)分聯(lián)合演算的兩個(gè)層次,試圖在聯(lián)合演算的第一個(gè)層次上解決判定問題,從而暴露出嚴(yán)重的弱點(diǎn)。在本文中,我將對(duì)審定法進(jìn)行改造,深入解讀豎號(hào)的邏輯意義,厘清聯(lián)合演算的兩個(gè)層次,在類邏輯和命題邏輯之間建立完全的類比,提出一種具有普遍意義的更嚴(yán)格的方法,即結(jié)構(gòu)判定方法。該方法能夠幫助我們揭示傳統(tǒng)推理式的前提和結(jié)論之間的聯(lián)系的必然性,從而判明一聯(lián)合演算公式是否永真式,并且?guī)椭扇我豢蓾M足式(包括永真式)得出永真式。
【作者單位】： 東南大學(xué)哲學(xué)與科學(xué)系;
【基金】：2010年江蘇省青藍(lán)工程中青年學(xué)術(shù)帶頭人基金 2012年國家留學(xué)歸國人員科研啟動(dòng)基金的資助 2011年國家社會(huì)科學(xué)基金項(xiàng)目(11BZX031)的研究成果
【分類號(hào)】：B812
【正文快照】： 一、希爾伯特和阿克曼的審定法希爾伯特和阿克曼實(shí)際上提出了一種判別一公式是否永真式的“審定法”或“判定標(biāo)準(zhǔn)”。那么,希爾伯特和阿克曼是如何應(yīng)用“審定法”的,且看他們對(duì)“浩伯定理”(Haubersche Theorem,也譯為“豪伯定理”)的證明�！稊�(shù)理邏輯基礎(chǔ)》第46頁把浩伯定理

【參考文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前2條

1 馬雷;聯(lián)合演算在處理傳統(tǒng)推論學(xué)說中存在的若干問題評(píng)析[J];華東師范大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);1994年06期

2 馬雷;論聯(lián)合演算對(duì)傳統(tǒng)推論學(xué)說的系統(tǒng)化處理[J];南京大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);1994年01期

【共引文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前10條

1 李秀敏;論亞相容邏輯中的“矛盾”——達(dá)科斯塔的亞相容邏輯思想述評(píng)[J];安徽大學(xué)學(xué)報(bào);2005年01期

2 張鐵聲;;“典型語義悖論”及其單義句預(yù)設(shè)[J];安徽大學(xué)學(xué)報(bào);2006年01期

3 何自強(qiáng);一個(gè)－階邏輯公理系統(tǒng)獨(dú)立性的證明[J];北京航空航天大學(xué)學(xué)報(bào);1994年01期

4 曹發(fā)生;羅青林;;基于語義賦值的有窮集合上二元關(guān)系性質(zhì)的判定算法[J];畢節(jié)學(xué)院學(xué)報(bào);2010年08期

5 劉q，

本文編號(hào)：1216468