相對於主觀邏輯（指思維辯證發展的規律）而言，客觀邏輯是主觀邏輯的現實基礎，主觀邏輯是客觀邏輯的反映。在哲學史上，黑格爾從客觀唯心主義出發，把邏輯區分為客觀邏輯與主觀邏輯，作為他的《邏輯學》的兩個組成部分。客觀邏輯部分包括《...
祈使邏輯亦譯“命令邏輯”。現代邏輯分支之一。研究表達請求、命令這類語句的邏輯特點及其推理。在20世紀50年代，人們認為命令的發出和接受是道德規範行為。1963年馮·賴特的《規範和行為》卻認為：“道義邏輯即規範邏輯不是祈使句輯。”...
而從邏輯角度把斷定者與其斷定命題間的關係進行考察、研究的結果就構成斷定邏輯。卡爾納普在1947年出版的《意義和必然性》中，已討論過斷定語句。一般認為波蘭邏輯學家洛斯於1948年發表的文章《多值邏輯與內涵函項的形式化》，是斷定邏輯的...
邏輯規則是人們在邏輯思維的過程中，根據邏輯規律制定出來的規範和準則。一般指形式邏輯的各種規則。它是形式邏輯的基本規律的邏輯要求在各種邏輯形式和邏輯方法中的具體表現。如三段論的規則，概念的定義和劃分的規則，證明的規則等等在任何...
價值邏輯是德國文德爾班等人的邏輯學說。認為，價值哲學由邏輯學、倫理學和美學三部分構成，而每一門科學都是價值科學，邏輯學也不例外。與邏輯心理主義觀點對立，主張從價值的觀點出發重新審視哲學（包括邏輯學）的對象和任務：哲學和邏輯...
反事實條件句邏輯是現代邏輯分支之一。研究反事實條件句的邏輯特性及與之有關的邏輯推理問題。在日常語言中，條件句可以分為直陳的條件句和虛擬的條件句兩類，以虛擬語氣形式出現的條件句就稱為反事實條件句。運用數理邏輯方法對反事實條件句...
邏輯句法是一種關於語言形式的理論。由邏輯實證主義主要代表卡爾納普提出。理論出發點是區分語言構架的“內部問題”和“外部問題”。“內部問題”即可用邏輯或經驗方法解決的對象在語言構架內部的存在問題；“外部問題”則是關於對象整體的存在...
邏輯語形學是研究語言表達式之間形式關係的學科。邏輯要用語言表述，在語形學研究中，不考慮符號的意義，只考慮符號的形狀和空間排列關係。提出形式化語言的形成規則和變形規則，前者確定什麼樣的一串符號是一個合式語句，後者確定什麼樣的...
亞里士多德理論中有關論辯、修辭、謬誤等內容，都涉及了或屬於語用邏輯的領域。但是，作為語用邏輯理論的確立，其主要貢獻或工作成果則來自當代一批哲學家、邏輯學家、語言學家以及社會學家。其中，主要是奧斯丁和塞爾的言語行為理論、...
自由邏輯是一種能夠處理空專名的非經典邏輯。有多種帶等號或不帶等號的謂詞演算系統。所謂“空專名”，即不指稱任何實存個體的專名（例如專名“孫悟空”是小說《西遊記》中的神靈，在現實世界中不指稱任何實存個體，就是一個空專名）。
敘事邏輯是有廣義、狹義之分。狹義的敘事邏輯由法國學者C．布萊蒙( Bremond)在《敘事邏輯》( 1973) 一書中提出，其基本內容是：論述敘事的基本序列和複合序列的理論。布萊蒙認為，敘事的基本序列由三個功能組成：“可能一過程一結果”...
形式邏輯方法是形式邏輯科學所研究和使用的方法。包括傳統形式邏輯的方法和現代形式邏輯的方法。前者如概念（詞項）的定義方法和劃分方法，歸納法中收集和整理材料的方法；後者如形式化方法、公理化方法。形式邏輯方法是正確思維不可或缺的...
偏邏輯亦譯“部分邏輯”。處理不真不假命題（即真值空白）和無指稱的單稱詞項的一種非經典邏輯。尋根溯源，弗雷格即已發現，包含無指稱的單稱詞項的表達式本身就缺乏真值，因而包含無真值的組成部分的複合句就沒有真值。如果允許沒有指稱...
邏輯範疇體系是由一系列具有內在聯繫的邏輯範疇、遵循由抽象上升到具體的原則而建構起來的範疇體系。有時亦用以泛指任何一種由範疇（無論是哲學範疇還是具體科學範疇）所建構而成的邏輯體系。邏輯範疇體系體現著邏輯範疇由簡單到複雜、由...
普通邏輯、語言邏輯和符號學、創新思維和批判性思維等。承擔項目 主編《語言邏輯》（上海教委重點課程建設項目）、《邏輯學大辭典》（語言邏輯與符號學部分）。代表作品 《邏輯·思維·語言:上海邏輯30年》《邏輯·思維·語言:上海邏輯30...
—引者），等等……反之，至於限定摹狀詞，就以與以上命題形式相應的形式‘X’是那個某某（此處的‘X’也是一個名字）而論，這個命題函項最多只對X的一個值為真。”（同上）。作為邏輯術語，限定摹狀詞通常就簡稱為“摹狀詞”。
擴充性推理，在中世紀邏輯中，指對於一詞項外延的擴充。美國皮爾斯借用來指結論超出前提所包含內容的推理。認為“在擴充性推理中，比率可能是錯誤的，因為這種推斷僅建立於有限數目的例證上；然而通過擴大這相同例證的數目，比率將發生變化，...
、《邏輯學引論》、《概念論》、《哲學大辭典·邏輯學卷》。參加編寫的教材《普通邏輯》曾獲國家教育委員會教材一等獎。發表論文90餘篇，其中《西方科學方法論史研究的成功之作--評》一文曾獲"全國圖書評論徵文獎"一等獎。出版圖書 ...
K-普遍有效是數理邏輯用語。狹謂詞邏輯的一個公式A是K-普遍有效的，若且唯若：對任何個體域為K個體域的解釋I，對l中的任何賦值V，都有V滿足A。其中K為為整數，所謂K個體域是指由K個元素組成的集合。一公式是K 普遍有效的，稱...
對這樣的複雜問語就不能簡單地回答“是”或“不是”，而應明確指出問語中所暗含的預設是不存在的。因此，對複雜問語不作明確的肯定或否定的回答，並不違反排中律的邏輯要求。在論辯中採用複雜問語是一種不正當的手法，應當避免。
