實(shí)用邏輯學(xué) 共有 733 個詞條內(nèi)容

    英國哲學(xué)家、邏輯學(xué)家,分析哲學(xué)的主要創(chuàng)始人。出身于貴族家庭。1890年入劍橋大學(xué)學(xué)習(xí),后在該學(xué)院任教。1950年獲諾貝爾文學(xué)獎。主要著作有《數(shù)學(xué)原則》(也稱小《數(shù)學(xué)原理》)、《數(shù)學(xué)原理》(又稱大《數(shù)學(xué)原理》,與懷特海合著...[繼續(xù)閱讀]

    指邏輯范疇按一定的原則和推演規(guī)則所建構(gòu)起來的范疇體系。亞里士多德第一次對邏輯范疇進(jìn)行了分類,并提出了包括:實(shí)體、性質(zhì)、數(shù)量、關(guān)系、地點(diǎn)、時(shí)間、姿態(tài)、狀況、活動、遭受等十范疇的范疇體系。亞氏的范疇體系有著唯物...[繼續(xù)閱讀]

    有人譯為凡恩圖解,英國數(shù)學(xué)家文恩(JohnVenn,1834—1923)用交叉圓圈來表示概念間外延關(guān)系的一種圖解。如:假定以a、b表示兩個概念,則圖(一)中的橫線表示既是a又是b的部分是不存在的,即沒有“a”是“b”。圖(二)中圓圈相交部分中的“...[繼續(xù)閱讀]

    指在不同類的兩個對象或兩類不同對象之間所進(jìn)行的類比推理。例如,將積了膿水的胸腔和盛了酒的酒桶進(jìn)行類比。根據(jù)敲酒桶可以得知里面是否有酒,從而推知敲胸腔也可以知道里面是否有膿水。在這一類比結(jié)論基礎(chǔ)上,奧恩布魯格...[繼續(xù)閱讀]

    亦稱“混合條件純假言推理”。是以幾種不同條件的假言判斷作前提的假言聯(lián)鎖推理。例如:當(dāng)且僅當(dāng)人們都以法為經(jīng)營活動的準(zhǔn)則,商品經(jīng)濟(jì)社會才會有井然的秩序;如果商品經(jīng)濟(jì)社會有井然的秩序,那么,人們就會有安定感;所以,如果...[繼續(xù)閱讀]

    通過改變前提判斷聯(lián)項(xiàng)的質(zhì)推出另一個與其等值的新判斷為結(jié)論的直接推理。例如:有的錯誤是可以避免的,所以,有的錯誤不是不可以避免的。換質(zhì)法的規(guī)則是:第一,改變前提判斷聯(lián)項(xiàng)的質(zhì)(肯定判斷改成否定判斷,否定判斷改成肯定判...[繼續(xù)閱讀]

    古希臘哲學(xué)家,愛利亞學(xué)派的創(chuàng)始人。愛利亞人,出身于富有的貴族家庭。他反對赫拉克利特的辯證法思想。他認(rèn)為“存在物存在,非存在物不存在,或者它存在,或者它不存在,而且存在永遠(yuǎn)是同一的,它不會消滅,它完整、唯一、不動、無...[繼續(xù)閱讀]

    亦稱“同位關(guān)系”。在同一個屬概念下兩個或兩個以上種概念間的關(guān)系。有相容并列關(guān)系和不相容并列關(guān)系兩種。兩個或兩個以上有交叉關(guān)系的概念真包含于另一個概念的外延之中,這幾個概念之間關(guān)系稱為相容并列關(guān)系。例如,“數(shù)...[繼續(xù)閱讀]

    《墨經(jīng)》中的邏輯術(shù)語。(1)相當(dāng)于推理法則、原則、標(biāo)準(zhǔn)?！缎∪　?“效者為之法也,所效者所以為之法也,故中效則是也,不中效則非也?！彼⒌拿}合乎法則(“中效”)就為“是”;不合乎法則(“不中效”)則為“非”。(2)相當(dāng)于...[繼續(xù)閱讀]

    亦稱“簡化真值表方法”。建立在真值表方法基礎(chǔ)之上的判定一個真值形式是否為重言式的方法。其具體做法是:先假設(shè)某真值形式的值為假,然后從這個假設(shè)出發(fā),根據(jù)有關(guān)真值聯(lián)結(jié)詞的真值表定義,依次推算出該真值形式的各個組成...[繼續(xù)閱讀]