Проще говоря, эта логическая операция по полученному продукту интеллектуальной деятельности проверяема на логичность средствами логики, но успех в создании сложных имен для конкретных высказываний зависит от индивидуальных возможностей и знаний (логики, в том числе)