布勞威爾的直覺主義把數(shù)學(xué)理解為心智的構(gòu)造性活動,只接受心智可構(gòu)造的數(shù)學(xué)對象和數(shù)學(xué)證明。在直覺主義看來,判定一個命題為真必須要給出這個命題的構(gòu)造性證明,對邏輯聯(lián)結(jié)詞及量詞的理解也是基于構(gòu)造性立場的。本文構(gòu)建了直覺主義邏輯的證明語義,這是一種內(nèi)涵語義,其特點是:遵循構(gòu)造性思想、盡量貼近直觀、避免使用集合概念,語義解釋從具體命題、具體對象（個體）、具體性質(zhì)和關(guān)系等出發(fā),使具體命題成為"公式解釋"和"直觀有效"概念的基礎(chǔ)。進而在這種語義下證明了直覺主義命題邏輯和謂詞邏輯的可靠性。 

【文章頁數(shù)】：15 頁

【文章目錄】：
1直覺主義的構(gòu)造性思想
2直覺主義命題邏輯的證明語義
3直覺主義謂詞邏輯的證明語義



本文編號：3694130