В книге рассматриваются некоторые философские вопросы современной логики и оснований математики. Выясняются возможности применения аппарата модальной логики п языковых моделей к решению задач отражения материального мира в научных теориях. Особое внимание уделено таким проблемам, как семантика возможных миров, теоретико-игровой подход к семантике естественного языка, логическое и онтологическое, аналитическое и синтетическое, природа объектов математики, основания индуктивной логики, дедуктивные и эмпирические теории.