I

I, (von lat. affirmo, ich bejahe), in der traditionellen †Syllogistik Bezeichnung für den Satztyp (die Urteilsform [↑Urteil]) der partikular bejahenden Urteile (↑Urteil, partikulares) (›einige P sind Q‹): PiQ, in moderner logischer Notation: Vx(P(x) Λ Q(x)), seltener auch modallogisch (†Modallogik) zum Ausdruck der Möglichkeit (d.h. der möglichen Wahrheit, †Quadrat, logisches). P. S.