經(jīng)典邏輯

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