К ВОПРОСУ ТОЖДЕСТВА КОМПЬЮТЕРНЫХ ПРОГРАММ

Результат исследований: Вклад в журналСтатья

Аннотация

Проблема тождества является неотъемлемой частью ряда ключевых онтологических проблем. Рассмотрение проблемы тождества компьютерных программ позволяет уточнить определение понятия компьютерной программы, выделить уровни абстракции и формы существования компьютерных программ. В настоящей статье проблема тождества компьютерных программ исследуется в первую очередь с семантической точки зрения. В этом контексте исследования философских и методологических проблем конкретных научных дисциплин становится междисциплинарным исследованием. Два ключевых проекта построения семантики для языков программирования сопоставляются в статье с классическим философским спором между реализмом и антиреализмом. В статье демонстрируются ограничения указанных семантических подходов, что позволяет рассматривать понятие вычисления как принципиально связанное с вопросами интенциональности и значимости, выходящими за пределы чисто формальных семантик. Наблюдатель процесса вычисления склонен «набрасывать» на вычислительную систему набор онтологических допущений, а уже затем рассматривать данные допущения и их следствия в качестве собственного независимого эмпирического открытия или теоретического результата. Последнее приводит к тому, что проблема тождества компьютерных программ оказывается разрешимой различными несовместимыми друг с другом способами в зависимости от практических («прагматических») интенций наблюдателя. Поскольку основной целью написания компьютерных программ является удовлетворение тех или иных практических нужд, постольку проблема тождества компьютерных программ важна не только с теоретической точки зрения. Более того, можно предположить, что именно практический характер компьютерных программ может выступить основой для выявления критериев их тождества в том смысле, что критерии тождества могут быть поставлены в зависимость от конкретных практических нужд.
Переведенное названиеON COMPUTER PROGRAM IDENTITY
Язык оригиналаРусский
Страницы (с-по)185-193
Число страниц9
ЖурналИнтеллект. Инновации. Инвестиции
Номер выпуска4
СостояниеОпубликовано - 2013

ГРНТИ

  • 03.00.00 ИСТОРИЯ И ИСТОРИЧЕСКИЕ НАУКИ

Уровень публикации

  • Перечень ВАК

Fingerprint Подробные сведения о темах исследования «К ВОПРОСУ ТОЖДЕСТВА КОМПЬЮТЕРНЫХ ПРОГРАММ». Вместе они формируют уникальный семантический отпечаток (fingerprint).

Цитировать