In der traditionellen Logik werden alle Aussagen des Typs ›Einige S sind P‹ (partikulär affirmativ) und ›Einige S sind nicht P‹ (partikulär negativ) als partikuläre Urteile bezeichnet. In ihnen wird ausgesagt, dass einige Gegenstände, auf die der Subjektbegriff S zutrifft, die im Prädikat P ausgedrückten Eigenschaften besitzen / nicht besitzen. Vom partikulären Urteil wird das Allurteil, welches eine Aussage über alle Gegenstände eines Bereichs macht, und das singuläre Urteil, welches in einer Aussage über ein Individuum besteht, unterschieden.

In der modernen Logik wurde der Begriff des partikulären Urteils durch den präziseren Begriff der Existenzaussage ersetzt. Eine Existenzialaussage enthält Variablen, Aussagefunktionen und den Existenzquantor. Sie hat folgende Form: ›Es gibt mindestens ein x aus dem Bereich M, für das gilt: x hat F.‹ (z. B. ›Es gibt mindestens eine Zahl, die zugleich Primzahl und gerade ist‹). Neben der Existenzaussage gibt es eine weitere Urteilsform, die Allaussage. Die Allaussage enthält den Allquantor, durch den ausgedrückt wird, dass die Aussage auf alle Individuen eines Bereichs zutrifft.