S5是Clarence Irving Lewis和Cooper Harold Langford在其1932年出版的“象徵邏輯”一書中提出的五種模態邏輯系統之一。 它是一種普通的模態邏輯,是任何類型的最古老的模態邏輯系統之一。 是最基本的模態邏輯,是由命題演算公式和重言式構成的,以及具有替換和模態推理的推理裝置。
基本介紹
- 中文名:S5模態邏輯
- 外文名:S5 (modal logic)
S5是Clarence Irving Lewis和Cooper Harold Langford在其1932年出版的“象徵邏輯”一書中提出的五種模態邏輯系統之一。 它是一種普通的模態邏輯,是任何類型的最古老的模態邏輯系統之一。 是最基本的模態邏輯,是由命題演算公式和重言式構成的,以及具有替換和模態推理的推理裝置。
S5是Clarence Irving Lewis和Cooper Harold Langford在其1932年出版的“象徵邏輯”一書中提出的五種模態邏輯系統之一。 它是一種普通的模態邏輯,是任何類型的最古老...
模態邏輯,邏輯的一個分支,它研究必然、可能及其相關概念的邏輯性質。形式模態邏輯使用模態判決運算元表示模態。...
《模態邏輯導論》是1997年北京大學出版社出版的圖書,作者是周北海。...... 2.2 模態邏輯的形式系統 2.3 形式語言 2.4 系統K 2.5 系統D和T 2.6 系統S4,S5...
《模態邏輯引論》是現代周禮全編著的一部哲學著作。...... 基本概念人手,介紹了古典的一階邏輯(命題邏輯、狹謂詞邏輯一-第二、三章),模態命題邏輯系統T、S4和S5...
模態邏輯的模型論。特別是指量詞模態邏輯即一階模態謂詞邏輯的模型論。它從屬於模態邏輯的三個主要研究方向,即公理學、語義學和代數學方向之一的語義學方向。模態...
在邏輯中,中間(超直覺)邏輯 L 的模態夥伴是通過下面的特定規範變換解釋 L 的正規模態邏輯。模態夥伴共享最國中間邏輯的各種性質,這確使使用為模態邏輯開發的工具...
模態運算元(modal operator)亦稱“模態詞”。 在真值模態邏輯中主要指“必然” (可用符號□表示)和“可能” (可用符號◇表示)。更廣義地說,模態運算元還可以包括允許...
個較複雜的宇宙論證版本,而這個就是哥德爾所研究並嘗試用其本體論邏輯論點去澄清...在S5模態邏輯系統的框架下,這項結論可謂全然有效,因此相當驚人。然而,若使用相同...