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

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

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

【相似文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

，

本文編號(hào)：701573