本文關(guān)鍵詞：一個限制排中律適用范圍的命題演算系統(tǒng)

  更多相關(guān)文章： 排中律 不矛盾律 反證法 適用范圍 命題演算系統(tǒng)PC

【摘要】："一個命題與肯定該命題而形成的命題是等值的"只是邏輯學的一個公設(shè),基于這一公設(shè),肯定詞在任何情況下都可以隨意消除,人們在構(gòu)造命題演算系統(tǒng)時根本無需引入肯定詞。然而,值得提出的是,上述公設(shè)從未得到過系統(tǒng)外的預(yù)先證明。命題演算系統(tǒng)PC5在限制上述公設(shè)適用范圍的基礎(chǔ)上引入了0級命題變項和肯定詞符號。PC5具有可靠性和完全性。在PC5中,對于任意的肯定和否定同一個n(n∈N且n≥0)級命題而形成的兩個相反命題而言,不矛盾律都成立;對于任意的肯定和否定同一個n(n∈N且n≥1)級命題而形成的兩個相反命題而言,排中律成立,但對于任意的肯定和否定同一個0級命題而形成的兩個相反命題而言,排中律不成立。以PC5為邏輯基礎(chǔ),反證法適用于論證n(n∈N且n≥1)級命題的肯定或否定命題,但不適用于論證0級命題的肯定或否定命題。
【作者單位】： 中共陜西省委黨校哲學部;
【關(guān)鍵詞】： 排中律 不矛盾律 反證法 適用范圍 命題演算系統(tǒng)PC
【分類號】：B812
【正文快照】： 在經(jīng)典命題演算中,不矛盾律和排中律都普遍有效。直覺主義斷然否定排中律的普遍有效性,在直覺主義命題演算中,不矛盾律普遍有效,排中律無效。直覺主義的創(chuàng)始人布勞維(L.E.J.Brouwer)認為:“排中律是從有限事物中概括出來的,任何一個涉及有限事物全體的命題,總是可以通過對這些

【相似文獻】

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

1 宿維軍;化簡命題演算一例[J];甘肅高師學報;2000年02期

2 殷德京;命題演算的一種表述[J];湖北師范學院學報(自然科學版);2000年01期

3 周健勇;;命題演算系統(tǒng)S的概率模型[J];數(shù)學的實踐與認識;2006年12期

4 蘇樓;知道命題演算[J];內(nèi)蒙古師大學報(哲學社會科學版);1987年02期

5 曹飛;經(jīng)典命題演算的多值模型[J];華東師范大學學報(哲學社會科學版);1999年01期

6 裴道武;;模糊命題演算系統(tǒng)■~*的簡化與獨立性[J];模糊系統(tǒng)與數(shù)學;2006年01期

7 ;基于開放世界預(yù)設(shè)的3-值命題演算系統(tǒng)[J];中山大學學報(社會科學版);1997年05期

8 郭方芳,陳圖云;關(guān)于命題演算公理系統(tǒng)獨立性證明的注記[J];遼寧師范大學學報(自然科學版);1999年03期

9 劉宏嵐;高慶獅;楊炳儒;;概率命題邏輯是經(jīng)典命題演算形式系統(tǒng)的隨機事件語義[J];小型微型計算機系統(tǒng);2011年05期

10 田口寬治;苑玉成;;符號邏輯學與邏輯實證主義(續(xù)一)[J];邏輯與語言學習;1988年06期

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

1 秦一男;;經(jīng)典命題演算的能行方法[A];2007年全國現(xiàn)代邏輯學術(shù)研討會論文集[C];2007年

2 熊明;;古典命題演算的直覺主義語義分析[A];2000年邏輯研究專輯[C];2000年

中國碩士學位論文全文數(shù)據(jù)庫 前1條

1 秦一男;經(jīng)典命題演算的能行方法研究[D];燕山大學;2008年

，

本文編號：645634