Syllogism reasoning is a common and important form of in human thinking from Aristotle onwards. To overcome the shortcomings previous studies, this article makes full use set theory classical propositional logic, deduces remaining 23 valid syllogisms only on basis syllogism EIO-2 perspective mathematical structuralism, then successfully establishes concise formal axiom system for categorical sy...

This paper presents a new approach to show the validity of the chaining syllogism for fuzzy IF-THEN rules and rule bases. Based on this approach new conditions are given on which the deduction scheme holds.

N.B.: For the references, please see Selected Bibliography on Aristotle's Theory of Categorical Syllogism "When modem logicians in the 1920s and 1930s first turned their attention to the problem of understanding Aristotle’s contribution to logic in modern terms, they were guided both by the Frege-Russell conception of logic as formal ontology and at the same time by a desire to protect Aristotl...

Logical inference is often seen as an exclusively human and language-dependent ability, but several nonhuman animal species search in a manner that is consistent with a deductive inference, the disjunctive syllogism: when a reward is hidden in one of two cups, and one cup is shown to be empty, they will search for the reward in the other cup. In Experiment 1, we extended these results to toddle...

In recent years model-based reasoning has achieved a certain prominence among logicians and cognitive scientists. Its repute is deserved, notwithstanding that it has some vigorous rivals. Although both model-based and non-model-based systems aim at elucidations of good reasoning, there are certain issues that challenge them equally across the lines of their respective theoretical and methodolog...