語言、科學與悖論從邏輯的觀點看.pptVIP

語構悖論 (syntactic paradoxes) 語意悖論 (semantic paradoxes) 在初階述詞邏輯中，我們沒有辦法直接用其他性質來表達某一性質的屬性。要表達此等屬性，通常的作法是藉由二階 (或更高階) 述詞邏輯為之。舉例言之，誠實的性質本身，似乎具有罕見此一性質。然而若我們允許用其他性質來表達某一性質的屬性，則會產生語構悖論。 如果我們能斷定其他性質的屬性，則用該性質本身來斷定某一性質的屬性，似乎是合理的。例如，說容易瞭解此一性質本身，即具「容易瞭解」此一性質 (「不易瞭解」則與此相反，因為「不易瞭解」此一性質本身並非不易瞭解) 。 然而有時用性質本身來斷定某一性質的屬性，卻會產生問題。最著名的例子，即是無法斷定屬性的悖論 (impredicable paradox)。 讓我們稱「可以用自身來斷定屬性的性質」為可斷定屬性的性質 (predicable property)，並稱「不能用自身來斷定屬性的性質」為不可斷定屬性的性質 (impredicable property)。如此一來，我們可以說： 1.「共同」此一性質是可斷定屬性的性質，因為「共同」是一共同性質； 2.「罕見」此一性質則是不可斷定屬性的性質，因為「罕見」並不是一罕見性質 (因為有很多種罕見事物)。 然而不可斷定屬性此一性質又如何？此一性質真能用自身來斷定屬性嗎？很不幸，答案似乎如下：