|
1:基于實質(zhì)蘊涵的數(shù)理邏輯并非傳統(tǒng)邏輯的現(xiàn)代發(fā)展,也不是什么現(xiàn)代的形式邏輯。
2:傳統(tǒng)邏輯中專名和限定摹狀詞都是單獨概念,在謂詞邏輯中則被稱為個體詞。
3:傳統(tǒng)邏輯和模態(tài)邏輯在分析自然語言假言命題方面都存在缺陷。
4:實質(zhì)蘊涵因其刻劃真值函數(shù)關(guān)系故此并非傳統(tǒng)邏輯表示充分條件關(guān)系的“若,則”的邏輯抽象。
5:傳統(tǒng)邏輯對這個問題的回答似乎是不言而喻的,但數(shù)理邏輯卻使這個問題變得復雜起來。
|