嚴格蘊涵
嚴

嚴格蘊涵　　　yán gé yùn hán

蘊涵的一種。設(shè)“如果P，則Q”的真假以從P推出Q的可能性為必要條件，則稱P對Q的關(guān)系為嚴格蘊涵。美國哲學家、邏輯學家劉易斯首先運用“必然”、“可能”、“不可能”等模態(tài)概念來研究蘊涵問題，從而提出這一概念。實質(zhì)蘊涵僅僅表示在P真而Q假的情況下，“如果P，則Q”這個命題是假命題。嚴格蘊涵（用PQ表示）與實質(zhì)蘊涵不同之處在于它要求命題P和命題Q之間有某種必然聯(lián)系，即P真而Q假不僅是假的，而且是不可能的。