《集合論含有原子的自然模型和布爾值模型》由李娜所著，在含有原子的公理集合論系統(tǒng)的基礎(chǔ)上，力圖建立兩大類模型——自然模型和布爾值模型。不僅從理論上豐富了數(shù)理邏輯的重要分支——公理集合論的刻畫集論模型的理論，為現(xiàn)代邏輯的研究提供證明根據(jù)，而且也促進(jìn)了現(xiàn)代數(shù)理邏輯與哲學(xué)邏輯之間的相互滲透、相互融合，從而為描述和模擬人類思維提供指導(dǎo)，為哲學(xué)應(yīng)用提供更可靠的工具，對于邏輯學(xué)研究的多元化具有重要的理論意義和現(xiàn)實意義。
|
