節點文獻

包含廣義量詞的關系三段論

Relational Syllogisms with Generalized Quantifiers

  • 推薦 CAJ下載
  • PDF下載
  • 不支持迅雷等下載工具,請取消加速工具後下載。

【作者】 周家發

【Author】 Ka-fat Chow;Department of Chinese and Bilingual Studies, The Hong Kong Polytechnic University;

【機構】 香港理工大學中文及雙語學系

【摘要】 本文介紹一種推導有效關系三段論格式的方法,這種方法建基于廣義量詞理論和命題邏輯的一些基本原理,包括代入法、演繹定理、前提代換、引入存在假設、等價變換等。本文顯示利用此方法,不僅可推導包含經典量詞的關系三段論,還可推導出包含非經典量詞(例如數值量詞、比例量詞、模糊量詞)的關系三段論。除了討論包含一般二元謂詞的關系三段論外,本文也討論了包含比較形容詞的關系三段論,同時也證明了上述方法的有效性,并討論了進一步研究的方向。

【Abstract】 Based on certain fundamental principles of the Generalized Quantifier Theory and Propositional Logic including the substitution method, deduction theorem, premise replacement, introduction of existential assumptions, substitution of equivalence statements, this paper introduces a method for deriving valid relational syllogisms. Under this method, not only relational syllogisms with classical quantifiers but also those with nonclassical quantifiers(such as numerical quantifiers, proportional quantifiers, vague quantifiers) can be derived. Apart from relational syllogisms with general binary predicates,this paper also discusses relational syllogisms with comparative adjectives. Finally, this paper proves the validity of the aforesaid method and discusses possible directions for further studies.

  • 【文獻出處】 邏輯學研究 ,Studies in Logic , 編輯部郵箱 ,2019年01期
  • 【分類號】B812.23
  • 【下載頻次】27
節點文獻中: 

本文鏈接的文獻網絡圖示:

本文的引文網絡
网页聊天
live chat
在线营销
live chat