本文關(guān)鍵詞：根岑邏輯演繹思想的主要特征和哲學影響探析

  更多相關(guān)文章： 自然演繹 矢列演算 證明論語義學 意義理論

【摘要】：論文在梳理根岑如何從邏輯公理化思想出發(fā)發(fā)展出自然演繹和矢列演算思想的基礎上,總結(jié)出根岑邏輯演繹思想的主要特征。根岑對聯(lián)接詞引入和消去規(guī)則各自角色的理解及其采取的樹形證明方式引導他發(fā)現(xiàn)并證明了切割消去定理。最后指出根岑的邏輯演繹思想對證明論語義學和意義理論有重要應用和哲學影響。
【作者單位】： 西南大學邏輯與智能研究中心;
【基金】：國家社科基金重點項目“面向博弈的動態(tài)邏輯研究”(15AZX020) 中央高�；究蒲袠I(yè)務費專項資金項目(2362015xk02) 重慶市研究生教育教學改革研究項目(yjg143035)
【分類號】：B81-0
【正文快照】： 一、引言根岑(G.Gentzen,1909-1945)和雅斯科夫斯基(S.Jas'kowski,1906-1965)被認為是自然演繹(Natural Deduction)的獨立發(fā)現(xiàn)者和創(chuàng)立者。盧卡西維其(Jan Lukasiewicz)在1926年的一個討論班上,提出數(shù)學證明并不像當時的邏輯公理化思想那樣,而是允許隨時引入假設。雅斯科夫斯，

本文編號：1229691