ABSTRACT
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. 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. This part is known as the doctrine of the opposition of propositions. 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. This part is known as the doctrine of eductions.
