直覺(jué)邏輯是否有一種元理論上的語(yǔ)義“自我承載”；？
在經(jīng)典邏輯集合論中可以研究經(jīng)典命題邏輯的標(biāo)準(zhǔn)語(yǔ)義，因此可以說(shuō)經(jīng)典邏輯的語(yǔ)義是元理論上的“自宿主”；。這個(gè)特性可能是為什么經(jīng)典邏輯很容易被接受為數(shù)學(xué)的默
解答動(dòng)態(tài)
注釋環(huán)境表現(xiàn)得很滑稽，所以我寫(xiě)了一個(gè)“答案”；。這是個(gè)好地方起點(diǎn)：
DE斯瓦特在荷蘭奈梅亨大學(xué)的博士學(xué)位就是關(guān)于這一點(diǎn)的主題：
H.C.M.de斯沃特：《直覺(jué)元數(shù)學(xué)中的直覺(jué)邏輯》，，1976年，奈梅亨大學(xué)。https://core.ac.uk/reader/43594080
He他已經(jīng)離開(kāi)了這個(gè)領(lǐng)域，所以我不知道他是否會(huì)通過(guò)電子郵件回答問(wèn)題。導(dǎo)言還提到了對(duì)早期方法的一些引用，這些方法是由sheaf語(yǔ)義概括的。我特別推薦Trolestra和Van Dalen，《數(shù)學(xué)中的建構(gòu)主義》，第2卷作為標(biāo)準(zhǔn)參考，其中包含關(guān)于建構(gòu)數(shù)學(xué)語(yǔ)義的各種結(jié)果- End
免責(zé)聲明：
本頁(yè)內(nèi)容僅代表作者本人意見(jiàn)，若因此產(chǎn)生任何糾紛由作者本人負(fù)責(zé)，概與琴島網(wǎng)公司無(wú)關(guān)。本頁(yè)內(nèi)容僅供參考，請(qǐng)您根據(jù)自身實(shí)際情況謹(jǐn)慎操作。尤其涉及您或第三方利益等事項(xiàng)，請(qǐng)咨詢專(zhuān)業(yè)人士處理。