相關詞條
-
邏輯中項
邏輯中項是邏輯範疇體系中聯結邏輯始項與邏輯終項的一系列中介範疇。邏輯範疇體系辯證運動過程的一系列展開環節。沒有這些作為中介環節的中介範疇,邏輯始項就不可...
-
邏輯基項
邏輯基項( logical fundamental term) 邏輯範疇體系中的基本範疇。任何一個邏輯範疇體系所必須的具有最大統一性的範疇。只有科學地把...
-
《邏輯哲學》
《邏輯哲學》屬於北京市社會科學十五規劃項目成果,涉及20世紀西方邏輯哲學廣泛討論的眾多論題。
概述 作者簡介 內容歸納 經典邏輯理論 -
《邏輯》
《邏輯》是一本由金岳霖所著的形式邏輯教科書。
《邏輯》 正文 配圖 相關連線 -
一階邏輯
一階邏輯(first order logic,FOL)也叫一階謂詞演算,允許量化陳述的公式,是使用於數學、哲學、語言學及計算機科學中的一種形式系統。一階...
簡介 概念 語法 辭彙表 生成規則 -
數字邏輯
數字邏輯,是數字電路邏輯設計的簡稱,其內容是套用數字電路進行數字系統邏輯設計。電子數字計算機是由具有各種邏輯功能的邏輯部件組成的,這些邏輯部件按其結構可...
-
《語言與現代邏輯》
《語言與現代邏輯》書中周斌武以通俗易懂的方式講述了現代邏輯包括命題演算、謂詞演算、模態邏輯、時態邏輯、問句邏輯、模糊邏輯、內涵邏輯等分支的實用常識,並運...
內容提要 精彩頁 背景資料 語言與思維和邏輯 語言邏輯項目研究和成果 -
時態邏輯
時態邏輯。非經典邏輯的一個分支學科。其研究對象是,把含有時態動詞的語句形式化,並且把含有這種語句的推理系統化。
時態邏輯 正文 配圖 相關連線 -
周延[邏輯術語]
判斷本身直接或間接地對其主項(或謂項)的全部外延作了斷定的,就稱這個判斷的主項(或謂項)是周延(數學名詞術語)的,反之不周延。這個判斷它只斷定了主項“整...
邏輯術語 主項謂項 邏輯判斷 -
構造邏輯
構造邏輯是由對數學持直覺主義、構造主義或致力於構造性數學研究和發展的數學家和邏輯學家建立和使用。
構造邏輯 正文 配圖 相關連線