В традиционной логике существуют различные виды суждений, например:

По качеству: 1

• Утвердительные — выражают принадлежность предмету некоторого признака. 1 Пример: «Собака — животное». 1
• Отрицательные — выражают отсутствие у предмета некоторого признака. 1 Пример: «Снегурочка не существует». 1

По количеству: 1

• Единичные — в них что-либо утверждается или отрицается об одном предмете. 1 Пример: «Луна — спутник Земли». 1
• Частные — в них что-либо утверждается или отрицается о части предметов некоторого класса. 1 Выражаются в предложениях со словами «некоторые», «многие», «немногие», «большинство», «меньшинство», «часть». 1
• Общие — в них что-либо утверждается или отрицается обо всех предметах некоторого класса. 1 Пример: «Все прокуроры — юристы». 1

По модальности (характеру связи между субъектом и предикатом): 2

• Вероятностные (проблематические) — отражают возможные связи между субъектом и предикатом. 2 Пример: «Илиада» есть, вероятно, продукт коллективного творчества». 2
• Ассерторические — утверждают наличие действительно существующей связи между субъектом и предикатом. 2 Пример: «Киев расположен на берегу Днепра». 2
• Аподиктические — выражают необходимость связи между субъектом и предикатом. 2 Пример: «S необходимо есть Р». 2