ABSTRACT
The problem of the determination of the various types of immediate inference falls into two parts. In the first part are considered the various inferences which may be drawn from a given proposition in terms, or in respect, of another proposition having the same subject and the same predicate as the given proposition, but differing from it in respect of quality, or of quantity. The second part deals with inferences which may be drawn from a given proposition involving certain other subjects and predicates than those of the given proposition. By an immediate inference is meant whatever conclusion may be drawn from a single proposition, as distinguished from what may only be inferred from two or more propositions jointly. SaP and SeP are extreme opposites, and do not between them exhaust all possibilities. They cannot both be true; but they may both be false, namely, when both SiP and SoP are true.
