Rules from which a decision can be made, by means of numbers, about the validity of inferences and about the forms and moods of categorical syllogisms