基于廣義量詞單調性的廣義三段論的有效性

摘要：隨著廣義量詞理論的興起和發展,邏輯學家們開始研究比傳統三段論更為復雜的廣義三段論及其有效性。在廣義量詞單調性的基礎上,給出十二個有效的廣義三段論推理模式及其相應的有效的廣義三段論實例,重點研究可以表征這十二個有效的廣義三段論推理模式之間的可化歸關系的四個推論。研究不僅說明了利用廣義量詞的單調性等語義性質可判定廣義三段論的有效性,而且還說明了廣義三段論的有效性,也表征了廣義量詞的單調性質等語義性質。