香港人文哲學會網頁　http://www.arts.cuhk.edu.hk/~hkshp

人文信箱
 
邏輯問題
 
 
　　請問一些理則學問題：如果你認為是正確或者是錯誤，那要如何
驗證？
 
 
1.凡人是人
 
凡馬不是人
 
所以凡人不是馬
 
 
2.中國人是人
 
上海人是中國人
 
所以有些中國人是上海人
 
 
sn8603022
 
 
 
sn8603022：
 
 
　　多謝你的來函。閣下提出的邏輯題，我們嘗試解答如下：
 
 
　　先答第二題。這一題並不困難，它是一三段論問題，我們可以依
一般傳統邏輯的方法來解答。依范恩圖解方法，這題是不對確的。圖
解如下：
 
 
　　再答第一題。此題表面上如上題，是一三段論，如運用傳統邏輯
的方法，此題是不對確的。（圖解從略）然而，這樣回答明顯違反我
們的直覺，因為我們會覺得此論證是對確的。我們以為，問題出於此
論證的第一句「凡人是人」。此句主詞與謂詞相同，是同一命題，因
此，此題的論證嚴格來說，並非三段論，因為只有兩個詞項。它只是
一直接推理。由「凡馬不是人」，我們可直接推出「凡人不是馬」，
故此它是對確論證。依范恩圖，可圖解如下（圖二）：
 
 
香港人文哲學會謹覆 
 

Copyright (c) Hong Kong Society of Humanistic Philosophy. All Rights Reserved.