Какие виды суждений существуют в формальной логике?

В формальной логике суждения классифицируют по разным признакам, например по количеству, качеству, отношению и модальности. unification.net nibiryukov.mgimo.ru

По количеству выделяют следующие виды суждений: unification.net

• Общие — справедливы относительно всего объёма понятия. ru.wikipedia.org Пример: «Все растения живут». ru.wikipedia.org
• Частные — справедливы относительно части объёма понятия. ru.wikipedia.org Пример: «Некоторые растения — хвойные». ru.wikipedia.org
• Единичные — субъектом которых являются единичные понятия, то есть понятие, объём которого исчерпывается лишь одним элементом. ru.wikipedia.org Пример: «Москва — столица России». ru.wikipedia.org

По качеству выделяют следующие виды суждений: unification.net

• Утвердительные — в них отображается наличие какого-либо признака у предмета. nibiryukov.mgimo.ru Пример: «Автором произведения признаётся гражданин, творческим трудом которого оно создано». www.ineu.ru
• Отрицательные — в них отображается отсутствие какого-либо признака у предмета. nibiryukov.mgimo.ru Пример: «Обвиняемый не обязан доказывать свою невиновность». www.ineu.ru
• Неопределённые — в них остаётся место неопределённости. ru.wikipedia.org

По отношению выделяют следующие виды суждений: ru.wikipedia.org

• Категорические — в них сказуемое утверждается относительно субъекта без ограничений во времени, в пространстве или обстоятельствах. ru.wikipedia.org Пример: «Все люди смертны». ru.wikipedia.org
• Условные — суждения, в которых сказуемое ограничивает отношение каким-либо условием. ru.wikipedia.org Пример: «Если дождь пойдёт, то почва будет мокрая». ru.wikipedia.org
• Разделительные — когда в суждении остаётся место неопределённости. ru.wikipedia.org

По модальности выделяют следующие виды суждений: ru.wikipedia.org

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