APP 符號學(xué)分支學(xué)科之一。文化符號學(xué)認(rèn)為,文化概念表示的是從歷史上遺留下來的存在于符號中的意義模式,是以符號形式表達(dá)的前后相襲的概念系統(tǒng),人們借此交流、保存和發(fā)展生命的知識和態(tài)度。理解一個民族的文化,也就是在不削弱...[繼續(xù)閱讀]
邏輯學(xué)
字?jǐn)?shù)： 371
海量資源，盡在掌握
符號學(xué)分支學(xué)科之一。文化符號學(xué)認(rèn)為,文化概念表示的是從歷史上遺留下來的存在于符號中的意義模式,是以符號形式表達(dá)的前后相襲的概念系統(tǒng),人們借此交流、保存和發(fā)展生命的知識和態(tài)度。理解一個民族的文化,也就是在不削弱...[繼續(xù)閱讀]
傳統(tǒng)形式邏輯中表示全稱肯定命題的形式的符號。來源于拉丁文Affirmo這個詞(意思是“肯定”)的第一個元音字母。...[繼續(xù)閱讀]
印度大乘佛教中觀理論的奠基人。據(jù)傳生于南印度毗達(dá)婆國(今比拉爾),屬婆羅門種族,幼年博聞強(qiáng)記,精通五明。后皈依佛教,先學(xué)小乘經(jīng)典,又入雪山學(xué)大乘經(jīng)。學(xué)成后周游五印度,與外道辯論,所向披靡。其后又接觸到深奧的“方等”...[繼續(xù)閱讀]
遞歸論中的一個重要定理。對每個m,n≥1,存在m+1元遞歸全函數(shù)smn(e,y1,…,ym),使得對任何x1,…,xn都有:Φ(n+m)e(x1,…,xn,y1,…,ym)=Φ(n)Smn(e,y1,…,ym)(x1,…,xn)。s-m-n定理在遞歸論中有許多重要的應(yīng)用,如運(yùn)用它來證明遞歸定理。...[繼續(xù)閱讀]
美國數(shù)學(xué)家、物理學(xué)家。生于匈牙利。1921年中學(xué)畢業(yè)后即往德國、瑞士求學(xué),曾師從希爾伯特。先在柏林大學(xué)攻讀化學(xué),1926年在蘇黎世工業(yè)大學(xué)取得化學(xué)工程畢業(yè)文憑,同年獲布達(dá)佩斯大學(xué)哲學(xué)博士學(xué)位。1927—1930年先后在柏林大學(xué)、...[繼續(xù)閱讀]
ZFC公理系統(tǒng)中的一條公理。它肯定:“任何集a的一切子集也構(gòu)成一個集?！庇煽占霭l(fā),運(yùn)用無限公理,通過逐次取冪集與和集這兩種基本運(yùn)算及置換公理模式等,可以構(gòu)成ZFC系統(tǒng)中的一切集合。冪集公理保證基數(shù)不斷增大的集合的存在...[繼續(xù)閱讀]
集合論基本概念之一。是“第一”、“第二”等表示次序的數(shù)在概念上的推廣?？低袪栐瓉戆研驍?shù)定義為良序集a的序型ā,作為所有與a序同構(gòu)的集的共同特征,即與a序同構(gòu)的良序集的等價類。后來人們發(fā)現(xiàn)對于任何非空良序集,即使最...[繼續(xù)閱讀]
正確思維的本質(zhì)規(guī)定之一。指任一正確思維的過程,都必須前后一貫、不包含邏輯矛盾。如果一個思想(一個論斷或一個理論體系)既不包含邏輯上自相矛盾的論斷,也不會推出互相矛盾的論斷或與自身相矛盾的論斷,那么這樣的思想就具...[繼續(xù)閱讀]
美國邏輯學(xué)家、哲學(xué)家。就讀于哈佛大學(xué),并曾先后在哈佛大學(xué)、哥倫比亞大學(xué)、康奈爾大學(xué)、伯克利加利福尼亞大學(xué)、洛克菲勒大學(xué)等校任教。1977年起任普林斯頓大學(xué)哲學(xué)教授,不久任麥科什講座哲學(xué)教授。主持過牛津大學(xué)洛克講...[繼續(xù)閱讀]
清代學(xué)者對用邏輯推論來驗(yàn)證言論觀點(diǎn)真?zhèn)蔚囊环N稱呼。閻若璩《尚書古文疏證》卷五:“事有虛會,有實(shí)證?！碧摃?即是從邏輯關(guān)系上進(jìn)行推論,其形式之一就是根據(jù)前后是否貫通來推斷某種記載或觀點(diǎn)的真?zhèn)??！渡袝盼氖枳C》卷...[繼續(xù)閱讀]