[排中律,適用范圍,命題]淺析限制排中律適用范圍的命題演算_第1頁
[排中律,適用范圍,命題]淺析限制排中律適用范圍的命題演算_第2頁
[排中律,適用范圍,命題]淺析限制排中律適用范圍的命題演算_第3頁
全文預覽已結束

下載本文檔

版權說明:本文檔由用戶提供并上傳,收益歸屬內容提供方,若內容存在侵權,請進行舉報或認領

文檔簡介

1、淺析限制排中律適用范圍的命題演算在經典命題演算中,不矛盾律和排中律都普遍有效。直覺主義斷然否定排中律的普遍有 效性,在直覺主義命題演算中,不矛盾律普遍有效,排中律無效。直覺主義的創(chuàng)始人布勞維 (L. E. J. Brouwer)認為:排中律是從有限事物中概括出來的,任何一個涉及有限事物全體的命 題,總是可以通過對這些事物逐一地加以驗證,來判明該命題的真?zhèn)?,這時排中律是有效的。 但是如果忘記了排中律的有限來源,把排中律視為先于和高于數學的某種普遍適用的法則, 并將它運用于無限的場合,就會犯錯誤。這是因為對于無限的事物,往往不可能(哪怕是原則 上)對它們一一加以鑒別。1 49然而,經典命題演算認排

2、中律為普遍有效式,這固然與直 觀相違;直覺主義命題演算認排中律為無效式,亦與直觀不盡相符。從直觀上看,正如布勞維 所認為的那樣,排中律對且只對有限事物有效;但無論是經典命題演算,還是直覺主義命題演 算,都沒有框定排中律的適用范圍。鑒于此,本文擬對經典命題演算做適當改動,構造一個 限制排中律適用范圍的命題演算系統(tǒng)PC5。命題演算系統(tǒng)PC5及其可靠性、完全性(一)PC5的語法和語義初始符號:甲、pl, p2, p3, pm, m為自然數;乙、,丙、(,)。在陳述形成規(guī)則以前,我們先引進一些語法語言的符號并作如下說明:(1)Q、R、S代表任一甲類符號。(2)X、Y、Z代表任一符號序列。(3)A、B、

3、C、D、E代表任一合式公式。(4)語法符號卜寫在任一公式之前,它表示緊接在后面的公式是本系統(tǒng)所要肯定的。形成規(guī)則:(1)若X是甲類符號,則X、- X是合式公式。(2)若X是合式公式,則X、1 X是合式公式。(3)若X和Y都是合式公式,貝hXY)是合式公式。(4)只有適合以上三條的符號序列是合式公式。定義:(甲)(AB)定義為J AB)o(乙)(AB)定義為 1 (n A-i B) o(丙)(AB)定義為(AB) (BA) ,括號省略規(guī)則:(甲)最外而的一對括號可以省略。(乙)真值聯結詞的結合力依下列次序而遞增:,-1 O公理:公理1: Faa;公理2:卜AB;公理3: Fab公理 4: F(B

4、C)BC);公理5:卜I-A公理 6: | ( rQ- Q)。變形規(guī)則:(1)分離規(guī)則,從卜A和卜1 AB可得卜(2)定義置換規(guī)則,定義的左右兩方可相互替換。設原公式為A,替換后所得公式為B, 則從卜A可得FBo公式的級的遞歸定義:(1)若X是甲類符號,則廠X和-I X均為原子公式,原子公式是1級公式。(2)若X是m級公式,則廠X和1X均為m+1級公式。(3)若X是m級公式,Y是n級公式,且mn,則XY、YX、XY、YX、XY、YX、XY、YX均為m級公式。對引入0級命題變項和肯定詞符號的一點說明如前文所述,0級命題變項代表任意的0級命題。0級命題就是不包含肯定詞或否定詞 的命題。這里有一點需

5、要說明,邏輯學界有一種普遍流行的觀點,這種觀點認為任何命題都 肯定了自身。按照這種觀點,人們必須承認:第一,任何命題都隱含著肯定詞;第二,一個命 題與肯定該命題而形成的命題是等值的。這樣一來,也就不存在。級命題了。筆者認為,上述普遍流行的觀點頗值得商榷。首先,沒有任何理由可以證明任何命題都 肯定了自身。其次,有些命題很難說肯定了自身。例如,命題甲圓周率的小數表達式3. 1415926中有 七個連續(xù)出現的5就很難說肯定了自身。是一個無理數,即無限的不循環(huán)的小數。到目前為 I匕 我們還沒有發(fā)現(或證明)的小數展開式中有七個連續(xù)出現的5,因而不能肯定命題甲; 我們也無法論證一定沒有這樣一個特性,因而也不能否定命題甲1 4950。如果命題甲肯 定了自身,那么只要提出命題甲,就提出了對命題甲的肯定。這與命題甲雖已提出來但到目 前為止還未被肯定這一事實顯然不符。再次,一個命題與肯定該命題而形成的命題是等值的 只是邏輯學的一個公設,基于這一公設,肯定詞在任何情況下都可以隨意消除,人們在構造 命題演算系統(tǒng)時根本無需引入肯定詞,這就造成了在現代邏輯中對肯定詞和否定詞的研窕極 為不平衡的奇特現象:人們建立了多種多樣的命題演算系統(tǒng)來刻畫否定詞的邏輯意義,區(qū)分 了不同種類的否定(如經典否定、直覺主義否定、弗協(xié)調否定等)3 476477;但人

溫馨提示

  • 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
  • 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯系上傳者。文件的所有權益歸上傳用戶所有。
  • 3. 本站RAR壓縮包中若帶圖紙,網頁內容里面會有圖紙預覽,若沒有圖紙預覽就沒有圖紙。
  • 4. 未經權益所有人同意不得將文件中的內容挪作商業(yè)或盈利用途。
  • 5. 人人文庫網僅提供信息存儲空間,僅對用戶上傳內容的表現方式做保護處理,對用戶上傳分享的文檔內容本身不做任何修改或編輯,并不能對任何下載內容負責。
  • 6. 下載文件中如有侵權或不適當內容,請與我們聯系,我們立即糾正。
  • 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。

評論

0/150

提交評論