《條件句邏輯》是2003年人民出版社出版的圖書，作者是李小五。內容簡介 條件句邏輯是哲學邏輯的一個重要分支，是對（狹義）模態邏輯的重要發展。它的主要目的在於刻畫關於虛擬條件句、直陳條件句和正常條件句的推理。本書系統闡述了條件句...
反事實條件句邏輯是現代邏輯分支之一。研究反事實條件句的邏輯特性及與之有關的邏輯推理問題。在日常語言中，條件句可以分為直陳的條件句和虛擬的條件句兩類，以虛擬語氣形式出現的條件句就稱為反事實條件句。運用數理邏輯方法對反事實條件句...
《基於覆蓋律則的反事實條件句邏輯研究》是2022年中國社會科學出版社出版的圖書，作者是胡懷亮。內容簡介 《基於覆蓋律則的反事實條件句邏輯研究》的基本內容分為七個部分：一是論述了傳統的反事實條件句進路面臨的困境；二是對覆蓋律則條件...
那么”）解釋為實質蘊涵是不適宜的，即反事實條件句與實質蘊涵是不同的，前者不能表示為後者。同樣，反事實條件句的上述邏輯特點，也決定了它不能表示為嚴格蘊涵與形式蘊涵。由於現有的邏輯手段無法確切地表示和處理反事實條件句，為此，在...
一、Reiter的預設邏輯 二、其他預設邏輯 三、預設邏輯的表列方法 第二節非單調模態邏輯及其表列方法 一、Moore的自認知邏輯 二、自認知邏輯的表列證明 三、多模態非單調邏輯Jf的表列 第三節正常條件句邏輯KLM的表列演算 一、正常...
虛擬條件句是指不能實現或純假想的情況，可以對過去、現在或將來進行假想。我們可以記住這樣一個原則，即把時態向過去推一格。一般虛擬條件句 一、對現在情況的虛擬 條件從句中謂語動詞用一般過去式，主句用“would/should/might/could+...
四整句與前文、有邏輯聯繫 第三節結構功能 一承接上文 二承上轉下 三歸總前文 第四節語體分布 第五節小結 第六章讓步條件句標記的形成與來源 第一節單項讓步條件標記“就算”一“就算”的形成過程 二“就算”的形成機制 第二節...
第一節 條件句的操作與套用 第二節 條件句邏輯的操作與套用 第八章 操作與套用（五）第一節 量詞的操作與套用 第二節 量詞邏輯的操作與套用 第九章 操作與套用（六）第一節 多重量詞的操作與套用 第二節 量詞證明方法的操作與...
《簡明邏輯學》一書（以下簡稱本書）概要地介紹了現代邏輯的兩個主要組成部分即演繹邏輯和歸納邏輯的基本概念，分別涉及到：命題演算、謂詞演算、模態邏輯、條件句邏輯、時態邏輯，以及歸納機率邏輯和決策邏輯等多個邏輯分支。其中各個章節都...
第二步，用老師自身的例子來講解虛擬語氣在if條件句中的第一種用法---對現在情況的虛擬。這拉近了學生的距離更使學生很好喔的了解對現在的虛擬。第三步，用漫畫這個話題自然過度到對過去情況的虛擬。邏輯清晰過度自然。第四步，用具體...
直覺主義邏輯。C序列主要介紹和討論傳統邏輯和數理邏輯，主要是演繹邏輯，包括Cl布爾代數、C：判定問題、C。邏輯語義學、C，相干命題邏輯、Cs模態邏輯、C。反事實條件句邏輯、C，多值邏輯、Cs非標準量化邏輯、C，悖論。本書作者從學 、...
《違實條件句：哲學闡釋及語義解讀》是2017年12月中國社會科學出版社出版的圖書，作者是余小強。內容簡介 《違實條件句：哲學闡釋及語義解讀》從哲學和邏輯學相結合的角度，著眼於英語違實條件句的描寫與解釋，在充分歸納語言事實的基礎...
《牛津通識讀本·簡明邏輯學》一書概要地介紹了現代邏輯的兩個主要組成部分即演繹邏輯和歸納邏輯的基本概念，分別涉及到：命題演算、謂詞演算、模態邏輯、條件句邏輯、時態邏輯，以及歸納機率邏輯和決策邏輯等多個邏輯分支。其中各個章節都...
反事實蘊涵是在反事實條件句邏輯的研究中，用於刻畫反事實條件句前、後件之間的邏輯關係的二元聯結詞。對於形式為“如果有情況p（事實上不是或不大可能是），那么就有情況q”的反事實條件句，可以用“p口一q”（或“p＞q”）來表示，...
雙條件句“A若且唯若B”，是用“A”和“B”來陳述A和B所描述的事件狀況之間的關係。相對照的，“A邏輯等價於B”則注重兩個句子：它只是陳述兩個句子之間的關係，而不是它們所介紹的什麼事情。這裡的區別非常容易混淆，已經使得很多...
語境蘊涵亦稱“聯結蘊涵”。古希臘克里西普斯條件命題邏輯值的定義。認為，完整的條件句須是邏輯地真的，即後件的否定與前件不相容。意為：命題p和命題q有某種必然聯繫，p真而q假不可能時，p嚴格蘊涵q。例如：“如果這是白天，那么這...
指一類與人們的直觀不相符合的含有蘊涵符號的邏輯定理。對於這些用形式語言表示的邏輯定理，當人們對其作出解釋，並把其中的蘊涵符號解讀為條件句中反映充分條件關係的聯結詞“如果……，那么……”的時候，難以從直觀上認同它們的邏輯真理...
