範疇邏輯（categorical logic）是1993年公布的數學名詞。
基本介紹
- 中文名：範疇邏輯
- 外文名：categorical logic
- 所屬學科：數學
- 公布時間：1993年
公布時間,出處,
範疇邏輯
相關詞條
- 範疇邏輯
範疇邏輯 範疇邏輯（categorical logic）是1993年公布的數學名詞。公布時間 1993年，經全國科學技術名詞審定委員會審定發布。出處 《數學名詞》第一版。
- 範疇(哲學概念)
一個範疇就好像邏輯學中的一個“活細胞”，可以分裂成為兩個新的範疇，這叫演繹；而兩個範疇又好像一精一卵結合成受精卵一樣，可以結合成為一個新的範疇，這叫歸納。例如：“本性{本體/本變}”可演繹為“本體{連/限}”和“本變{...
- 邏輯範疇體系
有時亦用以泛指任何一種由範疇（無論是哲學範疇還是具體科學範疇）所建構而成的邏輯體系。邏輯範疇體系體現著邏輯範疇由簡單到複雜、由抽象到具體的逐步展開即辯證運動過程。這一過程如馬克思所說，表現為“正如從簡單範疇的辯證運動中產生...
- 範疇論(數學分支)
範疇邏輯是直覺邏輯中類型論的一個被明確定義的分支，在計算機學科的函式式編程和域理論中均有套用，並且都是在笛卡爾閉範疇中對λ演算的非句法性描述。至少，用範疇論可以精確地描述在這些相關的領域裡什麼是共同的（在抽象的意義上）。
- 範疇類型邏輯
《範疇類型邏輯》是2008年中國社會科學出版社出版的圖書，作者是鄒崇理。內容簡介 範疇類型邏輯是一種使用運算和推演的手段描述語言的形式化工具。本書對範疇類型邏輯的發展階段、範疇類型邏輯的新功能和範疇類型邏輯的研究進行了全面的論述。
- 範疇(數學概念)
笛卡爾閉範疇包括 和 ，即完全偏序和斯科特連續函式組成的範疇。4.拓撲斯是一種特定的笛卡爾閉範疇；所有數學內容都可以用拓撲斯的語言形式化（正如所有經典數學都可以用集合範疇的語言形式化一般）。拓撲斯也可用於表示邏輯理論。
- 範疇語法
範疇語法，亦稱“語類語法”。一種形式語法。由波蘭邏輯學家亞杜基耶維奇（Kazimierz Ajdukiewicz，1890—1963）於20世紀30年代提出，用算法檢驗句子是否正確得當。後來巴·希勒爾（Yehoshua BarHillel，1915—1975）、蘭姆貝克（Joachim ...
- 範疇性
範疇性(categoricity)是理論的某個基數的模型都同構的一種特性。設L為一可數語言，T是L中的完全理論。如果T恰有一個可數模型(在同構意義下)，則稱T為ω範疇的。概念 範疇性(categoricity)是理論的某個基數的模型都同構的一種特性。
- 範疇類型邏輯及其在漢語反身代詞回指照應中的套用
《範疇類型邏輯及其在漢語反身代詞回指照應中的套用》是2015年出版的圖書，作者是賈青。內容簡介 範疇類型邏輯是當代自然語言邏輯中的一個重要分支，其使用邏輯學中的方法，甚至數學中的方法為自然語言問題的解決提供一條形式化的解決路徑...
- 十範疇理論
所以，實體高於其他一切範疇，是其他範疇的中心。這些範疇都具有邏輯的意義，是詞義的最高的種，或是關於現實的陳述的種，它們也具有作為存在的最一般的規定性而具有本體論意義，是存在的規定性的最高的種。亞里士多德認為範疇是概括經驗...
- 中國現代職業教育理論體系:概念、範疇與邏輯
《中國現代職業教育理論體系：概念、範疇與邏輯》是2018年11月人民出版社出版的圖書，作者是周明星。內容簡介 《中國現代職業教育理論體系：概念、範疇與邏輯》屬於國家社科基金2013年度課題（BJA130096）最終研究成果，以新中國的職業教育...
- 經典範疇理論
這一理論可以解釋現實世界中的某些範疇，如“議員”，只有是議員或不是議員兩種可能；對於數學、邏輯、物理、化學等自然科學中的許多概念也是可行的，如凡是大於1且能被它自身和1整除的整數就是“素數”，不具有這一特徵就不是“素數”...
- 邏輯中項
邏輯中項是邏輯範疇體系中聯結邏輯始項與邏輯終項的一系列中介範疇。邏輯範疇體系辯證運動過程的一系列展開環節。沒有這些作為中介環節的中介範疇，邏輯始項就不可能逐步展開而達到邏輯終項，出就不可能有範疇中間合乎邏輯的推演、轉化過程...
- 先秦邏輯範疇研究
《先秦邏輯範疇研究》是2012年中國社會科學出版社出版的圖書，作者是田立剛。內容簡介 《先秦邏輯範疇研究》漢譯取自《尚書·洪範》“九疇”，具有種類、方法、範圍等含義，在西方邏輯史上，亞里士多德和康德曾在外延最廣的基本概念，亦即...
- 範疇、語境與博弈:語言邏輯研究新視角
2．3 子結構邏輯的範疇論語義 2．4 模態邏輯與範疇論 第3章 自然語言的範疇論語義 3．1 範疇論視野下的元素、對象和性質 3．2 三段論的內涵語義 3．3 否定的範疇論解釋 3．4 組合性與語境性的範疇論解釋 第4章 基於範疇論的...
- 邏輯終項
邏輯終項是邏輯範疇體系中的終極範疇。範疇體系由抽象上升到具體的辯證運動中最後獲得的表示思維具體的範疇，因而是體系中全部範疇思想內容的綜合，是該體系中內容最豐富的範疇。辯證邏輯所要把握的作為許多規定的綜合是多樣性的統一的具體概...
- 範疇的
範疇的是模型論的基本概念之一。指理論J的任意兩個模型都是同構的。兩個模型同構，實質上可以看作一個模型。因此，從結構的觀點看，一個理論是範疇的，指的是該理論在同構的意義下，實質上只有一個模型。範疇性通過對形式理論的模型...
- 邏輯始項
邏輯始項是邏輯範疇體系中作為整個體系出發點的初始範疇。亦即整個邏輯範疇體系的起點。如黑格爾《邏輯學》範疇體系中的“純存在”範疇；馬克思《資本論》範疇體系中的“商品”範疇。它們分別潛在地包含著各自體系中後繼的一切範疇，《邏輯學...
- 離散範疇
範疇是範疇論的基本概念之一。離散範疇(discrete category)是一種特殊的範疇。即只有恆等態射的範疇。在某種意義上來說，範疇論提煉了數學(甚至其他學科)各分支的共性，是比集合論更高一個層次的數學公共語言與工具。它使數學各個領域的...
- 多值拓撲與多值邏輯中的範疇論方法
《多值拓撲與多值邏輯中的範疇論方法》是依託四川大學，由張德學擔任項目負責人的面上項目。項目摘要 Quantale值強化範疇（categories enriched over a quantale）是一種特殊的強化範疇，它包含偏序集、廣義度量空間、多值偏序等數學結構...
- 《資本論》的邏輯
按照他的理解，每一個經濟範疇的真實性和具體性是依賴於它所抽象的現實經濟關係。由此看來，馬克思《資本論》邏輯涉及如下問題：對馬克思哲學的思考；黑格爾思辨辯證法對馬克思的影響；對馬克思的歷史觀的考量；以及對《資本論》的目的是創建...
- 古希臘哲學範疇的邏輯發展
古希臘哲學範疇的邏輯發展 《古希臘哲學範疇的邏輯發展》是南京大學出版社出版的圖書，作者是張傳開。
- categorical
categorical rule 範疇規則 ; 範疇律 categorical clustering 範疇群集 categorical grammar 範疇語法 ; [計] 範疇文法 ; 翻譯 ; 範疇文法 Categorical Feature 非數值屬性 ; 範疇成分 ; 詞類成分 categorical logic 範疇邏輯 ; 詞項邏輯 ...
