必須命題是陳述必須履行某種行為的命題。通常含有“必須”、”應當”、“有義務”等規範詞。規範詞“必須”用“0”表示(“義務”、“應當”的英文obligation的第一個字母),必須命題用Op表示,讀作“p是必須的”,或“必須p”。
基本介紹
- 中文名:必須命題
- 屬性:邏輯學術語
必須命題是陳述必須履行某種行為的命題。通常含有“必須”、”應當”、“有義務”等規範詞。規範詞“必須”用“0”表示(“義務”、“應當”的英文obligation的第一個字母),必須命題用Op表示,讀作“p是必須的”,或“必須p”。
必須命題是陳述必須履行某種行為的命題。通常含有“必須”、”應當”、“有義務”等規範詞。規範詞“必須”用“0”表示(“義務”、“應當”的英文obligation的第一個字母),必須命題用Op表示,讀作“p是必須的”,或“必...
根據規範詞性質的不同,直言規範命題有以下三種基本形式:(1)必須命題,陳述必須履行某種行為的命題,用Op表示。(2)禁止命題,陳述禁止某種行為的命題,用Fp表示。(3)允許命題,陳述允許某種行為的命題,用Pp表示。在複合規範命題中,根據聯結詞的不同,有下列一些形式:(l)聯言規範命題,用“並且”作為聯結詞的...
選言規範命題是用聯結詞“或者”(用“V”表示)聯結的規範命題。它包括三種基本形式:(1)必須選言命題,其形式為:O(pVq),讀作“必須(p或q)”。例如:“必須作出某被告有罪的判決或無罪的判決。”(2)允許選言命題,其形式為:P(pVq),讀作“允許(p或q)。”例如:“允許子女隨父姓或子女隨母姓。...
假言規範命題是用聯結詞“如果,那么”(用“一”表示)聯結的規範命題。它包括三種基本形式:(1)必須假言命題,其形式為:O(p- q),讀作“必須(如果p,那么q)”。例如:“如果定義能用肯定的,那么就應當不用否定的。”(2)允許假言命題,其形式為P(p—q),讀作“允許(如果p那么q)”。例如:“如果對...
聯言規範命題是用聯結詞“並且”(用“^”表示)聯結的規範命題。它包括三種基本形式:(1)必須聯言命題,其形式為:O( p^q),讀作“必須(p並且q)”。例如:“國家工作人員必須依靠人民的支持並且接受人民的監督。”(2)允許聯言命題,其形式為:P(p^q),讀作“允許(p並且q)”。例如:“允許理論工作者...
必須規範三段論是含有必須規範命題的三段論。通常大前提是一個必須規範命題,小前提是一個直言命題,而結論是一個必須規範命題。其形式為: 凡M必須P,凡S是M,所以,凡S必須P。例如:“凡中華人民共和國的公民都必須守法;某人是中華人民共和國的公民;所以,某人必須守法。”直言規範三段論亦稱“直言規範命題的推理...
在現代哲學、數學、邏輯學、語言學中,命題(判斷)是指一個判斷句的語義(實際表達的概念),這個概念是可以被定義並觀察的現象。命題不是指判斷句本身,而是指所表達的語義。當相異的判斷句具有相同的語義的時候,他們表達相同的命題。在數學中,一般把判斷某一件事情的陳述句叫做命題。引證解釋 1.指所確定的...
負規範命題是對原規範命題加以否定的命題。或者說,是用“並非”(用“一”表示)聯結的規範命題。它包括三種基本形式:(1)負必須命題,其形式為:一0p,讀作“並非必須P”。例如:“並非到了結婚年齡必須結婚。”(2)負允許命題,其形式為:一Pp,讀作“並非允許p”。例如:“並非允許非法搜查公民的身體。”(...
命題。 全體有效的 命題將形成一個系統 。對當關係 A、E、I、O之間的真假制約關係叫做性質命題間的對當關係。包括反對關係,下反對關係,差等關係和矛盾關係。反對關係:即A與E之間的真假關係,必須是兩個全稱命題之間的關係。二者之間的關係可概括為不能同真,可以同假。下反對關係:即I與O之間的關係,二者...
禁止”用“F”(“禁止”的英文Forbidden的第一個字母)表示。禁止命題用Fp表示,讀作“實現p是禁止的”,或“禁止p”。例如:“禁止司機酒後駕車”,“對於公民的申訴、控告或者檢舉,任何人不得壓制和打擊報復”,“不準隨地吐痰和亂拋雜物”。禁止命題也有不用Fp表示,而通過必須命題定義為O-p(必須非p)。
一個聯言命題是真的,則其每一個支命題都必須是真的。只要有一個支命題假,則聯言命題就是假的。 (三)聯言推理 聯言推理就是前提或結論為聯言命題,並且根據聯言命題的邏輯特徵所進行的推理。一個聯言命題是真的,若且唯若其所有支命題是真的。聯言推理的推理形式有分解式和組合式。分解式就是由前提...
命題作文和話題作文雖然不是同一概念,但二者有交叉的地方。有些命題本身就是話題,這樣的命題與話題作文,二者立意完全相同。而有些命題就不能僅僅把它看作話題,因為它已經是作者的觀點或主張了,這樣的命題作文,立意必須嚴格服從題目的指向(作文的標題也不得改變)。話題作文,儘管話題即觀點,但也可以反過來立意...
規範命題是陳述行為規範的命理。基本形式有三種:一是必須命題,是陳述必須履行某神行為的命題;二是禁止命題,是陳述禁止某種行為的命題;三是允許命題.是陳述允許某種行為的命題。由於禁止與必須非P、禁止非P與必須P是等值的,因而也可分為必須命題和允許命題兩種。藉助聯結詞,則可結合成各種複合命題。規範邏輯還要...
要建立模態邏輯的可用系統,必須向命題邏輯的增加什麼公理是非常有爭議的主題。得名於Saul Kripke的K,只向經典命題邏輯公理體系增加了如下規則:必然性規則:如果p是 K的定理,則也是。分配律公理:如果 則 (這也叫做公理K) 但K是一個弱模態邏輯。特別是留下了一個公開的問題,命題是必然的但只偶爾是必然...
道義邏輯是現代邏輯分支之一。廣義模態邏輯的一種。研究含有必須、允許等道義詞的道義命題以及道義演繹系統。14世紀的霍爾科特已討論過模態邏輯和道義邏輯之間的相似之處。萊布尼茨提出過必須履行的、允許的、禁止的和可選擇的等道義概念。康德提出過道義世界的思想。在20世紀50年代以前,也有人提出過道義邏輯,但沒有...
必要條件假言推理是指以必要條件的假言命題為假言前提的假言直言推理。根據必要條件假言命題的邏輯特性,有兩條必須遵守的邏輯規則:(1)否定前件就要否定後件,否定後件不能斷定前件;(2)肯定後件就要肯定前件,肯定前件不能斷定後件。按此兩條規則,有否定前件式和肯定後件式兩種正確的形式。否定前件式:直言...
必要條件是邏輯學在研究假言命題及假言推理時引出的。陳述某一事物情況是另一件事物情況的必要條件的假言命題叫做必要條件假言命題。必要條件假言命題的一般形式是:只有p,才q。符號為:p←q(讀作“p逆蘊涵q”) 。例如“只有有作案動機,才會是案犯”是一個必要條件假言命題。根據必要條件假言命題的邏輯性質進行...
三段論推理是演繹推理中的一種簡單推理判斷。它包括:一個包含大項和中項的命題(大前提)、一個包含小項和中項的命題(小前提)以及一個包含小項和大項的命題(結論)三部分。三段論實際上是以一個一般性的原則(大前提)以及一個附屬於一般性的原則的特殊化陳述(小前提),由此引申出一個符合一般性原則的特殊...
石里克說:必須強調指出,當我們講到可證實性時,是指證實的邏輯可能性,除此以外,沒有任何別的意思。艾耶爾也指出,有一些有意義的論及事實的命題,即使我們想去證實也不能證實,這只是因為條件暫不具備。但是,我們在理論上可以想像到,一旦條件具備,我們就可以證實它。因此,我認為,那個命題如果不是在實踐上可以證實的,...
允許規範三段論、禁止規範三段論等形式。必須規範三段論是含有必須規範命題的三段論。通常大前提是一個必須規範命題,小前提是一個直言命題,而結論是一個必須規範命題。其形式為:凡M必須P,凡S是M,所以,凡S必須P。例如:“凡中華人民共和國的公民都必須守法;某人是中華人民共和國的公民;所以,某人必須守法。”
(3) 多個量詞出現時,不能隨意顛倒它們的順序,否則可能會改變命題的含義.謂詞公式只是一個符號串,沒有什麼意義,但我們給這個符號串一個解釋,使它具有真值,就變成一個命題. 所謂解釋就是使公式中的每一個變項都有個體域中的元素相對應.在謂詞邏輯中,命題符號化必須明確個體域,無特別說明認為是全總個體域。
要記住的一點是邏輯是跨越各種變換而保持某些命題的特性的系統。在經典邏輯中,這個特性是"真實性": 在有效的論證中,推導出來的命題的真實性由套用保持這個特性的有效步驟來保證。但是,這個特性不是必須是"真實性"特性;它也可以是其它某種特性。例如,保持的特性可以是證實性(justification),這是直覺邏輯的基本...
數學中主項是集合概念的命題有費馬大定理和黎曼猜想等。還要說明的是“集合概念”,是指一個集合體,集合體中的個體,不是必然具有集合體的基本屬性,所以對集合概念的證明必須使用完全歸納法,對每一個個體逐一證明。 嚴格說,對集合概念不叫“證明”,只是歸納。(參見任何一本《邏輯學》)。一個公式是集合概念...
邏輯是跨越各種變換而保持某些命題的特性的系統。在經典邏輯中,這個特性是“真實性”: 在有效的論證中,推導出來的命題的真實性由套用保持這個特性的有效步驟來保證。但是,這個特性不是必須是“真實性”特性;它也可以是其他某種特性。例如,保持的特性可以是“證實性”(justification),這是直覺邏輯的基本概念。所以...
(3)實踐論證(論辯)的規則必須與各式各樣的論證形式加以區別;(4)規範性命題是可普遍化的;(5)實踐論辯對規則的遵從,不同於自然科學的論辯。解決過程 休謨問題的由來 以前的一些哲學家認為,道德可以像幾何學或代數學那樣論證其確定性,但是,休謨指出,對於道德問題,科學是無能為力的,科學只能回答“是...
直言三段論是所有前提都是直言命題的演繹推理。例子:所有動物都會死。所有人都是動物。所以,所有人都會死。前兩個命題叫做前提。如果這個三段論是有效的,這兩個前提邏輯上蘊含了最後的命題,它叫做結論。結論的真實性建立在前提的真實性和它們之間的聯繫之上:中項在前提中必須周延(distribute)至少一次,形成在結論...