邏輯悖論

  邏輯悖論 鄭光明編   邏輯為許多所謂邏輯悖論所困擾，其中有些悖論還可遠溯至古希臘時代。

  語構悖論(syntacticparadoxes)   在初階述詞邏輯中，我們沒有辦法直接用其他性質來表達某一性質的屬性。

要表達此等屬性，通常的作法是藉由二階(或更高階)述詞邏輯為之。

舉例言之，誠實的性質本身，似乎具有罕見此一性質。

然而若我們允許用其他性質來表達某一性質的屬性，則會產生某些稱為語構上的悖論的悖論。

如果我們能