To Construct System of Natural Inference about Categorical Syllo gism with Methods of Substitution Middle-term
Dai Chun-qin · Journal of Bijie University · 2009
Methods of substitution-middle-term are new methods of categorical syllogism,by which a system 0f natural inference about categorical syllogism can be reconstructed.In the system,with methods of substitution-middle term,the validity of categorical syllogism can be decided,all valid mood of categorical syllogism can be roved,and in enthymeme,a premise which has been omitted,can be supplemented,rules of categorical syllogism can entirely and consistently be proved.What's more,it can show the process of how one conclusion can be drawn from the two premises.