. . . "The system of Logic founded by Aristotle based on the syllogism, which is adequate for testing the validity of deductive reasoning of the form ???If all A are B, and C is an A, then C is a B??? etc., which is valid only to the extent that (i) the premises (such as ???all A are B???) are valid, (ii) the terms are self-identical and (iii) the object is not too complex for formal analysis." . .