邏輯學(xué) 共有 3944 個詞條內(nèi)容

    美國劉易斯用語。指對經(jīng)驗中的直接所與即感覺材料的表述。他認為直接所與的感覺材料是通過直接觀察獲得的,它們不涉及物理對象。它們所表達的是感官的直接領(lǐng)悟,是經(jīng)驗中的直接的、毋容置疑的內(nèi)容。它們是經(jīng)驗知識的基礎(chǔ)...[繼續(xù)閱讀]

    亦稱“一階邏輯的完全性定理”。經(jīng)典狹謂詞演算的重要的元定理之一。其內(nèi)容為:每一個普遍有效式都是狹謂詞演算的可證公式。即對任何公式A,若A是普遍有效式,則├A。它與狹謂詞演算的可靠性定理互為逆定理。...[繼續(xù)閱讀]

    美國戴維森的一種意義理論。依據(jù)塔爾斯基的真理論而提出。認為通過陳述一個語句的成真條件,就能給出這個語句的意義。真理和意義這兩個概念是密切相聯(lián)的,一種語言的意義理論隱約說來就是這種語言的真理定義,知道一種語言...[繼續(xù)閱讀]

    數(shù)理邏輯中使用的特制的形式符號。自然語言中許多詞句有歧義且不精煉,使用表意符號可以使表達精確化。表意符號不是拼音符號,一般地一個表意符號可以表示一個概念。例如,用“→”表示“如果……那么……”。這樣,在數(shù)理邏...[繼續(xù)閱讀]

    事物變化中發(fā)生的不同于自身并與自身相對立的力量。在歐洲哲學(xué)史中,黑格爾首先把異己作為哲學(xué)概念,指出:“這個世界的現(xiàn)有的存在,也像自我意識的現(xiàn)實一樣,是以運動為基礎(chǔ)的,即自我意識把自身從自己的個性中異化出來,這樣就...[繼續(xù)閱讀]

    亦稱“B模型”。模態(tài)命題演算系統(tǒng)B的解釋。是W、R、V三個部分的有序排列,用有序三元組〈W,R,V〉表示。其中W是非空的可能世界的集合,由可能世界w1,w2,…wi,…組成;R是定義在集合W上的二元自返、對稱關(guān)系;V是賦值,它滿足的條件與...[繼續(xù)閱讀]

    德國康德用語。純粹知性的第二條原理。是知性對經(jīng)驗進行綜合時采取的普遍命題與判斷,具體說明圖型在經(jīng)驗中的綜合作用。知覺的預(yù)定是質(zhì)的范疇,而“在所有現(xiàn)象中,作為感覺對象的實在,都具有強弱的量,即度”。預(yù)定指在觀察的...[繼續(xù)閱讀]

    簡稱“疾妄”。東漢王充用語。即駁斥謬誤?！啊墩摵狻菲允當?shù),亦一言也,曰:疾虛妄。”(《論衡·佚文》)王充認為當時“浮妄虛偽,沒奪正是”(《論衡·對作》),虛妄不揭露,不掃除,真理便不能顯現(xiàn)。在揭露和駁斥謬誤時,要善于發(fā)...[繼續(xù)閱讀]

    集合論用語。設(shè)R是集合S上的一個等價關(guān)系,則對任何x∈S,由[x]R＝{y｜y∈S且xRy}所定義的S的子集,稱為x(關(guān)于R)的等價類?？梢宰C明,對于任意的x、y∈S,[x]R＝[y]R當且僅當xRy。若R是集合S上的一個等價關(guān)系,則所有等價類構(gòu)成的集合{[x]R｜...[繼續(xù)閱讀]

    人的理性活動,人腦借助于概念、判斷、推理及其他邏輯方法反映客觀現(xiàn)實的認識過程。思維運動的生理機制是人腦的高級神經(jīng)活動。人腦是一個既有精細分工又有緊密合作的系統(tǒng)。人的思維運動,既要有大腦的生理機制作為物質(zhì)基礎(chǔ)...[繼續(xù)閱讀]