Проблема тождества является неотъемлемой частью ряда ключевых онтологических проблем. Рассмотрение проблемы тождества компьютерных программ позволяет уточнить определение понятия компьютерной программы, выделить уровни абстракции и формы существования компьютерных программ. В настоящей статье проблема тождества компьютерных программ исследуется в первую очередь с семантической точки зрения. В этом контексте исследования философских и методологических проблем конкретных научных дисциплин становится междисциплинарным исследованием. Два ключевых проекта построения семантики для языков программирования сопоставляются в статье с классическим философским спором между реализмом и антиреализмом. В статье демонстрируются ограничения указанных семантических подходов, что позволяет рассматривать понятие вычисления как принципиально связанное с вопросами интенциональности и значимости, выходящими за пределы чисто формальных семантик. Наблюдатель процесса вычисления склонен «набрасывать» на вычислительную систему набор онтологических допущений, а уже затем рассматривать данные допущения и их следствия в качестве собственного независимого эмпирического открытия или теоретического результата. Последнее приводит к тому, что проблема тождества компьютерных программ оказывается разрешимой различными несовместимыми друг с другом способами в зависимости от практических («прагматических») интенций наблюдателя. Поскольку основной целью написания компьютерных программ является удовлетворение тех или иных практических нужд, постольку проблема тождества компьютерных программ важна не только с теоретической точки зрения. Более того, можно предположить, что именно практический характер компьютерных программ может выступить основой для выявления критериев их тождества в том смысле, что критерии тождества могут быть поставлены в зависимость от конкретных практических нужд.