Возможные миры
Возмо́жные миры́, мыслимые множества объектов и их отношений, допускающие непротиворечивое описание в некотором языке. Современное понимание возможных миров восходит к Г. В. Лейбницу, который определял их как миры, мыслимые без противоречия, и понимал необходимые истины как утверждения, истинные во всех возможных мирах, а случайные истины – как утверждения, истинные в некоторых из них; действительный мир трактовался им как один из возможных миров («наилучший»). Семантика возможных миров и её различные варианты используются как семантический аппарат модальной, временно́й, интуиционистской, релевантной и других неклассических логик.