– Не провоцирует ли эволюция логической семантики умножение сущностей. Можно ли говорить о «щетине Эпштейна» (принцип умножения сущностей) в логике?

– Логические структуры и связи не являются отображением, зеркалом чего-либо в самой действительности. Ещё Э. Гуссерль отмечал – и совершенно верно, – что связи тут идеальные, логика – не эмпирическая наука, в её основаниях лежат идеальные связи. В ходе познавательной деятельности вырабатываются определённые абстракции и идеализации, мы апеллируем к особого рода идеальным объектам – и всё это ложится в основу логических связей. Так, согласно Гильберту, применение обычных законов логики зависит от того, имеем ли мы дело с «действительными предложениями» математики или с «идеальными» (высказываниями об «идеальных элементах»). Мир логики (её оснований) – идеальный мир, и семантики различного типа логических систем предполагают введение специального типа идеальных сущностей. Вопрос этот весьма интересен и сложен. Отсюда – и проблемы номинализма и платонизма в самой семантике, в обосновании логических систем. Останавливаться на этом здесь невозможно. Но тем не менее это важнейший аспект философских, теоретико-познавательных оснований логики. Так, построение семантик модальных, интенсиональных систем предполагает онтологию «возможных миров», введение возможных миров (учёт условий, ситуаций, истинностных оценок), классов таких миров, операций и отношений над такого рода объектами. В известном смысле это особая онтология «интенсиональных» сущностей («интенсиональная онтология», по словам У. Куайна).

http://www.censura.ru/articles/smirnovainterview.htm