不可解命題

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

基本介紹

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

相關詞條

熱門詞條

聯絡我們