西方邏輯學(xué)發(fā)展-文庫吧資料
2024-08-18 17:33本頁面
【正文】 其新的邏輯算子, 使其形式系統(tǒng)擴(kuò)展到一些原為非形式的推論。因此，近現(xiàn)代邏輯學(xué)有的新的鞏固基礎(chǔ)并向各個方向迅速發(fā)展，已經(jīng)成為一個包含經(jīng)典邏輯和非經(jīng)典邏輯及其眾多分支學(xué)科的理論體系。另外，從哲學(xué)的角度看，傳統(tǒng)邏輯的發(fā)展是孤立的，而現(xiàn)代邏輯的發(fā)展則是整體的、系統(tǒng)的。傳統(tǒng)邏輯向現(xiàn)代邏輯發(fā)展過渡符合發(fā)展規(guī)律。它解決了簡單命題推理以及涉及量詞的有效判定問題和推導(dǎo)問題。謂詞邏輯將簡單命題分析為謂詞、個體詞、量詞和命題連接詞幾個部分，簡單命題和詞項(xiàng)不是最小的分析單位，最小的分析單位是謂詞、個體詞和量詞。亞里士多德建立的主要是一種概念邏輯或類邏輯，古希臘麥加拉學(xué)派在實(shí)質(zhì)蘊(yùn)含的基礎(chǔ)上，擴(kuò)展了亞里士多德的邏輯，斯多葛奠定了命題邏輯的基礎(chǔ)。 關(guān)于現(xiàn)代邏輯的起源，可以追溯到１７世紀(jì)德國哲學(xué)家和數(shù)學(xué)家萊布尼茨，他最早提出要把邏輯處理成演算，成為現(xiàn)代邏輯的開拓者。因此, 到了近、現(xiàn)代, 一種新的邏輯的產(chǎn)生，這就是數(shù)理邏輯。因此詞項(xiàng)邏輯就克服了命題邏輯局限。命題邏輯把簡單命題看作一個整體，不對簡單命題的內(nèi)部進(jìn)行分析。研究復(fù)合命題推理規(guī)律的邏輯理論稱為命題邏輯。三段論，又稱類演算，即三段論以詞項(xiàng)為單位，研究概念或詞項(xiàng)之間外延上的關(guān)系，類與類，類與個體的關(guān)系。亞里士多德以以推理和論證為研究對象，總結(jié)了“從前提必然地得出結(jié)論的演繹推理規(guī)則，建立歷史上第一個邏輯演繹系統(tǒng)，即三段論系統(tǒng)。主要包括亞里士多德邏輯（以三段論演繹體系為中心內(nèi)容的邏輯體系，或相對與現(xiàn)代為此邏輯體系而言
外語相關(guān)推薦
鄂ICP備17016276號-1