Алетическая логика исследует логические связи высказываний, включающих такие понятия как "полагает", "знает", "доказуемо", "неразрешимо":
В форме императивов обычно выражается вид норм, именуемый командами или предписаниями:
Деонтическая логика изучает свойства норм и способы их употребления и выражения в рассуждениях:
Деонтическая модальность выражается в терминах необходимости-случайности, либо возможности-невозможности:
Деонтическая сбалансированность означает, что в системе регулируются все предусмотренные в данной предметной области действия, и в ней нет нерегулируемых действий:
Достоверность относится к такой модальной характеристике суждения, которая изменяется по степеням:
Истинность и ложность фактически случайных суждений определяется конкретными эмпирическими условиями:
Истинность модального суждения зависит от истинности суждения, стоящего под модальным оператором, и от типа модального оператора:
К логически истинным относят суждения, выражающие законы логики:
Логика времени начала складываться в античности:
Логика направленности допускает четыре типа существования объектов: бытие, небытие, возникновение (становление) и исчезновение:
Модальные сложные суждения - суждения, выражающие характер связи между субъектом и предикатом с помощью модальных понятий или модальных операторов:
Основной функцией суждения является отражение связей между предметом и его признаком:
Оценочные понятия "лучше", "хуже", "равноценно" являются абсолютными:
Понятия "обязательно", "запрещено" и "разрешено" являются взаимно определимыми и могут быть выражены друг через друга:
Проблематические суждения характеризуют наличие или отсутствие у предмета некоторого свойства:
Фактически необходимыми являются суждения, в которых содержится информация о законах науки: