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

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

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

    亦稱“非標(biāo)準(zhǔn)邏輯”、“非古典邏輯”。泛指一切不屬于古典形式邏輯(傳統(tǒng)的亞里士多德邏輯)和由弗雷格、羅素所完成的經(jīng)典數(shù)理邏輯(以二值邏輯為基礎(chǔ)的經(jīng)典命題演算和謂詞演算系統(tǒng))的現(xiàn)代邏輯學(xué)分支系統(tǒng)。與“經(jīng)典邏輯”相...[繼續(xù)閱讀]

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

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

    “非經(jīng)典邏輯”的別稱。與“標(biāo)準(zhǔn)邏輯”相對。邏輯學(xué)家在稱經(jīng)典邏輯為標(biāo)準(zhǔn)邏輯的同時,也就相應(yīng)地將這些非經(jīng)典邏輯稱為非標(biāo)準(zhǔn)邏輯。...[繼續(xù)閱讀]

    現(xiàn)代形式邏輯即數(shù)理邏輯分類中的一種。現(xiàn)代的邏輯學(xué)家通常把現(xiàn)代形式邏輯區(qū)分為基本邏輯(包括標(biāo)準(zhǔn)邏輯和作為一般邏輯理論的非標(biāo)準(zhǔn)邏輯)、元邏輯(包括邏輯語形學(xué)、邏輯語義學(xué)和邏輯語用學(xué))和應(yīng)用邏輯三大類,而把基本邏輯和...[繼續(xù)閱讀]

    現(xiàn)代邏輯分類中的一種。現(xiàn)代的邏輯學(xué)家通常把現(xiàn)代形式邏輯區(qū)分為基本邏輯(包括標(biāo)準(zhǔn)邏輯和非標(biāo)準(zhǔn)邏輯)、元邏輯(包括邏輯語形學(xué),邏輯語義學(xué)和邏輯語用學(xué))和應(yīng)用邏輯三大類,而把應(yīng)用邏輯看做是基本邏輯和元邏輯(兩者都是作為...[繼續(xù)閱讀]

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