The Reducibility of Generalized Modal Syllogisms Based on ☐AM◊I-1

Abstract

There is the reducibility between the generalized modal syllogism AMI-1 and the other 20 valid generalized modal syllogisms. This paper first proves the validity of the generalized modal syllogism based on the truth value definitions of sentences with quantification, set theory and modal logic, then derives the other 20 valid generalized modal syllogisms from the syllogism  AM  I-1 in line with some facts and inference rules. The reason why these syllogisms are reducible is that: (1) any of the Aristotelian quantifiers can be defined by the other three Aristotelian quantifiers; (2) any of the four generalized quantifiers in this paper (that is, most, at most half of the, fewer than half of the and at least half of the) can be defined by the other three generalized quantifiers; (3) the Aristotelian quantifiers some and no have symmetry; (4) a necessary modality  and a possible modality  can be mutually defined.And the process of these reductions are ultimately presented in a structured formalization way.Thus, this paper provides a fragmentary research approach for other generalized modal syllogisms including four generalized quantifiers with transformation relations. There are many generalized modal syllogisms in natural language. Therefore, this study has practical

Deductive Reasoning Based on the Valid Aristotelian Syllogism AEE-2

“…In natural language, there are many types of syllogisms, such as Aristotelian syllogisms (Yijiang, 2023), modal syllogisms (Cheng, 2023), generalized syllogisms (Moss, 2010), and so on, which are common and important forms of reasoning in social life and logic (Jing and Xiaojun, 2023), and has been widely studied since Aristotle (Murinová and Novák, 2012). This paper focuses on the study of Aristotelian syllogisms.…”