Text this: Модальные и интенсиональные логики и их применение к проблемам методологии науки