規範命題的邏輯方陣（ logical square of deonticproposition）表示規範命題對當關係的正方圖形。見“規範命題的對當關係”。
基本介紹
- 中文名：規範命題的邏輯方陣
- 別名：哲學
規範命題的邏輯方陣（ logical square of deonticproposition）表示規範命題對當關係的正方圖形。見“規範命題的對當關係”。
規範命題的邏輯方陣 規範命題的邏輯方陣（ logical square of deonticproposition）表示規範命題對當關係的正方圖形。見“規範命題的對當關係”。
規範命題的真值與古典邏輯的真假有所不同。規範命題是關於必須、允許還是禁止履行某種行為的問題，無所謂真假。它只存在正確與不正確、妥當與不妥當、合理與不合理的問題（簡稱為正確的與錯誤的）。但通常仍把規範命題的正確與錯誤稱做規範命題的真值。按此，也就仍然可以採用二值邏輯的方法進行規範命題之間的推演。
第三節 複合命題與邏輯方陣 §3.1 複合命題之間的邏輯對當關係 §3.2 簡單命題與複合命題之間的邏輯對當關係 §3.3 複合命題之間邏輯對當關係的引申 第四節 規範命題、時態命題與邏輯方陣 §4.1 規範命題與規範邏輯方陣 §4.2 時態命題與時態邏輯方陣 第五節 模態命題與模態邏輯方陣 §5.1 模態命題及其...
所謂複合命題是指由簡單命題用聯結詞聯結而成的命題。如：（1） 如果李司是犯罪嫌疑人，那么李司有犯罪動機。（2） 或者李司是犯罪嫌疑人，或者李司有犯罪動機。（3） 王武的計算機配置合理並且價格低廉。（4）王武的計算機配置合理若且唯若它的價格低廉。雖然複合命題是由命題構造而成的，但並不是任意命題組合...
V. G*-規範求值將使我們最初的集合 G 全部為真，而使 A 為假。Ⅵ. 如果有在其上 G 是真而 A 是假的求值，則 G 不（語義上）蘊涵 A。Q.E.D.可供選擇的演算 有可能定義其他版本的命題演算，它通過公理的方式定義了多數邏輯運算元的語法，並且它只使用一個推理規則。公理 設 φ、χ 和 ψ 表示合式...
二、規範命題邏輯方陣法 三、混合式規範命題轉換法 第二節 概念分析的邏輯方法 一、概念的實質與種類 二、概念外延間的關係 三、概念的限制和概括 四、概念的定義 五、概念的劃分 思考與練習 第七章 法律規範適用邏輯 第一節 法律適用三段論 一、直言規範三段論 二、選言規範三段論 三、假言規範三段論 四、規範...
選言規範命題是用聯結詞“或者”（用“V”表示）聯結的規範命題。它包括三種基本形式：(1)必須選言命題，其形式為：O(pVq)，讀作“必須（p或q）”。例如：“必須作出某被告有罪的判決或無罪的判決。”(2)允許選言命題，其形式為：P(pVq)，讀作“允許（p或q）。”例如：“允許子女隨父姓或子女隨母姓。...
聯言規範命題是用聯結詞“並且”（用“^”表示）聯結的規範命題。它包括三種基本形式：(1)必須聯言命題，其形式為：O( p^q)，讀作“必須（p並且q）”。例如：“國家工作人員必須依靠人民的支持並且接受人民的監督。”(2)允許聯言命題，其形式為：P(p^q)，讀作“允許(p並且q)”。例如：“允許理論工作者...
傳統邏輯把這六對命題之間的四種真假關係總結成一個圖形，叫做邏輯方陣：直言命題 直言命題的對當關係直言命題的對當關係直言命題的對當關係傳統邏輯由於不考慮空類和全類，因此在S和P都存在的假設下，對當關係是成立的。現代邏輯考慮到空類和全類,全稱命題被分析為蘊涵命題,特稱命題被分析為合取命題。因此,如果不...
著名的邏輯圖表還有驢之橋、對當方陣、歐拉圖、文恩圖、存在圖表等等。弗雷格在《概念語言》中所運用的記法也可被看作是準邏輯圖表。隨著邏輯學家們對文恩圖、存在圖表的不斷改進和各種拓展性研究，邏輯圖表已大大超越了其僅僅作為教學一工具的意義界限。一些新改進的邏輯圖表不僅能完美地表現命題邏輯，還能完全地...
假言規範命題是用聯結詞“如果，那么”（用“一”表示）聯結的規範命題。它包括三種基本形式：(1)必須假言命題，其形式為：O(p- q)，讀作“必須(如果p，那么q)”。例如：“如果定義能用肯定的，那么就應當不用否定的。”(2)允許假言命題，其形式為P(p—q)，讀作“允許（如果p那么q）”。例如：“如果對...
傳統邏輯預設S，P都不是空集，故有上述對當關係。上述四種關係可用如圖1的邏輯方陣表示，如果S，P是空集，則對當關係中只有矛盾關係成立，此時，應改為如圖2的邏輯方陣。對當關係推理 概念 對當關係推理：對當關係推理是指依據邏輯方陣，在同一素材的A，E，I，O四種性質判斷之間進行的推理。分類 a．從屬關係推理...
模態演繹推理是以模態命題為前提並根據模態命題的邏輯性質進行推演的演繹推理。模態演繹推理分為直接模態推理和間接模態推理。直接模態推理有：根據模態命題的邏輯方陣進行推演的模態推理和根據“實然…‘必然…‘可能”的關係進行推演的模態推理。前者如：“違背客觀規律的要求是必然要失敗的（‘必然p’真），所以，違背...
反對關係推理是根據直言命題邏輯方陣中的反對關係而進行推演的直接推理。由邏輯方陣中的對當關係可知：全稱肯定命題( SAP)和全稱否定命題(SEP)是一對具有反對關係的命題，它們可以同假，而不能同真。由此，我們就可以作出如下直接推理：“SAP，所以，非SEP”；“SEP，所以，非SAP”。引用示例 例如，“所有液體都是...