Формулы логики и смысла: как найти истину в мире идей