本文關(guān)鍵詞：邏輯常項與保守性:以tonk為例

  更多相關(guān)文章： 邏輯推理論 邏輯常項 tonk 協(xié)調(diào)性 保守性

【摘要】：根據(jù)邏輯推理論,邏輯常項的意義是由它的引入和消去規(guī)則確定的。普萊爾(Arthur Prior)提出的tonk對推理論構(gòu)成了嚴重挑戰(zhàn)。庫克(Roy Cook)最近構(gòu)造了一個禁止傳遞性的相干的邏輯系統(tǒng),即Tonk-邏輯,并借助四值語義學(xué)重新定義了Tonk-后承概念,在這種概念之下,tonk的引入規(guī)則和消去規(guī)則都是有效的,同時系統(tǒng)還不是平凡的。本文探討了保守性與常項的引入和消去規(guī)則的協(xié)調(diào)性之間的聯(lián)系,并定義了兩種較強的協(xié)調(diào)性概念,即HCU-協(xié)調(diào)性和HML-協(xié)調(diào)性概念。借助這兩個概念,本文論證,tonk不是HCU-協(xié)調(diào)的也不是HML-協(xié)調(diào)的,因而它不是合法的邏輯常項,Tonk-邏輯也不是一種合法的邏輯系統(tǒng)。
【作者單位】： 中南財經(jīng)政法大學(xué)哲學(xué)院;
【關(guān)鍵詞】： 邏輯推理論 邏輯常項 tonk 協(xié)調(diào)性 保守性
【分類號】：B812
【正文快照】： 按照邏輯推理論(logical inferentialism)的傳統(tǒng),邏輯常項的意義是由它在推理中的作用(即它的引入和消去規(guī)則)確定的。1在1960年的一篇著名文章中,普萊爾對這種傳統(tǒng)提出一個嚴重的挑戰(zhàn)。([10])他構(gòu)造了一個怪異的常項:tonk。這個常項的引入和消去規(guī)則分別借用了析取()的引入規(guī)

【相似文獻】

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

1 羅翊重;論形式邏輯和辯證邏輯的互補前提設(shè)定[J];學(xué)術(shù)探索;1995年02期

2 韓鐵穩(wěn);;淺談邏輯常項的語言表達形式[J];思維與智慧;1989年03期

3 江東;例談填空題的解答和注意事項[J];思維與智慧;1994年01期

4 李娜;模態(tài)系統(tǒng)P_1的協(xié)調(diào)性[J];信陽師范學(xué)院學(xué)報(哲學(xué)社會科學(xué)版);2005年03期

5 劉新文;;函數(shù)完備性問題[J];重慶理工大學(xué)學(xué)報(社會科學(xué));2011年08期

6 鄧雄雁;胡澤洪;;協(xié)調(diào)、一致與一階公理系統(tǒng)的強完全性[J];華南師范大學(xué)學(xué)報(社會科學(xué)版);2010年03期

7 劉新文;;論邏輯常項的歸約[J];哲學(xué)研究;2011年06期

8 周斌;斯特勞遜的邏輯理論述評[J];社會科學(xué);1992年12期

9 郁慕鏞;普通邏輯學(xué)習(xí)問答[J];河北自學(xué)考試;2002年03期

10 張余黃;三、上期題目參考答案[J];思維與智慧;1985年05期

中國重要會議論文全文數(shù)據(jù)庫 前7條

1 李小五;;協(xié)調(diào)性質(zhì)與無窮邏輯幾個公理化系統(tǒng)的完全性[A];1993年邏輯研究專輯[C];1993年

2 劉新文;;一階邏輯函數(shù)完備性和邏輯常項問題[A];科學(xué)發(fā)展：社會管理與社會和諧——2011學(xué)術(shù)前沿論叢（上）[C];2011年

3 王寶龍;;對充分條件假言命題邏輯常項的再認識[A];第十六屆全國法律邏輯學(xué)術(shù)討論會論文（成就·反思·前瞻——中國法律邏輯三十年）[C];2008年

4 羅翊重;;邏輯推理四大基礎(chǔ)類型及其相互關(guān)系研究[A];中國思維科學(xué)研究論文選2011年專輯[C];2012年

5 李小五;;無窮邏輯與LS定理[A];理有固然——紀念金岳霖先生百年誕辰[C];1995年

6 弓肇祥;季冠芳;;哲學(xué)邏輯的幾個理論問題[A];邏輯研究文集——中國邏輯學(xué)會第六次代表大會暨學(xué)術(shù)討論會論文集[C];2000年

7 張清宇;;弗協(xié)調(diào)邏輯系統(tǒng)Zn和ZnUS[A];理有固然——紀念金岳霖先生百年誕辰[C];1995年

，

本文編號：701573