>а) искусственный язык основанный на логике бессмыслен. Он будет мешать думать, устраняя или затрудняя большинство самых полезных приемов мышления.

Полностью согласен. И именно полезные приёмы в мышлении следует изучать, а вовсе не "логические описания". А это, в значительной степени, область "мифологических" приёмов мышления.

>Боюсь, искуственные языки выморочны.

Конечно. Но, тем не менее, проблема "логического ускорителя" существует. И мне кажется, в рамках одного (любого) естественного языка она может быть решена (для его носителей).
Посмотрел я на этот Итхкуил, или как его там. Ну, один алфавит уже, по-моему, ставит крест на всём проекте.