思維對象:思維所能指向的壹切。
判斷特征:1。所有的判斷都是決定性的；2.判斷是真是假。當兩個同時滿足時，就判定了。
沒有定義來判斷？//總結:認為事物有或沒有某種性質或某種關系；可以是判斷事物的性質或者事物之間的關系。
句子是判斷的語言表達形式，判斷是句子表達的思維內容。
句子與判斷的關系:1。不是所有的句子都表達判斷；2.同樣的判斷，可以用不同的句子表達；3.同壹句話可以表達不同的判斷；
命題:表達判斷的句子是命題。
命題形式:命題的邏輯形式。與命題的具體內容相對的形式結構。
詞匯變量:通常是大寫的S，P等。用來表示詞匯變量。//語句中可以替換的單詞。
命題變量:？//在語句中，可替換的命題稱為命題變量；
邏輯變量:詞匯變量和命題變量都稱為邏輯變量。
邏輯常數:？
簡單判斷:不包含其他判斷的判斷。
復合判斷:包含其他判斷的判斷。
性質判斷:判斷壹個物體是否具有某種性質的判斷。//反射是活動的。
關系判斷:確定對象之間是否存在某種關系的判斷。//反思消耗註意力。
情態判斷:包括對情態詞的判斷。
非情態判斷:不包含情態詞的判斷。
語氣詞:描述事物狀態的詞，如“可能”、“必然”、“曾經”、“永遠”。//事情的狀態是怎樣的？
性質判斷的結構:由主語、謂語、連詞和量組成。//如果所有的反思都是思考。
主語:表示由屬性判斷判斷的對象。通常用大寫的S來表示，這是壹個邏輯變量。
謂語:表示性質判斷所判斷的性質。通常用大寫p表示，是壹個邏輯變量。//如果思考
連詞:表示主語和謂語之間的關系。連詞有兩種，即肯定連詞和否定連詞。是壹個邏輯常數。
數量項:被判斷的主項的數量或範圍。是壹個邏輯常數。
屬性判斷的範疇1:根據屬性判斷的結合(按性質)來劃分，包括正結合和負結合，也相應地分為正判斷和負判斷。
肯定性判斷:物體具有某種性質的結論。標準形式:s是p。
否定判斷:對物體不具有某種性質的判斷。標準形式:s不是p。
財產判斷第二類:按財產判斷的數量項劃分。分為:單名判斷、全名判斷和專名判斷。
單個判斷:單個物體具有或不具有某種性質的判斷。標準形式:這個s是(不是)p//喬布斯是個反思型的人。
全稱判斷:所有確定對象具有或不具有確定屬性的判斷。標準型:所有s都是(不是)p//所有貓都不反映。
特殊判斷:是某壹類中至少有壹個對象具有或不具有某種性質的判斷。標準型:有些s是(不是)p//有些反射是被動的。
第三類:按質量組合可分為單正判斷、單負判斷、全正判斷(SAP)、全負判斷(SEP)、特殊正判斷(SIP)和特殊負判斷(SOP)。
自然語言中自然判斷形式的規範化:將自然語言中非標準的自然判斷轉化為標準形式。
邏輯詞“有”與自然語言“有”是有區別的:邏輯句“有”只表示至少壹個，而自然語言“有”表示“有的蘋果是果實，有的蘋果不是果實”。
同種材料性質的判斷:指主謂相同的判斷。
同壹物質有四種性質:A、E、I、O:矛盾關系、對立關系、下對立關系、差關系。
矛盾關系:存在於a與o、e與I之間，兩個矛盾判斷不能同時為真也不能同時為假。//
對立:存在於a和e之間，兩個有對立關系的判斷不能同為真，但可以同為假。壹個是真，壹個是假。
較低對立:存在於I和o之間。兩個具有較低對立的判斷不能等同於假，但可以等同於真
差關系:分別存在於A和I，E和O之間。有兩種判斷關系不太好，壹種是全名判斷，壹種是專名判斷。真與假的關系如下:如果全稱判斷為真，則稱為假；如果全稱判斷是假的，就說判斷是不確定的。如果特殊判斷為真，全稱判斷不確定；如果特殊判斷是假的，全稱判斷也是假的。
同壹材料的A、E、I、O四種性質之間存在上述關系，壹般稱為A、E、I、O的對應關系。
性質判斷中主語和謂語的GAI:在壹個性質判斷中，如果判斷了主語(或謂語)的所有外延，則稱該主語(或謂語)屬於GAI。
第三節關系判斷
關系判斷的結構:由三部分組成:利益相關者項目、關系項目和數量項目。
利益相關者項目:表示由關系判斷所判斷的幾個具有關系的對象。
關系項:表示關系判斷所判斷的關系。
數量項目:指明相關項目的編號和範圍。
二元關系的判斷可以表示為:R(a，b)或簡寫為aRb。
多元關系判斷的表達式為:R(a1，a2，...，an)；
自回歸關系:如果R(x，X)對特定論域中的任何對象X成立，則關系R稱為該論域中的自回歸關系。
非自回歸關系:如果對象X，R(x，X)在壹個特定的宇宙中不成立，那麽關系R在那個宇宙中稱為非自回歸關系。
禁止自回歸關系:如果R(x，x)對於特定宇宙中的任何對象都不成立，那麽關系R稱為該宇宙中的自回歸關系。
對稱關系:如果R(x，Y)對於特定宇宙中的任意物體X和任意物體Y成立，那麽R(y，X)壹定成立，那麽關系R就叫做這個宇宙中的對稱關系。
不對稱關系:如果在壹個特定的宇宙中有對象X，Y，R(x，Y)，但R(y，X)沒有，那麽稱關系R在那個宇宙中是不對稱的。
禁止對稱關系:如果R(x，Y)對於特定宇宙中的任意物體X和任意物體Y成立，那麽R(y，X)壹定不成立，那麽關系R就叫做這個宇宙中的禁止對稱關系。
傳遞關系:如果在壹個特定的宇宙中，對於任意壹個物體X，任意壹個物體Y，任意壹個物體Z，R(x，Y)和R(y，X)都為真，那麽R(x，Z)壹定為真，所以這個宇宙中的關系R稱為傳遞關系。
非傳遞關系:如果在壹個特定的宇宙中存在對象X，Y，Z，如果R(x，Y)和R(y，X)成立，而R(x，Z)不成立，那麽關系R就稱為這個宇宙中的非傳遞關系。
禁止傳遞關系:如果對於特定論域中的任意對象X，任意對象Y，任意對象Z，若R(x，Y)和R(y，X)成立，則R(x，Z)壹定不成立，則關系R稱為這個論域中的禁止傳遞關系。