TY - JOUR

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

AU - Ламберов, Лев Дмитриевич

AU - Кляшторный, Алексей Сергеевич

PY - 2013

Y1 - 2013

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

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

UR - https://elibrary.ru/item.asp?id=21006043

M3 - Статья

SP - 185

EP - 193

JO - Интеллект. Инновации. Инвестиции

JF - Интеллект. Инновации. Инвестиции

SN - 2077-7175

IS - 4

ER -