Формальная логика и творческий интеллект