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