39–49 Возможные миры и понятие «картин мира»* Е. Д. Смирнова Рассматриваются различные трактовки понятия возможных миров. <...> Выявляются эпистемические и онтологические предпосылки возможных миров различного вида. <...> В центре рассмотрения – понятие логических пространств, их роли в условиях построения картин мира. <...> © Смирнова Е.Д., 2017 г. 39 Возможные миры и понятие “картин мира” Е. Д. СМИРНОВА В случае классического понятия истинности условием истинности высказывания является наличие определенного, верифицирующего положения дел в действительности. <...> Отмечалось, что такого рода понятие истинности не охватывает условий истинности целого класса высказываний: модальных утверждений, высказываний о будущих событиях. <...> Однако разработка модальных временных логик, их семантик, существенно расширяет выразительные средства языков, позволяя охватывать условия истинности широкого круга высказываний. <...> В отличие от категорических высказываний модальные высказывания фиксируют не определенные положения дел, но дают им определенную оценку с точки зрения их возможности, случайности, обязательности и т.д. <...> Это их свойство репрезентируется соответствующими средствами семантик, задающими интерпретацию модальных утверждений. <...> Истинностная оценка модальных высказываний зависит соответственно не от наличия соответствующих положений дел, а от верности утверждаемых оценок. <...> Модальные высказывания, во-первых, всегда релятивизированы: оценка дается с определенных позиций – принимаемых постулатов, законов, норм, установок и т.д., то есть относительно определенного множества утверждений Г. Именно характером принимаемого Г определяются виды модальностей: алетические, деонтические, доказуемостные, эпистемические. <...> Второе – модальные высказывания фиксируют определенные регулярности – сохранность положения дел, задаваемого подоператорным высказыванием, относительно условий W. <...> При построении семантик возможных <...>