蘊涵怪論

蘊涵怪論亦稱“蘊涵悖論”。現代形式邏輯用語。指一類與人們的直觀不相符合的含有蘊涵符號的邏輯定理。對於這些用形式語言表示的邏輯定理，當人們對其作出解釋，並把其中的蘊涵符號解讀為條件句中反映充分條件關係的聯結詞“如果……，那么……”的時候，難以從直觀上認同它們的邏輯真理性，這類邏輯定理因而被稱為“蘊涵怪論”。

例如，經典命題邏輯系統中有“實質蘊涵怪論”，模態命題邏輯系統中有“嚴格蘊涵怪論”。