邏輯學 共有 4414 個詞條內容

    用形式化方法研究思維的形式結構及其規律的學科。與“傳統邏輯”相對。是傳統邏輯發展的最新階段。形式化指用一套意義可以解釋的特制表意符號去表示詞項、命題、推理,獲得它們的形式結構(詞項形式、命題形式、推理形式...[繼續閱讀]

    形式邏輯的現代形態。其特點是采用公理化、形式化的方法,內容包括經典邏輯和非經典邏輯(如模態邏輯、時態邏輯、道義邏輯、認識論邏輯、條件句邏輯、直覺主義邏輯、相干邏輯、多值邏輯等)的各種形式系統及其語義,以及對于...[繼續閱讀]

    亦稱“標準邏輯”。主要指由弗雷格、羅素所創立的以二值邏輯為基礎的命題演算和謂詞演算系統。與“非經典邏輯”相對。其主要特征為:(1)有真假二值的邏輯;(2)以實質蘊涵為基礎的真值函項邏輯;(3)設定個體域非空,即量詞無例外...[繼續閱讀]

    亦稱“非標準邏輯”、“非古典邏輯”。泛指一切不屬于古典形式邏輯(傳統的亞里士多德邏輯)和由弗雷格、羅素所完成的經典數理邏輯(以二值邏輯為基礎的經典命題演算和謂詞演算系統)的現代邏輯學分支系統。與“經典邏輯”相...[繼續閱讀]

    泛指數理邏輯產生以前的傳統形式邏輯。在歐洲,主要指以亞里士多德邏輯為代表的傳統邏輯。在中國,主要指以《墨經》、《荀子·正名》為代表的中國古代邏輯。印度因明亦即印度的古典邏輯。世界上三個古老的民族(古希臘、中國...[繼續閱讀]

    “經典邏輯”的別稱。與“非標準邏輯”相對。泛指基于二值外延邏輯系統(系統中的每一變項和公式至少而且至多在真、假二值中取一)的命題邏輯、謂詞邏輯、關系邏輯、數學邏輯(模型論、集合論、遞歸論、證明論)等等。...[繼續閱讀]

    “非經典邏輯”的別稱。與“標準邏輯”相對。邏輯學家在稱經典邏輯為標準邏輯的同時,也就相應地將這些非經典邏輯稱為非標準邏輯。...[繼續閱讀]

    現代形式邏輯即數理邏輯分類中的一種?，F代的邏輯學家通常把現代形式邏輯區分為基本邏輯(包括標準邏輯和作為一般邏輯理論的非標準邏輯)、元邏輯(包括邏輯語形學、邏輯語義學和邏輯語用學)和應用邏輯三大類,而把基本邏輯和...[繼續閱讀]

    現代邏輯分類中的一種?，F代的邏輯學家通常把現代形式邏輯區分為基本邏輯(包括標準邏輯和非標準邏輯)、元邏輯(包括邏輯語形學,邏輯語義學和邏輯語用學)和應用邏輯三大類,而把應用邏輯看做是基本邏輯和元邏輯(兩者都是作為...[繼續閱讀]

    現代形式邏輯研究中的各種非經典邏輯分支學科的統稱。包括模態邏輯、時態邏輯、道義邏輯、認識論邏輯、直覺主義邏輯、相干邏輯、多值邏輯等等。這些非經典邏輯分支學科的建立或者有著極為鮮明的哲學動因,或者潛在地隱含...[繼續閱讀]