相關詞條
-
《邏輯哲學》
《邏輯哲學》屬於北京市社會科學十五規劃項目成果，涉及20世紀西方邏輯哲學廣泛討論的眾多論題。
概述 作者簡介 內容歸納 經典邏輯理論 -
預設邏輯
預設邏輯是 Ray Reiter提出的用來形式化有預設假定的推理的非單調邏輯。
預設邏輯 預設邏輯的語法 例子 限制 -
邏輯實證主義
20世紀30～50年代流行於西方的一個哲學流派。又名邏輯經驗主義。核心是維也納學派。形成和發展1922年，德國哲學家、科學家 M.石里克在維也納大學擔任...
邏輯實證主義 正文 形成和發展 反對形上學 邏輯和數學的性質 -
邏輯法
邏輯法是人們認識推理事物的一種思維方法.它包括比較，分析與綜合，論證推理等方面，在日常生活和很多正式場合發揮很大作用。,邏輯方法簡稱邏輯法。所謂邏輯方法...
定義 主要內容 邏輯方法在法庭運用 -
高階邏輯
高階邏輯又稱廣義謂詞邏輯。它是一階邏輯（見一階理論及其元邏輯）的推廣。
高階邏輯 正文 配圖 相關連線 -
定義判斷
定義判斷作為一種考試形式，是國家公務員考試判斷推理部分的必考題型，也是邏輯學基本知識在現實生活中的運用，主要是考查應試者短時間的領悟能力以及運用標準進行...
判斷推理 定義判斷備考策略 定義的邏輯知識 定義的邏輯方法 定義判斷解題原則 -
一階邏輯
一階邏輯(first order logic,FOL)也叫一階謂詞演算，允許量化陳述的公式，是使用於數學、哲學、語言學及計算機科學中的一種形式系統。一階...
簡介 概念 語法 辭彙表 生成規則 -
定義
定義（Definition），原指對事物做出的明確價值描述。現代定義：對於一種事物的本質特徵或一個概念的內涵和外延的確切而簡要的說明；或是透過列出一個事...
漢語詞語 術語 規則舉例 -
性質定義
性質定義是指以事物的性質作種差下的定義。在科學研究中，大多數定義都是這種性質定義。
基本內容 比較 定義規則 舉例 -
道義邏輯
道義邏輯 - 一種非標準的模態邏輯。它研究“應當”、“可以”或“許可”、“禁止”這樣一些道義概念的邏輯性質，是一種與倫理學或道德哲學有密切關係的模態邏輯。
道義邏輯 正文 配圖 相關連線
