Formalized Deduction of Semantics-Consistent and Quantifier-Dyadic Syllogisms

Zhang Y.

4th International Conference on Intelligent and Fuzzy Systems (INFUS), Bornova, Turkey, 19 - 21 July 2022, vol.505, pp.588-605 identifier identifier

  • Publication Type: Conference Paper / Full Text
  • Volume: 505
  • Doi Number: 10.1007/978-3-031-09176-6_67
  • City: Bornova
  • Country: Turkey
  • Page Numbers: pp.588-605
  • Keywords: Syllogisms, Inconsistency, Turing machines for deduction, Particular quantifier, Partial quantifier, Existential quantifier, Formal system
  • Istanbul Technical University Affiliated: No


The paper solves how to reform Aristotelian syllogisms (ASs) to make it compatible with classic logic, and further formally deduct them in logic programming languages. It asserts that there exist two challenging problems in Aristotelian categorical propositions (ACPs) among ASs. One is inconsistently to regard the particular quantifier as the existential quantifier meanwhile as the partial, another one is lacking a quantifier binding the second term. To overcome the two problems, new forms of categorical propositions (called expanded categorical propositions, ECPs) are introduced without semantic confusion in interpretations of the particular quantifier, and with the remedied second quantifier. Naturally, made up of ECPs, the forms of quantifier-expanded syllogisms (QESs) are constructed. To deduct QESs, a formal system, also a Turing machine, is designed to decide and symbolically generate valid conclusions. Thus, a semantics-consistent and form-intact system of QESs, with deductive rules based on mathematically computing models has been established.