不可解命題

不可解命題（insolvable proposition），歐洲呼中世紀邏輯用語。是指用以指稱“說謊者悖論”及由其變形而得到的語義悖論。有的邏輯學家則將其定義為：由一個邏輯矛後所構成，不管承認矛盾的哪一方，另一方即可得出。中世紀邏輯學家在對此研究的過程中，還發現了一批較說謊者悖論複雜的語義悖論。

例如，假定蘇格拉底說：“柏拉閣所說的是假的”，柏拉圖說：“西塞羅聽說的是假的”，西塞羅說：“蘇格拉底所說的是假的”。現問：蘇格拉底所說的話是真還是假？若蘇格拉底所說的話是真的，則可推得它是假的；反之，若蘇格拉底聽說的話是假的，則可推得它是真的。中世紀邏輯學家探討了排除語義悖淪的途徑。威尼斯的保羅所著《大邏輯》列舉了前人提出的十四種解決不可解命題的方法。