Говоря о модальности суждений, не раз упоминалось о модальных операторах. Они показывают необходимость суждения либо его случайность, возможность или невозможность. Однако в процессе не давалось определения ни истинности, ни ложности и другим терминам из этого ряда. Между тем знание точного смысла указанных выше категорий немаловажно. Итак, необходимость суждения означает, что это суждение основывается на законе, открытом в рамках какой-либо науки, в том числе и логики. Необходимыми при этом признаются также и все обоснованные следствия, выведенные из данных законов. Определяющим в этом случае является фактор объективности. Иными словами, закон должен быть реальным, а не виртуальным, т. е. правильно отражать реальное положение вещей. Случайные суждения определяются как высказывания, хотя и не основанные непосредственно на известных науке законах, но не противоречащие им. То же относится и к следствиям этих законов. В случае с невозможными суждениями все очевидно. Такими суждениями называют те, которые противоречат научно подтвержденным законам или их следствиям. Возможные суждения основаны на здравом смысле и не противоречат научным законам и их следствиям.
Указанные выше категории и изучают алетические модальности.