КОНСТРУКТИВНЫЙ ОБЪЕКТ

КОНСТРУКТИВНЫЙ ОБЪЕКТ
КОНСТРУКТИВНЫЙ ОБЪЕ́КТ
одно из осн. понятий математики, совр. формальной логики и теории алгоритмов. Конструктивными наз. объекты, построение или рассмотрение к-рых возможно в рамках абстракции потенциальной осуществимости при противопоставлении ее абстракции актуальной бесконечности. К числу К. о. могут принадлежать как конкретные, так и абстрактные предметы, требуется лишь, чтобы эти предметы обладали свойством жесткости (т.е. относительной устойчивости), позволяющим их эффективно опознавать (различать и отождествлять) и эффективно (конструктивно) оперировать с ними. Понятие К. о. имеет важное гносеологич. содержание. См. Конструктивное направление, Формализация.

Философская Энциклопедия. В 5-х т. — М.: Советская энциклопедия. . 1960—1970.

КОНСТРУКТИВНЫЙ ОБЪЕКТ
    КОНСТРУКТИВНЫЙ ОБЪЕКТ — логико-гносеологическая категория, обозначающая объекты, возникающие в результате развертывания порождающих их конструктивных процессов. Рассматриваемые безотносительно к смыслу, который им впоследствии может быть придан, а также к их предполагаемому использованию, конструктивные объекты представляют собой некоторые специальным образом устроенные конфигурации элементарных знаков, и как таковые они должны восприниматься чисто синтаксически. Такого рода знаково-структурный подход к объектам впервые возник в математических исследованиях в начале 20 в. и затем получил последовательное развитие в работах по математической логике и теории алгоритмов. Впоследствии на базе этих исследований сформировалась специальная наука о знаковых системах — семиотика. Как правило, конструктивные объекты вводятся в рассмотрение цельми семействами (типами) путем задания соответствующих семейств порождающих их однотипных конструктивных процессов. В тех случаях, когда описаниям этих процессов удается придать точный характер, характеризации соответствующих им типов конструктивных объектов также оказываются точными, и тогда объекты этих точно описанных типов могут быть использованы в качестве моделей фундаментальных понятий самых разнообразных научных дисциплин. Так, напр., конструктивные объекты следующих двух типов: I, II, III, НИ,...и-I,-II,-III,-IIII,...
    могут рассматриваться в качестве положительных и, соответственно, отрицательных целых чисел. На их базе могут быть как конструктивные объекты определены рациональные числа. Если теперь принять во внимание, что в виде конструктивных объектов могут был” заданы и алгоритмы точно охарактеризованных типов (напр., машины Тьюринга или нормальные алгорифмы Маркова), то станет ясно, что тем самым открывается путь к построению на базе конструктивных объеков достаточно богатых и содержательных математических теорий. Аналогично, как конструктивные объекты соответствующих типов могут быть определены структурные химические формулы, релейно-контактные схемы, тексты на разного рода искусственных языках (напр., на алгоритмических языках, на языках каких-либо дедуктивных теорий) и т. п. Фактически можно считать, что любая научная символика допускает задание в виде конструктивных объектов надлежащих типов. Т. о., понятие “конструктивный объект” обладает чрезвычайно высокой степенью общности. Относительно низкий уровень абстрактности и особая “осязаемость” конструктивных объектов делают более простой проблему понимания суждений об этих объектах (напр., математических), И это обстоятельство в сочетании с высокой выразительной силой превращает конструктивные объекты в важнейший инструмент научного исследования. Немаловажным является и тот факт, что в силу их знаковой природы конструктивные объекты могут служить информацией, непосредственно пригодной для сообщения ее вычислительной машине.
    Рассмотрение конструктивных объектов и вовлечение их в процесс научного исследования может быть осуществлено с привлечением абстракций различных уровней. Наиболее естественным представляется рассмотрение их на базе одной лишь абстракции потенциальной осуществимости, учитывающее характер возникновения конструктивных объектов. При этом в качестве логической базы естественно взять т. н. конструктивную логику, специально учитывающую специфику понимания суждений о существовании конструктивных объектов как суждений о их потенциальной осуществимости. При рассмотрении конструктивных объектов, ведущемся на базе абстракции актуальной бесконечности, они трактуются совместно и равноправно с объектами теоретико-множественного характера, а основой логической дедукции является при этом т. н. классическая (аристотелевская) логика. Этим в значительной степени игнорируется генезис конструктивных объектов. Исследование их роли в процессе познания и выяснение их соотношения с объектами иных уровней абстракции представляет собой важную философскую и методологическую проблему, находящуюся в стадии интенсивной разработки.
    Лит.: Гильберт Д., Берчаис П. Основания математики. Логические исчисления и формализация арифметики. М., 1979; Гейтинг А. Интуиционизм. Введение. М., 1965; МарковА.А. О логике конструктивной математики. М-, 1972; МарковА.А., Нагорный Н. М. Теория алгорифмов. М., 1984 (2-е изд. М„ Фазис, 1996); Марков А. А. О конструктивной математике. — Труды Математического института им. В. А. Стеклова АН СССР, т. 67. М.-Л., 1967; Шанин И. А. Конструктивные вещественные числа и конструктивные функциональные пространства. — Там же.
    Н. М. Нагорный

Новая философская энциклопедия: В 4 тт. М.: Мысль. . 2001.


.

Игры ⚽ Поможем написать курсовую

Полезное


Смотреть что такое "КОНСТРУКТИВНЫЙ ОБЪЕКТ" в других словарях:

  • КОНСТРУКТИВНЫЙ ОБЪЕКТ — название, установившееся за математич. объектами, возникающими в результате развертывания так называемых конструктивных процессов. При описании того или иного конкретного конструктивного процесса обычно ...предполагается, что отчетливо… …   Математическая энциклопедия

  • КОНСТРУКТИВНЫЙ ПРОЦЕСС —     КОНСТРУКТИВНЫЙ ПРОЦЕСС логико гносеологическая категория, обозначающая абстрактно знаковые процессы некоторого специального типа, играющие важную роль в исследовании дискретной активности и, в частности, в исследовании умственной… …   Философская энциклопедия

  • генетически-конструктивный метод —         ГЕНЕТИЧЕСКИ КОНСТРУКТИВНЫЙ МЕТОД (от греч. genetikos относящийся к рождению, происхождению и лат. constructio построение) способ построения и развертывания теории, основанный на конструировании идеальных теоретических объектов и мысленных …   Энциклопедия эпистемологии и философии науки

  • АЛГОРИТМА ИЗОБРАЖЕНИЕ — конструктивный объект определенного вида (как правило, натуральное число или слово), содержащий в себе закодированную по фиксированным для алгоритмов данного типа правилам полную информацию об этом алгоритме. Обычно определение А. и.… …   Математическая энциклопедия

  • АЛГОРИТМ —         [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… …   Философская энциклопедия

  • Конструктивная математика — У этого термина существуют и другие значения, см. конструктивизм. Конструктивная математика абстрактная наука о конструктивных процессах[прояснить], человеческой способности осуществлять их, и об их результатах конструктивных объектах. Содержание …   Википедия

  • Конструктивизм (математика) — Конструктивная математика абстрактная наука о конструктивных процессах, человеческой способности осуществлять их, и об их результатах конструктивных объектах. Содержание 1 Абстракции конструктивной математики 2 Основные объекты рассмотрения …   Википедия

  • Диалектический материализм —         философия марксизма ленинизма, научное мировоззрение, всеобщий метод познания мира, наука о наиболее общих законах движения и развития природы, общества и сознания. Д. м. основывается на достижениях современной науки и передовой… …   Большая советская энциклопедия

  • БЕСКОНЕЧНАЯ ИНДУКЦИЯ — тот крайний вид индуктивного умозаключения, когда общее высказывание (суждение, положение) получается как заключение из бесконечной совокупности посылок, исчерпывающих все частные случаи. Пример Б. и.: 1 + 0 = 0 + 1; 1 + 1 = 1 + 1; 1 +2 = 2 + 1;… …   Философская энциклопедия

  • КОДИРОВАНИЕ — (от франц. code – свод законов, правил) – отображение (преобразование) нек рых объектов (событий, состояний) в систему конструктивных объектов (называемых кодовыми образами), совершаемое по определ. правилам, совокупность к рых наз. шифром К.,… …   Философская энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»